Vous êtes sur la page 1sur 32

Subgrupos

M.Sc. Marı́a Campo Donado

Departamento de Matemáticas
Universidad del Atlántico

Agosto, 2018

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 1 / 32
Contenido

1 Subgrupos
Subgrupos y grupos Cı́clicos
Propiedades
Ejemplos de grupos cı́clicos
Generación de subgrupos

2 Relación de Equivalencia inducida por un subgrupo


Congruencia módulo un subgrupo
Teorema de lagrange
Ejemplos y ejercicios

3 Orden de un elemento de un grupo


Definición de orden de un elemento
Ejercicios propuestos

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 2 / 32
Defeinición

Definición
Sean (G , ·) un grupo y H ⊆ G , H 6= ∅. Se dice que H es subgrupo de G Si
la operación de éste restringida a H hace de la estructura algebraica (H, ·)
un grupo. Se denota H < G

Lema
Un subconjunto H no vacı́o de un grupo G es un subgrupo de G si y sólo
si
1 (H, ·) es una estructura algebraica.
2 para todo a ∈ G se tiene que a−1 ∈ H

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 3 / 32
Subgrupo finito

Lema
Sean (G , ·) un grupo y H ⊆ G , H 6= ∅. Entonces H es subgrupo de G , si y
sólo si:

para todo a, b ∈ H se tiene que a · b −1 ∈ H

Lema
Si H es un subconjunto finito no vacı́o de un grupo G , y H es cerrado con
respecto a la operación de G , entonces H es un subgrupo de G

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 4 / 32
Contenido

1 Subgrupos
Subgrupos y grupos Cı́clicos
Propiedades
Ejemplos de grupos cı́clicos
Generación de subgrupos

2 Relación de Equivalencia inducida por un subgrupo


Congruencia módulo un subgrupo
Teorema de lagrange
Ejemplos y ejercicios

3 Orden de un elemento de un grupo


Definición de orden de un elemento
Ejercicios propuestos

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 5 / 32
Subgrupos Cı́clicos

Teorema
Sea G un grupo y sea a ∈ G . Entonces

H = {an |n ∈ Z}

es es el menor subgrupo de G que contiene a a.

Definición
Para un grupo Grupo G , el grupo H definido y denotado como:

hai = H = {an |n ∈ Z}

se denomina subgrupo cı́clico de G generado por a

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 6 / 32
Grupo Cı́clico

Definición
un elemento a de un grupo G genera al grupo si:

hai = G

en tal caso se dice que a es un generador de G .


Un grupo G se denomina grupo cı́clico si posee algún elemento generador.

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 7 / 32
Contenido

1 Subgrupos
Subgrupos y grupos Cı́clicos
Propiedades
Ejemplos de grupos cı́clicos
Generación de subgrupos

2 Relación de Equivalencia inducida por un subgrupo


Congruencia módulo un subgrupo
Teorema de lagrange
Ejemplos y ejercicios

3 Orden de un elemento de un grupo


Definición de orden de un elemento
Ejercicios propuestos

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 8 / 32
Propiedades

Teorema
Sean G un grupo, un elemento a ∈ G para el cual existen m, n ∈ Z+ ,
n > m tales que an = am .
Entonces existe m0 ∈ Z+ :
1 am0 = e; además ai 6= aj , si 0 ≤ i < j < m0
2 Si am = e (m ∈ Z) entonces m0 divide a m
3 hai = {e, a, a2 , a3 , ..., am0 −1 }

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 9 / 32
Propiedades

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

Teorema
Sea (G , ·) un grupo y H < G entonces H es cı́clico.

Corolario
1 Si G = hai, H < G y H 6= {e}, entonces H = ham0 i donde
m0 = mı́n{m ∈ N|am ∈ H}
2 G es un grupo cı́clico infinito, todos los subgrupos diferentes de {e},
son también infinitos

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 10 / 32
Contenido

1 Subgrupos
Subgrupos y grupos Cı́clicos
Propiedades
Ejemplos de grupos cı́clicos
Generación de subgrupos

2 Relación de Equivalencia inducida por un subgrupo


Congruencia módulo un subgrupo
Teorema de lagrange
Ejemplos y ejercicios

3 Orden de un elemento de un grupo


Definición de orden de un elemento
Ejercicios propuestos

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 11 / 32
Ejemplos

Determinar grupos y subgrupos cı́clicos

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 12 / 32
Contenido

1 Subgrupos
Subgrupos y grupos Cı́clicos
Propiedades
Ejemplos de grupos cı́clicos
Generación de subgrupos

2 Relación de Equivalencia inducida por un subgrupo


Congruencia módulo un subgrupo
Teorema de lagrange
Ejemplos y ejercicios

3 Orden de un elemento de un grupo


Definición de orden de un elemento
Ejercicios propuestos

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 13 / 32
Generación de subgrupos

Corolario
La relación <, -ser subgrupo de-, es relación de orden parcial en el
conjunto de todos los subgrupos de un grupo dado G

Teorema
Si A < G y B < G , entonces A ∩ B es subgrupo de G .

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 14 / 32
Contenido

1 Subgrupos
Subgrupos y grupos Cı́clicos
Propiedades
Ejemplos de grupos cı́clicos
Generación de subgrupos

2 Relación de Equivalencia inducida por un subgrupo


Congruencia módulo un subgrupo
Teorema de lagrange
Ejemplos y ejercicios

3 Orden de un elemento de un grupo


Definición de orden de un elemento
Ejercicios propuestos

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 15 / 32
Congruencia módulo subgrupo

Definición
Sea (G , ·) un grupo, H < G , se define la relación ≡ en G , ası́: para
a, b ∈ G , a ≡ b(H) si ab −1 ∈ H, y se dice ”a congruente con b, módulo el
subgrupo H”

Proposión
Si H < G para un grupo G , entonces la relación congruencia módulo el
subgrupo H es una relación de equivalencia en G .

Definición
Sea G un grupo, H < G y a ∈ G . La clase de equivalencia de a según la
relación de equivalencia módulo el subgrupo H, se define como:

[a] = {∈ G |x ≡ a(H)}

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 16 / 32
Definición
Para un grupo G donde H < G y a ∈ G se denomina clase lateral derecha
de a según el subgrupo H, se define como:

Ha = {ha|h ∈ H}

Lema
Para todo elemento a ∈ G , G grupo,

[a] = Ha

Lema
Sea G un grupo, H < G . Existe una correspondencia biunı́voca entre dos
clases laterales derechas de G según H. Es más, Existe una
correspondencia biyectiva entre cada clase lateral derecha y H.

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 17 / 32
Contenido

1 Subgrupos
Subgrupos y grupos Cı́clicos
Propiedades
Ejemplos de grupos cı́clicos
Generación de subgrupos

2 Relación de Equivalencia inducida por un subgrupo


Congruencia módulo un subgrupo
Teorema de lagrange
Ejemplos y ejercicios

3 Orden de un elemento de un grupo


Definición de orden de un elemento
Ejercicios propuestos

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 18 / 32
Teorema de lagrange

Teorema
Si G es un grupo finito y H < G . Entonces ◦(H) divide ◦(G )

Definición
Se denomina ı́ndice de H en G a la cardinal del conjunto de las clases de
equivalencias y se denota iG (H)

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 19 / 32
Teorema

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 20 / 32
Contenido

1 Subgrupos
Subgrupos y grupos Cı́clicos
Propiedades
Ejemplos de grupos cı́clicos
Generación de subgrupos

2 Relación de Equivalencia inducida por un subgrupo


Congruencia módulo un subgrupo
Teorema de lagrange
Ejemplos y ejercicios

3 Orden de un elemento de un grupo


Definición de orden de un elemento
Ejercicios propuestos

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 21 / 32
Ejercicio

Ejercicio
El teorema y el corolario anterior están escritos para grupos
multuiplicativos. Adaptarlos a grupos aditivos

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 22 / 32
Ejemplo

Se mostrará como aplicar el teorema anterior para grupos aditivos.


consideremos el grupo aditivo (Z8 , +).
h1i = {n1|n ∈ Z } = Z8 = {0, 1, 2, 3, 4, 5, 6, 7} Además ◦(Z8 ) = 8. Si
elegimos a = 1 y s = 4 en el teorema anterior (Recuerda usarlo en
notación aditiva), obtenemos que:
b = sa = 4 y m.c.d(8, 4) = 4
Por tanto, ◦(h4i) = 2
Efectivamente, ◦(h4i) = {0, 4}

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 23 / 32
Ejemplo

Se mostrara como usaremos sucesivamente el corolario anterior para hallar


todos los subgrupo de un grupo cı́clico.
consideremos el grupo aditivo (Z12 , +). Es bien sabido, por lo estudiado
anteriormente que todo subgrupo de un grupo cı́clico es cı́clico. Por tanto,
debemos hallar todos los subgrupos cı́clicos de Z12 .
Como El grupo es finito encontrar los subgrupos de éste equivale a,
calcular el generado de cada elemento.
◦(Z12 ) = 12 y 1 es un generador de Z12 . Los primos relativos con el 12,
menores que él son: 5, 7, 11; entonces, por corolario
Z12 = h1i = h5 · 1i = h7 · 1i = h11 · 1i; Es decir,
Z12 = h1i = h5i = h7i = h11i. Fácilmente ya sabemos el resultado de los
generados de los elementos 1,11,5 y 7.
Encontremos los demás generados.

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 24 / 32
Ejemplo

Por teorema ◦(h2i) = 6. Luego el primo relativo con 6 es 5. Entonces por


corolario
h2i = h5 · 2i = h10i
Por teorema ◦(h3i) = 4. Luego el primo relativo con 4 es 3. Entonces por
corolario
h2i = h3 · 3i = h9i
Además, esta el subgrupo cı́clico generado por el módulo, a saber el 0

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 25 / 32
Diagrama reticular de los subgrupos de Z12

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 26 / 32
Ejercicios propuestos

3. Para cada uno de los siguientes subgrupos encontrar todos sus


subgrupos y elaborar el diagrama reticular correspondiente:
Z36
Z18
Z30

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 27 / 32
Ejercicios propuestos

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 28 / 32
Contenido

1 Subgrupos
Subgrupos y grupos Cı́clicos
Propiedades
Ejemplos de grupos cı́clicos
Generación de subgrupos

2 Relación de Equivalencia inducida por un subgrupo


Congruencia módulo un subgrupo
Teorema de lagrange
Ejemplos y ejercicios

3 Orden de un elemento de un grupo


Definición de orden de un elemento
Ejercicios propuestos

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 29 / 32
Definición y Proposiciones

Orden de un elemento
Sea a un elemento de un grupo G . Se denomina orden de a, y se denota,
◦(a), al menor entero positivo m tal que am = e, si tal número existe. Si
no existe se define ◦(a) = ∞

Proposición
◦(a) = ◦(hai)

Corolario
Si (G , ·) es finito y a ∈ G , entonces:
◦(a) divide a ◦(G )
a◦(G ) = e
Para m ∈ Z , am = e si y solo si ◦(a) divide a m

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 30 / 32
Contenido

1 Subgrupos
Subgrupos y grupos Cı́clicos
Propiedades
Ejemplos de grupos cı́clicos
Generación de subgrupos

2 Relación de Equivalencia inducida por un subgrupo


Congruencia módulo un subgrupo
Teorema de lagrange
Ejemplos y ejercicios

3 Orden de un elemento de un grupo


Definición de orden de un elemento
Ejercicios propuestos

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 31 / 32
Proposiciones

Demostrar la siguiente proposición:


Sean (G , ·) un grupo, a, b ∈ G entonces:
◦(a) = ◦(a−1 )
◦(xax −1 ) = ◦(a) para todo x ∈ G
◦(ab) = ◦(ba)

M.Sc. Marı́a Campo Donado (Universidad del Atlántico) Subgrupos Agosto, 2018 32 / 32