En la teoría de anillos , una rama de las matemáticas , un radical de un anillo es un ideal de los elementos "no buenos" del anillo .
El primer ejemplo de radical fue el nilradical introducido por Köthe (1930), basado en una sugerencia de Wedderburn (1908). En los años siguientes se descubrieron varios radicales más, de los cuales el ejemplo más importante es el radical de Jacobson . La teoría general de radicales fue definida independientemente por (Amitsur 1952, 1954, 1954b) y Kurosh (1953).
En la teoría de radicales, se suele suponer que los anillos son asociativos , pero no necesariamente conmutativos ni tienen por qué tener una identidad multiplicativa . En particular, todo ideal de un anillo es también un anillo.
Una clase radical (también llamada propiedad radical o simplemente radical ) es una clase σ de anillos posiblemente sin identidades multiplicativas, tales que:
El estudio de tales radicales se llama teoría de torsión .
Para cualquier clase δ de anillos, existe una clase de radicales más pequeña L δ que la contiene, llamada radical inferior de δ. El operador L se llama operador radical inferior .
Una clase de anillos se denomina regular si cada ideal distinto de cero de un anillo en la clase tiene una imagen distinta de cero en la clase. Para cada clase regular δ de anillos, existe una clase radical más grande U δ, llamada radical superior de δ, que tiene intersección cero con δ. El operador U se denomina operador radical superior .
Una clase de anillos se denomina hereditaria si cada ideal de un anillo de la clase también pertenece a la clase.
Sea R un anillo cualquiera, no necesariamente conmutativo. El radical de Jacobson de R es la intersección de los aniquiladores de todos los R -módulos rectos simples .
Existen varias caracterizaciones equivalentes del radical de Jacobson, tales como:
Al igual que con el nilradical , podemos extender esta definición a ideales arbitrarios de dos caras I definiendo J( I ) como la preimagen de J( R/I ) bajo el mapa de proyección R → R/I .
Si R es conmutativo, el radical de Jacobson siempre contiene al radical nil. Si el anillo R es un álgebra Z finitamente generada , entonces el radical nil es igual al radical de Jacobson y, de manera más general: el radical de cualquier ideal I siempre será igual a la intersección de todos los ideales maximales de R que contienen a I. Esto dice que R es un anillo de Jacobson .
El radical de Baer de un anillo es la intersección de los ideales primos del anillo R . Equivalentemente, es el ideal semiprimo más pequeño en R . El radical de Baer es el radical inferior de la clase de anillos nilpotentes. También llamado "radical nil inferior" (y denotado Nil ∗ R ), "radical primo" y "radical de Baer-McCoy". Cada elemento del radical de Baer es nilpotente , por lo que es un ideal nil .
Para los anillos conmutativos, este es simplemente el radical nil y sigue de cerca la definición del radical de un ideal .
La suma de los ideales nulos de un anillo R es el radical nil superior Nil * R o radical de Köthe y es el único ideal nulo más grande de R. La conjetura de Köthe pregunta si algún ideal nulo izquierdo está en el radical nil .
Un elemento de un anillo (posiblemente no conmutativo ) se llama singular izquierdo si aniquila un ideal izquierdo esencial , es decir, r es singular izquierdo si Ir = 0 para algún ideal izquierdo esencial I . El conjunto de elementos singulares izquierdos de un anillo R es un ideal bilateral, llamado ideal singular izquierdo , y se denota . El ideal N de R tal que se denota por y se llama radical singular o torsión de Goldie de R . El radical singular contiene al radical primo (el radical nil en el caso de anillos conmutativos) pero puede contenerlo propiamente, incluso en el caso conmutativo. Sin embargo, el radical singular de un anillo noetheriano es siempre nilpotente.
El radical de Levitzki se define como el ideal localmente nilpotente más grande , análogo al radical de Hirsch-Plotkin en la teoría de grupos . Si el anillo es noetheriano , entonces el radical de Levitzki es en sí mismo un ideal nilpotente, y por lo tanto es el único ideal nilpotente más grande de izquierda, derecha o bilateral. [ cita requerida ]
El radical de Brown-McCoy (llamado radical fuerte en la teoría de las álgebras de Banach ) se puede definir de cualquiera de las siguientes maneras:
El radical Brown-McCoy se estudia con mucha mayor generalidad que los anillos asociativos con 1.
Un anillo regular de von Neumann es un anillo A (posiblemente no conmutativo sin identidad multiplicativa) tal que para cada a existe algún b con a = aba . Los anillos regulares de von Neumann forman una clase radical. Contiene todos los anillos de matrices sobre un álgebra de división , pero no contiene ningún anillo nulo.
El radical artiniano se define generalmente para anillos noetherianos bilaterales como la suma de todos los ideales derechos que son módulos artinianos . La definición es simétrica de izquierda a derecha y, de hecho, produce un ideal bilateral del anillo. Este radical es importante en el estudio de los anillos noetherianos, como lo describen Chatters y Hajarnavis (1980).
Usos relacionados de radicales que no son radicales de anillos:
