Circle group (source code)

= Circle group
{title2=$S^1$}
{wiki}

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