以上により，無限鏡映群の基本単体は有限鏡映群の二面角を変えずに辺の長さを変えたものであることが確かめられた．ＳＰＬＡＧ，第４章に戻ってみたい．

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

【１】Ａ有限鏡映群

　　（−１，１，０，０，・・・）

　　（０，−１，１，０，・・・）

であるから，二面角は６０°（と９０°）である．

【２】Ｄ有限鏡映群

　　（−１，−１，０，０，・・・）

　　（０，１，−１，０，・・・）

　　（１，−１，０，０，・・・）

　１−２，２−３間は６０，１−３間は９０°

【３】Ｅ8有限鏡映群

　　（０，０，０，０，−１，１，０，０），ノルム√２

　　（１／２，１／２，１／２，１／２，１／２，−１／２，−１／２，−１／２），ノルム√２

　　ｃｏｓθ＝（−１／２−１／２）／２→６０°

【４】Ｅ7有限鏡映群

　　（０，０，０，−１，１，０，０，０），ノルム√２

　　（１／２，１／２，１／２，１／２，−１／２，−１／２，−１／２，−１／２），ノルム√２

　　ｃｏｓθ＝（−１／２−１／２）／２→６０°

【５】Ｅ6有限鏡映群

　　（０，０，０，−１，１，０，０，０），ノルム√２

　　（１／２，１／２，１／２，１／２，−１／２，−１／２，−１／２，−１／２），ノルム√２

　　ｃｏｓθ＝（−１／２−１／２）／２→６０°

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