無限鏡映群−結晶・格子−拡張コクセターグラフ→ＳＰＬＡＧ

であるのに対して

　有限鏡映群−多面体−コクセターグラフ→コクセター選集

を参照してみる．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】γn

［１］ｘ1＝０

［２］ｘ1＝ｘ2

［３］ｘ2＝ｘ3

［４］ｘn-1＝ｘn

　したがって，｛４，３，３｝（１，１，１，０）では

　　ｘ1＝（ｘ1−ｘ2）／√２＝（ｘ2−ｘ3）／√２，ｘ3＝ｘ4

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【２】Ｆ4

［１］ｘ1＝０

［２］ｘ1＋ｘ2＝ｘ3＋ｘ4

［３］ｘ2＝ｘ3

［４］ｘ3＝ｘ4

　したがって，｛３，４，３｝（１，１，１，１）では

　　ｘ1＝（ｘ1＋ｘ2−ｘ3−ｘ4）／２＝（ｘ2−ｘ3）／√２＝（ｘ3−ｘ4）／√２

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【３】Ｈ4＝｛３，３，５｝

［１］√５ｘ1＝ｘ2＋ｘ3＋ｘ4

［２］ｘ1＝ｘ2

［３］ｘ2＝ｘ3

［４］ｘ3＝ｘ4

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【４】Ｈ4＝｛５，３，３｝

［１］τｘ1＝ｘ2＋ｘ3／τ

［２］ｘ1＝０

［３］ｘ1＋ｘ2＋ｘ3＋ｘ4＝０

［４］ｘ4＝０

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝