■2次の素数(その1)
K={a+bφ|a,bは有理数}
に対して
{a+bφ|a,bは整数}
の形をしたKの元を,Kの整数と定める.
ここでは,2次の素数を定めてみたい.
===================================
[1]4+√5は素数であるが,11は素数でない.
4+√5=αβとして,両辺のノルムをとると
11=N(α)N(β)→N(α)=±1またはN(β)=±1
→αまたはβは単数→4+√5は素数
一方,
11=(4+√5)(4−√5)→11は素数でない
===================================