Definition
Aff(3,R)
Aff(3,R) as a separately identified real Lie group, with its defining operations and dimension.
is the Lie group of invertible affine maps of , with and . In coordinates,
Dimensions and structure
This group has real dimension . The translations form a normal additive subgroup. Projection to the linear part splits by , giving . In dimension one this is the ax+b group.
Direct verification
Composing the maps x ↦ Ax+b and x ↦ A′x+b′ gives x ↦ AA′x+Ab′+b. The inverse is x ↦ A⁻¹x−A⁻¹b. The underlying manifold is the product of the general linear group and the translation vector space.