pを奇素数とする。

ｐ＝ｘ^2＋ｍｙ^2＝（ｘ+√(-m)ｙ）（ｘ-√(-m)ｙ）　　（x,yは整数）

となる因数分解が存在するための条件について考える。

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

素数ｐがｘ^2＋ｎｙ^2の形に表せるという問題は，虚２次体Ｑ（√−ｎ）のイデアル類群が深い関係にあることを示唆しています．

　　４ｎ＋１型素数は，ｘ^2＋ｙ^2の形に表すことができる．

　　８ｎ＋１型素数は，ｘ^2＋２ｙ^2の形に表すことができる．

　　８ｎ＋３型素数は，ｘ^2＋２ｙ^2の形に表すことができる．

　　３ｎ＋１型素数は，ｘ^2＋３ｙ^2の形に表すことができる．

　　７ｎ＋１型素数は，ｘ^2＋７ｙ^2の形に表すことができる．

　　７ｎ＋２型素数は，ｘ^2＋７ｙ^2の形に表すことができる．

　　７ｎ＋４型素数は，ｘ^2＋７ｙ^2の形に表すことができる．

はそれぞれ虚２次体Ｑ（√−１），Ｑ（√−２），Ｑ（√−３），Ｑ（√−７）の類数が１であることが本質的なのです．

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

x^2=0,1,4 (mod 8)

x^2+7y^2=0,1,3,4,5,7

7n+1=1,0,7,6,5, 4,3,4 (mod8)

7n+2=2,1,0,7,6,5,4,5 (mod8)

7n+4=4,3,2,1,0,7,6,7 (mod8)

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