Grupo circular

El grupo circular, representado por

, es el grupo multiplicativo formado por los números complejos ubicados sobre la circunferencia unidad

del plano complejo, es decir, los números complejos cuyo valor absoluto es 1.

, con la operación de grupo la multiplicación de números complejos.

Puesto que el producto de números complejos es conmutativo, se trata de un grupo abeliano.

, con e la base del logaritmo natural, i la unidad imaginaria y θ un número real cualquiera.

hace manifiesta la interpretación geométrica de su producto, pues

, lo que muestra que el producto de elementos de

equivale a una rotación respecto del origen del plano complejo.

El grupo circular es un subgrupo del grupo multiplicativo de los números complejos no nulos,

Un resultado interesante es que, de hecho, los grupos multiplicativos

[1]​ Una forma equivalente de definir al grupo circular es como el grupo multiplicativo de las matrices unitarias complejas de

Es un hecho básico que este grupo puede ser representado linealmente mediante matrices ortogonales:

{\displaystyle {\begin{bmatrix}\cos t&-\operatorname {sen} t\\\operatorname {sen} t&\cos t\end{bmatrix}}}

con estos objetos el conjunto recibe el símbolo

también conocido como grupo especial unitario, matrices sobre los complejos de determinante igual a 1 y cuya matriz inversa (inverso multiplicativo) es su transpuesta.

Esto es por ser matrices de

de entrada compleja aquí el sentido de la equivalencia es de isomorfismo de grupos continuos.

representa el conjunto de estas matrices de

cuyo determinante es igual a uno (

{\displaystyle \mathrm {SO} (2):=\{A\in {\mathcal {M}}_{2\times 2}(\mathbb {R} ):\det(A)=1\}}