■整数環X(その17)

[1]An格子

 n次元単体の辺に沿ったベクトルで生成される格子.そのベクトルをn+1次元空間内にとると,生成元は

  (1,−1,0,・・・・0)

[2]Dn格子

 n次元正軸体の辺に沿ったベクトルで生成される格子.生成元は

  (±1,±1,0,・・・・0)

[3]E8格子

  A8の辺ベクトルと,それに隣接するD8の辺ベクトルで生成される格子.A8を指数3で,D8を指数2で含む.

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

【1】E8の定義

[4]E8は単体Sの辺と9つの面のいずれかで隣接する正軸体Oの辺とで生成される.

[4]E8は正軸体Oの辺と128個の面(Oの半分)のいずれかで隣接する正単体Sの辺とで生成される.

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