For every integer n≥1n\ge1, SE(n)\mathrm{SE}(n) is the group of orientation-preserving Euclidean isometries of Rn\mathbb R^{n}. Each element is x↦Ax+bx\mapsto Ax+b with A∈SO(n,R)A\in\mathrm{SO}(n,\mathbb R) and b∈Rnb\in\mathbb R^{n}, and

(A,b)(A′,b′)=(AA′,Ab′+b).(A,b)(A^{\prime},b^{\prime})=(AA^{\prime},Ab^{\prime}+b).
Dimensions and structure

This group has real dimension n(n+1)/2n(n+1)/2. This gives the of translations by the indicated .

Direct verification

The determinant-one condition is preserved by composition and inversion. Its has a skew-symmetric block and an arbitrary translation vector, giving n(n−1)/2+n dimensions.