■わが闘争・2018 (その5)

 正多面体群:An,BCn,F4,G2,H3,H4,I2

の面数公式はうまく働いたが

 非正多面体群:Dn,En

のファセットは2種類あり,いま機能しているスキームでうまく行くかどうかはわからないのであるが,一様多面体であるからうまくいってくれるはずである.

 利用できるデータがないので確かめようがないが,唯一利用できるものは

 Wythoff's constructon for uniform polytopes, p49

であった.

 群論的に要素数を計算できるということを示したいのである.一方,純粋幾何学的あついは組み合わせ論的に決定することもできると思われる.これまで培った自然な組み合わせ論的方法を採ってみたところ,途中で退化するところを除けば,単純鎖の場合と同じように計算することがわかった.

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