Definition
SE(n)
SE(n) as a separately identified real Lie group, with its defining operations and dimension.
For every integer , is the group of orientation-preserving Euclidean isometries of . Each element is with and , and
Dimensions and structure
This group has real dimension . This gives the semidirect product of translations by the indicated orthogonal group.
Direct verification
The determinant-one condition is preserved by composition and inversion. Its Lie algebra has a skew-symmetric block and an arbitrary translation vector, giving n(n−1)/2+n dimensions.