Producto directo
En teoría de grupos, el producto directo de dos grupos (G,*) y (H,·), denotado por G × H, es una forma natural de darle una estructura de grupo al producto cartesiano de los dos conjuntos. En el caso de grupos abelianos con notación aditiva, también se le llama suma directa, y se denota por .
Definición
editarEl producto directo de (G,*) y (H,·) se define como sigue:[1]
- Como conjunto de elementos del nuevo grupo, tómese el producto cartesiano de los conjuntos G y H; es decir, {(g, h)| g ∈ G, h ∈ H}.
- Como operación entre estos elementos, defínase:
- donde la primera componente es el producto en G y la segunda es el producto en H.
Esta construcción produce un nuevo grupo, con un subgrupo normal isomorfo a G, conformado por los elementos de la forma (g,1H), y otro isomorfo a H, formado por los elementos (1G,h).[2]
El argumento inverso también vale, como demuestra el siguiente teorema: si un grupo K contiene dos subgrupos normales G y H, tales que K = GH, y G ∩ H = {1}, entonces K es isomorfo a G × H.[3] Al debilitar estas condiciones se obtiene el producto semidirecto.
Propiedades
editarCon el producto directo, se obtienen automáticamente algunos homomorfismos naturales, a saber: las funciones de proyección
- ,
llamadas a veces funciones coordenadas.
Todo homomorfismo f sobre un producto directo queda determinado totalmente por sus funciones componentes .
El producto directo es conmutativo en el sentido de que los productos G × H es isomorfo a H × G. También es asociativo en un sentido similar:[4]
Para cualquier grupo (G,·), y cualquier entero n ≥ 0, la aplicación repetida del producto directo da el grupo de n-tuplas Gn (y el grupo trivial para n = 0).
Ejemplos
editarA modo de ejemplo, sean G y H dos copias del grupo cíclico de orden dos, C2: G = {1,g}, H = {1,h}. Entonces G × H = {(1,1), (1,h), (g,1), (g,h)}, con la operación elemento por elemento (por ejemplo, (1,h)·(g,1) = (1·g, h·1) = (g,h), y (1,h)·(1,h) = (1,h2) = (1,1)).
Si se toma G = R, el grupo de los reales con la suma, el grupo Gn no es otro que Rn, el espacio euclídeo de n dimensiones bajo la suma vectorial.
Referencias
editarNotas
editar- ↑ Rotman, 1999, p. 40.
- ↑ Dummit y Foote, 2004, p. 154. Proposición 2
- ↑ Rotman, 1999, p. 40. Teorema 2.29
- ↑ Rotman, 1999, p. 42. véase el problema 2.74
Bibliografía
editar- Dummit, David S.; Foote, Richard M. (2004). Abstract Algebra (3ª edición). Wiley. ISBN 978-81-265-3228-5.
- Rotman, Joseph J. (1999). An Introduction to the Theory of Groups (4ª edición). Springer.
Enlaces externos
editar- Weisstein, Eric W. «Direct Product». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.