Example: U(1) (the circle group)
The circle group has Lie algebra iR and a surjective exponential map with kernel 2πiZ.
The circle group is the compact Lie group
It is connected and abelian.
Lie algebra
Its Lie algebra (as a real Lie algebra) is
with trivial bracket, so it is an abelian Lie algebra (compare unitary Lie algebra for general ).
Exponential map and universal cover (explicit calculation)
Identifying via , the exponential map is
Its kernel is
so the map
is a covering homomorphism and in fact the universal covering group of .
One-parameter subgroups
Every one-parameter subgroup of has the form for some .
is the basic building block of tori and the prototypical example where the exponential map is surjective but not injective.