>>147
反例を構成できないと何とも…

単項イデアルだと正しそう。
生成元が２つ以上あるイデアルの例はあまり知らないので
自分ではよく分かりません。