lgebra Moderna I

Unidad 1 Evidencia de Aprendizaje

GRUPOS Y SUBGRUPOS
2 de noviembre de 2015
Autor: Laura Pontn

lgebra Moderna I
Unidad 1 Evidencia de Aprendizaje
1.- 3.18. Para los conjuntos H y K defnase la interseccin HK por = {/ }
Mustrese que si HG y K G, entonces HK G

(1) Cumple con la primer condicin dado que el conjunto H K no es un conjunto vaco
(2) Cumple con la segunda condicin tal que a,b H K, a,b H y a,b K, siendo que si H y K son
subgrupos, ab H y ab K, ab HK
(3) Cumple con la tercer condicin tal que como e H y e K e H K
(4) Cumple con la cuarta condicin tal que como a H y a K, como a H K, siendo que si H y K
son subgrupos, 1 H y 1 K 1 H K

HK G

2.- Sea a un elemento de un grupo G. Cul es el menor subgrupo de G que contiene al elemento
a?.

lgebra Moderna I | 02/11/2015

Tal que hay que demostrar que:

a) , ,
Entonces
Sea que = + = = + y
b) ( )1
Entonces
Sea que ( )1 =
< . Sea L < G y = | sea por que L es un grupo.
y como 2 , es cerrado bajo la operacin en G n 0
Si 1 , pues | 2 = 1 1 y L es cerrado bajo la operacin en G
0

3.- Demuestre o de un contraejemplo de que es cclico n.

es el "conjunto de permutaciones con n letras".
El teorema de Cayley en la teora de grupos. "Todo grupo es isomorfo a un subgrupo de un grupo simtrico. Si el
grupo es finito y tiene orden n, entonces es isomorfo a un subgrupo de
Entonces, si todo grupo de permutaciones fuera cclico, todo grupo G tendra que serlo tambin por el
isomorfismo existente entre ellos, y esto no es cierto, el hecho de que para toda n es cclico, contradice el
teorema de Cayley, pues es claro que hay grupos que no son cclicos y, por el teorema mencionado, estos deben
ser isomorfos a algn grupo de permutaciones.

12345678
14625837
=(
)=(
)
45768123
46258371
En esta permutacin tenemos un ciclo ya que no fija ningn elemento, y por lo tanto es una permutacin cclica.
Tal como lo vemos en el siguiente esquema

12345678
1356 2478
=(
)=(
)(
)
34576812
3561 4782
Mientras que esta otra permutacin no es un ciclo, debido a que es una permutacin compuesta por dos ciclos,
siendo entonces una permutacin descompuesta como producto de ciclos disjuntos.

4.- Demuestre que si n2, entonces la coleccin de todas las permutaciones pares de {1,2,,n}
forma un subgrupo de .
Suponiendo que no todas las permutaciones en H sean pares, una permutacin impar H.
Sea A y B respectivamente subconjuntos pares e impares de H respectivamente, permutaciones en H, =

Ahora siendo que es impar, y todas las permutaciones en A son impares, A B. |A| || pues
|A| = |A| |A| |B| |B| |A| |A| = |B|

lgebra Moderna I | 02/11/2015

No toda es cclico n.

5.- Sea G un grupo. Si G contiene slo un nmero finito de subgrupos, G puede ser infinito?, por
qu?.
Definicin 2.3.2 Si el conjunto G es finito, entonces G se dice grupo finito. Caso contrario, diremos que G es infinito.
1.37 Definicin (grupo generado, grupo finitamente generado):
i) Dado , con 0 ;. Al mnimo subgrupo que contiene A lo llamamos el grupo generado por A, y lo notamos<A>.
ii) Decimos que un grupo G es finitamente generado si =< > para algn finito.

Corolario 1.27 Si =< > es de orden infinito todo subgrupo de G es de orden infinito
No, porque si fuera infinito, el orden de los subgrupos sera infinito, habra una cantidad finita de subgrupos de
orden infinito cada uno.
Un grupo es la unin de sus propios subgrupos cclicos, y cada elemento de l genera un subgrupo cclico
conteniendo a ese elemento.
Si G contiene slo un nmero finito de subgrupos entonces contiene slo un nmero finito de subgrupos cclicos,
y lgicamente ninguno de esos subgrupos cclicos podra ser infinito.

Entonces para cada grupo cclico infinito tiene que ser isomorfo a Z, es decir que tiene un nmero infinito de
subgrupos, por lo que tales subgrupos de un subgrupo cclico infinito de G generara una infinidad de subgrupos
de G, lo cual implica que G no puede ser infinito.
Porque G tiene subgrupos cclicos exclusivamente finitos, y de esa manera slo tiene un nmero finito de ellos,
entonces G se entiende como una unin de conjuntos finitos, y es en s mismo un conjunto finito.

6.- Sea G un grupo. Si todo subgrupo propio de G es cclico, entonces G es cclico?, por qu?
Definicin 3.3.2 Un subgrupo H de G se dice subgrupo propio si < {}, .
Proposicin 3.6.1. Todo subgrupo de un grupo cclico es cclico.

lgebra Moderna I | 02/11/2015

Bueno, no siempre es as, ya que por ejemplo el grupo de cuatro de Klein, no es cclico aunque existen grupos
cclicos de orden 4 como el grupo multiplicativo = {1, 1, , } o el grupo multiplicativo de los coprimos
con 10, = {1,3,7,9} que efectivamente son cclicos, sin embargo en el caso del grupo aditivo de orden 4, no lo
es.

El grupo de Klein 2 2 no es cclico, y est generado por cualesquiera dos de sus elementos distintos del
neutro, y solamente tiene 3 subgrupos propios no triviales (Mateos,2001)(Galois,Cap8)

Bibliografa
Garca, A. (2008) Introduccin a la teora de grupos finitos. Universidad Estatal de New Jersey.
Lluis-Puebla Emilio,(s/f) Teora de Grupos un primer curso. Publicaciones Electrnicas Sociedad Matemtica
Mexicana. Universidad Nacional Autnoma de Mxico.
Mateos, A.(2001) lgebra Bsica. Texto Gua. Universidad de Murcia.
Prez, M. (2012) lgebra Abstracta. Notas de Curso. Escuela de Matemtica. Universidad Central de Venezuela
Rivero, F. ,(s/f) Algebra: Estructuras Algebraicas. Facultad de Ciencias. Universidad de los Andes. BogotColombia
Sanabria,C. ,(s/f) Notas para un curso de lgebra Abstracta I. Departamento de Matemticas. Universidad de los
Andes. Bogot-Colombia
"Consulta de ejercicios" (n.d.) http://computo.fismat.umich.mx/~valero/NotasClase/capituloGalois8.pdf
Extrada el 05/XI/2015

lgebra Moderna I | 02/11/2015

"Permutaciones" (n.d.) https://es.wikipedia.org/wiki/Ciclo_(permutaci%C3%B3n) Extrada el 02/XI/2015