subgroup is isomorphic (as a real Lie group) to the circle group, also known as , the multiplicative group of the complex numbers of absolute value equal to one. This isomorphism sends the complex number of absolute value to the special orthogonal matrix
:

In higher dimension, has a more complicated structure (in particular, is no longer commutative). The topological structures