Complex unit circle (source code)

= Complex unit circle
{title2=$S^1$}

= Unit circle
{synonym}

The complex unit circle is the subgroup $\{z\in\mathbb C:|z|=1\}$ under multiplication.