 Circle group

The circle group is the unit complex numbers under multiplication, equivalently planar rotations or the quotient $\mathbb{R}/(2\pi \mathbb{Z})$.