Producto semidirecto
# Producto semidirecto

En la rama matemática de la teoría de grupos, se denomina producto semidirecto de dos grupos a un tercer grupo que extiende los dos primeros bajo ciertas condiciones adicionales. El producto semidirecto de dos grupos se denota con el símbolo $\rtimes$. Este producto no es único, pues depende de la elección de cierta función $\varphi$, por lo que en ocasiones se hace necesario usar el símbolo $\rtimes _{\varphi }$ para evitar ambigüedades.
El producto semidirecto de dos grupos se caracteriza por tener dos copias isomorfas a los grupos de partida como subgrupos, los cuales además tienen intersección trivial. Además el primero de ellos es un subgrupo normal, lo cual no es en general cierto para el segundo; el orden de los dos grupos factores importa en el producto semidirecto.

# Producto semidirecto
## Definición formal

Sean $H$ y $K$ dos grupos cualesquiera, y sea $\varphi :K\to Aut\ H$ un homomorfismo de grupos. Este homomorfismo caracteriza una acción del grupo $K$ sobre el grupo $H$, que viene dada por $k\ h=\varphi (k)(h)$. Se denomina producto semidirecto de $H$ y $K$ respecto de $\varphi$, y se denota $H\rtimes _{\varphi }K$, al grupo formado por todos los pares
       $\{(h,k)\ :h\in H\ y\ k\in K\}$
bajo la operación definida por
       $(h_{1},k_{1})\cdot (h_{2},k_{2})=(h_{1}k_{1}h_{2},k_{1}k_{2})$.
El producto semidirecto tiene las siguientes propiedades:
* El orden de $H\rtimes _{\varphi }K$ es $o(H)\cdot o(K)$.
* El subgrupo ${\tilde {H}}=\{(h,1)\ :h\in H\}$ es isomorfo a $H$ y es normal en $H\rtimes _{\varphi }K$.
* El subgrupo ${\tilde {K}}=\{(1,k)\ :k\in K\}$ es isomorfo a $K$.
* Estos dos subgrupos tienen intersección trivial: ${\tilde {H}}\cap {\tilde {K}}=\{e\}$, donde $e$ es el neutro de $H\rtimes _{\varphi }K$.
El producto directo de grupos es un caso particular del producto semidirecto. Se da precisamente cuando el homomorfismo $\varphi :K\to Aut\ H$ es trivial, es decir, cuando todo elemento $k\in K$ tiene por imagen la identidad de $Aut\ H$ (que es la función identidad de $H$). En tal caso y solo en tal caso $k\ h=h$ para todo par de elementos $(h,k)$. Además, el subgrupo ${\tilde {K}}$ es también normal en el producto directo. El recíproco también es cierto, es decir, si ambos ${\tilde {H}}$ y ${\tilde {K}}$ son normales en el producto entonces es un producto directo.

# Producto semidirecto
## Descomposición de un grupo como producto semidirecto

Dado un grupo $G$ que contiene un subgrupo normal $N$, cabe preguntarse si $G$ puede formarse como producto semidirecto de $N$ con otro grupo o, más formalmente, si $G$ es isomorfo a un producto semidirecto $N\rtimes _{\varphi }Q$, para cierto grupo $Q$ y un homomorfismo $\varphi :Q\to Aut\ N$.
Considérese un subgrupo $H$ (no necesariamente normal) de un grupo $G$. Se dice que un subgrupo $K\subseteq G$ es un complemento de $H$ si se cumple cualquiera de las dos condiciones equivalentes:
* $G=HK$ y $H\cap K=\{e\}$ (siendo e el elemento neutro de G).
* $\forall g\in G$ existen elementos $h\in H,k\in K$ únicos tales que $g=hk$.
Sea ahora un subgrupo normal $N\triangleleft G$; se dice que $G$ es un producto semidirecto de $N$ y $Q$, escrito como $G=N\rtimes Q,$ si $N$ tiene un complemento $Q'\simeq Q$ en $G$. En tal caso se dice que G se parte sobre N o que G se descompone sobre N.
No todo subgrupo normal tiene complemento, y si lo tiene, no tiene por qué ser necesariamente único. No obstante, todos los complementos de un subgrupo normal $N$ (cuando existen) son isomorfos entre sí, puesto que por los teoremas de isomorfía:
       $G/N=NQ/N\simeq Q/(N\cap Q)=Q/1\simeq Q$.

# Producto semidirecto
## Descomposición de un grupo como producto semidirecto
### Caracterizaciones equivalentes

Dado un subgrupo normal $N\triangleleft G$, las siguientes proposiciones son equivalentes:
* $G$ es un producto semidirecto de $N$ y $G/N$.
* $N$ tiene un complemento $Q\subset G$.
* Existe un subgrupo $Q\subset G$ tal que cada elemento $g\in G$ se puede expresar de forma única como $g=ax$, donde $a\in N$ y $x\in Q$.
* Existe un homomorfismo $s:G/N\to G$ tal que $v\circ s:G/N\to G/N=id$, donde $v:G\to G/N$ es la proyección natural.
* Existe un homomorfismo $\pi :G\to G$ tal que $ker\ \pi =N$ y $\pi (x)=x$ para todo $x\in im\ \pi$ (una aplicación que satisface estas condiciones se dice que es una retracción de $G$).
Estas condiciones son útiles para determinar si un grupo es el producto semidirecto de dos de sus subgrupos. En cambio, la definición formal permite construir un producto semidirecto de dos grupos arbitrarios, no necesariamente subgrupos de un grupo común.

# Producto semidirecto
## Ejemplos

* El grupo lineal general $GL_{n}(\mathbb {F} )$, donde $\mathbb {F}$ es un cuerpo de característica cero, es el producto semidirecto del grupo multiplicativo del cuerpo y el grupo lineal especial:
   $GL_{n}(\mathbb {F} )=SL_{n}(\mathbb {F} )\rtimes \mathbb {F} ^{\times }$
* El grupo diedral de un polígono de $n$ lados es un producto semidirecto de dos grupos cíclicos: $D_{n}=C_{n}\rtimes C_{2}$. El homomorfismo $C_{2}\to Aut\ C_{n}$ queda totalmente descrito por la acción del elemento no nulo de $C_{2}$, que aquí invierte los elementos de $C_{n}$ (la inversión es un automorfismo por ser $C_{n}$ abeliano).
* El grupo simétrico $S_{n}$ es el producto semidirecto de su subgrupo alternante por $C_{2}$. En este caso se puede tomar como complemento de $A_{n}$ al subgrupo generado por una transposición cualquiera.

# Producto semidirecto
## Presentación del producto semidirecto

Se puede obtener una presentación del producto semidirecto a partir de las presentaciones de los grupos factores. Sean dos grupo $G$ y $K$, y un homomorfismo $\varphi :K\to Aut\ G$. Si las respectivas presentaciones de los grupos son $G=\langle X|R\rangle$ y $K=\langle Y|S\rangle$, donde $X$ e $Y$ son los conjuntos de generadores (disjuntos), y $R$ y $S$ son los conjuntos de relaciones, una presentación para el producto semidirecto $G\rtimes _{\varphi }K$ tiene la forma:
       $G\rtimes _{\varphi }K=\langle X,Y|R,S,T\rangle$
donde el conjunto adicional de relaciones $T$ está formado por las identidades
       $yxy^{-1}=\varphi _{y}(x),\quad \forall x\in X,y\in Y$.
En el caso particular del producto directo, los homomorfismos $\varphi _{y}$ son todos la identidad, luego las relaciones adicionales son de la forma
       $yxy^{-1}x^{-1}=[y,x]=1,\quad \forall x\in X,y\in Y$,
donde el símbolo $[y,x]$ es el conmutador de x e y. En consecuencia, los generadores de un grupo conmutan con los generadores del otro.

# Producto semidirecto
## El grupo holomorfo

Dado un grupo $G$, existe una extensión natural dada en forma de producto semidirecto. Puesto que el producto es con un grupo factor $K$ sobre el que se define un homomorfismo $K\to Aut\ G$, resulta natural tomar $K=Aut\ G$ con el homomorfismo identidad. Se define el holomorfo de $G$, denotado Hol(G), como el producto semidirecto
       $Hol\ G\simeq G\rtimes Aut\ G$.
El grupo de automorfismos de $G$ es un subgrupo del grupo simétrico de $G$, que contiene todas las biyecciones. En concreto, es posible identificar un subgrupo de este con el propio $G$, dado por la identificación con las funciones de multiplicación por la izquierda
       $G\simeq G^{l}=\{\tau _{g}:x\mapsto gx\ |\ g\in G\}\subset S_{G}$.
Entonces, considerados ambos como subgrupos, se tiene que $G^{l}\cap Aut(G)=1$, y que $Hol(G)=G^{l}Aut(G)$ (el producto de subconjuntos).