Producto directo de grupos

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 Quaternion group Q Cauchy's theorem Lagrange's theorem Sylow theorems Hall's theorem p-group Elementary abelian group Frobenius group Schur multiplier Classification of finite simple groups cyclic alternating Lie type sporadic
Discrete groups Lattices Integers (${\displaystyle \mathbb {Z} }$) Free group Modular groups PSL(2, ${\displaystyle \mathbb {Z} }$) SL(2, ${\displaystyle \mathbb {Z} }$) Arithmetic group Lattice Hyperbolic group
Topological and Lie groups Solenoid Circle General linear GL(n) Special linear SL(n) Orthogonal O(n) Euclidean E(n) 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

En matemáticas , específicamente en teoría de grupos , el producto directo es una operación que toma dos grupos G y H y construye un nuevo grupo, generalmente denotado G × H. Esta operación es el análogo teórico de grupos del producto cartesiano de conjuntos y es una de varias nociones importantes de producto directo en matemáticas.

En el contexto de los grupos abelianos , el producto directo a veces se denomina suma directa y se denota . Las sumas directas juegan un papel importante en la clasificación de los grupos abelianos: según el teorema fundamental de los grupos abelianos finitos , cada grupo abeliano finito puede expresarse como la suma directa de los grupos cíclicos .${\displaystyle G\oplus H}$

Dados los grupos G (con operación * ) y H (con operación ∆ ), el producto directo G × H se define como sigue:

El objeto algebraico resultante satisface los axiomas de un grupo. En concreto:

Asociatividad

La operación binaria sobre G × H es asociativa .

Identidad

El producto directo tiene un elemento identidad , es decir (1 _G , 1 _H ) , donde 1 _G es el elemento identidad de G y 1 _H es el elemento identidad de  H.

Inversas

La inversa de un elemento ( g , h ) de G × H es el par ( g ⁻¹ , h ⁻¹ ) , donde g ⁻¹ es la inversa de g en G , y h ⁻¹ es la inversa de h en  H .

• Sea R el grupo de los números reales bajo la operación de adición . Entonces el producto directo R × R es el grupo de todos los vectores de dos componentes ( x , y ) bajo la operación de adición vectorial :

( x ₁ , y ₁ ) + ( x ₂ , y ₂ ) = ( x ₁ + x ₂ , y ₁ + y ₂ ) .

• Sea R ⁺ el grupo de números reales positivos bajo la multiplicación. Entonces el producto directo R ⁺ × R ⁺ es el grupo de todos los vectores en el primer cuadrante bajo la operación de multiplicación por componentes.

( x ₁ , y ₁ ) × ( x ₂ , y ₂ ) = ( x ₁ × x ₂ ,  y ₁ × y ₂ ) .

• Sean G y H grupos cíclicos con dos elementos cada uno:

Entonces el producto directo G × H es isomorfo al cuatro-grupo de Klein :

${\displaystyle G\times H}$

*	(1,1)	(a,1)	(1,b)	(a,b)
(1,1)	(1,1)	(a,1)	(1,b)	(a,b)
(a,1)	(a,1)	(1,1)	(a,b)	(1,b)
(1,b)	(1,b)	(a,b)	(1,1)	(a,1)
(a,b)	(a,b)	(1,b)	(a,1)	(1,1)

Sean G y H grupos, sea P = G × H , y consideremos los siguientes dos subconjuntos de  P :

G ′ = { ( g , 1) : g ∈ G }    y    H ′ = { (1, h ) : h ∈ H } .

Ambos son, de hecho, subgrupos de P , siendo el primero isomorfo a G y el segundo isomorfo a H . Si los identificamos con G y H , respectivamente, entonces podemos pensar en el producto directo P como si contuviera a los grupos originales G y H como subgrupos.

Estos subgrupos de P tienen las siguientes tres propiedades importantes: (Diciendo nuevamente que identificamos G ′ y H ′ con G y H , respectivamente.)

1. La intersección G ∩ H es trivial .
2. Cada elemento de P puede expresarse únicamente como el producto de un elemento de G y un elemento  de H.
3. Cada elemento de G conmuta con cada elemento de H.

Juntas, estas tres propiedades determinan completamente la estructura algebraica del producto directo P . Es decir, si P es cualquier grupo que tenga subgrupos G y H que satisfacen las propiedades anteriores, entonces P es necesariamente isomorfo al producto directo de G y H . En esta situación, a veces se hace referencia a P como el producto directo interno de sus subgrupos G y H .

En algunos contextos, la tercera propiedad anterior se reemplaza por la siguiente:

3′. Tanto G como H son normales en P .

Esta propiedad es equivalente a la propiedad 3, ya que los elementos de dos subgrupos normales con intersección trivial necesariamente conmutan, hecho que se puede deducir considerando el conmutador [ g , h ] de cualquier g en G , h en H .

La estructura algebraica de G × H se puede utilizar para dar una representación del producto directo en términos de las representaciones de G y H . Específicamente, supongamos que

${\displaystyle G=\langle S_{G}\mid R_{G}\rangle \ \ }$y${\displaystyle \ \ H=\langle S_{H}\mid R_{H}\rangle ,}$

donde y son conjuntos generadores (disjuntos) y y son relaciones definitorias. Entonces${\displaystyle S_{G}}$${\displaystyle S_{H}}$${\displaystyle R_{G}}$${\displaystyle R_{H}}$

${\displaystyle G\times H=\langle S_{G}\cup S_{H}\mid R_{G}\cup R_{H}\cup R_{P}\rangle }$

donde es un conjunto de relaciones que especifican que cada elemento de conmuta con cada elemento de .${\displaystyle R_{P}}$${\displaystyle S_{G}}$${\displaystyle S_{H}}$

Por ejemplo si

${\displaystyle G=\langle a\mid a^{3}=1\rangle \ \ }$y${\displaystyle \ \ H=\langle b\mid b^{5}=1\rangle }$

entonces

${\displaystyle G\times H=\langle a,b\mid a^{3}=1,b^{5}=1,ab=ba\rangle .}$

Como se mencionó anteriormente, los subgrupos G y H son normales en G × H . Específicamente, defina las funciones π _G : G × H → G y π _H : G × H → H por

π _G ( g , h ) = g     y     π _H ( g , h ) = h .

Entonces π _G y π _H son homomorfismos , conocidos como homomorfismos de proyección , cuyos núcleos son H y G , respectivamente.

De ello se deduce que G × H es una extensión de G por H (o viceversa). En el caso en que G × H sea un grupo finito , se deduce que los factores de composición de G × H son precisamente la unión de los factores de composición de G y los factores de composición de H .

El producto directo G × H se puede caracterizar por la siguiente propiedad universal . Sean π _G : G × H → G y π _H : G × H → H los homomorfismos de proyección. Entonces, para cualquier grupo P y cualesquiera homomorfismos ƒ _G : P → G y ƒ _H : P → H , existe un único homomorfismo ƒ: P → G × H haciendo que el siguiente diagrama conmute :

En concreto, el homomorfismo ƒ viene dado por la fórmula

ƒ( p ) =  ( ƒG ( _p ) , _ƒH ( p ) ) .

Éste es un caso especial de la propiedad universal para productos en la teoría de categorías .

Si A es un subgrupo de G y B es un subgrupo de H , entonces el producto directo A × B es un subgrupo de G × H . Por ejemplo, la copia isomorfa de G en G × H es el producto G × {1} , donde {1} es el subgrupo trivial de H .

Si A y B son normales, entonces A × B es un subgrupo normal de G × H . Además, el cociente de los productos directos es isomorfo al producto directo de los cocientes:

( G × H ) / ( A × B ) ≅ ( G / A ) × ( H / B ) .

Nótese que no es cierto en general que cada subgrupo de G × H sea el producto de un subgrupo de G con un subgrupo de H . Por ejemplo, si G es cualquier grupo no trivial, entonces el producto G × G tiene un subgrupo diagonal

Δ = { ( g , g ) : g ∈ G }

que no es el producto directo de dos subgrupos de G .

Los subgrupos de productos directos se describen mediante el lema de Goursat . Otros subgrupos incluyen productos de fibra de G y H.

Dos elementos ( g ₁ , h ₁ ) y ( g ₂ , h ₂ ) son conjugados en G × H si y solo si g ₁ y g ₂ son conjugados en G y h ₁ y h ₂ son conjugados en H . De ello se deduce que cada clase de conjugación en G × H es simplemente el producto cartesiano de una clase de conjugación en G y una clase de conjugación en H .

En la misma línea, si ( g , h ) ∈ G × H , el centralizador de ( g , h ) es simplemente el producto de los centralizadores de g y h :

CG _{× H} ( g , h )  =  CG ₍ g ) × CH ₍ h ) ._​​

De manera similar, el centro de G × H es el producto de los centros de G y H :

Z ( G × H )  =  Z ( G )× Z ( H ) .

Los normalizadores se comportan de una manera más compleja ya que no todos los subgrupos de productos directos se descomponen como productos directos.

Si α es un automorfismo de G y β es un automorfismo de H , entonces la función producto α × β : G × H → G × H definida por

( α × β )( gramo , h ) = ( α ( gramo ), β ( h ) )

es un automorfismo de G × H . De ello se deduce que Aut( G × H ) tiene un subgrupo isomorfo al producto directo Aut( G ) × Aut( H ) .

No es cierto en general que cada automorfismo de G × H tenga la forma anterior. (Es decir, Aut( G ) × Aut( H ) es a menudo un subgrupo propio de Aut( G × H ) .) Por ejemplo, si G es cualquier grupo, entonces existe un automorfismo σ de G × G que intercambia los dos factores, es decir

σ ( gramo ₁ , gramo ₂ ) = ( gramo ₂ , gramo ₁ ) .

Otro ejemplo: el grupo de automorfismos de Z × Z es GL (2, Z ) , el grupo de todas las matrices 2 × 2 con entradas enteras y determinante ±1 . Este grupo de automorfismos es infinito, pero solo un número finito de automorfismos tiene la forma dada anteriormente.

En general, cada endomorfismo de G × H se puede escribir como una matriz 2 × 2

${\displaystyle {\begin{bmatrix}\alpha &\beta \\\gamma &\delta \end{bmatrix}}}$

donde α es un endomorfismo de G , δ es un endomorfismo de H , y β : H → G y γ : G → H son homomorfismos. Una matriz de este tipo debe tener la propiedad de que cada elemento en la imagen de α conmuta con cada elemento en la imagen de β , y cada elemento en la imagen de γ conmuta con cada elemento en la imagen de δ .

Cuando G y H son grupos indescomponibles y sin centro, entonces el grupo de automorfismos es relativamente sencillo, siendo Aut( G ) × Aut( H ) si G y H no son isomorfos, y Aut( G ) wr 2 si G ≅ H , wr denota el producto corona . Esto es parte del teorema de Krull-Schmidt , y se cumple de manera más general para productos directos finitos.

Es posible tomar el producto directo de más de dos grupos a la vez. Dada una secuencia finita G ₁ , ..., G _n de grupos, el producto directo

${\displaystyle \prod _{i=1}^{n}G_{i}\;=\;G_{1}\times G_{2}\times \cdots \times G_{n}}$

Se define de la siguiente manera:

Esto tiene muchas de las mismas propiedades que el producto directo de dos grupos y puede caracterizarse algebraicamente de manera similar.

También es posible tomar el producto directo de un número infinito de grupos. Para una secuencia infinita G ₁ , G ₂ , ... de grupos, esto se puede definir igual que el producto directo finito de arriba, con elementos del producto directo infinito siendo tuplas infinitas.

De manera más general, dada una familia indexada {  G _i  } _{i ∈ I} de grupos, el producto directo Π _{i ∈ I} G _i se define de la siguiente manera:

A diferencia de un producto directo finito, el producto directo infinito Π _{i ∈ I} G _i no es generado por los elementos de los subgrupos isomorfos {  G _i  } _{i ∈ I} . En cambio, estos subgrupos generan un subgrupo del producto directo conocido como suma directa infinita , que consiste en todos los elementos que tienen solo un número finito de componentes no idénticos.

Recordemos que un grupo P con subgrupos G y H es isomorfo al producto directo de G y H siempre que satisfaga las tres condiciones siguientes:

1. La intersección G ∩ H es trivial .
2. Cada elemento de P puede expresarse únicamente como el producto de un elemento de G y un elemento  de H.
3. Tanto G como H son normales en P.​

Se obtiene un producto semidirecto de G y H relajando la tercera condición, de modo que solo se requiere que uno de los dos subgrupos G , H sea normal. El producto resultante todavía consta de pares ordenados ( g , h ) , pero con una regla de multiplicación ligeramente más complicada.

También es posible relajar por completo la tercera condición, lo que exige que ninguno de los dos subgrupos sea normal. En este caso, el grupo P se denomina producto de Zappa-Szép de G y H.

El producto libre de G y H , usualmente denotado G ∗ H , es similar al producto directo, excepto que no se requiere que los subgrupos G y H de G ∗ H conmuten. Es decir, si

G =〈S _G | R _G〉     y     H =〈S _H | R _H〉 ,

son presentaciones para G y H , entonces

G ∗ H =〈S _G ∪ S _H | R _G ∪ R _H〉 .

A diferencia del producto directo, los elementos del producto libre no pueden representarse mediante pares ordenados. De hecho, el producto libre de dos grupos no triviales cualesquiera es infinito. El producto libre es en realidad el coproducto en la categoría de grupos .

Si G y H son grupos, un producto subdirecto de G y H es cualquier subgrupo de G × H que se aplica sobreyectivamente a G y H bajo los homomorfismos de proyección. Por el lema de Goursat , todo producto subdirecto es un producto de fibra.

Sean G , H y Q grupos, y sean 𝜑 : G → Q y χ : H → Q homomorfismos. El producto de fibras de G y H sobre Q , también conocido como pullback , es el siguiente subgrupo de G × H :

$${\displaystyle G\times _{Q}H=\{\,(g,h)\in G\times H:\varphi (g)=\chi (h)\,\}{\text{.}}}$$Si 𝜑 : G → Q y χ : H → Q son epimorfismos , entonces este es un producto subdirecto.

• Artin, Michael (1991), Álgebra , Prentice Hall , ISBN 978-0-89871-510-1
• Herstein, Israel Nathan (1996), Álgebra abstracta (3.ª ed.), Upper Saddle River, NJ: Prentice Hall Inc., ISBN 978-0-13-374562-7, Sr.  1375019.
• Herstein, Israel Nathan (1975), Temas de álgebra (2.ª ed.), Lexington, Mass.: Xerox College Publishing, MR  0356988.
• Lang, Serge (2002), Álgebra , Textos de posgrado en matemáticas , vol. 211 (tercera edición revisada), Nueva York: Springer-Verlag, ISBN 978-0-387-95385-4, Sr.  1878556
• Lang, Serge (2005), Álgebra universitaria (3.ª ed.), Berlín, Nueva York: Springer-Verlag , ISBN 978-0-387-22025-3.
• Robinson, Derek John Scott (1996), Un curso sobre la teoría de grupos , Berlín, Nueva York: Springer-Verlag , ISBN 978-0-387-94461-6.