正20面体からE8が生まれる

2項正20面体群からE8へ 240本のベクトルがE8のルート系に一致すること もっとスマートに まとめ リファレンス 2項正20面体群からE8へ 3次元ユークリッド空間の原点周りの回転は四元数で表せる. このことは本ブログで以前から, 特に正20面体に関係する問題を考えるためにたびたび利用してきた. shironetsu.hatenadiary.com …