■整数環X(その71)

 (その70)は八元整数環を二重フルビッツ整数環すなわち,乗法的に閉じているものして扱っている.

  ωabc=1/2(−1+ia+ib+ic)・・・位数3

  idefg=1/2(id+ie+if+ig)・・・位数4

のia,ib,icをi,j,kのように振る舞う八元数の三つ組を与えるが,さらに,それに∞もしくは0を付加した7つの四つ組と補四つ組は次のようになる.

  0124   ∞365

  0235   ∞461

  0346   ∞512

  ∞450   6123

  0561   ∞234

  ∞602   1345

  ∞013   2456

 八元整数で,その逆元がまた八元整数であるものを八元整数単元という.

[1]八元整数単元は240個存在する.

  ±1,±i0,・・・,±i6,1/2(±ia±ib±ic±id)

[2]240個の八元整数単元を乗法的位数で分類すると

[a]位数が1または2・・・2個(すなわち1,−1)

[b]位数が3または6・・・56個

  ±1/2(−1±ia±ib±ic)において(a,b,c)=356,146,125,450,234,602,013

[c]位数が4・・・126個

±inおよび1/2(±id±ie±if±ig)において(d,e,f,g)=0124,0235,0346,1236,0561,1345,2156

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