［１］２次元空間の中の２つの超平面をＨα，Ｈβとする．それぞれの超平面に対する鏡映をｓα，ｓβとすると，コクセター関係式は，

ａ）ｓα^2＝ｅ　　（対合）

ｂ）Ｈα，Ｈβのなす角が３０゜ならばｓαｓβｓα＝ｓβｓαｓβ　　（組ひも）

ｃ）Ｈα，Ｈβのなす角が９０゜ならばｓαｓβ＝ｓβｓα　　（遠可換）

［２］有限鏡映群は似たようなコクセター関係式で定義できる．Ａ，Ｂ，Ｃ，Ｄ，・・・群で分類されるが，対称群ＳnはＡ群である．

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