Algebra Moderna I

Tarea 1

Profesor: Dra. Bertha Mara Tome Arreola

Ayudante: Jesus Adrian Celis Gonzalez

1. Determnese, en cada uno de los siguientes casos, si el sistema descrito es un grupo o no. En caso
negativo, senalense cual o cuales de los axiomas de grupo no se cumplen.
a) G = Z, para a, b G se define a ? b = a b.
b) G = R, para a, b G se define a ? b = a + b + ab.
c) Sea X un conjunto no vaco, consideremos G = P (X), para a, b G se define a ? b = a M b.
d) G = conjunto de todos los numeros racionales con denominadores impares, con la adicion usual de
los numeros racionales.
e) Cualquier conjunto finito F admite estructura de grupo (Dar la operacion).

2. Demostrar que los siguientes conjuntos constituyen un subgrupo del grupo correspondiente en cada
inciso.
a) Sea A el conjunto de los numeros de la forma a + ai bajo la adicion.
b) Sea n Z+ . Sea A el conjunto de los numeros racionales cuyos denominadores dividen a n, con la
adicion.
p
c) Sea n Z+ . Sea A = { Q : (q, n) = 1}, bajo la adicion.
q
d) Sea A el conjunto de los numeros reales tales que su cuadrado es racional, bajo la multiplicacion.
3. Pruebese que si G es un grupo abeliano, entonces, para todo a, b G y todos los enteros n, (ab)n =
an bn .

4. Si G es un grupo tal que (ab)2 = a2 b2 para todo a, b G demuestrese que G debe ser abeliano.
5. Si G es un grupo en el cual (ab)i = ai bi para tres enteros consecutivos i y para todos los a, b G,
demuestrese que G es abeliano.
6. Considere G = S3 .

Proporcionese dos elementos en G tales que (xy)2 6= x2 y 2 .

Pruebese que en G hay cuatro elementos que satisfacen x2 = e y tres elementos y 3 = e.
7. Sea G un grupo con tres elementos, pruebese que G es abeliano. Concluya lo mismo si G tiene cuatro
o cinco elementos.

1
 8. Si G es un grupo finito, pruebese que existe un entero positivo N tal que aN = e para todo a G.
9. Demuestrese que si todo elemento de G es su propio inverso, entonces G es abeliano.
10. Si G es un grupo de orden par, pruebese que tiene un elemento a 6= e tal que a2 = e.
11. Sean G = {z C : z n = 1 para algun n Z+ } y G0 = {z C : |z| = 1} demostrar que ambos son
grupos con el producto en C, pero no con la adicion en C.
12. Sea G un conjunto no vaco cerrado respecto a un producto asociativo que ademas satisface:
a) Existe e G tal que ae = a para toda a G.
b) Dado a G, existe un elemento b(a) G tal que ab(a) = e.
Pruebese que G debe ser un grupo bajo este producto.
13. Supongamos que un conjunto finito G es cerrado respecto a u producto asociativo y que las dos leyes
de cancelacion se verifican en G. Pruebese que G debe ser un grupo.
14. a) Usando el resultado del problema 13, pruebese que los enteros no cero modulo p, con p un numero
primo, forman un grupo respecto a la multiplicacion modulo p.
b) Pruebese lo anterior para los enteros no cero primos relativos con n bajo la multiplicacion modn.
15. Pruebese que un conjunto G no vacio junto con una operacion binaria en G tal que las ecuaciones

a x = b y y a = b tienen soluciones en G para todo a, b G

es un grupo.
16. Sean G1 y G2 grupos. Verificar que G1 G2 es un grupo con la multiplicacion componente a compo-
nente; es decir, (a1 , b1 ) (a2 , b2 ) = (a1 a2 , b1 b2 ). Ademas G1 G2 es abeliano si y solo si G1 y G2 son
abelianos.
17. Sean G1 y G2 grupos y a G1 y b G2 de orden finito. Probar que los elementos (a, eG2 ) y (eG1 , b)
conmuntan en G1 G2 y que (a, b) tiene orden el mnimo comun multiplo de |a| y |b|.
18. Sean G un grupo y X, Y G. Pruebe o de un contraejemplo para cada una de las posibles contenciones
entre los siguientes conjuntos.
 hXi hY i y hX Y i.
 hXi hY i y hX Y i.
19. Sea G un grupo, x G y n, m Z donde (n, m) = 1. Demuestre que si xn = 1, existe y G tal que
x = ym .
20. Sea G un grupo y X un conjunto no vacio.
a) Sea GX = {f : X G} con la operacion : GX GX GX dada por (f g)(x) = f (x)g(x) para
todo f, g GX y x X. Demostrar que GX es un grupo con la operacion dada. Hallar condiciones
necesarias y suficientes para que dicho grupo sea abeliano.
b) Sea x0 X y sea Hx0 = {f GX : f (x0 ) = e}. Mostrar que Hx0 es un subgrupo de GX .

2
 c) Sea A = {f GX : existe Bf X finito tal que f (x) = e para todo x X Bf }. Demostrar que
A es subgrupo de GX .
d) Encontrar un subconjunto propio de generadores de A.
21. Sean G un grupo y A G , definamos N (a) = {x G|xa = ax}. Demuestre que N (a) es un subgrupo
de G. N (a) se le llama normalizador o centralizador de a en G.
22. Si G es un grupo, el centro de G, Z, esta definido por Z(G) = {z G|zx = xz para todo x G}.
Pruebese que Z(G) es un subgrupo de G. Ademas, demuestre que Z(G) es abeliano.

23. Sea G u grupo y H G no vaco. Demuestre que H es un subgrupo si y solo si ab1 H para todo
a, b H.
24. Sean G un grupo y H G un subconjunto no vaco y finito tal que H es cerrado bajo la operacion de
G. Demuestre que H es un subgrupo de G.

25. Demostrar que los subgrupos aditivos de Q cerrados bajo la inversion en el producto son triviales.
26. Exhibir un conjunto generador del grupo multiplicativo de los racionales positivos distinto del total.
S
27. Sean G un grupo y {Hi }iI una cadena ascendente de subgrupos de G. Demuestre que iI Hi es un
subgrupo de G.

28. Sean H1 y H2 subgrupos de G. Pruebese que H1 H2 es subgrupo si y solo se H1 H2 o H2 H1 .

29. Demostrar que el grupo aditivo de los racionales no es finitamente generado. (Sugerencia : vea que
no es cclico).
30. Si G y am = e, pruebese que o(a)|m.

31. Sean G un grupo y a, b G. Demuestre que:

a) |a| = |a1 |.
b) Dado g G tenemos que |gag 1 | = |a|.
c) |ab| = |ba|.
d ) Si |a| = n donde n = st, demostrar que |at | = s.
32. Si G es un grupo que tiene un unico elemento g de orden 2, demuestre que N (g) = G.
33. Sea n = {z C : z n = 1} el grupo de races n-esimas de 1. Demuestre que n es cclico (a pie). Liste
todos sus generadores.

34. Si G es un grupo que no tiene subgrupos no triviales, demuestre que G es finito, cclico y de orden
primo.
35. Si G =< g > es cclico de orden pn , para p un primo, demuestre que
n1 n2
{e} < g p >< g p > ... < g p > G

son todos los subgrupos de G.

3
36. Sean G y H grupos. Pruebese que si G H =< (g, h) > es cclico entonces G y H son cclicos y
G =< g > y H =< h >. Use este resultado para probar que Z Z no es cclico, con esto vea que el
regreso del resultado es falso.
37. Sea G un grupo abeliano. Sean H y K subgrupos finitos cclicos de G de orden n y m respectivamente.
Si (m, n) = 1 entonces existe S G tal que |S| = mn.
38. a) Demostrar que un grupo cclico infinito no puede tener cuatro generadores.
b) Demostrar que si G es cclico y |G| > 2 entonces G tiene mas de un generador.