Grupo dicíclico

Estructura algebraica → Teoría de grupos Teoría de grupos
Nociones básicas Subgrupo Subgrupo normal Acción grupal Grupo de cocientes Producto (semi) directo Suma directa Producto gratuito Producto de corona Homomorfismos de grupo núcleo imagen simple finito infinito continuo multiplicativo aditivo cíclico abeliano diedro nilpotente soluble Glosario de teoría de grupos Lista de temas de teoría de grupos
Grupos finitos Grupo cíclico Z n Grupo simétrico S n Grupo alterno A n Grupo diedro D n Grupo de cuaterniones Q Teorema de Cauchy Teorema de Lagrange Teoremas de Sylow Teorema de Hall p -grupo Grupo abeliano elemental Grupo de Frobenius Multiplicador de Schur Clasificación de grupos finitos simples cíclico alterno Tipo de mentira esporádico
Grupos discretos Enrejados Números enteros (${\displaystyle \mathbb {Z}}$) Grupo libre Grupos modulares LPS(2,${\displaystyle \mathbb {Z}}$) SL(2,${\displaystyle \mathbb {Z}}$) Grupo aritmético Enrejado Grupo hiperbólico
Grupos topológicos y de Lie Solenoide Círculo GL lineal general ( n ) SL lineal especial ( n ) O( n ) ortogonal E( n ) euclidiana Special orthogonal SO(n) Unitary U(n) Special unitary SU(n) Symplectic Sp(n) G2 F4 E6 E7 E8 Lorentz Poincaré Conformal Diffeomorphism Loop Infinite dimensional Lie group O(∞) SU(∞) Sp(∞)
Algebraic groups Linear algebraic group Reductive group Abelian variety Elliptic curve
v t e

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Dicyclic group" – news · newspapers · books · scholar · JSTOR (February 2010) (Learn how and when to remove this message)

En teoría de grupos , un grupo dicíclico (notación Dic _n o Q _{4 n} , ^[1] ⟨ n ,2,2⟩ ^[2] ) es un tipo particular de grupo no abeliano de orden 4 n ( n > 1). Es una extensión del grupo cíclico de orden 2 por un grupo cíclico de orden 2 n , dando el nombre de dicíclico . En la notación de secuencias exactas de grupos, esta extensión puede expresarse como:

${\displaystyle 1\to C_{2n}\to {\mbox{Dic}}_{n}\to C_{2}\to 1.\,}$

De manera más general, dado cualquier grupo abeliano finito con un elemento de orden 2, se puede definir un grupo dicíclico.

Para cada entero n > 1, el grupo dicíclico Dic _n se puede definir como el subgrupo de los cuaterniones unitarios generados por

${\displaystyle {\begin{aligned}a&=e^{\frac {i\pi }{n}}=\cos {\frac {\pi }{n}}+i\sin {\frac {\pi }{n}}\\x&=j\end{aligned}}}$

De manera más abstracta, se puede definir el grupo dicíclico Dic _n como el grupo con la siguiente presentación ^[3]

${\displaystyle \operatorname {Dic} _{n}=\left\langle a,x\mid a^{2n}=1,\ x^{2}=a^{n},\ x^{-1}ax=a^{-1}\right\rangle .\,\!}$

Algunas cosas a tener en cuenta que se desprenden de esta definición:

• ${\displaystyle x^{4}=1}$
• ${\displaystyle x^{2}a^{m}=a^{m+n}=a^{m}x^{2}}$
• Si , entonces${\displaystyle l=\pm 1}$${\displaystyle x^{l}a^{m}=a^{-m}x^{l}}$
• ${\displaystyle a^{m}x^{-1}=a^{m-n}a^{n}x^{-1}=a^{m-n}x^{2}x^{-1}=a^{m-n}x}$

Por lo tanto, cada elemento de Dic _n puede escribirse de forma única como m x ^l , donde 0 ≤ m < 2 n y l = 0 o 1. Las reglas de multiplicación están dadas ^por

• ${\displaystyle a^{k}a^{m}=a^{k+m}}$
• ${\displaystyle a^{k}a^{m}x=a^{k+m}x}$
• ${\displaystyle a^{k}xa^{m}=a^{k-m}x}$
• ${\displaystyle a^{k}xa^{m}x=a^{k-m+n}}$

De ello se deduce que Dic _n tiene orden 4 n . ^[3]

Cuando n = 2, el grupo dicíclico es isomorfo al grupo cuaterniones Q. De manera más general, cuando n es una potencia de 2, el grupo dicíclico es isomorfo al grupo cuaterniones generalizado . ^[3]

Para cada n > 1, el grupo dicíclico Dic _n es un grupo no abeliano de orden 4 n . (Para el caso degenerado n = 1, el grupo Dic ₁ es el grupo cíclico C ₄ , que no se considera dicíclico.)

Sea A = ⟨ a ⟩ el subgrupo de Dic _n generado por a . Entonces A es un grupo cíclico de orden 2 n , por lo que [Dic _n : A ] = 2. Como subgrupo de índice 2 es automáticamente un subgrupo normal . El grupo cociente Dic _n / A es un grupo cíclico de orden 2.

Dic _n es solucionable ; tenga en cuenta que A es normal y, al ser abeliano, es en sí mismo solucionable.

El grupo dicíclico es un grupo poliédrico binario —es una de las clases de subgrupos del grupo Pin Pin ₋ (2), que es un subgrupo del grupo Spin Spin(3)— y en este contexto se conoce como grupo diedro binario .

La conexión con el grupo cíclico binario C _{2 n} , el grupo cíclico C _n y el grupo diedro Dih _n de orden 2 n se ilustra en el diagrama de la derecha y es paralelo al diagrama correspondiente para el grupo Pin. Coxeter escribe el grupo diedro binario como ⟨2,2, n ⟩ y el grupo cíclico binario con corchetes angulares, ⟨ n ⟩.

Existe una semejanza superficial entre los grupos dicíclicos y los grupos diedros ; ambos son una especie de "reflejo" de un grupo cíclico subyacente. Pero la presentación de un grupo diedro tendría x ² = 1, en lugar de x ² = a ⁿ ; y esto produce una estructura diferente. En particular, Dic _n no es un producto semidirecto de A y ⟨ x ⟩ , ya que A  ∩  ⟨ x ⟩ no es trivial.

El grupo dicíclico tiene una única involución (es decir, un elemento de orden 2), a saber, x ² = a ⁿ . Nótese que este elemento se encuentra en el centro de Dic _n . De hecho, el centro consiste únicamente en el elemento identidad y x ² . Si añadimos la relación x ² = 1 a la presentación de Dic _{n ,} se obtiene una presentación del grupo diedro Dih _n , por lo que el grupo cociente Dic _n /< x ² > es isomorfo a Dih _n .

Existe un homomorfismo natural 2 a 1 desde el grupo de cuaterniones unitarios hasta el grupo de rotación tridimensional descrito en cuaterniones y rotaciones espaciales . Dado que el grupo dicíclico puede estar incrustado dentro de los cuaterniones unitarios, uno puede preguntarse cuál es la imagen de este bajo este homomorfismo. La respuesta es simplemente el grupo de simetría diedral Dih _n . Por esta razón, el grupo dicíclico también se conoce como el grupo diedral binario . Nótese que el grupo dicíclico no contiene ningún subgrupo isomorfo a Dih _n .

La construcción de preimagen análoga, utilizando Pin ₊ (2) en lugar de Pin ₋ (2), produce otro grupo diedro, Dih _{2 n} , en lugar de un grupo dicíclico.

Sea A un grupo abeliano , que tiene un elemento específico y en A con orden 2. Un grupo G se llama grupo dicíclico generalizado , escrito como Dic( A , y ) , si es generado por A y un elemento adicional x , y además tenemos que [ G : A ] = 2, x ² = y , y para todo a en A , x ⁻¹ ax = a ⁻¹ .

Dado que para un grupo cíclico de orden par siempre hay un elemento único de orden 2, podemos ver que los grupos dicíclicos son simplemente un tipo específico de grupo dicíclico generalizado.

El grupo dicíclico es el caso de la familia de grupos triangulares binarios definidos por la presentación:[1]${\displaystyle (p,q,r)=(2,2,n)}$${\displaystyle \Gamma (p,q,r)}$

${\displaystyle \langle a,b,c\mid a^{p}=b^{q}=c^{r}=abc\rangle .}$

Tomando el cociente por la relación adicional se obtiene un grupo de triángulos ordinarios , que en este caso es el cociente diedro .${\displaystyle abc=e}$${\displaystyle \mathrm {Dic} _{n}\rightarrow \mathrm {Dih} _{n}}$

• grupo poliédrico binario
• grupo cíclico binario , ⟨ n ⟩, orden 2 n
• grupo tetraédrico binario , 2T = ⟨2,3,3⟩, ^[2] orden 24
• grupo octaédrico binario , 2O = ⟨2,3,4⟩, ^[2] orden 48
• grupo icosaédrico binario , 2I = ⟨2,3,5⟩, ^[2] orden 120

• Grupos dicíclicos en GroupNames