===================================================================
RCS file: /home/cvs/OpenXM/doc/compalg/prdec.tex,v
retrieving revision 1.1.1.1
retrieving revision 1.3
diff -u -p -r1.1.1.1 -r1.3
--- OpenXM/doc/compalg/prdec.tex	2000/03/01 02:25:51	1.1.1.1
+++ OpenXM/doc/compalg/prdec.tex	2000/03/28 02:02:30	1.3
@@ -1,3 +1,4 @@
+%$OpenXM$
 \chapter{イデアルの分解}
 イデアル $I \subset R=K[X]$ に対し, $I=I_1\cap I_2$ と書ける時, 
 $V(I) = V(I_1) \cup V(I_2)$ が成り立つ. すなわち, イデアルの分解
@@ -35,7 +36,7 @@ $ab \in I$ かつ $a\notin I$ ならば $b \in 
 $\sqrt{I} = \cap_{I\subset P:prime}P$
 \end{lm}
 \proof $I \subset P$ ならば $\sqrt{I} \subset \sqrt{P}=P$ より
-$\subset$ は OK. 右辺が左辺を真に含むとすれば, ある
+左辺 $\subset$ 右辺. 右辺が左辺を真に含むとすれば, ある
 $f \in \cap_{I\subset P:prime}P \setminus \sqrt{I}$ が存在する. このとき, 
 $S=\{f,f^2,\cdots,\}$ とおけば, 
 $S \cap \sqrt{I} = \emptyset$.