Estructuras Algebraicas

Vı́ctor Quintas Martı́nez

2018/2019

1. Definiciones
Grupo Un grupo es un conjunto G 6= ∅ en el que está definida una aplicación binaria

G × G −→ G
(a, b) 7→ ab

que cumple las propiedades siguientes:

1. Asociativa: (ab)c = a(bc) para todos a, b, c ∈ G.

2. Existencia de elemento neutro: Existe un u ∈ G tal que ua = a = au para todo a ∈ G.

Normalmente se denotará u = 1.

3. Existencia de elemento inverso: Para cada a ∈ G existe un x ∈ G tal que ax = u = xa.

Normalmente se denotará x = a−1 .

Grupo abeliano Se dice que el grupo G es abeliano si ab = ba para todos a, b ∈ G.

Sistema generador de un grupo Un subconjunto S no vacı́o de un grupo G se

llama sistema generador de G si hSi = G. En particular, si existe S finito tal que
G = hSi, entonces se dice que G es un grupo finitamente generado.
Un sistema generador se llama minimal si no existe otro subconjunto con menos
elementos que también sea sistema generador de G.

Centro de un grupo Se llama centro de un grupo G a Z(G) = CG (G).

Grupo cı́clico Se dice que el grupo G es cı́clico si existe un elemento a ∈ G tal que
G = hai.

Subgrupo Dado un grupo G, se dice que el subconjunto H ⊂ G no vacı́o es un subgrupo

de G si, con la misma operación de G, es un grupo.

1
 Subgrupo generado Si S es un subconjunto no vacı́o de un grupo G, se conoce como
subgrupo generado por S al conjunto

hSi = {sh1 1 · · · shnn : n ∈ N, si ∈ S, hi ∈ Z para todo 1 ≤ i ≤ n}.

Centralizador de un subgrupo Dado un subgrupo H de un grupo G se llama

centralizador de H en G al subgrupo

GG (H) = {x ∈ G : ax = xa para todo a ∈ H}.

Producto de subgrupos Dados dos subgrupos H, K de un grupo G, se denota

HK = {hk : h ∈ H, k ∈ K}

Orden de un subgrupo Cuando un subgrupo H de un grupo G es finito, al número

de elementos de H se le denomina orden de H y se le denota por o(H). Cuando H es
infinito, se dice que es un subgrupo de orden infinito.

Índice de un subgrupo Denotamos xRH y si xy −1 ∈ H y xRH y si x−1 y ∈ H. Se

puede probar que RH y RH son relaciones de equivalencia y que las clases de equivalencia
de x ∈ G respecto a RH y RH son respectivamente

Hx = {hx : h ∈ H} y xH = {xh : h ∈ H}.

Cuando G/RH (o equivalentemente G/RH ) es finito, al número de elementos de

G/RH (o equivalentemente de G/RH ) se le llama el ı́ndice de H en G, y se denota por
|G : H|. Si G/RH (o equivalentemente G/RH ) es infinito, se dice que H tiene ı́ndice
infinito.

Subgrupo normal Se dice que un subgrupo H de un grupo G es normal cuando

cumple una de las siguientes propiedades (equivalentes):

1. Para cada a ∈ G, Ha = aH.

2. H = H a para todo a ∈ G.

3. Para todos a, b ∈ G tales que ab ∈ H, entonces ba ∈ H.

Corazón de un subgrupo Si H es un subgrupo de un grupo G, se llama corazón

de H a K(H) = ∩a∈G H a .
Un grupo se llama hamiltoniano si todos sus subgrupos son normales. Un grupo se llama
simple si sus únicos subgrupos normales son {1G } y G.

Conjugado Si S es un conjunto no vacı́o de un grupo G y a ∈ G, se llama conjugado de

S por a al conjunto
S a = {a−1 xa : x ∈ S}.

2
 Normalizador de un subconjunto Dado un subconjunto no vacı́o S de un grupo
G, se llama normalizador de S en G al subgrupo

NG (S) = {a ∈ G : S a = S}.

Subgrupos conjugados Dados dos subgrupos H, K de un grupo G se dice que H y

K son subgrupos conjugados si existe un a ∈ G tal que K = H a .

Elemento de torsión Se dice que a ∈ G es un elemento de torsión si hai es un subgrupo

finito. En tal caso se denota o(a) = o(hai).

Grupo cociente Sean G un grupo y H un subgrupo normal de G. Entonces se puede

demostrar que el cociente G/H = G/RH = G/RH tiene estructura de grupo con la operación

G/H × G/H −→ G/H

(aH, bH) 7→ abH

y se llama grupo cociente dg G entre H. El elemento neutro es H = 1H, y si H es un

subgrupo de ı́ndice finito en G entonces o(G/H) = |G : H|.

Homomorfismo Una aplicación f : G −→ G0 entre dos grupos G y G0 se llama homo-

morfismo de grupos si f (ab) = f (a)f (b) para todos a, b ∈ G.

Núcleo de un homomorfismo Se llama núcleo del homomorfismo f a

Ker(f ) = {a ∈ G : f (a) = 1G0 }.

Imagen de un homomorfismo Se llama imagen del homomorfismo f a

Im(f ) = {f (x) : x ∈ G}.

Isomorfismo Se llama isomorfismo a un homomorfismo biyectivo entre dos grupos

G y G0 . Si existe un isomorfismo entre G y G0 , se dice que G y G0 son isomorfos, y se
denota G ' G0 .

2. Resultados
2.1. Caracterizaciones
Caracterización de un grupo abeliano Dado un grupo G,
1. Si x2 = 1 para todo x ∈ G, entonces G es abeliano.

2. Si (ab)2 = a2 b2 para cada a, b ∈ G, entonces G es abeliano.

3. G es abeliano si y sólo si Z(G) = G.

3
Caracterización de un subgrupo Sea H un subconjunto no vacı́o de un grupo G. H es
un subgrupo de G si y sólo si para todos x, y ∈ H es xy −1 ∈ H.

Caracterización de un grupo cı́clico

1. Un grupo G es cı́clico si y sólo si existe a ∈ G tal que o(G) = o(a).

2. Si G es un grupo de orden p primo, entonces G es cı́clico.

3. Todo grupo cı́clico es abeliano, pero existen grupos abelianos no cı́clicos.

4. Todo subgrupo de un grupo cı́clico es cı́clico.

Caracterización de un subgrupo normal Sea G un grupo y H un subgrupo de G. Ası́,

1. Si para cada a ∈ G se tiene H a ⊂ H, entonces H es normal.

2. Todo subgrupo de un grupo abeliano es normal. El recı́proco es falso.

3. Si H tiene ı́ndice dos, H es un subgrupo normal de G.

4. Si H ⊂ Z(G), entonces H es un subgrupo normal de G.

5. Sea N un subgrupo normal de G, y sean H y K subgrupos de G tales que H es un

subgrupo normal de K. Entonces N H es subgrupo normal de N K.

6. Todos los grupos de orden primo son simples.

7. K es subgrupo normal de G si y sólo si K/H es subgrupo normal de G/H.

Caracterización de los subgrupos de un grupo cociente Si H es un subgrupo normal

de un grupo G y K es un subgrupo de G que contiene a H, entonces H es subgrupo normal
de K por serlo de G. Entonces K/H ⊂ G/H y además K/H es subgrupo de G/H.
Recı́procamente, si M es un subgrupo de G/H y K = x ∈ G xH ∈ M , entonces K es un
subgrupo de G que contiene a H y tal que M = K/H.

2.2. Propiedades
Propiedades del subgrupo generado hSi es el menor subgrupo de G que contiene a S
(en el sentido de la inclusión).

Propiedades de los sistemas generadores minimales Sea G un grupo finito de orden

n y S = {x1 , . . . , xp } un sistema generador minimal de G. Entonces 2p ≤ n.

4
Propiedades del conjugado

1. y ∈ S a si y sólo si aya−1 ∈ S.

2. La aplicación S −→ S a : x 7→ a−1 xa es biyectiva.

3. (S a )b = S ab para todos a, b ∈ S.

4. S = S 1 .

5. Si S es un subgrupo de G, también lo es S a para cada a ∈ G.

6. Si S ⊂ T , entonces S a ⊂ T a para cada a ∈ G.

7. Si (Hi )i∈I es una familia no vacı́a de subgrupos de G y H = ∩i∈G Hi , entonces para

cada a ∈ G es H a = ∩i∈G Hia .

8. Si Σ es la familia de subgrupos conjugados de H (distintos) y N = NG (H) es el

normalizador de H en G, entonces la aplicación ϕ : G/RN −→ Σ : N a 7→ H a es
biyectiva. En particular, si NG (H) tiene ı́ndice finito en G, el número de subgrupos
conjugados distintos de H en G es |G : NG (H)|

Propiedades del producto de subgrupos Dados dos subgrupos H, K de un grupo G,

1. HK es un subgrupo de G si y sólo si HK = KH.

2. H ⊂ HK y K ⊂ HK.

Propiedades del orden

1. Si H y K son subgrupos finitos de un grupo G con o(H) = m, o(K) = n y m.c.d.(m, n) =

1, entonces H ∩ K = 1G .

2. Si G es un grupo y H y K son subgrupos de G de orden finito, entonces se tiene

card(HK) = o(H)o(K)/o(H ∩ K).

Propiedades de los elementos de torsión Sea G un grupo y a ∈ G un elemento de

torsión. Entonces,

1. Existe un k ≥ 1 tal que ak = 1.

2. El orden de a es el menor natural n ≥ 1 tal que an = 1.

3. Si n = o(a) entonces hai = {1, a, . . . , an−1 }

4. Sean n = o(a) y k ∈ N, entonces ak = 1 si y sólo si k es múltiplo de n.

5. o(a) = 1 si y sólo si a = 1.

6. a−1 también es elemento de torsión con o(a−1 ) = o(a).

5
 7. Si x = ak ∈ hai y o(a) = n entonces x también es elemento de torsión con o(x) =
n/m.c.d.(n, k).

8. Si b ∈ G es otro elemento de torsión y ab = ba, entonces ab es elemento de torsión y

o(ab) divide a m.c.m.(o(a), o(b)).

9. Si en la anterior o(a) y o(b) son primos entre sı́, entonces o(ab) = o(a)o(b).

10. Si b ∈ G es tal que ab es de torsión entonces ba también es de torsión con o(ba) = o(ab).

11. Si n = o(G) entonces cualquier a ∈ G es de torsión y an = 1.

Propiedades del ı́ndice Sean G un grupo y H y K subgrupos de G tales que H ⊂ K.

Entonces H es subgrupo de K y además, si el ı́ndice de H en G es finito, entonces lo son el
de K en G y el de H en K, y se cumple |G : H| = |G : K| · |K : H| (fórmula de transitividad
del ı́ndice).

Propiedades de los grupos cı́clicos

1. Sea G un grupo cı́clico con n = o(G). Para cada divisor m de n existe un único subgrupo
de G de orden m. Además este subgrupo es cı́clico.

2. Si G es cı́clico y H es un subgrupo normal de G, entonces también G/H es cı́clico.

3. Todo grupo cı́clico es isomorfo o bien a Z o bien a Z/mZ para algún entero positivo m.

Propiedades de los subgrupos normales

1. Sea G un grupo y H un subgrupo de G. Entonces, H es un subgrupo normal de NG (H).

Si K es un subgrupo de G que contiene a H y tal que H es un subgrupo normal de K,
entonces K ⊂ NG (H).

2. K(H) es subgrupo normal de G. Además, si N ⊂ H es un subgrupo normal de G

entonces N ⊂ K(H).

Propiedades de los homomorfismos Sea f : G −→ G0 un homomorfismo entre los

grupos G y G0 . Entonces,

1. f (1G ) = 1G0 y f (a−1 ) = (f (a))−1 para cada a ∈ G.

2. El núcleo Ker(f ) es un subgrupo normal de G.

3. La imagen Im(f ) es un subgrupo de G0 .

4. Si H 0 es un subgrupo de G0 , entonces f −1 (H 0 ) = {x ∈ G : f (x) ∈ H 0 } es un subgrupo

de G. Además, si H 0 es un subgrupo normal de G0 , entonces f −1 (H 0 ) es un subgrupo
normal de G.

6
 5. Si H es un subgrupo de G, la inclusión j : H −→ G : x 7→ x es un homomorfismo
inyectivo.
6. Si H es un subgrupo normal de G, la proyección π : G −→ G/H : x 7→ xH es un
grupo sobreyectivo.
7. Existe un homomorfismo biyectivo b : G/Ker(f ) −→ Im(f) que hace conmutativo el
siguiente diagrama:
f
G −→ G0
π ↓ ↑j
G/Ker(f ) −→ Im(f )
b

8. Si f : G −→ G0 y g : G0 −→ G00 son homomorfismos de grupos, entonces también lo

es f ◦ g : G −→ G00 .
9. Si x ∈ G es tal que o(x) = m, entonces o(f (x) divide a m. En particular, si f es
inyectiva, o(f (x)) = m.
10. Si S = {x1 , . . . , xp } es un sistema generador de G y f, g : G −→ G0 son dos homomor-
fismos tales que f (xi ) = g(xi ) para cada 1 ≤ i ≤ p, entonces f = g.

2.3. Teoremas
Teorema de Lagrange Sean G un grupo y H un subgrupo de G. Las siguientes son
equivalentes:
1. G es finito.
2. o(H) es finito y H tiene ı́ndice finito en G.
En dicho caso, o(G) = o(H) · |G : H|.

Falsedad del recı́proco del Teorema de Lagrange

1. Si G es un grupo de orden n < 12, para cada divisor d de n existe un subgrupo de G
de orden d.
2. A4 tiene orden 12 y no posee ningún subgrupo de orden 6.

Teorema de Poincaré Si G posee un subgrupo de ı́ndice finito, entonces también posee

un subgrupo normal de ı́ndice finito.

Primer Teorema de Isomorfı́a Si f : G −→ G0 es un homomorfismo de grupos, entonces

los grupos G/Ker(f ) e Im(f ) son isomorfos.

Segundo Teorema de Isomorfı́a Sean N y H subgrupos normales de G tales que N ⊂ H.

Entonces H/N es subgrupo normal de G/N y (G/N )/(H/N ) ' G/H.

7
Tercer Teorema de Isomorfı́a Sean H y N subgrupos de G, N un subgrupo normal.
Entonces,

1. H ∩ N es subgrupo normal de H.

2. HN es subgrupo de G.

3. N es subgrupo normal de HN .

4. HN/N ' H/(H ∩ N ).

Cuarto Teorema de Isomorfı́a Sean G un grupo, H1 , H2 subgrupos de G, N1 subgrupo

normal de H1 y N2 subgrupo normal de H2 . Entonces,

1. N1 (H1 ∩ H2 ) y N2 (H1 ∩ H2 ) son subgrupos de H1 y H2 respectivamente.

2. N1 (H1 ∩ N2 ) es subgrupo normal de N1 (H1 ∩ H2 ) y N2 (N1 ∩ H2 ) es subgrupo normal

de N2 (H1 ∩ H2 ).

3. (H1 ∩ N2 )(N1 ∩ H2 ) es subgrupo normal de H1 ∩ H2 .

4. (N1 (H1 ∩ H2 ))/(N1 (H1 ∩ N2 )) ' (H1 ∩ H2 )/((H1 ∩ N2 )(N1 ∩ H2 )) ' (N2 (H1 ∩ H2 ))/
(N2 (N1 ∩ H2 )).