Para un anillo asociativo con unidad R, el radical de Jacobson J(R) es la intersección de todos los ideales máximos a la izquierda (equivalente a la intersección de los ideales máximos a la derecha), es decir, el conjunto de elementos que aniquilan todo módulo simple a la izquierda; en muchos contextos es el mayor ideal cuasi‑regular y en anillos artinianos es nilpotente.

Principio

Organiza el comportamiento no semisimple mediante ideales máximos y módulos simples: los elementos de J(R) actúan trivialmente sobre todos los módulos simples y miden así la desviación respecto a la semisimplicidad.

Demostración

Ejemplo: Para la álgebra de matrices M_n(D) sobre un anillo divisorio D, J(M_n(D)) = 0, por lo que la álgebra es semisimple. Para el anillo local k[x]/(x^m), el radical de Jacobson es el ideal generado por la clase de x.

Aplicación incorrecta

Confundir el radical de Jacobson con el radical nil (intersección de primos) o suponer que J(R)=0 siempre que R no tenga elementos nilpotentes no nulos; tales afirmaciones pueden fallar para anillos no conmutativos o no reducidos.

Consecuencia

El cociente R/J(R) es una álgebra semisimple; los módulos se factoran por este cociente en componentes semisimples y muchos teoremas estructurales se aplican a R/J(R).

Inversión

Si el radical de Jacobson es cero, R es semiprimitivo; en el extremo opuesto, si R = J(R), entonces R no tiene módulos simples no nulos.

Límite

Se define para anillos asociativos unitarios y categorías de módulos izquierdos/derechos; no coincide en general con los radicales definidos por ideales primos en álgebra conmutativa y requiere precaución en estructuras no unitarias o no asociativas.

Tensión semántica

La tensión proviene de comparar radical de Jacobson y radical nil: ambos detectan defectos de regularidad, pero se basan en clases de ideales distintas (maximales vs primos) y se comportan de forma diferente fuera del ámbito conmutativo.

Síntesis

El radical de Jacobson es el ideal que recoge los elementos invisibles para todos los módulos simples; mide la obstrucción a la semisimplicidad y, en contextos artinianos, es un ideal nilpotente cuyo cociente recupera el núcleo semisimple del anillo.