Definition
SE(1)
SE(1) 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. In dimension one this is just the additive real line.
An orientation-preserving Euclidean isometry of the real line is exactly a translation. See .
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.