■多元数(その50)
(その49)は八元整数環を二重フルビッツ整数環すなわち,乗法的に閉じているものして扱っている.
ω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
===================================