ユークリッドの運動群
必ず不動点を持つ。三次元の場合、任意の点において全部で二つある向きの何れについても、包含に関して極大となる有限群 Oh, Ih が存在する。このうち群 Ih は次に挙げる群の中で考えても極大である。