すいません、イデアルの基本的なところがあやふやになってしまったので質問します。
イデアルIについてそのべき乗I^2というのは単に各元を2乗していった集合ではなく、I*Iを含むという意味ということで、合っているでしょうか？
整数環Zにおいて2Zを2乗すると4Zですか？