実２次体の場合も見ておこう．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　Ｑ（√ｄ）の部分集合Ｚ（√ｄ）は

　　Ｚ（√ｄ）＝｛ａ＋ｂ√ｄ｜ａ，ｂは整数｝

で定義される．

　　ｄ＝２のとき，（ユークリッド整域）

［１］８ｎ＋１，８ｎ＋７型素数は

ａ^2−２ｂ^2の形に表されますが，８ｎ＋３，８ｎ＋５型型素数は表されません．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝