Definition
Torus T^1
Torus T^1 as a separately identified real Lie group, with its defining operations and dimension.
the real Lie group is with coordinatewise multiplication; equivalently it is with addition.
Dimensions and structure
This group has real dimension . It is compact, connected and abelian. Its universal covering group is additive . The complex multiplicative group has a different real dimension and is noncompact.
The one-dimensional torus is the circle group by its definition. See .
Direct verification
Coordinatewise multiplication and conjugation preserve the unit-circle equations. Each circle contributes one real dimension; the exponential map from Rⁿ has kernel 2πZⁿ.