Grupo cíclico binario

En matemáticas , el grupo cíclico binario del n -gono es el grupo cíclico de orden 2 n , considerado como una extensión del grupo cíclico mediante un grupo cíclico de orden 2. Coxeter escribe el grupo cíclico binario con corchetes angulares, ⟨ n ⟩, y el subgrupo de índice 2 como ( n ) o [ n ] ⁺ . $Estilo de visualización C_{2n}}$$Estilo de visualización C_{n}$

Es el grupo poliédrico binario correspondiente al grupo cíclico. ^[1]

En términos de grupos poliédricos binarios, el grupo cíclico binario es la preimagen del grupo cíclico de rotaciones ( ) bajo el homomorfismo de cobertura 2:1${\displaystyle C_{n}<\operatorname {SO} (3)}$

${\displaystyle \operatorname {Giro} (3)\to \operatorname {SO} (3)\,}$

del grupo ortogonal especial por el grupo de espín .

Como subgrupo del grupo de espín, el grupo cíclico binario puede describirse concretamente como un subgrupo discreto de los cuaterniones unitarios , bajo el isomorfismo donde Sp(1) es el grupo multiplicativo de los cuaterniones unitarios. (Para una descripción de este homomorfismo, véase el artículo sobre cuaterniones y rotaciones espaciales ). ${\displaystyle \operatorname {Giro} (3)\cong \operatorname {Espín} (1)}$

El grupo cíclico binario se puede definir como el conjunto de ^las raíces de la unidad, es decir, el conjunto , donde ${\estilo de visualización 2n}$${\displaystyle \left\{\omega _{n}^{k}\;|\;k\in \{0,1,2,...,2n-1\}\right\}}$

${\displaystyle \omega _{n}=e^{i\pi /n}=\cos {\frac {\pi }{n}}+i\sin {\frac {\pi }{n}},}$

utilizando la multiplicación como operación de grupo.

• grupo diedro binario , ⟨2,2, n ⟩, orden 4 n
• grupo tetraédrico binario , ⟨2,3,3⟩, orden 24
• grupo octaédrico binario , ⟨2,3,4⟩, orden 48
• grupo icosaédrico binario , ⟨2,3,5⟩, orden 120