Subgrupo
la operacin binaria es cerrada en H: a, b H
=
Las races de la unidad en el plano complejo forman un subgrupo
del grupo circular U(1).
En lgebra, dado un grupo G con una operacin binaria
*, se dice que un subconjunto no vaco H de G es un sub-
grupo de G si H tambin forma un grupo bajo la ope-
racin *. O de otro modo, H es un subgrupo de G si la
restriccin de * a H satisface los axiomas de grupo.[1]
Un subgrupo propio de un grupo G es un subgrupo H
que es un subconjunto propio de G (es decir H G). El
subgrupo trivial de cualquier grupo es el subgrupo {e}
que consiste solamente en el elemento identidad.
El grupo G a veces se denota por el par ordenado (G,
*), generalmente para acentuar la operacin * cuando G
lleva varias estructuras algebraicas o de otro tipo. En lo
siguiente, se sigue la convencin usual y se escribe el pro-
ducto a*b como simplemente ab.
1 Denicin de un subgrupo
Decimos que un subconjunto F de un grupo G es un sub-
grupo de G cuando F es un grupo con la operacin ( de
adicin o multiplicacin) de G restringida a los elementos
de F . [2]
1.1 Proposicin
Sean (G, ) un grupo y H G : H = . El grupo
(H, ) se llama Subgrupo de (G, ) si y slo si:[3]
H contiene al elemento identidad de G: e H .
1
abH .
H contiene los elementos inversos: a H
a1 H .
Las dos ltimas condiciones pueden expresarse de forma
equivalente en una sola:[4]
a, b H a b1 H .
En el caso que H sea nito, es suciente que H sea cerrado
bajo producto, puesto que la existencia de los inversos se
sigue automticamente en ese caso.[5]
La operacin binaria es siempre asociativa en H puesto
que es asociativa para todas las ternas de elementos de G,
y todos los elementos de H pertenecen a G.[6]
2 Propiedades de los subgrupos
Todo grupo G con ms de un elemento tiene al me-
nos dos subgrupos:[1]
el subgrupo trivial {e}, que contiene slo al
elemento identidad.
el mismo G, que es el subgrupo mximo de G.
Dados dos subgrupos H y K de un grupo G, la in-
terseccin H K es un subgrupo.[7] En general, la
unin de subgrupos no forma un subgrupo, salvo que
uno de ellos est contenido en el otro.[8]
Dado un subgrupo H de un grupo G, se puede denir
un homomorsmo natural : H , G denido por
(x) = x . Dicha funcin es la inyeccin cannica
de H en G.
Todo elemento a de un grupo G genera un subgrupo
cclico <a>. Si <a> es isomorfo a Z/n Z para algn
nmero entero positivo n, entonces n es el nmero
entero positivo ms pequeo para el cual an = e, y
n se llama el orden de a. Si <a> es isomorfo a Z,
entonces a se dice que tiene orden innito.
Si S es un subconjunto de G, entonces existe un sub-
grupo mnimo de G que contiene S: es el subgrupo
generado por S y se denota por <S>. Un elemento
de G est en <S> si y solamente si es un producto
nito de elementos de S y de sus inversos.
2 6 REFERENCIAS

El centro de un grupo G, denotado por Z(G) , es
el subgrupo que contiene a todos los elementos que
conmutan con cualquier elemento g de G. El centro
es siempre un subgrupo normal y abeliano. El centro
de un grupo abeliano G es el propio G.
valencia correspondientes a una relacin de equivalencia
anloga: a b b = ha para alg un h H .
El nmero de clases izquierdas y clases derechas de H es
el mismo, se llama el ndice de H en G y se denota por
[G:H]. El teorema de Lagrange establece que

Los subgrupos de cualquier grupo dado forman un

reticulado completo bajo inclusin. El nmo del
retculo, dado por la interseccin de conjuntos, es
el subgrupo trivial {e}. En cambio el supremo no es
la unin de conjuntos, sino el subgrupo generado por
la unin, y es el mismo G.
[G : H] |H| = |G|
donde |G| y |H| denotan los cardinales de G y de H, res-
pectivamente. En particular, si G es nito, entonces la
cardinalidad de todo subgrupo de G y el orden de cada
elemento de G debe ser un divisor de |G|.[10]

3 Clases laterales y Teorema de La-

grange 4 Subgrupos normales
Dados un subgrupo H de G, si aH = Ha para cada a en G,

G es decir, las clases laterales por la izquierda y por la dere-

cha coinciden, entonces H es un subgrupo normal. En un
grupo abeliano todo subgrupo es normal. Los subgrupos
normales son claves en los homomorsmos de grupos y

0 4 H permiten denir grupos cociente.

Todo grupo G contiene al menos dos subgrupo normales:
el subgrupo trivial y el propio G; si no tiene ningn otro

1 5 1+H
subgrupo normal entonces G es un grupo simple.

5 Vase tambin

2 6 2+H Subgrupo conmutador.

Teoremas de Sylow.

3 7 3+H p-grupo.

6 Referencias
Clases laterales de Z2 en Z8 .
6.1 Notas
Dados un subgrupo H de G y algn a G , denimos la
clase lateral izquierda aH = {ah : h H} . Las clases [1] (Judson, 2012, p. 49)
izquierdas son las clases de equivalencia que correspon-
den a la relacin de equivalencia a ~ b ssi b = ah para [2] Nachbin. lgebra elemental
algn h en H.
[3] (Artin, 2011, p. 42)
Puesto que a es inversible, la funcin : H aH dada
por h 7 ah es una biyeccin. Por tanto, cada clase late- [4] (Judson, 2012, p. 51)
ral de H contiene tantos elementos como el subgrupo H; [5] Soto Aguilar y 2011, 129.
el mismo H es la clase lateral representada por eH. Las
clases laterales izquierdas forman una particin de G: to- [6] (Artin, 2011, p. 43)
do elemento de G est contenido en exactamente una y
[7] (Barrera, 2003, p. 15)
slo una clase izquierda de H, o dicho de otro modo, G
es la unin disjunta de las clases laterales izquierdas de [8] Dubreil y Dubreil-Jacotin, 1975, p. 86.
H.[9]
[9] (Artin, 2011, p. 56)
Las clases laterales derechas se denen anlogamente:
Ha = {ha : h H} . Son tambin las clases de equi- [10] (Artin, 2011, p. 57)
 3

6.2 Bibliografa
Judson, Thomas W. (2012). Abstract Algebra.
Theory and Applications (pdf). disponible online ba-
jo licencia GFDL.
Artin, Michael (2011). Algebra (2 edicin). Pearson
Education. ISBN 978-0132413770.
Barrera Mora, Fernando (2003). Introduccin a la
Teora de Grupos. UAEH. ISBN 9789707690202.
Dubreil, Paul; Dubreil-Jacotin, Marie Louise
(1975). Lecciones de lgebra moderna. Reverte.
Soto Aguilar, Alberto (2011). Elementos de lgebra
Moderna. EUNED.

7 Enlaces externos
Weisstein, Eric W. Subgroup. En Weisstein, Eric
W. MathWorld (en ingls). Wolfram Research.
4 8 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

8 Origen del texto y las imgenes, colaboradores y licencias

8.1 Texto
Subgrupo Fuente: https://es.wikipedia.org/wiki/Subgrupo?oldid=92601693 Colaboradores: Fibonacci, DefLog, Dodo, Rembiapo pohyiete
(bot), Orgullobot~eswiki, RobotQuistnix, Chobot, Akhram, Echani, KnightRider, Juan Marquez, CEM-bot, Thijs!bot, Botones, Rei-bot,
Kenrych, VolkovBot, SieBot, Drinibot, Raulshc, Luckas-bot, ArthurBot, Xqbot, RedBot, Jorge c2010, EmausBot, ZroBot, HRoestBot,
JackieBot, Julio grillo, Invadibot, Legobot, Soy Juampayo, Langtoolbot y Annimos: 7

8.2 Imgenes
Archivo:3rd_roots_of_unity_correction.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/6/6f/3rd_roots_of_unity_
correction.svg Licencia: CC BY-SA 3.0 Colaboradores: Based on File:3rd-roots-of-unity.png Artista original: User:MarekSchmidt
Archivo:Left_cosets_of_Z_2_in_Z_8.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/d/d4/Left_cosets_of_Z_2_in_Z_
8.svg Licencia: CC0 Colaboradores: Trabajo propio Artista original: User:Dcoetzee

8.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0