■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は素数でない

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