コクセター群
有限コクセター群のコクセター-ディンキン図形を用いた分類が (Coxeter 1935) に述べられている。有限コクセター群は有限次元ユークリッド空間の鏡映群として表現される。
具体的には、有限コクセター群は階数をひとつのパラメータとする三つの無限族 An, BCn, Dn と二次元で一つのパラメータを持つ族 I2(p) がひとつ、さらに六つの例外群 E6, E7, E8, F4 H3, H4 のいずれかとなる。