lgebra Moderna 1, sem.

2015-1
Tarea 1: Grupos, Subgrupos, Morsmos, ...
Prof. Hugo Rincn
Ayte. Alberto Alcal
1. n N.
(a) Cuntas operaciones binarias distintas pueden denirse en un conjunto de n elementos?
(b) Cuntas operaciones binarias conmutativas pueden denirse en un conjunto de n elementos?
2. (n) denota la funcin de Euler: el nmero de naturales primos relativos con n.
(a) Sea = S nito con una operacin binaria asociativa , donde todo elemento es cancelable a la
derecha y a la izquierda. Muestre que S es un grupo bajo .
(b) Use el inciso anterior para demostrar que, si n N y P
n
= {1, x
1
, ... , x
(n)
} es el conjunto de
primos relativos con l, entonces (P
n
, md n) es un grupo.
3.
(a) Un conjunto no vaco cerrado bajo una operacin binaria asociativa es un grupo, si se cumplen:
e(g(eg = g)) y gg

(g

g = e).
(b) Muestre, mediante un ejemplo, que la conclusin es falsa si reemplazamos g

g = e por gg

= e.
4. Si G es un grupo y hay tres enteros consecutivos n
1
, n
2
, n
3
tales que a, b G((ab)
i
= a
i
b
i
) , i =
n
1
, n
2
, n
3
, entonces G es abeliano. Note que esto no pasa si slo suponemos la hiptesis para dos
enteros consecutivos.
5.
(a) Sean H, K G. Si H K L G, entonces L H o L K.
(b) Un grupo no puede ser unin de dos subgrupos propios.
6. Describa la retcula de subgrupos de los siguientes grupos, y dibuje su diagrama:
(a) Z
12
.
(b) S
3
.
(c) Q
8
.
7. D homomorsmos (no triviales) entre los siguientes grupos, y describa su imagen y ncleo:
(a) Z G, donde G es un grupo cualquiera.
1
(b) (R

, , 1) (R, +, 0)
(c) GL
n
(F) F

(d) Z
n
U(1), donde U(1) es el grupo multiplicativo de los complejos unitarios.
(e) S
n
S
n+1
(f) Z
n
Z
m
para m = n.
(g) (R

, , 1) (R
+
, , 1)
8. Demuestre que no hay homomorsmos no triviales entre los siguientes grupos:
(a) Z
n
Z, para cualquier n.
(b) S
3
Z
3
(c) Q Z
(d) Q Z
n
, para cualquier n.
9. Considere el grupo R[x] de los polinomios con coecientes reales con la adicin usual. Para cada f,
sea

f la funcin antiderivada de f cuya grca pasa por el punto (0, 0). Muestre que f

f es un
endomorsmo, y calcule su ncleo. Si

f denotara la antiderivada que pasa por (0, 1), sera f

f
un morsmo?
10. [0, 1) R es un grupo si denimos x y =

x +y si x +y < 1
x +y 1 si x +y 1
. Demuestre que x
f
x x ,
donde x = mx{n Z|n x}, es un morsmo entre (R, +, 0) y [0, 1) con aquella operacin ; describa
su imagen y ncleo.
11.
(a) Si H G K, entonces HK G si y slo si HK = KH.
(b) D un ejemplo de subgrupos H, K tales que HK no sea un subgrupo.
12.
(a) Si G es cclico, |G| = n, entonces G tiene exactamente un subgrupo de orden k, para cada k|n.
(b) Si e = G no tiene subgrupos propios, entonces G es cclico y de orden primo.
13. Sean g, g
1
, g
2
G.
(a) o(g
1
g
2
) = o(g
2
g
1
)
(b) o(g) = n N. Entonces, para todo m Z, o(g
m
) =
n
(m,n)
.
(c) Si o(g
1
), o(g
2
) N son primos relativos y g
1
g
2
= g
2
g
1
, entonces o(g
1
g
2
) = o(g
1
)o(g
2
).
(d) Si o(g) = n
1
n
2
, n
1
, n
2
primos relativos, entonces existen nicos g
1
, g
2
G tales que g
1
g
2
= g =
g
2
g
1
, n
1
= o(g
1
), n
2
= o(g
2
).
2