=================================================================== RCS file: /home/cvs/OpenXM/doc/compalg/prdec.tex,v retrieving revision 1.1.1.1 retrieving revision 1.2 diff -u -p -r1.1.1.1 -r1.2 --- OpenXM/doc/compalg/prdec.tex 2000/03/01 02:25:51 1.1.1.1 +++ OpenXM/doc/compalg/prdec.tex 2000/03/28 01:59:21 1.2 @@ -35,7 +35,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$.