■フェルマーの最終定理と有限体（その２１５）
例外型リー群E6の次元は78である。
例外型リー群E7の次元は133 である。
例外型リー群E8の次元は248である。
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
ここで、j(z)はモジュラー関数
j(z)=exp(-2πiz)+744+196844exp(2πiz)+・・・
で、定数項は744
248＝744/3である。
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
