P. 1
Estructuras Algebraicas

Estructuras Algebraicas

|Views: 9|Likes:
Published by Pepe_Gutierrez_9102

More info:

Published by: Pepe_Gutierrez_9102 on Nov 21, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

07/20/2014

pdf

text

original

En esta secci´on estudiaremos una condici´on necesaria necesaria para que un subcon-

junto de un grupo finito, sea un subgrupo de este.

Teorema 3.4.1 (Lagrange)

Sea G un grupo finito y H un subgrupo de G. Entonces el orden de H divide al orden

de G.

42

Francisco Rivero

Demostraci´on Si H ={e}´o H = G no hay nada que probar. Supongamos entonces que

H ̸={e} y H ̸= G. Sea

H ={h1,...,hr}

donde r =(H).

Luego existe un elemento a ∈ G, tal que a ̸∈ H. Entonces tenemos los siguientes

elementos en G.

h1,h2,...,hr,ah1,...,ahr.

Afirmamos que hay 2r elementos distintos. En efecto:

i)Si ahi = hj, entonces multiplicando por h1

i a la derecha nos da

a = hjh1

i ∈H

Luego a∈H, lo cual es una contradicci´on

ii) Si ahi = ahj, cancelaci´on por a nos da

hi = hj

lo cual es, nuevamente una contradicci´on.

Si esos 2r elementos son todos elementos de G, entonces

(G) = 2r = 2(H)

y entonces(H) divide al orden de G.

Si por el contrario, hay m´as de 2r elementos en G, continuamos el proceso y tendremos

que existe un elemento b ∈ G, distinto de los anteriores. Luego tenemos los siguientes

elementos en G

a0h1, ..., a0hr

a1h1, ..., a1hr

a2h1, ..., a2hr

.
.
.

donde a0 = e, a1 = a, a2 = b,...etc. y ai no esta en ninguno de los elementos que

forman las filas anteriores a la fila i-´esima. Se puede probar que todos estos elementos que

se generan son distintos. En efecto:

i) Siaihj = aihk, entonces cancelando se tiene quehj = hk, lo cual es una contradicci´on.

ii) Si para i > l se tiene aihj = alhk, entonces multiplicando por h1

j a la derecha se

tiene ai = alhkh1

j . Como H es un grupo , tendremos que hkh1

j ∈H, luego hkh1

j = hs,
para alg´un s y por lo tanto ai = alhs. Entonces el elemento ai pertenece a la l-´esima fila,

lo cual es una contradicci´on.

Teorema de Lagrange

43

Puesto que G es un grupo finito, este proceso de formaci´on de filas se detiene desp´ues

de un n´umero finito de pasos, digamos k pasos. Se tendr´a entonces que hay k ◦ (H)

elementos en G. Con esto termina la desmostraci´on.

Definici´on 3.4.1 Si G es un grupo y a∈G, el orden de a es el menor entero positivo

n tal que

an

= e.

Usamos la notaci´on(a) para indicar el orden de a.

Si ese entero no existe, diremos que a tiene orden infinito

Corolario 3.4.1 Si G es un grupo finito y a∈G, entonces(a) es un divisor de(G).

Demostraci´on Sea a∈G y consideremos el subgrupo c´ıclico generado por a, H =< a >

el cual consiste en los elementos

a0

= e,a,a2

,...,an1

donde an

= e.

Es claro entonces que n =(H) y adem´as n =(a).

De acuerdo al teorema de Lagrange, tendremos que

(H)|◦(G)

Luego

(a)|◦(G).

Corolario 3.4.2 Si G es un grupo finito y a∈G, entonces

a(G)

= e.

Demostraci´on Sabemos que a(a)

= e, y por el corolario anterior

(G) = k◦(a) para alg´un k.

Luego

a(G)

= a(a)·k

=

(a(a))k

= ek

= e.

44

Francisco Rivero

Corolario 3.4.3 Si G es un grupo finito de orden primo p, entonces G es c´ıclico.

Demostraci´on Sea a∈G,= e. Entonces H =< a > el subgrupo c´ıclico generado por

a tiene orden un divisor de p. Luego hay dos posibilidades:

i)(H) = p, lo cual implica H = G y G es c´ıclico generado por a

ii)(H) = 1, y por lo tanto se tendr´ıa a = e, lo cual es imposible.

Luego G es un grupo c´ıclico.

Teorema de Lagrange

45

Ejercicios

1. Probar que (Z6,+) es un grupo c´ıclico. Hallar todos sus generadores.

2. Demuestre que el grupo 4 de Klein no es c´ıclico.

3. Hallar el orden de cada uno de los elementos del grupo (Z10,+).

4. Sea p un n´umero primo. Probar que Qp el conjunto de n´umeros racionales de la

forma

a

pα

donde a es un entero primo relativo con p, y α es un entero positivo, es un subgrupo

de (Q,+).

5. Demuestre que si p es un n´umero primo, entonces el grupo (Zp,+) tiene p-1 gene-

radores.

6. Demuestre que el grupo de los enteros m´odulo m, bajo la suma, es un grupo c´ıclico,

con 1 como generador.

7. Sea G el producto cartesiano de los n´umeros enteros consigo mismo. Esto es

G = Z×Z

donde

Z×Z ={(a,b)/a y b pertenecen a Z}

Demuestre que G es un grupo con la operaci´on de suma de coordenadas. Demuestre

que G no es c´ıclico.

8. Hallar el diagrama de subgrupos para los grupos siguientes

a) (Z6,+)

b) S3

c) (Z7,+)

9. Demuestre que todo grupo c´ıclico es abeliano

10. Probar que todo subgrupo de un grupo c´ıclico es c´ıclico.

11. Demuestre que si un elemento a en un grupo G satisface:

ak

= e, entonces(a)|k

12. ¿Cuantos generadores tiene un grupo c´ıclico de orden n?

46

Francisco Rivero

13. Dar un ejemplo de un subgrupo c´ıclico en el grupo de matrices 2×2, de la forma

( a b
c d

) con ad−bc̸= 0
14. Sea G = S4, hallar el grupo c´ıclico H generado por el elemento

ψ :

x1 −→x2

x2 −→x3

x3 −→x1

x4 −→x1

¿Cual es el orden de este grupo?

15. Sean a y b dos elementos en un grupo abeliano G, tal que

((a),◦(b)) = 1.

Probar que:

(ab) =(a)·◦(b)

donde ( , ) denota el m´aximo com´un divisor.

16. Sean a y b dos elementos en grupo abeliano G. Probar que:

(ab) = [(a),◦(b)],

donde [ , ] denota el m´ınimo com´un m´ultiplo.

17. Hallar todos los subgrupos de (Z10,+).

18. Hallar todos los subgrupos del grupo de simetr´ıas del cuadrado.

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->