Additive R^3 - Knowlpedia

the additive Lie group $(\mathbb R^{3},+)$ has coordinatewise addition, identity zero, and inversion $x\mapsto-x$ .

Dimensions and structure

This group has real dimension $3$ . It is connected, simply connected and abelian; its Lie bracket is zero. Its additive structure is one view of a vector space, and forgetting scalar multiplication permits more homomorphisms.

Direct verification

Coordinatewise addition is associative and commutative, zero is the identity, and negation is inversion. These polynomial operations give the stated Lie group, and its coordinate space gives the dimension.