UNIVERSIDAD DE EL SALVADOR
FACULTAD DE CIENCIAS NATURALES Y MATEMÁTICA
ESCUELA DE MATEMÁTICA
Álgebra moderna II (ciclo par 2020)
Hoja de Ejercicios 3
Notación: Todos los anillos son conmutativos con 1.
1. Sea 𝑅 un anillo. Demuestre que existe un isomorfismo de anillos
𝑅[𝑋1 , . . . , 𝑋𝑛 ]/(𝑋1 , . . . , 𝑋𝑛 ) 𝑅.
2. Sean 𝑅 un anillo y 𝐼 ⊆ 𝑅 un ideal.
Í
(i) Demuestre que el conjunto 𝐼 [𝑋] = { 𝑎 𝑘 𝑋 𝑘 : 𝑎 𝑖 ∈ 𝐼} es un ideal de 𝑅[𝑋].
(ii) Demuestre que existe un isomorfismo de anillos
𝑅[𝑋]/𝐼 [𝑋] (𝑅/𝐼) [𝑋].
3. Sean 𝑅1 y 𝑅2 anillos, y 𝐼1 ⊆ 𝑅1 , 𝐼2 ⊆ 𝑅2 ideales. Se definen 𝑅 = 𝑅1 × 𝑅2 , 𝐼 = 𝐼1 × 𝐼2 . Demuestre que
existe un isomorfismo de anillos
𝑅/𝐼 𝑅1 /𝐼1 × 𝑅2 /𝐼2 .
4. Sean 𝑅1 y 𝑅2 anillos. Demuestre que 𝑅 = 𝑅1 × 𝑅2 es un dominio si y sólo si uno de los 𝑅𝑖 es un
dominio y el otro es 0.
5. Sea 𝑑 un entero libre de cuadrados.1 Demuestre que existe un isomorfismo de anillos
√
ℚ( 𝑑) ℚ[𝑋]/(𝑋 2 − 𝑑).
6. Sea 𝑅 un dominio de ideales principales. Demuestre que todo cociente 𝑅/𝐼 es también un dominio de
ideales principales.
7. Demuestre que existe un isomorfismo de anillos
ℝ[𝑋]/(𝑋 2 − 1) ℝ × ℝ.
8. Considere el anillo de funciones ℝ 𝑋 donde 𝑋 = {0, 1}. Demuestre que existe un isomorfismo de
anillos
ℝ 𝑋 ℝ × ℝ.
9. Considere el anillo 𝑅 = ℤ/𝑛ℤ, donde 𝑛 es un entero positivo. Determine los ideales de 𝑅, y para cada
ideal 𝐼 ⊆ 𝑅 calcule el grupo cociente 𝑅/𝐼.
1Es decir, que no es divisible por el cuadrado de ningún primo 𝑝.
10. Determine todos los ideales del anillo ℝ[𝑋]/(𝑋 𝑛 ), donde 𝑛 ≥ 1.
11. Sea 𝑝 un número primo. Calcule el cociente
𝔽 𝑝 [𝑋]/(𝑋 2 + 1).
12. Sea 𝑛 un entero positivo. Denotamos 𝑅 = ℤ[𝑖].
(i) Demuestre que 𝐼 = {𝑎 + 𝑏𝑖 ∈ 𝑅 : 𝑛|𝑎, 𝑛|𝑏} es un ideal de 𝑅.
(ii) Demuestre que el anillo cociente 𝑅/𝐼 tiene cardinalidad finita.