■クラインの整数(その32)

 E8格子において,原点からの距離が√nの点の個数は,

  240σ3(n)  σ3(n)=nの約数の3乗和

で表されることが知られている.

  n=1 → 240・1^3=240個

  n=2 → 240・(1^3+2^3)=2160個

  n=3 → 240・(1^3+3^3)=6720個

  n=4 → 240・(1^3+2^3+4^3)=17520個

である.

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

[1]240頂点とは

(±2:0,0,0,0,0,0)の置換16

(±1:0,0,0,±1,±1,0,±1)の巡回置換112

(0:±1,±1,±1,0,0,±1,0)の巡回置換112

[2]2160点とは

(±2:±2,0,0,0,0,0)の置換112

(±1:±1,±1,±1,±1,±1,±1,±1)の置換256

(±1:0,0,0,±1,±1,0,±1)

(0:±1,±1,±1,0,0,±1,0)の0をひとつ±2に置換したもの,1792

[3]17520点とは

(±4:0,0,0,0,0,0)の置換16

(±2:±2,±2,0,0,0,0)の置換112

(±3:±1,±1,±1,±1,±1,±1,±1)の置換2048

(±1:0,0,0,±1,±1,0,±1)

(0:±1,±1,±1,0,0,±1,0)

の0をみっつ±2に置換したもの,1792

の0をひとつ±2,0をひとつ±3に置換したもの,1792

 これら17520点のうち,240点は重複している.→17280点

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