Z[−5]は1次元のNoether環であるが, PIDではない.
A=Z,B=Z[−5]とする. このとき, BはAの整拡大だからdimB=dimA=1である. しかし, 6=2⋅3=(1−−5)(1+−5)であり, B/(2),B/(3)はどちらも明らかに整域で1±−5は2,3どちらの倍数でもないからBはUFDではなく, それゆえPIDでもない.
バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。