Problemas de lgebra Abstracta

Roberto Hernando Velasco

8 de abril de 2005

1.

Teora de Grupos

1.1.

Generalidades

R2 se llama simetra respecto de r a la

R R2

Ejercicio 1.1. Dada una recta r en el plano

aplicacin
r : 2

que deja jos los puntos de r y transforma todo punto P r en el nico punto Q,
/
situado en la perpendicular a r que pasa por P , que cumple
dist(P, r) = dist(Q, r).
Si O es un punto de

R2 , la simetra respecto de O es la aplicacin

2
o : R R2

que deja jo O y transforma P = O en el nico punto Q que cumple

OP = OQ .
Si
1:

R2 R2

es la aplicacin identidad, demuestre que dadas dos rectas perpendiculares r y s, que

se cortan en O, el conjunto V = {1, r , s , o } es un grupo abeliano con la operacin
composicin de aplicaciones.1
Ejercicio 1.2. Pruebe que todo grupo con cuatro elementos es abeliano.
Solucin. Sea G un grupo de orden 4. Distinguimos dos posibilidades:
C ASO 1. a2 = 1 para cada a G.
Entonces G es abeliano.
C ASO 2. Existe a G tal que a2 = 1.
Entonces el orden de a, ord(a), que divide a 4 por el teorema de Lagrange, no es
ni 1 ni 2. Se concluye que ord(a) = 4 = ord(G), luego G =< a > es cclico y, en
particular, abeliano.
1 ste

es el llamado grupo de Klein.

Ejercicio 1.3. Supongamos que en el grupo G se tiene

(ab)n = an bn
para cada a, b G y tres naturales consecutivos n. Demuestre que G es abeliano.
Solucin. Sean m, m + 1, m + 2 dichos naturales consecutivos. Dados a, b G,
probemos que ab = ba.
Por la hiptesis
(ab)m = am bm
y tambin
(ab)m+1 = am+1 bm+1 .
Sustituyendo,
am+1 bm+1 = (ab)m+1 = (ab)m ab = am bm ab
y simplicando
abm = bm a

(1)

(ab)m+2 = am+2 bm+2 ,

(2)

Como

se tiene
am+2 bm+2 = (ab)m+2 = (ab)m+1 ab = am+1 bm+1 ab
luego simplicando
abm+1 = bm+1 a.
Podemos ahora escribir
abm b = bm+1 a
y, utilizando (1),
bm ab = bm+1 a.
Simplicando una vez ms,
ab = ba.
Ejercicio 1.4. Encuentre un grupo G y elementos a, b de G tales que ord(a) y ord(b)
sean primos entre s, pero ord(ab) = ord(a) ord(b).
Solucin. Basta tomar G = D3 , a el giro de ngulo 2 y b la simetra respecto de la
3
recta que une el centro y un vrtice del tringulo regular.
Ejercicio 1.5. Sean G un grupo, H un subgrupo de G y x G. Sea m un nmero
natural que no tiene ningn factor2 con ord(x). Demuestre que si xm H entonces
x H.
2 Es

decir, es primo

Solucin. Sea n = ord(x). Como m y n son primos entre s, se tiene que am + bn = 1

para ciertos enteros a y b.
Entonces
a
b
a
x = xam+bn = (xm ) (xn ) = (xm ) H,
pues xm H.
Ejercicio 1.6. Es cierto que el producto directo de dos grupos cclicos tambin es
cclico?
Solucin. No; basta tomar G1 =

Z = G2 con la operacin suma.

Ejercicio 1.7. Sea G un grupo nito de orden impar, y sea x G. Demuestre que
existe y G tal que x = y 2 .
Solucin. Como n = ord(G) es impar, m. c. d.(2, n) = 1. Luego, 1 = 2a + nb para
ciertos enteros a y b. En consecuencia,
2

x = x2a+nb = (xa ) (xn ) .

Como ord(x) = m divide a ord(G) = n por el teorema de Lagrange, se deduce que
b
xn = 1, luego (xn ) = 1.
Por tanto, el elemento y = xa cumple x = y 2 .
Ejercicio 1.8. Sea G un grupo no nito. Posee G una cantidad no nita de subgrupos?
Solucin. Distinguimos dos casos:
C ASO 1. Existe a G que no es de torsin. Entonces los subgrupos Hk =
ak , k
\ {0}, son todos distintos ya que si Hk = Hl para algunos k y l distintos, se tendra

ak al y al ak ,
y, por lo tanto, ak = al

, al = ak

para ciertos enteros m y n.

Esto implica que alnk = akml = 1, y como a no es de torsin, se deduce que

ln k = 0 = km l, y de aqu
kmn = ln = k,
luego mn = 1. De donde m = n = 1, con lo que l = k, que es falso, o m = n = 1
y l = k, que tambin es falso, ya que l, k \ {0}.
En conclusin, hemos encontrado una familia no nita {Hk : k \ {0}}.
C ASO 2. Supongamos ahora que cada x G es de torsin. Evidentemente

G=

<x>.
xG

Como x es de torsin, cada < x >es nito. Al ser G no nito, debe existir una cantidad
no nita de miembros distintos en dicha unin.
Por ello, tambin en este caso G posee una cantidad no nita de subgrupos.
(De hecho, en ambos casos hemos probado que G posee una cantidad no nita de
subgrupos cclicos)

1.2.

Subgrupos normales. Homomorsmos.

Ejercicio 1.9. Sean G un grupo y H un subgrupo propio de G tal que H a = H b para

cada a, b G \ H. Demuestre que G no es simple3 .
Solucin. Vamos a calcular el nmero de subgrupos de G conjugados de H.
Es evidente que H x = H para cada x de H. En consecuencia, eligiendo a G \ H y
x H, la familia de conjugados distintos del subgrupo H es
{H a , H x = H} .
Si H a = H todos los conjugados de H coinciden y H es subgrupo normal propio
de G.
Si H a = H , entonces
[G : NG (H)] = 2,
siendo NG (H) = {a G : H a = H} el normalizador de H en G. En consecuencia, NG (H) es un subgrupo normal de G. Adems, es propio pues
{1} H NG (H) G,
siendo todas las contenciones estrictas.
Por tanto, en ambos casos, G es simple.
Ejercicio 1.10. Conteste las siguientes cuestiones:
1. Existen enteros positivos distintos m y n tales que Z y Z sean isomorfos?
n
m
2. Existe algn entero positivo m tal que el nmero de homomorsmos inyectivos
Z/mZ Z/100Z coincida con el nmero de homomorsmos sobreyectivos
Z/30Z Z/15Z? Calclese m si existe.
3. Calcule el nmero de homomorsmos Z/36Z Z/48Z. Hay alguno inyectivo? Y sobreyectivo?
Solucin.

1. Considrese m = 4 y n = 3. As
ord(Z ) = (4) = (22 ) = 2(2 1) = 2,
4

mientras que
ord(Z ) = (3) = 3 1 = 2,
3
donde es la funcin de Euler.
Como 2 es primo, tanto Z como Z son cclicos de orden 2, luego isomorfos a
4
3
Z/2Z y por lo tanto isomorfos entre s.
3

H a = a1 Ha

2. Como 15 divide a 30, el nmero de isomorsmos sobreyectivos Z/30Z

Z/15Z es (15) = (3) (5) = 2 4 = 8.
Se trata pues de estudiar si existe un divisor m de 100 tal que (m) = 8. Como
100 = 22 52 , el nmero m se escribir
m = 2a 5b , 0 a 2, 0 b 2.
Si ab = 0, ser m = 2a o m = 5b . Como (2a ) = 2a1 (2 1) = 2a1 con
0 a 2, (2a ) = 8.
Como (5b ) = 5b1 (5 1), para que fuese (5b ) = 8 debera ser 5b1 = 2, lo
que es imposible.
As pues ab = 0, con lo que
8 = (m) = (2a )(5b ) = 2a1 5b1 (5 1),
y de aqu
2 = 2a1 5b1 = 22a = 5b1 .
Es decir
2 a = 0, b 1 = 0,
luego a = 2, b = 1 y la nica solucin es m = 20.
3. El nmero de isomorsmos entre Z/36Z y Z/48Z es
m. c. d.(36, 48) = 12.
No hay ninguno inyectivo porque 36 no divide a 48 y tampoco los hay sobreyectivos porque 48 no divide a 36.
Ejercicio 1.11. Sean G un grupo y c G. Denimos en G otra operacin mediante
a b = acb.
Demuestre que con la nueva operacin G es un grupo isomorfo al de partida.
Solucin. Basta considerar f : G G, f (x) = c1 x.

1.3.

Estructura de los grupos abelianos nitos.

Ejercicio 1.12. Demuestre que en un grupo abeliano nito, el producto de dos elementos de orden mayor que dos es 1.
Solucin. Sea G un grupo abeliano de orden n y sea M el conjunto de los elementos de
orden mayor que dos.
Para cada x M , x1 M ya que ord(x1 ) = ord(x). Adems x1 = x pues en
caso contrario x2 = 1 y ord(x) 2.
Entonces {Ax : x M } constituye una particin de M, donde Ax = {x, x1 }. As M
tiene un nmero par 2l de elementos y
M = x1 , x1 , x2 , x2 , . . . , xl , x1 ,
1
2
l
por lo que el producto de los elementos de M es
x1 x1 xl x1 = 1.
1
l
5

2.
2.1.

Teora de cuerpos. Extensiones algebraicas

Generalidades. Polinomios mnimos

Ejercicio 2.1. Encontrar sobre

Q el polinomio mnimo de

3(i1)
.
2

9
Solucin. Sea = 3(i1) . Operando se llega a que 4 = 4 . Veamos que el polino2
9
4
mio mnimo de sobre es m (X) = X + 4 .
Como 4X 4 + 9 no tiene races enteras (se puede comprobar aplicando el algoritmo de
9
Rufni), tampoco las tiene en . Por tanto m (X) = X 4 + 4 no tiene races en ;
luego m (X) no se puede descomponer como producto de un polinomio de grado 1 y
otro de grado 3.
Si m (X) se pudiese descomponer como producto de dos polinomios de grado 2, se
tendra
9
X 4 + = (X 2 + aX + b)(X 2 + cX + d)
4
y operando e igualando coecientes se ve que no existen a, b, c, d
cumpliendo
esto.
Luego m (X) es irreducible con lo que es el polinomio mnimo de .

Ejercicio 2.2. Demostrar que ( 3 + 5) = ( 3, 5).

Solucin. Como 3 + 5 ( 3, 5) se tiene que ( 3 + 5) ( 3, 5).

La
ver,
que se
los
otra contencin es difcil de por lo utilizan grados.

5 3] = ( 3) ( 3)
[
/
( 3, 5) = ( 3)( 5).

[ ( 3, 5) : ( 3)] = 2, ya que x2 5 es el polinomio mnimo de 5 sobre

(
3).

[ (3, : ] = [ ( 3, 5) : ( 3)] [ ( 3) : ] = 2 2 = 4
5)
[ ( 3 + 5) : ] > 2, ya que si fuese 2, existira P (X) = X 2 + aX + b [X]
tal que P ( 3 + 5) = 0, lo que es absurdo.

Q
Q

Q
Q
Q
Q

Q
Q
Q
Q Q
Q

Q
Q

>2

4 = ( 3, 5) ] [ ( 3, 5) :
[
:
=
[ ( 3, 5) : ( + 5)] 1.
3
=
Por lo cual ( 3, 5) = ( 3 + 5).

2.2.

Q
Q

( 3 + 5)] [ ( 3 + 5) :

Q] luego

rbitas

Ejercicio 2.3. Se tienen bolas de dos colores. Cuntos collares distintos se pueden
hacer con ocho bolas?

2.3.

Grupo de Galois

Ejercicio 2.4. Obtngase el cuerpo de descomposicin en

del polinomio X 4
2
4X 1 [X]. Obtngase el grupo de Galois y mustrense las biyecciones entre
los subgrupos del grupo de Galois y los cuerpos intermedios de la extensin f | .


Solucin. Sea f (x) = x4 4x2 1. Las soluciones de f (x) = 0 son x = 2 5.

Se tiene que K = ( 2 + 5, 2 5) = ( 2 + 5, i), y que [K : ( 2 + 5)] =

2, [ ( 2 + 5) : ] = 4. Entonces [K : ] = 8, luego G(f |Q ) = 8.

Sea = 2 + 5. Se tienen los siguientes automorsmos:

Q
Q

2 : i1 , i
i

0 : , i i
1 : , i i
2 : i1 , i i
3 : i1 , i i
: , i i
1 : , i i

3 : i1 , i
i
0 : , i i