The circle group shows up in a variety of forms in mathematics. We list some of the more common forms here. Specifically, we show that

where the slash denotes group quotient and the existence of an isomorphism between the groups.

Unitary group U(1)

A matrix has row and column, and only a single entry. The product of two matrices is the matrix whose single entry is the product of the entries