the additive (R1,+)(\mathbb R^{1},+) has coordinatewise addition, identity zero, and inversion x↦−xx\mapsto-x.

Dimensions and structure

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

The map z ↦ (0,0,z) identifies the additive scalar group with the center. The defining product reduces to addition on this axis. See .

The map z ↦ (0,0,z) identifies the additive scalar group with the center. The defining product reduces to addition on this axis. See .

The map z ↦ (0,0,z) identifies the additive scalar group with the center. The defining product reduces to addition on this axis. See .

The map z ↦ (0,0,z) identifies the additive scalar group with the center. The defining product reduces to addition on this axis. See .

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.