Ideales

Clase n. 8

Sitio web con el Magma Calculator:

http://magma.maths.usyd.edu.au/calc

1 / 12
Ideales
Definición y propiedades

Definición 8.1. Sea (A, +, ·) un anillo conmutativo. Un ideal I

de A es un subanillo I ⊆ A tal que

a · r ∈ I, para cada a ∈ A y cada r ∈ I.

Proposición 8.2. Sea (A, +, ·) un anillo conmutativo con 1 y sea

I un ideal de A. Entonces las siguientes afirmaciones son equiva-
lentes:
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 = a · u−1 · u ∈ I. Luego
A ⊆ I. Ahora, como I ⊆ A, se concluye que I = A.

2 / 12
Ideales
Ideales principales

Definición 8.3. Sea (A, +, ·) un anillo conmutativo y sea r ∈ A.

El ideal principal generado por r es

(r) := {a · r : a ∈ A}.

Ejemplo 8.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].

Definición 8.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.

3 / 12
Ideales
Ideales principales

Definición 8.6. Sean r1 , . . . , rn ∈ A. El ideal generado por

r1 , . . . , rn es

(r1 , . . . , rn ) := (r1 ) + · · · + (rn ).

Observamos que un elemento de (r1 , . . . , rn ) es de la forma

P
i ai · ri con ai ∈ A para cada i.

Ejemplo 8.7. El siguiente conjunto I 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).

4 / 12
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 8.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.

Ejercicio 8.8. Sea (A, +, ·) un anillo conmutativo con 1. Probar

que I = {0} es un ideal de A y que I = (0).

5 / 12
Ideales
Ideales principales

Proposición 8.9 Los ideales de Z son todos 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 = qm + r, 0 ≤ r < m;

entonces r = b − qm ∈ I. Como r < m y por definición m

es el mı́nimo entero positivo en I, se deduce que r = 0. Luego
b = qm ∈ (m).

6 / 12
Ideales
Ideales primos y maximales

Proposición 8.10. Los ideales de k[x], donde k es un campo, son

todos 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}}.

Definición 8.11. Sea (A, +, ·) un anillo conmutativo y I ⊆ A un

ideal de A. Se dice que I es un ideal
I propio si I 6= A y I 6= {0};
I primo si a · b ∈ I implica que a ∈ I, o bien b ∈ I;
I maximal si no existe un ideal J tal que I ( J ( A.

7 / 12
Ideales
Ideales primos y maximales

Teorema 8.12. Sea (A, +, ·) un anillo conmutativo con 1. Luego

cada ideal maximal de A es primo.
Dem. Sea I un ideal maximal de A. Sean a, b ∈ A tales que
a · b ∈ I. Si a ∈
/ I, luego el ideal

I + (a) = {r + q · a : r ∈ I, q ∈ A}

es igual a A. En particular 1 = r + q · a para algún r ∈ I y q ∈ A.

Multiplicando por b ambos lados de la ecuación, obtenemos

b = b · r + q · (a · b) ∈ I ,

pues r ∈ I y a · b ∈ I.

8 / 12
Ideales
Ideales primos y maximales

Ejemplo 8.13. Sea (Z, +, ·) el anillo de los números enteros.

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, sea J un ideal de Z tal que (p) ( J. Luego
existe q ∈ J \ (p). Notar que (p, q) ⊆ J. Como q ∈ / (p) y p es
un primo, se tiene que Mcd(p, q) = 1, ası́ que existen enteros
x, y tales que px + qy = 1. Luego (p, q) = Z, o sea J = Z.
I El ideal (6) no es un ideal primo en Z porque 2 · 3 ∈ (6) pero
2 6∈ (6) y 3 6∈ (6).

9 / 12
Ideales
Ideales primos y maximales

Proposición 8.14. Sea (Z, +, ·) el anillo de los números enteros y

sea I = (n) un ideal proprio de (Z, +, ·). Entonces n > 1 y las
siguientes afirmaciones son equivalentes:
a) I es primo; b) I es maximal; c) n > 1 es primo.
Dem. Notar que I = (n) = (−n). Luego n > 1. Además
a) ⇒ c): si n no es primo, entonces n = s · t con 1 < s, t < n.
Luego s · t ∈ I pero s 6∈ I y t 6∈ I ⇒ I no es primo.
c) ⇒ b): ver Ejemplo 8.13. Se puede demostrar también de otra
manera: si (n) ⊆ (m) ⊆ Z, entonces m divide n; como n es
primo, se cumple uno de los siguientes casos:
(1) m = ±1 ⇒ (m) = Z; o bien,
(2) m = ±n ⇒ (m) = (n).
b) ⇒ a): por el Teorema 8.12.

10 / 12
Ideales
Ideales primos y maximales

Ejercicio 8.15. Mostrar que en A[x], con A = Z, R, se tiene que

(x) = {p(x) ∈ A[x] : p(0) = 0} .

Ejemplos 8.16.
1) El ideal (x) es primo en Z[x] y R[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) .

11 / 12
Ideales
Ideales primos y maximales

2) El ideal (x) ⊂ R[x] es maximal:

I 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] .

3) El ideal (x) ⊂ Z[x] no es maximal:

I (x) ( (2, x) ( Z[x].

12 / 12