##  [Radical de Jacobson](/es/node/61582) 

 Definición

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

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

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

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

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

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

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

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

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.