Definition
Additive C^n
Additive C^n as a separately identified complex Lie group, with its defining operations and dimension.
For every integer , the additive Lie group has coordinatewise addition, identity zero, and inversion .
Dimensions and structure
This group has real dimension , complex dimension . 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.
Its complex Lie group structure uses holomorphic multiplication and inversion. Forgetting the complex structure gives the underlying real Lie group; real and holomorphic homomorphisms belong to different categories.
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.