Capítulo 1

El radical de Jacobson

1.1. Anillos y módulos simples

Un anillo es un grupo abeliano R con una multiplicación asociativa (x, y) �→ xy tal

que (x + y)z = xz + yz y x(y + z) = xy + xz para todo x, y, z ∈ R. Si existe un elemento
1 ∈ R tal que x1 = 1x = x para todo x ∈ R, el anillo se dirá unitario. Un subanillo S
de R es un subgrupo aditivo de R cerrado por multiplicación.

Ejemplo 1.1.1. 2Z = {2m : m ∈ Z} es un ejemplo de anillo sin unidad.

Un ideal a izquierda (resp. a derecha es un subanillo I de R tal que rI ⊆ I (resp.

Ir ⊆ I) para todo r ∈ R. Un ideal (o también ideal bilátero) de R es un subanillo I de
R que es ideal a izquierda y a derecha de R.
Si I y J son ideales de R entonces la suma I + J = {x + y : x ∈ I, y ∈ J} y la
intersección I ∩ J son ideales de R. El producto IJ, que se define como el subgrupo
aditivo generado por {xy : x ∈ I, y ∈ J}, es también un ideal de R.

Ejemplo 1.1.2. Si R es un anillo, el conjunto Ra = {xa : x ∈ R} es un ideal a izquier-

da de R, aR = {ax : x ∈ R} es un ideal a derecha de R y RaR, que se define como el
subgrupo aditivo generado por {xay : x, y ∈ R}, es un ideal de R.

Ejemplo 1.1.3. Si R es unitario, Ra es el ideal a izquierda generado por a, aR es el

ideal a derecha generado por A y RaR es el ideal generado por a. Si R no es unitario,
el ideal a izquierda generado por a es Ra + Za, el ideal a derecha generado por a es
aR + Za y el ideal generado por a es RaR + Ra + aR + Za.

Definición 1.1.4. Un anillo R se dice simple si R2 �= 0 y los únicos ideales de R son

0 y R.

Observación 1.1.5. Si R es unitario, entonces la condición R2 �= 0 siempre se satis-

face (pues por ejemplo 1 ∈ R2 ).

Ejemplo 1.1.6. Todo anillo de división es simple.

3
 4 1 El radical de Jacobson

Sea S un anillo unitario. Recordemos que Mn (S) es el anillo de matrices cua-

dradas con entradas en S. Si A = (ai j ) ∈ Mn (S) y Ei j es la matriz dada por
(Ei j )kl = δik δ jl , entonces
Ei j AEkl = a jk Eil (1.1) eq:trick

para todo i, j, k, l ∈ {1, . . . , n}.

Ejemplo 1.1.7. Si D un anillo de división entonces Mn (D) es simple. En efecto,

sea I un ideal no nulo de Mn (D) y sea A = (ai j ) ∈ I. Sean j, k tales que a jk �= 0.
Entonces, por (1.1), a jk Eil ∈ I para todo i, l ∈ {1, . . . , n}. Luego

λ Eil = (λ a−1
jk )Eii (a jk Eil ) ∈ I

para todo λ ∈ D y para todo i, l ∈ {1, . . . , n}. Luego I = Mn (S).

Sea R un anillo, no necesariamente unitario. Recordemos que un módulo sobre

R (o R-módulo) es un grupo abeliano (M, +) junto con una función R × M → M,
(r, m) �→ rm, tal que (r + s)m = rm + sm, r(m + n) = rm + rs, r(sm) = (rs)m para
todo r, s ∈ R, m, n ∈ M. Si R posee elemento neutro 1 y vale que 1m = m para todo
m ∈ M, el módulo M se dice unitario.

Definición 1.1.8. Sea R un anillo y sea M un R-módulo. Diremos que M es simple

si RM �= 0 y los únicos submódulos de M son 0 y M.

Observación 1.1.9. Si M es unitario, M = RM �= 0.

Observación 1.1.10. Si M es un módulo simple, entonces M �= 0.

lemma:simple Lema 1.1.11. Sea M un R-móduo no nulo. Entonces M es simple si y sólo si M = Rm

para todo 0 �= m ∈ M.

Demostración. Supongamos que M es simple. Sea m �= 0. Como Rm es un submó-

dulo del simple M, Rm = 0 o bien Rm = M. Sea N = {n ∈ M : Rn = 0}. Como N
es un submódulo del simple M y RM �= 0, N = 0. Luego Rm = M pues m �= 0. Su-
pongamos que M = Rm para todo m �= 0. Sea L un submódulo no nulo de M y sea
0 �= x ∈ L. Entonces M = L pues M = Rx ⊆ L.

Ejemplo 1.1.12. Sea D un anillo de división y sea V �= 0 un espacio vectorial (sobre

D). Si R = EndD (V ) entonces V es un R-módulo simple con f v = f (v), f ∈ R. v ∈ V .
Para ver que V es simple como R-módulo basta ver que Rv = V para todo v �= 0.
Sean v, w ∈ V , v �= 0. Al completar v �= 0 a una base de V , vemos que existe f ∈ R
tal que f (v) = w. Luego V es simple.

exa:I_k Ejemplo 1.1.13. Sea n ≥ 2. Si D es un anillo de división y R = Mn (D), entonces

cada Ik = {(ai j ) ∈ R : ai j = 0 para j �= k} es un R-módulo (es más, es un R-módulo
isomorfo a Dn ). Luego Mn (D) es simple como anillo pero no como Mn (D)-módulo.

Definición 1.1.14. Sea R un anillo. Un ideal a izquierda L de R se dice minimal si

L �= 0 y L no contiene propiamente otros ideales a izquierda de R.
 1.2 Anillos primitivos 5

Ejemplo 1.1.15. Sea D un anillo de división y sea R = Mn (D). Entonces L = RE11

es un ideal a izquierda minimal.

Similarmente se definen ideales a derecha minimales e ideales minimales.

Ejemplo 1.1.16. Sea L un ideal a izquierda no nulo. Si RL �= 0, entonces L es mini-
mal si y sólo si L es simple como módulo.

Definición 1.1.17. Un ideal a izquierda L de un anillo R se dice regular si existe

e ∈ R tal que r − re ∈ L para todo r ∈ R.

Similarmente, un ideal a derecha I se dice regular si existe e ∈ R tal que r −er ∈ I

para todo r ∈ R.

Observación 1.1.18. Si R es un anillo unitario, todo ideal a izquierda (resp. a dere-

cha) es regular.

Ejercicio 1.1.19. Un ideal I de un anillo R se dice maximal si I �= M e I no está

contenido propiamente en ningún ideal de R. Demuestre que todo anillo unitario
contiene un ideal maximal.

proposition:R/I Proposición 1.1.20. Sea R un anillo y M un R-módulo. Entonces M es simple si y

sólo si M � R/I para algún ideal a izquierda I maximal y regular.

Demostración. Supongamos que M es simple, entonces M = Rm para algún m �= 0

por el lema 1.1.11. Como φ : R → M, r �→ rm, es un epimorfismo de R-módulos, por
el primer teorema de isomorfismos, M � R/ ker φ .
Veamos que el ideal a izquierda I = ker φ es maximal. Por el teorema de la co-
rrespondencia, como M es simple, I es maximal (pues todo ideal a izquierda J tal
que I ⊆ J da un submódulo de R/I).
Veamos que I es regular. Como M = Rm, existe e ∈ R tal que m = em. Si r ∈ R
entonces r − re ∈ I pues φ (r − re) = φ (r) − φ (re) = rm − r(em) = 0.
Supongamos ahora que L es maximal y regular. Por el teorema de la corres-
pondencia, R/L no tiene submódulos propios no nulos. Veamos entonces que
R(R/L) �= 0. Si R(R/L) = 0 y r ∈ R, entonces, como L es regular, r − re ∈ L y
luego r ∈ L pues
0 = r(e + I) = re + I = r + I,
una contradicción a la maximalidad de L.

1.2. Anillos primitivos

Definición 1.2.1. Sea R un anillo y M un R-módulo. Dado un subconjunto N ⊆ M

se define el anulador de N como conjunto

AnnR (N) = {r ∈ R : rn = 0 ∀n ∈ N}.

 6 1 El radical de Jacobson

Ejemplo 1.2.2. AnnZ (Z/n) = nZ.

lemma:Ann Lema 1.2.3. Sea R un anillo y M un R-módulo. Si N ⊆ M es un subconjunto enton-

ces AnnR (N) es un ideal a izquierda de R. Si N ⊆ M es un submódulo, AnnR (N) es
un ideal de R.

Demostración. Es fácil ver que AnnR (N) es un subgrupo aditivo de R. Luego

AnnR (N) es un ideal a izquierda pues R AnnR (N) ⊆ AnnR (N): si r ∈ R, s ∈ AnnR (N)
y n ∈ N entonces (rs)n = r(sn) = r0 = 0.
Si N es un submódulo, AnnR (N)R ⊆ AnnR (N) pues si s ∈ AnnR (N), r ∈ R y
n ∈ N, rn ∈ AnnR (N), entonces (sr)n = s(rn) = 0.

Definición 1.2.4. Sea R un anillo. Un R-módulo M se dice fiel si AnnR (M) = 0.

Ejemplo 1.2.5. Si K es un cuerpo, entonces K n es un Mn (K)-módulo unitario fiel.

Ejemplo 1.2.6. Si V es un K-espacio vectorial, entonces V es un EndK (V )-módulo

unitario fiel.

Definición 1.2.7. Un anillo R se dice primitivo si existe un R-módulo simple y fiel.

Nuestra definición de anillo primitivo es, en realidad, la de anillo primitivo a

izquierda. Si en lugar de usar módulos a izquierda se usan módulos a derecha, se
tiene la noción de anillo primitivo a derecha.

proposition:simple=>prim Proposición 1.2.8. Si R es un anillo unitario simple, R es primitivo.

Demostración. Existe un ideal a izquierda I maximal. Además I es regular pues

1 ∈ R. Por la proposición 1.1.20, R/I es un R-módulo simple. Como AnnR (R/I)
es un ideal de R y R es simple, AnnR (R/I) ∈ {0, R}. Luego AnnR (R/I) = 0 pues
1 �∈ Ann(R/I).

osition:prim+conm=cuerpo Proposición 1.2.9. Si R es un anillo conmutativo, R es primitivo si y sólo si R es un

cuerpo.

Demostración. Si R es un cuerpo, R es primitivo por ser un anillo unitario simple,

ver proposición 1.2.8. Si R es un anillo conmutativo primitivo, la proposición 1.1.20
implica la existencia de un ideal I, maximal y regular, tal que el R-módulo R/I es
simple y fiel. Como I ⊆ AnnR (R/I) = 0 y el ideal I es regular, existe e ∈ R tal que
r = re = er. Luego R es un anillo conmutativo unitario; es un cuerpo porque I = 0
es un ideal maximal.

Ejemplo 1.2.10. Z no es primitivo pues no es un cuerpo.

Definición 1.2.11. Un ideal P de un anillo R se dice primitivo si P = AnnR (M) para

algún R-módulo M simple.

lemma:primitivo Lema 1.2.12. Sea R un anillo y sea P un ideal de R. Entonces P es primitivo si y

sólo si R/P es un anillo primitivo.
 1.3 El radical de Jacobson 7

Demostración. Supongamos que P = AnnR (M) para algún R-módulo M. Entonces

M es un R/P-módulo simple con la acción (r + P)m = rm, r ∈ R, m ∈ M; la buena
definición se obtiene al observar que P = AnnR (M) y la simplicidad se obtiene
de la simplicidad de M. Además AnnR/P M = 0 pues si (r + P)M = 0 entonces
r ∈ AnnR M = P y luego r + P = P.
Supongamos ahora que R/P es primitivo. Sea M un R/P-módulo fiel y simple.
Entonces M es un R-módulo con la acción rm = (r + P)m, r ∈ R, m ∈ M. Es trivial
verificar que M es simple y que P = AnnR (M).
Ejemplo 1.2.13. Sean R1 , . . . , Rn anillos primitivos y sea R = R1 × · · · × Rn . Enton-
ces cada Pi = R1 × · · · × Ri−1 × 0 × Ri+1 × · · · × Rn es un ideal primitivo de R pues
R/Pi � Ri .
lemma:maxprim Lema 1.2.14. Sea R un anillo. Si P es un ideal primitivo, existe un ideal a izquierda
L maximal tal que P = {x ∈ R : xR ⊆ L}. Recíprocamente, si L es un ideal a izquierda
maximal y regular, entonces {x ∈ R : xR ⊆ L} es un ideal primitivo.
Demostración. Supongamos que P = AnnR (M), donde M es R-módulo simple. Por
la proposición 1.1.20 sabemos que existe un ideal a izquierda L, maximal y regular,
tal que M � R/L. Luego P = AnnR (R/L) = {x ∈ R : xR ⊆ L}.
Recíprocamente, sea L un ideal a izquierda maximal y regular. Por la proposi-
ción 1.1.20, R/L es un R-módulo simple. Por definición,

AnnR (R/L) = {x ∈ R : xR ⊆ L}

es un ideal primitivo.
Proposición 1.2.15. Todo ideal maximal en un anillo unitario es primitivo.
Demostración. Si R es un anillo unitario y M es un ideal maximal de R, entonces
R/M es un anillo unitario simple por la proposición 1.1.20. Luego R/M es primitivo
por la proposición 1.2.8 y entonces M es primitivo por el lema 1.2.12.
Ejercicio 1.2.16. Demuestre que en un anillo conmutativo todo ideal primitivo es
maximal.
Ejercicio 1.2.17. Demuestre que Mn (R) es primitivo si y sólo si R es primitivo.

1.3. El radical de Jacobson

Definición 1.3.1. Sea R un anillo. El radical de Jacobson es el ideal J(R) formado

por la intersección de los anuladores de todos los R-módulos simples; si R no posee
R-módulos simples, J(R) = R.
Observación 1.3.2. De la definición se obtiene que J(R) es un ideal y que
�
J(R) = {P : P ideal a izquierda primitivo}.
 8 1 El radical de Jacobson

Si I es un ideal de un anillo R, se define I n como el subgrupo aditivo generado

por el conjunto {y1 . . . yn : y j ∈ I}.

Definición 1.3.3. Un ideal I de un anillo R se dice nilpotente si I n = 0 para algún

n ∈ N.

Análogamente pueden definirse ideales a izquierda (o a derecha) nil.

Definición 1.3.4. Un elemento x de un anillo R se dice nil (o nilpotente) si existe

n ∈ N tal que xn = 0.

Definición 1.3.5. Un ideal I de un anillo R se dice nil si todo elemento de I es nil.

Observemos que un ideal I es nilpotente si y sólo si existe n ∈ N tal que

x1 x2 · · · xn = 0 para todo x1 , . . . , xn ∈ I. Obviamente, todo ideal nilpotente es nil pues
si I n = 0 entonces, en particular, xn = 0 para todo x ∈ I.

Ejemplo 1.3.6. Sea R = C[x1 , x2 , . . . ]/(x1 , x22 , x33 , . . . ). El ideal I = (x1 , x2 , x3 , . . . ) es

nil en R pues está generado por elementos nilpotentes pero no es nilpotente. Si lo
fuera, existiría k ∈ N tal que I k = 0, y luego xik = 0 para todo i, una contradicción
k
pues xk+1 �= 0.

pro:nilJ Proposición 1.3.7. Sea R un anillo. Entonces J(R) contiene a todo ideal a izquierda
(resp. a derecha) nil.

Demostración. Supongamos que existe un ideal a izquierda (resp. a derecha) nil I

tal que I �⊆ J(R). Entonces existe un R-módulo simple M tal que n = xm �= 0 para
algún x ∈ I y algún m ∈ M. Como M es simple, Rn = M y luego existe r ∈ R tal
que (rx)m = r(xm) = rn = m (resp. (xr)n = x(rn) = xm = n). Esto implica que
(rx)k m = m (resp. (xr)k n = n) para todo k ≥ 1, una contradicción pues rx ∈ I (resp.
xr ∈ I) es un elemento nilpotente.

Definición 1.3.8. Sea R un anillo y sea a ∈ R. El elemento a ∈ R se dice casi-regular

a izquierda si existe r ∈ R tal que r + a + ra = 0; y se dice casi-regular a derecha
si existe r ∈ R tal que a + r + ar = 0.

exercise:circ Ejercicio 1.3.9. Sea R un anillo. Demuestre que R×R → R, (r, s) �→ r ◦s = r +s+rs,
es una operación asociativa con neutro 0.

Ejemplo 1.3.10. Sea R = Z/3 = {0, 1, 2}. Entonces

◦ 0 1 2
0 0 1 2
1 1 0 2
2 2 2 2
 1.3 El radical de Jacobson 9

remark:eq1inR Observación 1.3.11. Si R es unitario y x ∈ R es casi-regular a izquierda (resp. a

derecha) si y sólo si 1 + x es inversible a izquierda (resp. a derecha). En efecto, si
existe r ∈ R tal que r + x + rx = 0 entonces (1 + r)(1 + x) = 1 + r + x + rx = 1.
Recíprocamente, si existe y ∈ R tal que y(1 + x) = 1 entonces

(y − 1) ◦ x = y − 1 + x + (y − 1)x = 0.

Ejemplo 1.3.12. Si x ∈ R es un elemento nilpotente, entonces y = ∑n≥1 xn ∈ R es

casi-regular. En efecto, si existe N tal que xN = 0, la suma que define al elemento y
es finita y cumple que y + (−x) + y(−x) = 0.
Un ideal (a izquierda, a derecha o bilátero) I de un anillo R se dice casi-regular
a izquierda (resp. a derecha) si todo elemento de I es casi-regular a izquierda (resp.
a derecha). Un ideal (a izquierda, a derecha o bilátero) se dice casi-regular si es
casi-regular a izquierda y a derecha.
lemma:casiregular Lema 1.3.13. Sea I un ideal a izquierda de un anillo R. Si I es casi-regular a iz-
quierda, I es casi-regular.
Demostración. Sea x ∈ I. Veamos que x es casi-regular a derecha. Como I es casi-
regular a izquierda, existe r ∈ R tal que r ◦ x = r + x + rx = 0. Como r = −x − rx ∈ I,
existe s ∈ R tal que s ◦ r = s + r + sr = 0. Luego s es casi-regular a derecha y

x = 0 ◦ x = (s ◦ r) ◦ x = s ◦ (r ◦ x) = s ◦ 0 = s.

Sea (A, ≤) un conjunto parcialmente ordenado, es decir A es un conjunto con una

relación R en A × A reflexiva, transitiva y antisimétrica. (Reflexiva: a ≤ a para todo
a ∈ A; transitiva: si a ≤ b y b ≤ c entonces a ≤ c; y antisimétrica: si a ≤ b y b ≤ a
entonces a = b.) Dos elementos a, b ∈ A se dicen comparables si a ≤ b o b ≤ a. Un
elemento a ∈ A se dice maximal si para todo c ∈ A comparable con a, se tiene c ≤ a.
Una cota superior para un B ⊆ A no vacío es un elemento d ∈ A tal que b ≤ d para
todo b ∈ B. Una cadena en A es un subconjunto B tal que todo par de elementos de
B es comparable. El lema de Zorn afirma lo siguiente:
Si A es un conjunto no vacío parcialmente ordenado tal que toda cadena de A posee una
cota superior en A, entonces A posee elemento maximal.

Usaremos el lema de Zorn para demostrar el siguiente lema:

lemma:maxreg Lema 1.3.14. Sea R un anillo y sea x ∈ R un elemento que no es casi-regular a
izquierda. Entonces existe un ideal a izquierda M maximal tal que x �∈ M. Más aún,
R/M es un R-módulo simple y x �∈ AnnR (R/M).
Demostración. Sea T = {r + rx : r ∈ R}. Es fácil verificar que T es un ideal a iz-
quierda de R tal que x �∈ T (pues si x ∈ T entonces r + rx = −x para algún r ∈ R, una
contradicción pues x no es casi-regular a izquierda).
El único ideal a izquierda de R que contiene a T ∪ {x} es R: si existe un ideal a
izquierda U que contiene a T entonces x �∈ U pues, de lo contrario, todo r ∈ R podría
escribirse como r = (r + rx) + r(−x) ∈ U.
 10 1 El radical de Jacobson

Sea S el conjunto de ideales propios de R que contienen a T , parcialmente or-

denado por la inclusión. Si {Ki : i ∈ I} es una cadena en S , entonces K = ∪i∈I Ki
es una cota superior para la cadena (K es un ideal propio pues x �∈ K). Por el lema
de Zorn, S admite un elemento maximal, digamos M. Entonces M es un ideal a iz-
quierda maximal tal que x �∈ M. Además M es regular pues r + r(−x) ∈ T ⊆ M para
todo r ∈ R. Luego R/M es un R-módulo simple por la proposición 1.1.20. Como
x(x + M) �= 0 (pues si x2 ∈ M entonces x ∈ M al observar que x + x2 ∈ T ⊆ M), que
x �∈ AnnR (R/M).
remark:xJ(R) Observación 1.3.15. Si x ∈ R no es casi-regular a izquierda, por el lema 1.3.14 existe
un R-módulo simple M tal que x �∈ AnnR (M). Luego x �∈ J(R).
thm:casireg_eq Teorema 1.3.16. Sean R un anillo y x ∈ R. Son equivalentes:
1. El ideal a izquierda generado por x es casi-regular.
2. Rx es casi-regular.
3. x ∈ J(R).
Demostración. La implicación (1) =⇒ (2) es trivial pues Rx está contenido en
el ideal a izquierda generado por x. Demostremos que (2) =⇒ (3). Si x �∈ J(R)
entonces por el lema 1.3.14 existe un R-módulo simple M tal que xm �= 0 para algún
m ∈ M. Por la simplicidad, R(xm) = M y luego existe r ∈ R tal que rxm = −m.
Existe s ∈ R tal que s + rx + s(rx) = 0 y entonces

−m = rxm = (−s − srx)m = −sm + sm = 0,

una contradicción. Por último, para demostrar que (3) =⇒ (1) basta observar que
x es casi-regular a izquierda por la observación 1.3.15 y luego el ideal a izquierda
generaod por x es casi-regular por el lema 1.3.13.
Corolario 1.3.17. Si R es un anillo, J(R) es un ideal casi-regular que contiene a
todo ideal casi-regular a izquierda.
Demostración. Es consecuencia inmediata del teorema 1.3.16.
thm:J(R) Teorema 1.3.18. Sea R un anillo tal que J(R) �= R. Entonces
�
J(R) = {I : I ideal a izquierda maximal y regular}.
�
Demostración. Sea K = {I : I ideal a izquierda maximal y regular}. Por la propo-
sición 1.1.20 podemos escribir
�
J(R) = {AnnR (R/I) : I ideal a izquierda maximal y regular}.

Sea I un ideal a izquierda maximal y regular. Si r ∈ J(R) ⊆ AnnR (R/I) entonces,

como I es regular, existe e ∈ R tal que r − re ∈ I. Como

re + I = r(e + I) = 0,

re ∈ I y por lo tanto r ∈ I. Luego J(R) ⊆ K. La otra implicación es trivial.

 1.3 El radical de Jacobson 11

Ejemplo 1.3.19. Todo ideal maximal de Z es de la forma pZ = {pm : m ∈ Z}, donde

p es algún número primo. Entonces J(Z) = ∩ p pZ = {0}.

Veamos algunos resultados que nos permitirán calcular radicales.

Proposición 1.3.20. Sea {Ri : i ∈ I} una familia de anillos. Entonces

� �
J ∏ Ri = ∏ J(Ri ).
i∈I i∈I

Demostración. Sea R = ∏i∈I Ri y sea x = (xi )i∈I ∈ R. El ideal a izquierda Rx es

casi-regular si y sólo si cada ideal a izquierda Ri xi es casi-regular en Ri (pues x casi-
regular en R si y sólo si cada xi es casi-regular en Ri . Luego x ∈ J(R) si y sólo si
xi ∈ J(Ri ) para todo i ∈ I.

lemma:trickJ1 Lema 1.3.21. Sea R un anillo y sea x ∈ R. Si −x2 es un elemento casi-regular a

izquierda, x también.

Demostración. Sea r ∈ R tal que r + (−x2 ) + r(−x2 ) = 0 y sea s = r − x − rx. En-

tonces x es casi-regular a izquierda pues

s + x + sx = (r − x − rx) + x + (r − x − rx)x
= r − x − rx + x + rx − x2 − rx2 = r − x2 − rx2 = 0.

proposition:J(I) Proposición 1.3.22. Si I es un ideal de un anillo R, entonces J(I) = I ∩ J(R).

Demostración. Como I ∩ J(R) es un ideal de I, si x ∈ I ∩ J(R) entonces x es casi-

regular a izquierda en R. Sea r ∈ R tal que r + x + rx = 0. Como r = −x − rx ∈ I, el
elemento x es casi-regular a izquierda en I. Luego I ∩ J(R) ⊆ J(I).
Sea ahora x ∈ J(I) y sea r ∈ R. Como −(rx)2 = (−rxr)x ∈ I(J(I)) ⊆ J(I), el
elemento −(rx)2 es casi regular a izquierda en I. Luego rx es casi regular a izquierda
gracias al lema 1.3.21.

Definición 1.3.23. Un anillo R se dice radical si J(R) = R.

Ejemplo 1.3.24. Si R es un anillo, la proposición 1.3.22 implica que J(R) es un

anillo radical.

theorem:anillo_radical Teorema 1.3.25. Sea R un anillo. Son equivalentes:

1. R es radical.
2. R no admite R-módulos simples.
3. R no tiene ideales a izquierda maximales y regulares.
4. R no tiene ideales a izquierda primitivos.
5. Todo elemento de R es casi-regular.
6. (R, ◦) es un grupo.
12 1 El radical de Jacobson

Demostración. La equivalencia (1) ⇐⇒ (5) es consecuencia del teorema 1.3.16. La

equivalencia (5) ⇐⇒ (6) es trivial por el ejercicio 1.3.9.
Probemos que (1) =⇒ (2). Supongamos que existe un R-módulo simple N.
Como R = J(R) ⊆ AnnR (N), R = AnnS (N) y luego RN = 0, una contradicción pues
N es simple.
Para demostrar que (2) =⇒ (3) basta observar que para todo ideal a izquierda I
maximal y regular, R/I es un R-módulo simple por la proposición 1.1.20.
Para ver que (3) =⇒ (4) supongamos que existe un ideal a izquierda primitivo,
digamos I = AnnR (M), donde M es algún R-módulo simple. Entonces I = R pues
R = J(R) ⊆ I, una contradicción a la simplicidad de M pues entonces RM = 0.
La implicación (4) =⇒ (2) es fácil: si M es un R-módulo simple, entonces
AnnR (M) es un ideal a izquierda primitivo.
� �
2x
Ejemplo 1.3.26. Sea A = 2y+1 : x, y ∈ Z . Entonces A es un anillo radical pues
2x
pues el inverso de un elemento 2y+1 con respecto a la operación ◦ es
� ��
2x −2x
= .
2y + 1 2(x + y) + 1

Ejemplo 1.3.27. El radical de Z/8 es {0, 2, 4, 6}.

Veamos una aplicación de los anillos radicales. Diremos que un par (X, r) es
una solución combinatoria de la ecuación de Yang–Baxter si X es un conjunto y
r : X × X → X × X es una función biyectiva tal que

(r × id)(id ×r)(r × id) = (id ×r)(r × id)(id ×r)

Diremos que una solución (X, r) es involutiva si r2 = id. Siempre podemos escribir

r(x, y) = (σx (y), τy (x)).

Diremos que la solución (X, r) es no degenerada si las σx : X → X y las τx : X → X

son funciones biyectivas.

Ejemplo 1.3.28. Sea X un conjunto y sean σ , τ : X → X funciones biyectivas tales

que σ τ = τσ . Entonces r(x, y) = (σ (y), τ(x)) es una solución combinatoria de la
ecuación de Yang–Baxter. La solución (X, r) es involutiva si y sólo si σ τ = id.

Ejercicio 1.3.29. Sea A un anillo radical. Para a, b ∈ A se define

λa (b) = −a + a ◦ b = ab + b,
µb (a) = λa (b)� ◦ a ◦ b = (ab + b)� a + a.

Demuestre las siguientes afirmaciones:

1. La función λ : (A, ◦) → Aut(A, +), a �→ λa , está bien definida y es un morfismo
de grupos.
 1.3 El radical de Jacobson 13

2. La función µ : (A, ◦) → Aut(A, +), b �→ µb , está bien definida y es un antimor-

fismo de grupos.
Ejercicio 1.3.30 (Rump). Sea A un anillo radical. Demuestre que la función

rA : A × A → A × A, rA (a, b) = (λa (b), µb (a)),

es una solución involutiva no degenerada de la ecuación de Yang–Baxter.

thm:Jnilpotente Teorema 1.3.31. Si R es un anillo artiniano a izquierda, J(R) es nilpotente.
Demostración. Sea J = J(R). Como R es artiniano a izquierda, la sucesión (J m )m∈N
de ideales a izquierda se estabiliza. Existe entonces k ∈ N tal que J k = J l para todo
l ≥ k. Veamos que J k = 0. Si J k �= 0 sea S el conjunto de todos los ideales a
izquierda I tales que J k I �= 0. Como J k J k = J 2k = J k �= 0, S es no vacío. Como R es
artiniano a izquierda, S posee un elemento minimal, digamos I0 . Como J k I0 �= 0,
sea x ∈ I0 \ {0} tal que J k x �= 0. Además J k x es un ideal a izquierda de R contenido
en I0 tal que J k x ∈ S (pues J k (J k x) = J 2k x = J k x �= 0). Por la minimalidad de I0 ,
J k x = I0 . En particular, existe r ∈ J k ⊆ J(R) tal que rx = x. Como −r ∈ J(R) es
casi-regular a izquierda, existe s ∈ R tal que s − r − sr = 0. Luego

x = rx = (s − sr)x = sx − s(rx) = sx − sx = 0,

una contradicción.
Corolario 1.3.32. Sea R un anillo artiniano a izquierda. Todo ideal a izquierda
(resp. derecha) nil es nilpotente y J(R) es el único ideal maximal nilpotente de R.
Demostración. Sea L un ideal a izquierda nil. Por la proposición 1.3.7, L está con-
tenido en J(R). Luego L es nilpotente pues J(R) es nilpotente por el teorema 1.3.31.
Teorema 1.3.33. Sea R un anillo y sea n ∈ N. Entonces J(Mn (R)) = Mn (J(R)).
Demostración. Demostremos primero que J(Mn (R)) ⊆ Mn (J(R)). Si J(R) = R, no
hay nada para demostrar. Supongamos entonces que J(R) �= R y sea J = J(R). Si
M es un R-módulo simple, M n es un Mn (R)-módulo simple con la multiplicación
usual. Sean x = (xi j ) ∈ J(Mn (R)) y m1 , . . . , mn ∈ M. Entonces
 
m1
 .. 
x  .  = 0.
mn

En particular, xi j ∈ AnnR (M) para todo i, j ∈ {1, . . . , n} y luego x ∈ Mn (J).

Veamos ahora que Mn (J) ⊆ J(Mn (R)). Sean
   
J 0 ··· 0 x1 0 · · · 0
J 0 · · · 0 x2 0 · · · 0
   
J1 =  . . . .  y x =  . . . .  ∈ J1 .
 .. .. . . ..   .. .. . . .. 
J 0 ··· 0 xn 0 · · · 0
 14 1 El radical de Jacobson

Como x1 es casi-regular, existe y1 ∈ R tal que x1 + y1 + x1 y1 = 0. Si

 
y1 0 · · · 0
 0 0 · · · 0
 
y =  . . . .,
 .. .. . . .. 
0 0 ··· 0

entonces u = x + y + xy es triangular inferior pues

 
0 0 ··· 0
x2 y1 0 · · · 0
 
 
u = x3 y1 0 · · · 0 .
 .. .. . . .. 
 . . . .
xn y1 0 · · · 0

Como un = 0, el elemento

v = −u + u2 − u3 + · · · + (−1)n−1 un−1

cumple que u + v + uv = 0. Luego x es casi-regular a derecha pues

x + (y + v + yv) + x(y + v + yv) = 0,

y entonces J1 es casi-regular a derecha. Similarmente se demuestra que todo Ji es

casi-regular a derecha y luego Ji ⊆ J(Mn (R)) para todo i ∈ {1, . . . , n}. Se concluye
entonces que J1 + · · · + Jn ⊆ J(Mn (R)) y luego Mn (J) ⊆ J(Mn (R))

1.4. El radical en anillos unitarios

Si el anillo es unitario, se tiene además el siguiente resultado:

thm:J(R)=capM Teorema 1.4.1. Sea R un anillo unitario. Entonces

�
J(R) = {M : M ideal a izquierda maximal}.
�
Demostración. Sea T = {M : M ideal a izquierda maximal}. Como R es unitario,
todo ideal a izquierda es regular. Luego T ⊆ J(R). La otra inclusión es trivial, ver
teorema 1.3.18.

cor:Jcon1 Corolario 1.4.2. Sea R un anillo unitario no nulo. Son equivalentes:

1. x ∈ J(R).
2. xM = 0 para todo R-módulo simple M.
3. x ∈ P para todo ideal a izquierda primitivo P.
4. 1 + rx es inversible para todo r ∈ R.
 1.5 El radical en álgebras 15

5. 1 + ∑ni=1 ri xsi es inversible para todo n ∈ N y todo ri , si ∈ R.

6. x pertenece a todo ideal a izquierda maximal.

Demostración. Las equivalencias entre (1), (2) y (3) son triviales. Las equiva-
lencias (1) ⇐⇒ (4) ⇐⇒ (5) se obtienen del teorema 1.3.16 al usar la observa-
ción 1.3.11. La equivalencia (1) ⇐⇒ (6) se obtiene del teorema 1.4.1

Recordemos que un anillo conmutativo y unitario R se dice local si admite un

único ideal maximal.

Ejemplo 1.4.3. Sea D un anillo de división y sea R = D[X1 , . . . , Xn ]. Veamos que

J(R) = 0. Como las unidades de R son los elementos no nulos de D, J(R) es un
ideal de D. Como D es simple, J(R) ∈ {0, D}. Si J(R) = D, entonces existe f ∈ R
tal que −1 + f + (−1) f = 0 y luego −1 = 0, una contradicción. Luego J(R) = 0.

Ejemplo 1.4.4. Si R es un anillo local y M es su ideal maximal entonces J(R) = M.

Veamos algunos casos particulares:
1. Sea K un cuerpo y R = K [[X]]. Entonces J(R) = (X).
2. Sea p un primo y R = Z/pn . Entonces J(R) = (p).

1.5. El radical en álgebras

\’Algebra!asociativa
\’Algebra
\’Algebra!unitaria Definición 1.5.1. Un espacio vectorial A sobre un cuerpo K es un algebra sobre K
(o una K-álgebra) si posee una multiplicación asociativa A × A → A, (a, b) �→ ab, tal
que (λ a+ µb)c = λ (ac)+ µ(bc) y (λ a+ µb)c = λ (ac)+ µ(bc) para todo a, b, c ∈ A
y λ , µ ∈ K. El álgebra A se dice unitaria si existe un elemento 1A ∈ A tal que
1A a = a1A = a para todo a ∈ A.

Ejemplo 1.5.2. Todo cuerpo K es una K-álgebra unitaria.

Ejemplo 1.5.3. Si K es un cuerpo, K[X] es una K-álgebra unitaria.

Ejemplo 1.5.4. Si A es un álgebra, entonces Mn (A) es un álgebra.

La dimensión de un álgebra A es la dimensión de A como K-espacio vectorial.

Definición 1.5.5. Un ideal de un álgebra es un ideal del anillo que además es un

subespacio.

En general los ideales de un álgebra no conciden con los ideales del anillo sub-
yacente:

Ejemplo 1.5.6. Sea A = {λ x : λ ∈ Q} un Q-espacio vectorial de dimensión uno.

Con el producto ab = 0 para todo a, b ∈ A, el grupo abeliano A se transforma en un
álgebra. El subgrupo aditivo {mx : m ∈ Z} de A es un ideal del anillo pero no un
ideal del álgebra.
 16 1 El radical de Jacobson

Análogamente se definen ideales a izquierda y a derecha de un álgebra.

remark:Aunitaria Observación 1.5.7. Si A es un álgebra unitaria, entonces todo ideal a izquierda del
anillo A es un ideal a izquierda del álgebra A. Si L es un ideal de A y λ ∈ K y x ∈ L,
entonces
λ x = λ (1A x) = (λ 1A )x
y luego, como λ 1A ∈ A, se concluye que λ L = (λ 1A )L ⊆ L. Análogamente se de-
muestra que todo ideal a derecha del anillo unitario A es también un ideal de A como
álgebra.
Ejercicio 1.5.8. Demuestre que si A es un álgebra unitaria, entonces todo ideal a
derecha del anillo A es un ideal a derecha del álgebra A.
La observación 1.5.7 implica que el radical de Jacobson de un álgebra unitaria
coincide con el radical de Jacobson del anillo subyacente. Este resultado también
vale en el caso de álgebras no unitarias.
exa:Zorn:regular Ejercicio 1.5.9. Sea R un anillo y sea I un ideal a izquierda regular. Utilice el lema
de Zorn y demuestre que I está contenido en un ideal maximal y regular.
Teorema 1.5.10. Sea A una K-álgebra y sea I un subconjunto de A. Entonces I es
ideal a izquierda maximal y regular del álgebra A si y sólo si I es ideal a izquierda
maximal y regular del anillo A.
Demostración. Sea I un ideal a izquierda maximal y regular del anillo A. Queremos
demostrar que λ I ⊆ I para todo λ ∈ K. Si suponemos que λ I �⊆ I para algún λ ,
entonces I + λ I es un ideal a izquierda del anillo A que contiene a I pues

a(I + λ I) = aI + a(λ I) ⊆ I + λ (aI) ⊆ I + λ I.

Como I es maximal, I +λ I = A. Por la regularidad de I, existe e ∈ R tal que a−ae ∈ I

para todo a ∈ A. Si escribimos e = x + λ y para x, y ∈ I, entonces

e2 = e(x + λ y) = ex + e(λ y) = ex + (λ e)y ∈ I.

Como e2 − e ∈ I y e2 ∈ I, se concluye que e ∈ I. Luego A = I pues a − ae ∈ I para

todo a ∈ A, una contradicción.
Recíprocamente, si I es un ideal a izquierda maximal y regular del álgebra A,
entonces I es ideal a izquierda regular del anillo A. Falta ver entonces que I es
maximal. Por el ejercicio 1.5.9 sabemos que existe un ideal a izquierda maximal
L del anillo A que contiene a I. Como L es regular, la implicación demostrada nos
dice que L es un ideal a izquierda maximal y regular del anillo A. Luego L = I por
la maximalidad de I.
Corolario 1.5.11. Sea A un álgebra. El radical de Jacobson del anillo A coincide
con el radical de Jacobson del álgebra A.
Demostración. Es consecuencia del teorema anterior y de que el radical de Jacob-
son es la intersección de los ideales a izquierda maximales y regulares.
 1.5 El radical en álgebras 17

Definición 1.5.12. Sea A un álgebra unitaria. Un elemento a ∈ A se dice algebraico

sobre A si existe un polinomio no nulo f ∈ K[X] tal que f (a) = 0. Si todo elemento
de A es algebraico, A se dice algebraica
lem:algebraica Lema 1.5.13. Toda álgebra unitaria de dimensión finita es algebraica.
Demostración. Supongamos que dim A = n y sea a ∈ A. Como {1, a, a2 , . . . , an } es
linealmente dependendiente, existe un polinomio no nulo f ∈ k[X] tal que f (a) = 0.
lemma:algebraico=nil Lema 1.5.14. Sea A un álgebra unitaria y sea x ∈ J(A). Entonces x es algebraico si
y sólo si x es nil.
Demostración. Demostremos la implicación no trivial. Como x es algebraico, exis-
ten a0 , . . . , an ∈ K no todos cero tales que

a0 + a1 x + · · · + an xn = 0.

Sea r el menor entero tal que ar �= 0. Podemos escribir entonces

xr (1 + b1 x + · · · + bm xm ) = 0,

donde b1 , . . . , bm ∈ K. Como 1 + b1 x + · · · + bm xm es una unidad por el corola-

rio 1.4.2, entonces xr = 0.
Como aplicación tenemos el siguiente resultado:
thm:algebraica=>Jnil Teorema 1.5.15. Si A es un álgebra algebraica, J(A) es el mayor ideal nil de A.
Demostración. Por el lema 1.5.14, J(A) es un ideal nil. Por la propoisición 1.3.7,
J(A) es el mayor ideal nil de A.

thm:Amitsur Teorema 1.5.16 (Amitsur). Si A es una K-álgebra unitaria tal que dimK A < |K|
(como cardinales), entonces J(A) es el mayor ideal nil de A.
Demostración. Si K es un cuerpo finito, entonces A es un álgebra de dimensión
finita. Como entonces A es algebraica, J(A) es un ideal nil por el teorema 1.5.15.
Supongamos entonces que K es infinito. Sea a ∈ J(A). El corolario 1.4.2 implica
que todo elemento de la forma 1 − λ −1 a, λ ∈ K \ {0}, es inversible. Entonces

a − λ = −λ (1 − λ −1 a)

es inversible para todo λ ∈ K \ {0}. Sea S = {(a − λ )−1 : λ ∈ K \ {0}}. Como

(a − λ )−1 = (a − µ)−1 ⇐⇒ λ = µ,

entonces |S| = |K \ {0}| = |K| > dimK A. Como entonces S es linealmente depen-
diente, existen escalares no nulos β1 , . . . , βn ∈ K y elementos distintos λ1 , . . . , λn ∈ K
tales que
n
∑ βi (a − λi )−1 = 0. (1.2) eq:Amitsur
i=1
18 1 El radical de Jacobson

Si multiplicamos (1.2) por ∏ni=1 (a − λi ), obtenemos

n
∑ βi ∏(a − λ j ) = 0.
i=1 j�=i

Afirmamos que a es algebraico sobre K. En efecto,

n
f = ∑ βi ∏(X − λ j )
i=1 j�=i

es no nulo pues f (λ1 ) = β1 (λ1 − λ2 ) · · · (λ1 − λn ) �= 0 y cumple que f (a) = 0. Como

a ∈ J(A) es algebraico, a es nil por el lema 1.5.14.

Corolario 1.5.17. Sea K un cuerpo no numerable y A una K-álgebra con base nu-
merable. Entonces J(A) es el mayor ideal nil de A.

Demostración. Es consecuencia del teorema de Amitsur pues dimK A < |K|.