The circle group is the compact Lie group

U(1)={z∈C:∣z∣=1}≅S1.U(1)=\{z\in\mathbb C:|z|=1\}\cong S^1.

It is connected and .

Lie algebra

Its Lie algebra (as a real Lie algebra) is

u(1)=iR,\mathfrak u(1)= i\mathbb R,

with trivial bracket, so it is an (compare for general U(n)U(n)).

Exponential map and universal cover (explicit calculation)

Identifying u(1)≅R\mathfrak u(1)\cong\mathbb R via t↦itt\mapsto it, the is

exp⁡(it)=eit.\exp(it)=e^{it}.

Its kernel is

ker⁡(exp⁡)={2πk i:k∈Z}≅2πZ,\ker(\exp)=\{2\pi k\,i : k\in\mathbb Z\}\cong 2\pi\mathbb Z,

so the map

p:R→U(1),p(t)=eit,p:\mathbb R\to U(1),\qquad p(t)=e^{it},

is a and in fact the of U(1)U(1).

One-parameter subgroups

Every of U(1)U(1) has the form t↦eiatt\mapsto e^{iat} for some a∈Ra\in\mathbb R.

U(1)U(1) is the basic building block of tori and the prototypical example where the exponential map is surjective but not injective.