>「単元を素元から除外しても、それだけで素因数分解が一意的となるわけでない」
>ぜんぜん違うんだけど

全然違わないけど Z[√-5]で 
6=2・3=(1−√ー5)(1+√ー5)
ほら、成り立たない