Para un anillo R (habitualmente con 1), el radical de Jacobson J(R) es la intersección de todos los ideales maximales izquierdos de R. Equivalente es el conjunto de elementos que aniquilan todos los R-módulos simples por la izquierda, o el mayor ideal cuasi‑regular según definiciones apropiadas.

Principio

J(R) mide cuánto se aparta R de ser semisimple: los elementos de J(R) actúan 'invisiblemente' sobre los módulos simples, y R/J(R) es semisimple (su radical de Jacobson es cero). En muchos casos J(R) reúne elementos que impiden el escindido de módulos y de representaciones irreducibles.

Demostración

Para el anillo de matrices triangulares superiores n×n sobre un cuerpo, J(R) coincide con las matrices estrictamente triangulares superiores: están contenidas en todos los ideales maximales izquierdos y actúan nilpotentemente sobre los módulos simples dados por los bloques diagonales.

Aplicación incorrecta

Suponer que el radical de Jacobson coincide con el conjunto de elementos nilpotentes (el nilradical) en anillos no conmutativos, o tratar los radicales de Jacobson izquierdo y derecho como siempre iguales sin comprobar lateralidad o la presencia de unidad.

Consecuencia

Tomar el cociente por J(R) produce un anillo con propiedades estructurales mejores (cociente semisimple); muchas preguntas sobre módulos se reducen al estudio de R/J(R); varios teoremas de descomposición se simplifican tras factorizar por J(R).

Inversión

Si J(R)=0 el anillo no tiene aniquiladores ocultos en módulos simples y se dice semiprimitivo; para anillos semisimples el radical de Jacobson es nulo y los módulos simples separan los elementos del anillo.

Límite

La definición depende de las nociones izquierda/derecha en contextos no conmutativos y suele asumir la existencia de unidad. Para anillos sin 1 o en categorías de módulos con estructura adicional hay variantes (por ejemplo radicales de Jacobson superiores/inferiores, radical topológico).

Tensión semántica

Radical de Jacobson vs nilradical: en anillos conmutativos pueden diferir; el radical de Jacobson se relaciona con ideales maximales y módulos simples, mientras que el nilradical se relaciona con ideales primos y elementos nilpotentes. En álgebra no conmutativa coexisten múltiples nociones de 'radical' (Levitzki, primo, Baer, ...).

Síntesis

El radical de Jacobson es el ideal de elementos no detectados por módulos simples — la intersección de los ideales máximos izquierdos — y actúa como la obstrucción canónica a la semisimplez y a la separación por representaciones simples.