■整数環X(その37)

d=1 (mod3)のとき、Q(√d)の整数環はZ((1+√d)/2)

それ以外のとき、Q(√d)の整数環はZ(√d)

例:Q(√-3)の整数環はZ(ω)=Z((1+√-3)/2)

===================================

(証) d=4n+1のとき、((1+√d)/2)^2=2n+1+√d

逆に、Q(√d)の整数環がα=a+b√dを含むならばa-b√dも含むから

a^2-b^2dは整数

2aが整数→4b^2dは整数→2bは整数

α=(μ+ν√d)/2

これよりd=4n+3のときμ、νは偶数でなければならない

===================================