ユークリッドの運動群

数学におけるユークリッド群（ユークリッド-ぐん、）あるいは運動群 (motion group) は、ユークリッド空間のを言う。その元はユークリッド距離に付随する等長変換であり、合同変換あるいはユークリッドの運動 (motion) と呼ばれる。ユークリッドの運動群の研究は、少なくとも二次元や三次元の場合については極めて古く、群の概念が発するよりもずっと以前から（従ってもちろん群としてでなく、もっと陰伏的な形で）よく調べられている。
-次元ユークリッド空間の運動群は や などとも表される。
は の任意の元が螺旋変位であることを主張する。
概観.
次元性.
運動群 の持つ自由度は である（例えば、 のとき 3, のとき 6 になる）。これら自由度のうち は平行移動の自由度に割かれており、残りの は回転対称性ということになる。
向きを保つ変換と向きを逆にする変換.
運動群 は向きを保つ等長変換 ("direct isometry", "déplacement") 全体の成す部分群 を持つ。これは -次元空間における剛体を動かすものという意味で剛体運動 ("rigid motions") などとも呼ばれる。この群には平行移動、回転がすべて含まれ、またこれらによってこの群 は生成される。 は特殊ユークリッド群 ("special Euclidean group") とも呼ばれる。
またこれと対照に、向きを逆にする等長変換 ("indirect isometries", "opposite isometries") がある。 は の指数 の部分群であり、運動群を で割った剰余類の自明でない唯一の類は、向きを逆にする変換の全体に一致する。即ち、任意の向きを逆にする等距変換（例えば向きを逆にする鏡映） が一つ与えられれば、向きを逆にする任意の等長変換は向きを保つ適当な変換 によって の形に書ける。
特殊ユークリッド群 は古典力学における剛体の運動学で用いられる。剛体運動は実質的にこのユークリッド群における曲線と同じものである。物体 が始点 において適当な向きを持つものとし、各時刻における物体の向きはユークリッドの運動 に従って始点における向きから決まる（ において は恒等変換である）。 これはこの曲線が常に 内にあることを意味する（実は恒等変換 から始めるとき、このような連続曲線は向きを保つ変換以外に到達することはあり得ないのである）。これは簡単な位相的理由からくるもので、これら変換の行列式が から に跳ぶことはないということである。
これらユークリッド群の部分群は位相群であるのみならずリー群を成し、その議論の中に解析学の概念を直ちに持ち込むことができる。
アフィン群との関係.
運動群 は -次元アフィン群の部分群であり、半直積の構造を以って両群の関係を述べることができる。より明確に、この関係を以下の二つの方法
陽に書き表すことができる。前者について次節で詳述する。
クラインのエルランゲン目録の言葉で言えば、ユークリッド幾何学とはその対称変換の成すユークリッド群に関する幾何学として理解することができる。また従ってアフィン幾何学の特別の場合として読み取ることができて、アフィン幾何学における任意の定理を適用することができる。アフィン幾何学の中でユークリッド幾何学に特徴的な要素として距離の概念があり、またそれから角度の概念を導くことができる。
詳細.
部分群構造、行列とベクトルによる表現.
ユークリッドの運動群はアフィン変換群の部分群である。
ユークリッドの運動群 の部分群として、平行移動群 と直交群 があり、また の任意の元は平行移動に続いて直交変換（変換の線型部）したものとして
（ここで は直交行列である）あるいは直交変換後に平行移動した
としてそれぞれ一意的に表すことができる。部分群 は の正規部分群、即ち任意の平行移動 と任意の等長変換 に対して
もまた平行移動となる（変位の言葉で言えば、 は の変位の上に作用する。平行移動は変位に影響を与えないから、この変異は に変換の線型部を適用した結果と一致する）。
これらの事実を組み合わせれば、運動群 は を で拡大した半直積であることが従う。言葉を替えれば、直交群 は（自然な仕方で） の による剰余群
としても書ける。
さて、特殊直交群 は の指数 の部分群である。それゆえ はやはり指数 の部分群 を「向きを保つ」変換の全体として持つ。
これらは線型部分 の行列式が の場合に対応する。
これらはある種の鏡映（二次元あるいは三次元の場合、原点を含む直線あるいは平面に関する鏡像という良く知られた鏡映変換、あるいは三次元の回映）の後に平行移動したものも、回転の後に平行移動したものとして表されることを示している。
運動群の部分群.
運動群 の部分群の種類は:
等長変換の交換性.
幾つかの等長変換は合成の順番に依らない:
共軛類.
任意の方向への与えられた距離だけの平行移動は共軛類を成し、平行移動群は任意の距離に対するこれら共軛類の非交和になる。