Definition
SE(2)
SE(2) as a separately identified real Lie group, with its defining operations and dimension.
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.