これまでの結果をまとめておきたい．無限鏡映群の基本単体は・・・

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

【１】Ｄn格子の場合

　　Ｐ1（１，０，０，０，０，０，０，・・・）

　　Ｐn（１，０，１／√２，・・・，１／√２，１，０）

　　Ｐn（１，０，１／√２，・・・，１／√２，０，１）

　　Ｐn（０，１，１／√２，・・・，１／√２，１，０）

　　Ｐn（０，１，１／√２，・・・，１／√２，０，１）

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

【２】Ａn格子の場合

　立方体の基本単体になるが，もうひとつ，基本単体を２^n-1個接合させたもので，

ｎ＝２のとき，√２，√２

ｎ＝３のとき，√３，２，√３

ｎ＝４のとき，２，√６，√６，２

ｎ＝５のとき，√５，√８，３，√８，√５

は等面多面体の面になるかもしれない．

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