幾何学において、三次元の点群は原点を固定させる、またはそれ相当に、球面のであるところの三次元の等長群である。それは原点が固定された等長写像の群、またはそれ相当に、直交行列の群である、直交群の部分群である。そのものはすべての等長写像のユークリッドの運動群の部分群である。
幾何学的対象の回転対称群は等長群である。それに応じて、等長群の分析は可能な対称性の分析である。有界な三次元の幾何学的対象の全ての等長写像は一つもしくはそれより多い共通の固定点を持つ。それらの一つとして原点を選んで考える。
二項正多面体群 写像 は三次元のスピン群による回転群の二重被覆である。対応定理によれば、の部分群と回転群 の部分群の間にガロア接続がある:の部分群の像(英:image)は回転点群であり、点群の逆像(英:preimage)はの部分群である。
として表される、有限点群の逆像は二項正多面体群と呼ばれ、関係するの2倍の位数を持ち、接頭辞「二項」をつけて、それ自体の点群としての同じ名前によって呼ばれる。すなわちの逆像はである。
二項正多面体群は: :位数、正 角形の :位数、正 角形の :位数、 の、 :位数、 の、 :位数、 の、 である。
これらはによって分類され、二項正多面体群の作用によるの商はひとつのデュ・バル特異点である。
脚注