Prueba Parcial

Estructuras Algebraicas - Curso 2022/23

20 de abril de 2023

Ejercicio 1 (3pt). Sea A un anillo conmutativo y unitario, y sea

Σ := {I E A : todo elemento de I es divisor de cero}
el conjunto de los ideales de A que verifican que todos sus elementos son divisores de cero.
a) (0,5pt) Probar que Σ es no vacı́o y que todo ideal perteneciente a Σ es propio.
b) (1pt) Demostrar que Σ tiene elementos maximales.
c) (1pt) Probar que si m es un elemento maximal de Σ, entonces m es ideal primo.
d) (0,5pt) Deducir que el conjunto D ⊆ A de divisores de cero en A es unión de ideales primos.

Ejercicio 2 (3,5pt). Sea G un grupo (escrito con notación multiplicativa). Si x, y ∈ G son elementos
cualesquiera, escribimos
[x, y] := xyx−1 y −1 ∈ G.
Los elementos de G de la forma [x, y] se llaman conmutadores. Sea Gc el subgrupo de G generado por
los conmutadores de G.
a) (1,5pt) Demostrar que Gc es un subgrupo normal de G. Es decir, que g −1 Gc g ⊆ Gc para todo
g ∈ G.
Indicación: justificar primero que basta probar que si g, x, y ∈ G son elementos cualesquiera,
entonces g −1 [x, y]g ∈ Gc ; luego demostrar este hecho.
b) (1pt) Probar que el grupo cociente G/Gc es un grupo abeliano, y que G ' G/Gc si y sólo si G es
abeliano.
c) (1pt) Demostrar que si G0 es un grupo abeliano y f : G → G0 es un homomorfismo de grupos,
entonces Gc ⊆ ker(f ). Deducir que existe un único homomorfismo de grupos f 0 : G/Gc → G0
que hace que el diagrama
G
f
/ G0
<
π
" f0
G/Gc
conmute, donde π es la proyección natural en el cociente.

Ejercicio 3 (3,5pt). Sea Z[X] el anillo de polinomios en una variable con coeficientes enteros. Si a ∈ Z,
denotamos por
τa : Z[X] −→ Z[X]
la aplicación dada por τa (f )(X) := f (X + a).
a) (0,5pt) Demostrar
√ que τa es√un isomorfismo de anillos unitarios.
√
b) (0,5pt) Sea Z[ 5] = {a + b 5 : a, b ∈ Z}. Probar que Z[ 5] es un anillo unitario, y que es un
subanillo del cuerpo R de los números reales. √
c) (1,5pt) Definir un epimorfismo de anillos φ : Z[X] → Z[ 5]√que cumpla X 2 − 6X + 4 ∈ ker(φ).
Indicación: si encontráis un epimorfismo φ0 : Z[X] → Z[ 5] pero no cumple la condición re-
querida, componer con τa para √ un a adecuado puede ayudar.
d) (1pt) Determinar el ideal φ−1 (( 5)).
2

Solución

Ejercicio 1.
a) El conjunto Σ es no vacı́o porque el ideal trivial (0) pertenece a Σ. Si I es un ideal de Σ, entonces
es propio: en efecto, todo elemento de I es divisor de cero, por lo tanto 1 6∈ I y en consecuencia
I 6= A.
b) Para probar que Σ tiene elementos maximales, aplicamos el Lema de Zorn. El conjunto Σ está
ordenado respecto a la relación de inclusión. Si L es una cadena de ideales en Σ, digamos
I1 ⊆ I2 ⊆ · · · ⊆ Im ⊆ · · · ,
definimos su unión [
K= Ij .
j≥1

Comprobemos que K es un ideal. En primer lugar, 0 ∈ K puesto que 0 ∈ Ij (para todo j). En
segundo lugar, si x, y ∈ K, entonces x ∈ Ij e y ∈ Ik para algunos ı́ndices j, k. Existe por lo tanto
un ı́ndice ` tal que x, y ∈ I` (basta tomar el máximo entre j y k, por ejemplo). Como I` es ideal,
x − y ∈ I` , luego x − y ∈ K. Por último, si x ∈ K y a ∈ A, tenemos que x ∈ Ij para algún j, y
por ser Ij ideal ax ∈ Ij , luego ax ∈ K.
Claramente K es una cota superior para L, ya que por construcción K contiene a todos los
ideales Ij de la cadena. Y también por construcción vemos que todo elemento del ideal K es
divisor de cero, puesto que K es unión de conjuntos cuyos elementos son divisores de cero. Es
decir, K ∈ Σ. En virtud del Lema de Zorn, Σ tiene un elemento maximal.
c) Sea m un elemento maximal del conjunto Σ, y supongamos que a, b ∈ A son elementos tales que
a, b 6∈ m. Entonces, por maximalidad de m, los ideales
(a) + m, (b) + m
no pertenecen a Σ: ambos contienen algún elemento que no es divisor de cero. Es decir, existen
elementos x ∈ (a) + m, y ∈ (b) + m tales que ni x ni y son divisores de cero.
Consideramos ahora el producto xy. Por un lado, xy tampoco es divisor de cero. Si lo fuese,
existirı́a un elemento z 6= 0 tal que z(xy) = (zx)y = 0, pero esto es imposible: como y no es
divisor de cero, deberı́a ser zx = 0, pero como x tampoco es divisor de cero, zx 6= 0 para todo
z 6= 0. Por otro lado, xy pertenece al ideal
((a) + m)((b) + m) = (ab) + m,
por lo tanto deducimos que (ab)+m contiene elementos que no son divisores de cero. Esto implica
que ab 6∈ m. Con esto queda probado que
a, b 6∈ m ⇒ ab 6∈ m.
Equivalentemente, ab ∈ m ⇒ o bien a ∈ m o bien b ∈ m. Es decir, m es ideal primo.
d) Sea D el conjunto de todos los divisores de cero en A. Si d ∈ D, el ideal (d) claramente pertenece
a Σ, luego (d) ⊆ m para algún elemento maximal m de Σ. Por lo tanto,
[
D⊆ m,
m∈Σ,
m maximal

y por el apartado anterior la unión en el lado derecho es una unión de ideales primos. Como todo
elemento de esa unión es un divisor de cero, la inclusión en el otro sentido es obvia.

Ejercicio 2.
a) Como Gc es el subgrupo generado por los conmutadores de G, un elemento arbitrario de Gc es
de la forma
u = [x1 , y1 ][x2 , y2 ] · · · [xn yn ], xi , yi ∈ G.
Si g ∈ G, entonces
g −1 ug = g −1 [x1 , y1 ][x2 , y2 ] · · · [xn yn ]g = g −1 [x1 , y1 ]gg −1 [x2 , y2 ]g · · · g −1 [xn yn ]g,
 3

luego es suficiente probar que g −1 [x, y]g ∈ Gc para todo g, x, y ∈ G (ya que entonces para
cualquier u ∈ Gc y cualquier g ∈ G tendremos que g −1 ug es un producto de elementos en Gc , y
por tanto pertenecerá a Gc ). Y para probar esto, basta con observar que
g −1 [x, y]g = (g −1 [x, y]g[x, y]−1 )[x, y] = [g −1 , [x, y]][x, y]
es un producto de conmutadores, por tanto pertenece a Gc .
b) Si xGc , yGc son dos clases arbitrarias en G/Gc , tenemos
(xGc ) · (yGc ) = xyGc , (yGc ) · (xGc ) = yxGc .
Ahora bien, como xy(yx)−1 = xyx−1 y −1 = [x, y] ∈ Gc , las clases xyGc e yxGc coinciden. Es
decir,
(xGc ) · (yGc ) = (yGc ) · (xGc ) para todo x, y ∈ G.
Con lo cual G/Gc es abeliano.
Para la segunda afirmación, basta observar que si G es abeliano entonces Gc = {1} y en
consecuencia G/Gc ' G. Y recı́procamente, si G/Gc ' G entonces G es abeliano porque G/Gc
lo es.
c) Si f : G → G0 es un homomorfismo de grupos con G0 abeliano y x, y ∈ G, entonces
f ([x, y]) = f (xyx−1 y −1 ) = f (x)f (y)f (x−1 )f (y −1 ) = f (x)f (y)f (x)−1 f (y)−1
= f (x)f (x)−1 f (y)f (y)−1 = 1G0 .
Esto prueba que [x, y] ∈ ker(f ) para x, y ∈ G cualesquiera. Como Gc está generado por los
conmutadores, se deduce que G0 ⊆ ker(f ).
En particular, la aplicación f 0 : G/Gc → G0 dada por f (xGc ) = f (x) está bien definida y
es homomorfismo de grupos (comprobación directa). De la definición es claro que es el único
homomorfismo que hace conmutar el diagrama indicado.

Ejercicio 3.
a) La aplicación τa es un homomorfismo de anillos, ya que para f, g ∈ Z[X] cualesquiera tenemos
(f + g)(X + a) = f (X + a) + g(X + a), (f g)(X + a) = f (X + a)g(X + a).
Como τa ◦ τ−a = τ−a ◦ τa = id es la identidad en Z[X], se deduce que τa es isomorfismo y que
τ−a es su inversa. √ √
b) Es obvio que 0, 1 ∈ Z[ 5], y que Z[ 5] es cerrado para sumas, restas y productos:
√ √ √
(a + b 5) ± (c + d 5) = (a ± c) + (b ± d) 5,
√ √ √
(a + b 5)(c + d 5) = (ac + 5bd) + (ad + bc) 5.
√ √
Luego Z[ 5] es un anillo unitario. Como 5 ∈ R, es un subanillo (unitario) de R.
c) Para obtener un epimorfismo con la condición indicada, podemos considerar la evaluación en una
de las raı́ces del polinomio g(X) = X 2 − 6X + 4, o considerar la composición
τa ev√5 √
Z[X] −→ Z[X] −→ Z[ 5]
para un a ∈ Z adecuado. Como ev√5 es epimorfismo y τa es isomorfismo, se deduce que la
composición ev√5 ◦ τa es un epimorfismo, para cualquier valor a ∈ Z.
Para a = 3, una comprobación sencilla muestra que τ3 (g)(X) = g(X + 3) = X 2 − 5. Como el
núcleo de ev√5 es el ideal principal (X 2 − 5) generado por X 2 − 5, si tomamos φ = ev√5 ◦ τ3 se
sigue que g(X) = X 2 − 6X + 4 ∈ √ker(φ). √ √
d) Consideremos√ el ideal principal ( 5) en Z[ 5], formado por los múltiplos de 5. Para determinar
I := φ−1√(( 5)), como τ3 es un isomorfismo con inversa τ−3 , podemos determinar primero J :=
ev−1
√
−5
(( 5)) y después obtener I como I = τ−a (J).
√ 2 2
Como el núcleo de la evaluación en 5 es el ideal √ (X − 5), claramente (X − 5) ⊆ J.
√ principal
También tenemos X ∈ J, puesto que ev√5 (X) = 5 ∈ ( 5), luego
(X 2 − 5, X) ⊆ J.
Por otro lado, si h(X) ∈ J, dividiendo por X 2 − 5 existe un polinomio q(X) ∈ Z[X] y enteros
a, b tales que
h(X) = q(X)(X 2 − 5) + (a + bX)
4

√
(el polinomio a + bX es el resto de dividir h(X) entre X 2 − 5). Entonces, evaluando en 5 se
tiene √ √
h( 5) = a + b 5.
√ √ √
Como 5 es irracional, la única posibilidad para que h( 5) ∈ ( 5) es que a sea múltiplo de 5.
Pero entonces h(X) = q(X)(X 2 − 5) + (a + bX) pertenece al ideal generado por X 2 − 5 y X,
puesto que 5 = (−1) · (X 2 − 5) + X · X ∈ (X 2 − 5, X). Esto prueba entonces que
(X 2 − 5, X) = J.
Usando que 5 ∈ J y que X 2 − 5 = X · X + (−1) · 5, tenemos que de hecho J = (X, 5). Finalmente,
aplicando τ−3
I = τ−3 (J) = (X − 3, 2).
√ √
Observar que φ(X − 3) = ev 5 ((X − 3) + 3) = ev√5 (X) = 5 ∈ ( 5) y que φ(2) = ev√5 (2 + 3) =
√
√
ev√5 (5) = 5 ∈ ( 5).