Unit circle | 🗖 nosplit | ↑ parent "Unitary group" | 18

The $U(1)$ unitary group is one very over-generalized way of looking at it :-)