Teoría de Grupos
Producto directo de grupos
Francis Mora Ferreras
Definición
Si tengo dos grupos G1 y G2 definimos el producto
directo como
G1 × G2 := {(x, y) | x ∈ G1 , y ∈ G2 }
Observación: Si tenemos (G1 , ?) y (G2 , ⊕), y elegimos
(a, b), (x, y) ∈ G1 × G2 , entonces (e, 0) (e, 1) (e, 2)
(a, b) · (x, y) = (a ? x, b ⊕ y).
Además este producto cuenta con el elemento identidad (r, 0) (r, 1) (r, 2)
(e1 , e2 ) donde e1 ∈ G1 y e2 ∈ G2 . Cabe descatar, como
es destacar, como es de esperarce que cada elementeo
tiene su inverso, es decir, si
(a, b) · (x, y) = (e1 , e2 )
Figure 1: Diagrama de Caylay del producto C2 × Z3
esto quiere decir que a?x = e1 y b⊕y = e2 luego x = a−1
y y = b−1 . (e, e) (e, r)
Algunos ejemplos
1. Tomemos los grupos (Z3 , +) y (Z4 , +). Luego el (r, e) (r, r)
producto directo esta dado por
(0, 0), (0, 1), (0, 2), (0, 3), (1, 0), (1, 1),
Z3 × Z4 =
(1, 2), (1, 3), (2, 0), (2, 1), (2, 2), (2, 3)
(r2 , e) (r2 , r)
operar los elementos de este producto es facíl.
2. Tomemos ahora los grupos (Z3 , +) y C2 := (e, r). Figure 2: Diagrama de Cayley de C3 × C2
Por lo que el producto esta dado por
C2 × Z3 = {(e, 0), (e, 1), (e, 2), (r, 0), (r, 1), (r, 2)}
se pude observar que el elemento identidad de este
producto es (e, 0). Y podemos operar los elementos
de este producto de la siguiente manera, tando dos 0
elementos (r, 1) y (r, 2)
(r, 1) · (r, 2) = (r · r, 2 + 1) = (r2 , 3) = (e, 0).
5 1
De aquí podemos observar que (r, 1) y (r, 2) son in-
versos.
Z6
3. Tomemos ahora el producto directo de C3 =
(e, r, r2 ) y C2 . Luego
n o 4 2
C3 × C2 = (e, e), (e, r), (r, e), (r, r), (r2 , e), (r2 , r)
3
Igual que el anterior, tomemos dos elementos: (r, r)
y (r2 , r) luego
References
2 2 3 2
(r, r) · (r , r) = (r · r , r · r) = (r , r ) = (eC3 , eC2 )
[1] THIRD EDITION , ABSTRACT ALGEBRA,
DAVID DUMMIT, RICHARD M. FOOTE
en este caso nos resulta que (r, r) y (r2 , r) son in-
versos. Este documento fue creado por matebut en 2020. Puede encon-
trar como matebut.com.
4. Ahora como último puede usted considerar el
producro de los siguiente grupos Z6 y D4 =
{e, r, r2 , r3 , f, rf, r2 f, r3 f } y hacer el diagrada
D4 × Z6
r3 r3 f D4 rf r
r2 f
r2