Ideales
Clase n. 4
Sitio web con el Magma Calculator:
[Link]
1 / 15
Ideales
Definiciones
Definición 4.1. Sea A un anillo conmutativo. Un ideal de A es
un subanillo I ⊆ A tal que
a · r ∈ I, para cada a ∈ A y cada r ∈ I.
2 / 15
Ideales
Primeras propiedades
Proposición 4.2. Sea A un anillo conmutativo con 1 y sea I un
ideal de A. Luego las siguientes son equivalentes:
1. 1 ∈ I;
2. I contiene una unidad u ∈ A∗ ;
3. I = A.
Dem. Claramente (1) ⇒ (2) y (3) ⇒ (1). Probamos (2) ⇒ (3). Si
a ∈ A entonces a = au−1 u ∈ I. Luego I = A.
3 / 15
Ideales
Generadores de un ideal
Definición 4.3. Sea A un anillo conmutativo y sea r ∈ A. El ideal
principal generado por r es
(r) := {ra : a ∈ A}.
Ejemplo 4.4. Los múltiplos de un número entero n forman un
ideal principal (n) = nZ de Z. Similarmente los múltiplos de un
polinomio p ∈ A[x] forman un ideal principal (p) de A[x].
4 / 15
Ideales
Ideales principales
Definición 4.5. La suma de dos ideales I, J de A es el ideal
I + J := {i + j : i ∈ I, j ∈ J}.
De forma similar se define la suma de un número finito de ideales.
Dados r1 , . . . , rn ∈ A el ideal generado por dichos elementos es
(r1 , . . . , rn ) := (r1 ) + · · · + (rn ).
P
Observamos que un elemento de (r1 , . . . , rn ) es de la forma i ai ri
con ai ∈ A para cada i.
5 / 15
Ideales
Ideales principales
Ejemplo 4.6. El siguiente conjunto es un ideal de Z[x]:
I = {p(x) ∈ Z[x] : p(0) es par}.
Tenemos 2, x ∈ I, ası́ que (2, x) ⊆ I. Además si p(x) ∈ I entonces
p(x) = p0 + xp1 + · · · = 2n + xb(x) ∈ (2, x), ası́ que I ⊆ (2, x) y
luego
I = (2, x).
6 / 15
Ideales
Ideales principales
Probamos que el ideal I = (2, x) de Z[x] no es principal. Si I fuera
principal luego I = (p) por algún polinomio p ∈ Z[x]. Como 2 ∈ I
luego 2 es múltiplo de p, ası́ que p es constante y divide 2, es decir
p ∈ {−2, −1, 1, 2}.
Sin embargo p no puede ser 1 o −1 porque en ambos casos
tendrı́amos (p) = Z[x] por la Proposición 4.2, una contradic-
ción. Tampoco p puede ser 2 o −2 porque x ∈ I no es múltiplo
de estos números. Luego I no es principal.
7 / 15
Ideales
Ideales principales
Proposición 4.7. Los ideales de Z son principales.
Dem. Sea I un ideal de Z no nulo. Sea
m := mı́n{n ∈ I : n > 0}.
Probamos que I = (m). Como m ∈ I luego (m) ⊆ I. Además
dado b ∈ I escribimos
b = mq + r, 0 ≤ r < m;
entonces r = b − mq ∈ I. Como r < m y por definición m es el
mı́nimo entero positivo en I, sigue que r = 0. Luego b = mq ∈
(m).
8 / 15
Ideales
Ideales principales
Proposición 4.8. Los ideales de k[x], donde k es un campo, son
principales.
Dem. La demostración es similar a la anterior. Un generador para
el ideal I 6= {0} es un polinomio p(x) ∈ I tal que:
deg p(x) = mı́n{deg(q(x)) : q(x) ∈ I \ {0}}.
9 / 15
Ideales
Ideales primos y maximales
Definición 4.9. Sea A un anillo conmutativo y I ⊆ A un ideal
propio (o sea I 6= A). Entonces se dice que I es un ideal
I primo si a · b ∈ I implica que o bien a ∈ I o bien b ∈ I;
I maximal si no existe un ideal J tal que I ( J ( A.
10 / 15
Ideales
Ideales primos y maximales
Teorema 4.10. Cada ideal maximal de un anillo conmutativo con
1 es primo.
Dem. Sea A un anillo conmutativo con 1 y sea I un ideal maximal
de A. Sean a, b ∈ A tales que ab ∈ I. Si a ∈
/ I, luego el ideal
I + (a) = {r + qa : r ∈ I, q ∈ A}
es igual a A. En particular 1 = r + qa para algún r ∈ I y q ∈ A.
Multiplicando por b ambos lados de la ecuación obtenemos
b = br + abq ∈ I.
11 / 15
Ideales
Ideales primos y maximales
Ejemplo 4.11.
I El ideal (0) ⊂ Z es primo pero no maximal porque está
contenido por ejemplo en (2).
I Para cada número primo p ∈ Z el ideal (p) es maximal en Z.
Para probarlo observamos que si q ∈/ (p) luego Mcd(p, q) = 1,
ası́ que existen enteros x, y tales que px + qy = 1, o sea
(p, q) = Z.
I El ideal (6) no es un ideal primo en Z porque 2 · 3 ∈ (6) pero
2 6∈ (6) y 3 6∈ (6).
12 / 15
Ideales
Ideales primos y maximales
Proposición 4.12. Sea I = (n) 6= {0} un ideal en Z. Son equiva-
lentes:
a) I es primo
b) I es maximal
c) n es primo.
Dem. a) ⇒ c): supongamos que n no sea primo, o sea n = s · t
con 1 < s, t < n. Entonces s · t ∈ I pero s 6∈ I y t 6∈ I ⇒ I no es
primo.
c) ⇒ b): si (n) ⊆ (m) ⊆ Z, entonces m divide n. Como n es
primo, se cumple uno de los siguientes:
I m = ±1 ⇒ (m) = Z,
I m = ±n ⇒ (m) = (n).
b) ⇒ a): por el Teorema 4.10.
13 / 15
Ideales
Ideales primos y maximales
Ejemplo 4.13. El ideal (x) = {p(x) ∈ R[x] : p(0) = 0} es maximal
en R[x]: sea I un ideal tal que (x) ( I, entonces existe
p(x) = an xn + · · · + a1 x + a0 ∈ I con a0 6= 0.
Luego p(x) − x(an xn−1 + · · · + a1 ) = a0 ∈ I y luego
a−1
0 · a0 = 1 ∈ I ⇒ I = R[x].
14 / 15
Ideales
Ideales primos y maximales
Ejemplo 4.14. El ideal (x) = {p(x) ∈ Z[x] : p(0) = 0} es primo
pero no es maximal en Z[x]:
I si p(x) · q(x) ∈ (x) ⇒ p(0) · q(0) = 0,
⇒ p(0) = 0 ∨ q(0) = 0
⇒ p(x) ∈ (x) ∨ q(x) ∈ (x).
I (x) ( (2, x) ( Z[x].
15 / 15