anillo local regular

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. Es equivalente a decir que la dimensión del espacio vectorial m/m², considerado co un espacio vectorial sobre el campo residual k=A/m de A, es igual a la dimensión de 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. * Datos: Q2138875