AMPLIACIÓN DE MATEMÁTICAS

SUBANILLOS E IDEALES.

Ejemplo 1. En (ℤ, +, ×), el subconjunto de los multiplos de 𝑛, 𝑛ℤ,

genera una relación de equivalencia
𝑘1 ∼𝑛ℤ 𝑘2 ⇔ 𝑘1 − 𝑘2 ∈ 𝑛ℤ ⇔ 𝑘1 ≡ 𝑘2 mód 𝑛.
Las congruencias ”normales”. Vimos que el conjunto cociente (ℤ/𝑛ℤ =
ℤ𝑛 , +, ×) con la suma y producto en congruencias forma de nuevo un
anillo y en algunos casos un cuerpo (cuando n es primo).

Observación 1. Observemos que (𝑛ℤ, +, ×) también es un anillo y

que para todo 𝑚 ∈ 𝑛ℤ y para todo 𝑟 ∈ ℤ se tiene que 𝑟 × 𝑚 ∈ 𝑛ℤ.

Todo lo anterior nos sugiere la noción abstracta de ideal con la cuál

se pueden construir anillos cocientes y en algunos casos cuerpos
(este último caso es él que nos interesa).

Definición 1. Sea (𝔸, +, ×) un anillo.

A: Un subconjunto 𝑆 ⊆ 𝔸 se llama subanillo si 𝑆 con las opera-
ciones del anillo, (𝑆, +, ×), es de nuevo un anillo.
B: Un subconjunto 𝐼 ⊆ 𝔸 es un ideal si (𝐼, +, ×), es un subanillo
de 𝔸 y además para todo 𝑠 ∈ 𝐼 y para todo 𝑎 ∈ 𝔸 se tiene que
𝑎𝑠 ∈ 𝐼 y 𝑠𝑎 ∈ 𝐼.

Observación 2. A: 𝑆 ⊆ (𝔸, +, ×) es un subanillo si y solo si para

′
todo 𝑠, 𝑠 ∈ 𝑆 se tiene que
𝑠 − 𝑠′ ∈ 𝑆 𝑦 𝑠 × 𝑠′ ∈ 𝑆.
B: 𝐼 ⊆ (𝔸, +, ×) es un ideal si y solo si para todo 𝑠, 𝑠′ ∈ 𝐼 y para
todo 𝑎 ∈ 𝔸 se tiene que
𝑠 − 𝑠′ ∈ 𝐼 𝑦 𝑠𝑎, 𝑎𝑠 ∈ 𝐼.
1
2 C. RUIZ

Demostración:
Claro, la condición 𝑠 − 𝑠′ ∈ 𝑆 (o 𝑠 − 𝑠′ ∈ 𝐼 ) nos dice que (𝑆, +)
(o (I,+)) es un subgrupo de 𝔸. La segunda condición nos dice que el
producto es una operación cerrada en 𝑆. En B: además se verifica la
condición adicional para ser ideal □
A diferencia del caso de los Grupos, no nos van a interesar los sub-
anillos, salvo para definir la estructura que nos interesa: la de Ideal.

Ejemplo 2. Sea 𝐼 = {0, 2, 4, 6, 8} ⊂ ℤ10 . Vemos que 𝐼 es un ideal.

Para todo 𝑠, 𝑠′ ∈ 𝐼, 𝑠 = 2𝑘 y 𝑠′ = 2𝑘 ′ , se tiene que

𝑠 − 𝑠′ = 2(𝑘 − 𝑘 ′ ) ∈ 𝐼
(entendiendo que las operaciones las hacemos en congruencias). Además
si 𝑎 ∈ ℤ10 , se tiene que 𝑎𝑠 = 𝑎2𝑘 ∈ 𝐼. Por tanto (𝐼, +, ×) es un subanillo
conmutativo (sin unidad, pero integro, ver tabla).
× 0 2 4 6 8
0 0 0 0 0 0
2 0 4 8 2 6
Aún más, (𝐼, +, ×) es un Ideal □
4 0 8 6 4 2
6 0 2 4 6 8
8 0 6 4 8 4
Ejemplos 1. 1. 𝑛ℤ ⊂ ℤ es un ideal ( aunque como anillo no tiene
unidad).
2. ℤ ⊂ ℚ es un subanillo, pero claramente no es un ideal.

Observación 3. 1. Si 𝔸 es un anillo e 𝐼 es un ideal suyo de modo

que 1 ∈ 𝐼, entonces 𝐼 = 𝔸.
2. Los únicos ideales de un cuerpo son {0} y el total.
3. La intersección de ideales es de nuevo un ideal.

Esta última propiedad nos da pie, como en el caso de Grupos, a

definir el ideal generado por un trozo del anillo 𝔸.

Definición 2. Sea (𝔸, +, ×) un anillo y sea 𝐴 ⊆ 𝔸 un subconjunto.

a: Se llama ideal generado por 𝐴 al ideal
∩
𝐼= 𝐼 ′ =notación (𝐴)
𝐴⊆𝐼 ′ , 𝐼 ′ ideal de 𝔸

b: Sea 𝑎 ∈ 𝔸, al ideal generado por 𝑎, (a), se le llama ideal prin-

cipal.
 APUNTES AM 3

c: Un anillo 𝔸, dominio de integridad, se llama dominio de

ideales principales si todos sus ideales son principales.

Observación 4. Si 𝔸 es un anillo conmutativo, entonces para 𝑎 ∈ 𝔸

se tiene que
(𝑎) = 𝑎𝔸 = {𝑎𝑟 : 𝑟 ∈ 𝔸 }.

Ejemplos 2. Sea 1 ∈ 𝔸, la unidad respecto a la multiplicación.

Entonces (1) = 𝔸.
𝑛ℤ = (𝑛). Ası́ 𝑛ℤ es un ideal principal de ℤ.
Otros ejemplos interesantes los veremos al estudiar polinomios.

Proposición 1. a: ℤ es un dominio de ideales principales.

b: Si 𝔽 es un cuerpo, entonces el anillo de los polinomios con coe-
ficientes en 𝔽, 𝔽[𝑥], es un anillo de ideales principales.

Demostración:
b: Esta prueba es como la de la parte a), a falta de ver todas las se-
mejanzas que hay entre los enteros y los conjuntos de polinomios
en lo que a divisibilidad se refiere. ( La veremos más adelante).
a: Sea 𝐼 ⊂ ℤ un ideal. Para todo 𝑟, 𝑠 ∈ 𝐼, por el Lema de Bezout,
existen 𝑢, 𝑣 ∈ ℤ, de modo que
𝑑 = 𝑚.𝑐.𝑑.(𝑛, 𝑚) = 𝑢𝑟 + 𝑣𝑠 ∈ 𝐼 ⇒ 𝑑ℤ ⊆ 𝐼.
Como 𝐼 es numerable, podemos escribir la parte positiva del
ideal como una sucesión,
𝐼 + = { 𝑎1 , 𝑎2 , ...., 𝑎𝑘 , .....}
y ası́ iniciar el proceso
𝑑2 = 𝑚.𝑐.𝑑.{𝑎1 , 𝑎2 } ≥ 1
𝑑3 = 𝑚.𝑐.𝑑.{𝑎1 , 𝑎2 , 𝑎3 } ≥ 1
..
.
𝑑𝑘 = 𝑚.𝑐.𝑑.{𝑎1 , 𝑎2 , ..., 𝑎𝑘 } ≥ 1
..
.
La sucesión (𝑑𝑘 )𝑘 es decreciente y a partir de un 𝑘 constante. Sea
𝑑 = mı́n{𝑑𝑘 : 𝑘 ≥ 2 }. Claramente 𝑑ℤ ⊆ 𝐼. Realmente tenemos
una igualdad, ya que si 𝑟 ∈ 𝐼, 𝑟 > 0, entonces 𝑑∣𝑟 y ası́ 𝑟 ∈ 𝑑ℤ.
Por tanto
(𝑑) = 𝑑ℤ = 𝐼
4 C. RUIZ

y ası́ 𝐼 es un ideal principal □

Entre los ideales de un anillo hay unos más apreciados que otros,
como los primos entre los enteros.

Definición 3. Un ideal 𝐼 de un anillo 𝔸 se llama maximal si 𝐼 ∕= 𝔸

y si para cualquier otro ideal 𝐼 ′ con 𝐼 ⊈ 𝐼 ′ necesariamente se tiene que
𝐼 ′ = 𝔸.

Ejemplos 3. a: 𝑛ℤ es un ideal maximal de ℤ si y solo si 𝑛 es

primo.
b: Sea 𝑝 ∈ 𝔽[𝑥]. El ideal generado por el polinomio 𝑝, (p), es
maximal si y solo si 𝑝 es irreducible (es decir que no es divisible
por un polinimio de grado menor).

La prueba usa que tanto ℤ como 𝔽[𝑥] son dominios de ideales prin-
cipales. La parte b) la dejaremos para cuando estudiemos polinomios.
Ahora si 𝑛 no es primo, existe un primo 𝑝 que divide a 𝑛, 𝑑∣𝑛. De
aquı́
𝑛ℤ ⊈ 𝑑ℤ ⊈ ℤ.
Por otro lado si 𝑝 es primo, no existe ideal en ℤ, 𝐼 ′ = 𝑛ℤ de modo que
𝑝ℤ ⊈ 𝑛ℤ, ya que ésto último nos dirı́a que 𝑛∣𝑑 □

Referencias

Departamento de Análisis Matemático, Facultad de Matemáticas,

Universidad Complutense, 28040 Madrid, Spain
E-mail address: Cesar Ruiz@mat.ucm.es