Anillo local regular

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

En matemáticas y más concretamente en álgebra conmutativa, un anillo local regular es un anillo local noetheriano que tiene la propiedad que el número mínimo de generadores de su ideal maximal (también llamado máximo ideal) es exactamente el mismo que su dimensión de Krull. El mínimo número de generadores del ideal maximal está siempre acotado inferiormente por la dimensión de Krull. Formalmente, si A es un anillo local con ideal maximal m, y supongamos que m está generado por a1,..., an, entonces n ≥ dim A, y A es regular si y solo si n = dim A.

La denominación de regular está justificada por su significado geométrico: un punto de una variedad algebraica es no-singular si y solo si en anillo local asociado es regular.