Grupo cuaterniónico

Tabla de multiplicar del grupo cuaterniónicoico (forma simplificada) Plantilla:Math Plantilla:Math Plantilla:Math Plantilla:Math Plantilla:Math Plantilla:Math Plantilla:Math Plantilla:Math Plantilla:Math Plantilla:Math Plantilla:Math Plantilla:Math Plantilla:Math Plantilla:Math Plantilla:Math Plantilla:Math Plantilla:Math Plantilla:Math Plantilla:Math Plantilla:Math Plantilla:Math Plantilla:Math Plantilla:Math Plantilla:Math

En teoría de grupos, el grupo cuaterniónico (o también grupo de los cuaterniones) ₈X (a veces simplemente denotado por Q) es un grupo no abeliano de orden ocho, isomorfo al subconjunto de ocho elementos $\{1,i,j,k,-1,-i,-j,-k\}$ de los cuaterniones bajo la multiplicación. Está dado por la presentación de grupo

${\mathrm{Q}}_8=⟨\overline{e},i,j,k\mid {\overline{e}}^2=e,i^2=j^2=k^2=ijk=\overline{e}⟩,$

donde e es el elemento identidad y Plantilla:Overline conmuta con los demás elementos del grupo. Estas relaciones, descubiertas por William Rowan Hamilton, también generan los cuaterniones como un álgebra sobre los números reales.

Otra presentación de Q₈ es

${\mathrm{Q}}_8=⟨a,b\mid a^4=e,a^2=b^2,ba=a^{-1}b⟩.$

Como muchos otros grupos finitos, puede realizarse como el grupo de Galois de un determinado cuerpo de números algebraicos.

Comparación con el grupo diédrico

Diagrama cíclico de ₈X. Cada color especifica una serie de potencias de cualquier elemento conectado al elemento identidad e=1. Por ejemplo, el ciclo en rojo refleja el hecho de que i²= Plantilla:Overline, i³= Plantilla:Overline e i⁴= e. El ciclo rojo también refleja que Plantilla:Overline²= Plantilla:Overline, Plantilla:Overline³= i y Plantilla:Overline⁴= e

El grupo cuaterniónico ₈X tiene el mismo orden que el grupo diédrico D₄, pero una estructura diferente, como lo muestran sus grafos cíclico y de Cayley:

	Q8	D4
Grafo de Cayley	Flechas rojas conectan g→gi, y las verdes g→gj.
Grafo cíclico

En los diagramas de D₄, los elementos del grupo están marcados con su acción sobre una letra F en su representación definitoria respecto a 'R². No se puede hacer lo mismo con ₈X, ya que no tiene una representación fiel en R² o R³. D₄ puede realizarse como un subconjunto de los cuaterniones divididos de la misma manera que ₈X puede verse como un subconjunto de los cuaterniones.

Tabla de Cayley

×	e	Plantilla:Overline	i	Plantilla:Overline	j	Plantilla:Overline	k	Plantilla:Overline
e	e	Plantilla:Overline	i	Plantilla:Overline	j	Plantilla:Overline	k	Plantilla:Overline
Plantilla:Overline	Plantilla:Overline	e	Plantilla:Overline	i	Plantilla:Overline	j	Plantilla:Overline	k
i	i	Plantilla:Overline	Plantilla:Overline	e	k	Plantilla:Overline	Plantilla:Overline	j
Plantilla:Overline	Plantilla:Overline	i	e	Plantilla:Overline	Plantilla:Overline	k	j	Plantilla:Overline
j	j	Plantilla:Overline	Plantilla:Overline	k	Plantilla:Overline	e	i	Plantilla:Overline
Plantilla:Overline	Plantilla:Overline	j	k	Plantilla:Overline	e	Plantilla:Overline	Plantilla:Overline	i
k	k	Plantilla:Overline	j	Plantilla:Overline	Plantilla:Overline	i	Plantilla:Overline	e
Plantilla:Overline	Plantilla:Overline	k	Plantilla:Overline	j	i	Plantilla:Overline	e	Plantilla:Overline

La tabla de Cayley (tabla de multiplicar) para ₈X viene dada por:

Propiedades

Los elementos i, j y k tienen todos orden cuatro en ₈X y dos de ellos generan el grupo completo. Otra presentación de ₈X basada en solo dos elementos para saltarse esta redundancia es:

$⟨x,y\mid x^4=1,x^2=y^2,y^{-1}xy=x^{-1}⟩.$

Por ejemplo, al escribir los elementos del grupo en formas normales mínimas lexicográficamente, se puede identificar:

El grupo cuaterniónico tiene la propiedad inusual de ser hamiltoniano: ₈X no es abeliano, pero cada subgrupo es normal. Cada grupo hamiltoniano contiene una copia de ₈X.

El grupo cuaterniónico ₈X y el grupo diédrico D₄ son los dos ejemplos más pequeños de un grupo no abeliano nilpotente.

El centro y el subgrupo conmutador de ₈X es el subgrupo $\{e,\overline{e}\}$. El automorfismo interno de ₈X viene dado por el módulo del grupo en su centro, es decir, el grupo cociente ${\mathrm{Q}}_8/\{e,\overline{e}\},$ que es isomorfo al grupo de Klein V. El grupo de automorfismo completo de ₈X es isomorfo a S₄, el grupo simétrico de cuatro letras (consúltese Representaciones matriciales a continuación) , y el grupo de automorfismo externo de ₈X es, por tanto, S₄/V, que es isomorfo a S₃.

El grupo cuaterniónico ₈X tiene cinco clases de conjugación, $\{e\},\{\overline{e}\},\{i,\overline{i}\},\{j,\overline{j}\},\{k,\overline{k}\},$ y, por tanto, cinco representaciones irreductibles sobre los números complejos, con dimensiones 1, 1, 1, 1, 2:

Representación trivial.

Representaciones de signos con i, j, k-núcleo: ₈X tiene tres subgrupos normales máximos: los subgrupos cíclicos generados por i, j y k respectivamente. Para cada subgrupo normal máximo N, se obtiene una representación unidimensional factorizando a través del grupo cociente G/N de 2 elementos. La representación envía elementos de N a 1 y elementos fuera de N a −1.

Representación bidimensional: se describe a continuación en Representaciones matriciales. No es realizable sobre los números reales, dado que se trata de una representación compleja: de hecho, son solo los cuaterniones $ℍ$ considerados como un álgebra sobre $ℂ$, y la acción es la de multiplicar por la izquierda por $Q_8\subset ℍ$.

La tabla de caracteres de ₈X resulta ser la misma que la de D₄:

Representación(ρ)/Clase de conjugación	{e }	{Plantilla:Overline }	{i, Plantilla:Overline }	{j, Plantilla:Overline }	{k, Plantilla:Overline }
Representación trivial	1	1	1	1	1
Representación de signos con i-núcleo	1	1	1	−1	−1
Representación de signos con j-núcleo	1	1	−1	1	−1
Representación de signos con k-núcleo	1	1	−1	−1	1
Representación 2-dimensional	2	−2	0	0	0

Sin embargo, todos los caracteres irreducibles ${\chi }_{\rho }$ en las filas anteriores tienen valores reales, esto da la descomposición del álgebra de grupo real de $G={\mathrm{Q}}_8$ en ideales mínimos de dos lados:

$ℝ[{\mathrm{Q}}_8]=\underset{\rho }{⨁}(e_{\rho }),$

donde los idempotentes $e_{\rho }\in ℝ[{\mathrm{Q}}_8]$ corresponden a los irreducibles:

$e_{\rho }=\frac{\dim (\rho )}{|G|}\sum _{g\in G}{\chi }_{\rho }(g^{-1})g,$

de modo que

$\begin{array}{cc}{e}_{\text{triv}}& =\frac{1}{8}(e+\overline{e}+i+\overline{i}+j+\overline{j}+k+\overline{k})\\ e_{i\text{-ker}}& =\frac{1}{8}(e+\overline{e}+i+\overline{i}-j-\overline{j}-k-\overline{k})\\ e_{j\text{-ker}}& =\frac{1}{8}(e+\overline{e}-i-\overline{i}+j+\overline{j}-k-\overline{k})\\ e_{k\text{-ker}}& =\frac{1}{8}(e+\overline{e}-i-\overline{i}-j-\overline{j}+k+\overline{k})\\ e_2& =\frac{2}{8}(2e-2\overline{e})=\frac{1}{2}(e-\overline{e})\end{array}$

Cada uno de estos ideales irreducibles es isomorfo a un álgebra simple central real, los primeros cuatro al cuerpo real $ℝ$. El último ideal $(e_2)$ es isomorfo al anillo de división de los cuaterniones $ℍ$ por la correspondencia:

$\begin{array}{cc}\frac{1}{2}(e-\overline{e})& ⟷1,\\ \frac{1}{2}(i-\overline{i})& ⟷i,\\ \frac{1}{2}(j-\overline{j})& ⟷j,\\ \frac{1}{2}(k-\overline{k})& ⟷k.\end{array}$

Además, el homomorfismo de proyección $ℝ[{\mathrm{Q}}_8]\to (e_2)\cong ℍ$ dado por $r\mapsto r{e}_2$ tiene un núcleo ideal generado por el idempotente:

$e_2^{\perp }=e_1+e_{i\text{-ker}}+e_{j\text{-ker}}+e_{k\text{-ker}}=\frac{1}{2}(e+\overline{e}),$

por lo que los cuaterniones también se pueden obtener como el anillo cociente $ℝ[{\mathrm{Q}}_8]/(e+\overline{e})\cong ℍ$. Téngase en cuenta que esto es irreducible como una representación real de $Q_8$, pero se divide en dos copias del irreducible bidimensional cuando se extiende a los números complejos. De hecho, el álgebra de grupos complejos es $ℂ[{\mathrm{Q}}_8]\cong {ℂ}^{\oplus 4}\oplus M_2(ℂ),$, donde $M_2(ℂ)\cong ℍ{\otimes }_{ℝ}ℂ\cong ℍ\oplus ℍ$ es el álgebra bicuaterniónica.

Representaciones matriciales

Tabla de multiplicar del grupo cuaterniónico como subgrupo del SL(2,C). Las entradas están representadas por sectores correspondientes a sus argumentos: 1 (verde), i (azul), −1 (rojo), −i (amarillo)

La representación del complejo irreducible bidimensional descrito anteriormente da el grupo cuaterniónico ₈X como un subgrupo del grupo lineal general $\mathrm{GL}(2,ℂ)$. El grupo cuaterniónico es un subgrupo multiplicativo del álgebra de cuaterniones:

$ℍ=ℝ1+ℝi+ℝj+ℝk=ℂ1+ℂj,$

que tiene una representación regular $\rho :ℍ\to \mathrm{M}(2,ℂ)$ por multiplicación por la izquierda sobre sí mismo considerado como un espacio vectorial complejo con base $\{1,j\},$ de modo que $z\in ℍ$ corresponde a la aplicación lineal $ℂ$ ${\rho }_z:a+jb\mapsto z\cdot (a+jb).$ La representación resultante

$\{\begin{array}{c}\rho :{\mathrm{Q}}_8\to \mathrm{GL}(2,ℂ)\\ g⟼{\rho }_g\end{array}$

que viene dada por:

$\begin{array}{cccc}e\mapsto \left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)& i\mapsto \left(\begin{array}{cc}i& 0\\ 0& -i\end{array}\right)& j\mapsto \left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)& k\mapsto \left(\begin{array}{cc}0& -i\\ -i& 0\end{array}\right)\\ \bar{e}\mapsto \left(\begin{array}{cc}-1& 0\\ 0& -1\end{array}\right)& \bar{i}\mapsto \left(\begin{array}{cc}-i& 0\\ 0& i\end{array}\right)& \bar{j}\mapsto \left(\begin{array}{cc}0& 1\\ -1& 0\end{array}\right)& \bar{k}\mapsto \left(\begin{array}{cc}0& i\\ i& 0\end{array}\right).\end{array}$

Dado que todas las matrices anteriores tienen determinante unitario, esta es una representación de ₈X en el grupo lineal especial $\mathrm{SL}(2,ℂ)$.

Una variante da una representación por matrices unitarias (tabla de la derecha). Sea $g\in {\mathrm{Q}}_8$ la aplicación lineal ${\rho }_g:a+bj\mapsto (a+bj)\cdot j{g}^{-1}{j}^{-1},$ de modo que $\rho :{\mathrm{Q}}_8\to \mathrm{SU}(2)$ esté dado por:

$\begin{array}{cccc}e\mapsto \left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)& i\mapsto \left(\begin{array}{cc}i& 0\\ 0& -i\end{array}\right)& j\mapsto \left(\begin{array}{cc}0& 1\\ -1& 0\end{array}\right)& k\mapsto \left(\begin{array}{cc}0& i\\ i& 0\end{array}\right)\\ \bar{e}\mapsto \left(\begin{array}{cc}-1& 0\\ 0& -1\end{array}\right)& \bar{i}\mapsto \left(\begin{array}{cc}-i& 0\\ 0& i\end{array}\right)& \bar{j}\mapsto \left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)& \bar{k}\mapsto \left(\begin{array}{cc}0& -i\\ -i& 0\end{array}\right).\end{array}$

Vale la pena señalar que los físicos utilizan exclusivamente una convención diferente para que la representación matricial $\mathrm{SU}(2)$ sea coherente con las matrices de Pauli habituales:

$\begin{array}{ccccc}& e\mapsto \left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)=1_{2\times 2}& i\mapsto \left(\begin{array}{cc}0& -i\\ -i& 0\end{array}\right)=-i{\sigma }_x& j\mapsto \left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)=-i{\sigma }_y& k\mapsto \left(\begin{array}{cc}-i& 0\\ 0& i\end{array}\right)=-i{\sigma }_z\\ & \bar{e}\mapsto \left(\begin{array}{cc}-1& 0\\ 0& -1\end{array}\right)=-1_{2\times 2}& \bar{i}\mapsto \left(\begin{array}{cc}0& i\\ i& 0\end{array}\right)=i{\sigma }_x& \bar{j}\mapsto \left(\begin{array}{cc}0& 1\\ -1& 0\end{array}\right)=i{\sigma }_y& \bar{k}\mapsto \left(\begin{array}{cc}i& 0\\ 0& -i\end{array}\right)=i{\sigma }_z.\end{array}$

Esta elección particular es conveniente y elegante cuando se describen estados de espín -1/2 en la base $({\overrightarrow{J}}^2,J_z)$ y se considera operadores en escalera del momento angular $J_{\pm }=J_x\pm i{J}_y.$

Tabla de multiplicar del grupo cuaterniónico como subgrupo de SL(2,3). Los elementos del cuerpo se denotan por 0, +, −

También hay una importante acción de ₈X en el espacio vectorial bidimensional sobre elcuerpo finito ${𝔽}_3=\{0,1,-1\}$ (tabla de la derecha). Una representación modular $\rho :{\mathrm{Q}}_8\to \mathrm{SL}(2,3)$ viene dada por

$\begin{array}{cccc}e\mapsto \left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)& i\mapsto \left(\begin{array}{cc}1& 1\\ 1& -1\end{array}\right)& j\mapsto \left(\begin{array}{cc}-1& 1\\ 1& 1\end{array}\right)& k\mapsto \left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)\\ \bar{e}\mapsto \left(\begin{array}{cc}-1& 0\\ 0& -1\end{array}\right)& \bar{i}\mapsto \left(\begin{array}{cc}-1& -1\\ -1& 1\end{array}\right)& \bar{j}\mapsto \left(\begin{array}{cc}1& -1\\ -1& -1\end{array}\right)& \bar{k}\mapsto \left(\begin{array}{cc}0& 1\\ -1& 0\end{array}\right).\end{array}$

Esta representación se puede obtener de la extensión del cuerpo:

${𝔽}_9={𝔽}_3[k]={𝔽}_{3}1+{𝔽}_{3}k,$

donde $k^2=-1$ y el grupo multiplicativo ${𝔽}_9^{\times }$ tiene cuatro generadores, $\pm (k\pm 1),$ de orden 8. Para cada $z\in {𝔽}_9,$, el espacio vectorial ${𝔽}_3$ bidimensional ${𝔽}_9$ admite una aplicación lineal:

$\{\begin{array}{c}{\mu }_z:{𝔽}_9\to {𝔽}_9\\ {\mu }_z(a+bk)=z\cdot (a+bk)\end{array}$

Además se tiene el automorfismo de Frobenius $\varphi (a+bk)=(a+bk{)}^3$ que satisface ${\varphi }^2={\mu }_1$ y $\varphi {\mu }_z={\mu }_{\varphi (z)}\varphi .$. Entonces, las matrices de representación anteriores son:

$\begin{array}{cc}\rho (\overline{e})& ={\mu }_{-1},\\ \rho (i)& ={\mu }_{k+1}\varphi ,\\ \rho (j)& ={\mu }_{k-1}\varphi ,\\ \rho (k)& ={\mu }_k.\end{array}$

Esta representación realiza ₈X como un subgrupo normal de Plantilla:Nowrap. Así, para cada matriz $m\in \mathrm{GL}(2,3)$, se tiene un automorfismo de grupo

$\{\begin{array}{c}{\psi }_m:{\mathrm{Q}}_8\to {\mathrm{Q}}_8\\ {\psi }_m(g)=mg{m}^{-1}\end{array}$

con ${\psi }_I={\psi }_{-I}={\mathrm{i}\mathrm{d}}_{{\mathrm{Q}}_8}.$ De hecho, generan el grupo de automorfismo completo como:

$\mathrm{Aut}({\mathrm{Q}}_8)\cong \mathrm{PGL}(2,3)=\mathrm{GL}(2,3)/\{\pm I\}\cong S_4.$

que es isomorfo al grupo simétrico S₄, ya que las asignaciones lineales $m:{𝔽}_3^2\to {𝔽}_3^2$ permutan los cuatro subespacios unidimensionales de ${𝔽}_3^2,$, es decir, los cuatro puntos del espacio proyectivo ${\mathbb{P}}^1({𝔽}_3)=\mathrm{PG}(1,3).$

Además, esta representación permuta los ocho vectores distintos de cero de ${𝔽}_3^2,$ dando una inclusión de ₈X en el grupo simétrico S₈, además de las inclusiones dadas por las representaciones regulares.

Grupo de Galois

Richard Dedekind consideró el cuerpo $\mathbb{Q}[\sqrt{2},\sqrt{3}]$ al intentar relacionar el grupo cuaterniónico con la teoría de Galois. En 1936 Ernst Witt publicó su aproximación al grupo cuaterniónico a través de la teoría de Galois.

En 1981, Richard Dean demostró que el grupo cuaterniónico se puede realizar como el grupo de Galois Gal(T/Q') donde Q es el cuerpo de los números racionales y T es el cuerpo de descomposición del polinomio

$x^8-72x^6+180x^4-144x^2+36$.

El desarrollo utiliza el teorema fundamental de la teoría de Galois para especificar cuatro cuerpos intermedios entre Q y T y sus grupos de Galois, así como dos teoremas sobre la extensión cíclica de grado cuatro sobre un cuerpo.

Grupo cuaterniónico generalizado

Un grupo cuaterniónico generalizado _4nX de orden 4n está definido por la presentación

$⟨x,y\mid x^{2n}=y^4=1,x^n=y^2,y^{-1}xy=x^{-1}⟩$

para un número entero Plantilla:Nowrap, con el grupo cuaterniónico habitual dado por n = 2. Coxeter llama a _4nX grupo dicíclico $⟨2,2,n⟩$, un caso especial de los grupos de puntos en tres dimensiones $⟨\ell ,m,n⟩$ y relacionado con el grupo poliédrico $(p,q,r)$ y el grupo diédrico $(2,2,n)$. El grupo cuaterniónico generalizado se puede realizar como el subgrupo de ${\mathrm{GL}}_2(ℂ)$ generado por

$\left(\begin{array}{cc}{\omega }_n& 0\\ 0& {\bar{\omega }}_n\end{array}\right)\text{y }\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)$

donde ${\omega }_n=e^{i\pi /n}$. También se puede realizar como el subgrupo cuaterniónico unitario generado por $x=e^{i\pi /n}$ y $y=j$.

Los grupos cuaterniónicos generalizados tienen la propiedad de que cada subgrupo abeliano es cíclico. Se puede demostrar que un p-grupo finito con esta propiedad (cada subgrupo abeliano es cíclico) es cíclico o un grupo cuaterniónico generalizado como se definió anteriormente. Otra caracterización es que un p-grupo finito en el que hay un subgrupo único de orden p es cíclico o un grupo cuaterniónico isomorfo a uno generalizado de 2 grupos. En particular, para un cuerpo finito F con característica impar, el subgrupo 2-Sylow de SL₂(F) no es abeliano y tiene solo un subgrupo de orden 2, por lo que este subgrupo 2-Sylow debe ser un grupo cuaterniónico generalizado, Plantilla:Harv. Suponiendo que p^r sea el tamaño de F, donde p es primo, el tamaño del subgrupo 2-Sylow de SL₂(F) es 2ⁿ, donde Plantilla:Nowrap.

El teorema de Brauer-Suzuki muestra que los grupos cuyos subgrupos 2-Sylow son cuaterniones generalizados no pueden ser simples.

Otra terminología reserva el nombre de "grupo cuaterniónico generalizado" para un grupo dicíclico de orden una potencia de 2, que admite la presentación

$⟨x,y\mid x^{2^m}=y^4=1,x^{2^{m-1}}=y^2,y^{-1}xy=x^{-1}⟩.$

Véase también

• Hexadecacoron
• Grupo tetraédrico binario
• Álgebra de Clifford
• Grupo dicíclico
• Cuaternión de Hurwitz
• Anexo:Grupos finitos de orden bajo

Bibliografía

• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Cite book
• Dean, Richard A. (1981) "Un polinomio racional cuyo grupo son los cuaterniones", American Mathematical Monthly 88:42-5.
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• P.R. Girard (1984) "El grupo de los cuaterniones y la física moderna", European Journal of Physics 5:25-32.
• Plantilla:Citation
• Plantilla:Citation

Enlaces externos

• Plantilla:MathWorld
• Grupos Quaternion en GroupNames
• Grupo cuaterniónico en GroupProps
• Conrado, Keith. "Cuaterniones generalizados"