>>3
>　mは偶数か奇数
は成り立つのかな。
mが素因数2を含むか含まぬか、確定するのだろう。
類数(イデアル類群の位数)が1のときは UFD だから成り立つだろう。

たとえば 虚二次体Z[√(-5)] なんかを考えると 2･3 = 6 = (1+√(-5))(1-√(-5)) となる。
右側のように因数分解すれば2を含まないから、奇数かな。
mは偶数か奇数、となるのはUFDの場合？