1
Problemas de Estructuras Básicas del Álgebra Hoja 3
1. Sea D un dominio euclı́deo con aplicación euclı́dea δ. Demuestra:
(a) Si a ∈ D es no nulo y δ(a) = 0, entonces a es una unidad en D.
Pista: divide 1 entre a.
(b) Si a, b ∈ D y existen x, y ∈ D tales que ax + by 6= 0 y δ(ax + by) = 0, entonces
1 = mcd(a, b).
√ √
2. Demuestra que α = 1 + 2 es un unidad en Z[ 2].
√ √
Comprueba que sus potencias (1 + 2)n son unidad en Z[ 2] para todo n ∈ Z.
√
Concluye que Z[ 2] posee infinitas unidades.
3. Sean a, b ∈ Z, b 6= 0. Demuestra que existen q, r ∈ Z tales que
1
a = bq + r, con |r| ≤ |b|.
2
4. Sea p ∈ N primo. Demuestra:
(a) Si existen a, b ∈ Z tales que p = a2 + b2 , entonces p = (a + bi)(a − bi) y a + bi, a − bi
son irreducibles en Z[i].
(b) Si p no es suma de cuadrados, entonces p es irreducible en Z[i].
(c) Sea α ∈ Z[i] no nulo y no inversible. Sabemos que α divide en Z[i] a N (α) ∈ Z.
Consideremos la factorización en Z de N (α) :
N (α) = pn1 1 . . . pnr r .
Entonces todo factor irreducible de α en Z[i] dividirá a pi para algún i = 1, . . . , r.
(d) Si α ∈ Z[i] es irreducible, entonces o bien α es asociado a un primo de Z que no
es suma de cuadrados, o bien α = a ± bi con a2 + b2 ∈ Z primo.
5. Sea R un anillo y a ∈ R. Demuestra que S := {x ∈ R | xa = 0} es subanillo de R.
6. Sea R un anillo y a ∈ R. Demuestra que S := {x ∈ R | xa = 2x} es un subanillo de R.
(En general por 2x se entiende x + x)
√
7. Demuestra que {a + b 3 | a, b ∈ Q} es un subcuerpo de R.
8. Sea R un anillo y e ∈ R un idempotente. Demuestra que
eRe := {exe : x ∈ R} = {x ∈ R : xe = ex = x}
es un subanillo unitario de R (que no se te olvide comprobar la igualdad de los conjuntos
anteriores). Demuestra que si eRe = R, entonces e = 1.
9. Sea R un anillo unitario. Demuestra que si los únicos ideales a izquierda (o a derecha)
de R son (0) y R, entonces R es un anillo de división.
2
10. Sea R un anillo y x ∈ R. Demuestra:
(a) xR = {xa | a ∈ R} es un ideal por la derecha de R.
(b) Sea Zx = {nx : n ∈ Z}, donde
n
z }| {
x + ··· + x
si n > 0,
nx = 0 si n = 0,
(−x) + · · · + (−x) si n < 0.
| {z }
−n
Entonces xR + Zx es un ideal por la derecha de R que contiene a x.
Es más, este es el ideal por la derecha de R más pequeño que contiene a x.
(c) Si R es unitario, xR + Zx = xR.
11. ¿Existe algún ideal I de R := M2 (Z) tal que el cociente R/I sea un cuerpo?
0 1
Pista: demuestra que si es un elemento de I, entonces I = R.
0 0
12. Demuestra que en Z un ideal I 6= {0} es primo si y sólo si es maximal. Encuentra un
ideal primo de Z que no sea maximal.
13. Demuestra que en un anillo conmutativo R el ideal {0} es primo si y solo si R no posee
divisores de cero.
14. Consideremos el anillo 2Z, que no es unitario. Comprueba:
(a) 4Z es un ideal maximal del anillo 2Z.
(b) 4Z no es un ideal primo de 2Z.
(c) El anillo cociente 2Z/4Z no es un cuerpo.
15. Consideremos el anillo R = 2Z y los ideales I = 4Z, J = 6Z. Comprueba que I +J = R.
¿Es I ∩ J = IJ?
16. Definimos la siguiente relación en Z :
x ∼ y ⇔ x = y = 0 ó xy > 0.
(a) Comprueba que ∼ es relación de equivalencia.
(b) Prueba que en el cociente R/∼ la suma a + b = a + b no está bien definida.
(c) ¿Está bien definida la operación a · b = ab?
17. Sea R un anillo conmutativo y unitario, S ⊆ R. El ideal generado por S es igual a la
intersección de todos los ideales de R que contienen a S.
18. Sea R un anillo conmutativo y unitario, S ⊆ R. Demuestra que el ideal generado por
S es igual a la intersección de todos los ideales de R que contienen a S.
3
19. Sea R un anillo conmutativo y unitario. Decimos que R es local si posee un único ideal
maximal. Demuestra que R es local si y solo si {a ∈ R : a no es unidad} es ideal de R.
√ √
20. Consideramos el anillo R = Z[ 10] y el ideal I = (2, 10). Determina el anillo cociente
R/I. ¿Es I un ideal primo? ¿Es I un ideal maximal?
21. Sea D un dominio de integridad. Demuestra:
(a) Supongamos que todo elemento no nulo y no inversible de D factoriza en producto
de irreducibles. Entonces D es DFU si y solo si todo primo es irreducible en D.
(b) D es DFU si y solo si D satisface la condición de cadena ascendente para sus
ideales principales y todo elemento irreducible es primo.
