stringtranslate.com

Anillo reducido

En la teoría de anillos , una rama de las matemáticas , un anillo se denomina anillo reducido si no tiene elementos nilpotentes distintos de cero. De manera equivalente, un anillo se reduce si no tiene elementos distintos de cero con el cuadrado cero, es decir, x 2  = 0 implica x  = 0. Un álgebra conmutativa sobre un anillo conmutativo se denomina álgebra reducida si su anillo subyacente es reducido.

Los elementos nilpotentes de un anillo conmutativo R forman un ideal de R , llamado radical nil de R ; por lo tanto, un anillo conmutativo se reduce si y solo si su radical nil es cero . Además, un anillo conmutativo se reduce si y solo si el único elemento contenido en todos los ideales primos es cero.

Un anillo cociente R / I se reduce si y sólo si I es un ideal radical .

Sea nilradical de un anillo conmutativo . Existe un funtor de la categoría de anillos conmutativos en la categoría de anillos reducidos y es adjunto por la izquierda al funtor de inclusión de en . La biyección natural se induce a partir de la propiedad universal de los anillos cocientes.

Sea D el conjunto de todos los divisores de cero en un anillo reducido R . Entonces D es la unión de todos los ideales primos mínimos . [1]

Sobre un anillo noetheriano R , decimos que un módulo finitamente generado M tiene rango localmente constante si es una función localmente constante (o equivalentemente continua) en Spec R . Entonces R se reduce si y solo si cada módulo finitamente generado de rango localmente constante es proyectivo . [2]

Ejemplos y no ejemplos

Generalizaciones

Los anillos reducidos juegan un papel elemental en la geometría algebraica , donde este concepto se generaliza a la noción de esquema reducido .

Véase también

Notas

  1. ^ Demostración: sean todos los ideales primos mínimos (posiblemente cero).
    Sea x en D . Entonces xy = 0 para algún y distinto de cero . Como R se reduce, (0) es la intersección de todos y, por lo tanto, y no está en algún . Como xy está en todos ; en particular, en , x está en .
    (robado de Kaplansky, anillos conmutativos, Teorema 84). Eliminamos el subíndice i . Sea . S es multiplicativamente cerrado y, por lo tanto, podemos considerar la localización . Sea la preimagen de un ideal maximalista. Entonces está contenido tanto en D como en y por minimalidad . (Esta dirección es inmediata si R es noetheriano por la teoría de primos asociados .)
  2. ^ Eisenbud 1995, Ejercicio 20.13.

Referencias