regular local ring

A local ring $R$ of dimension $n$ is regular if and only if its maximal ideal $\\mathfrak{m}$ is generated by $n$ elements.

Equivalently, $R$ is regular if $\\dim_{R/\\mathfrak{m}}\\mathfrak{m}/\\mathfrak{m}^{2}=\\dim R$ , where the first dimension is that of a vector space, and the latter is the Krull dimension, since by Nakayama’s lemma, elements generate $\\mathfrak{m}$ if and only if their images under the projection generate $\\mathfrak{m}/\\mathfrak{m}^{2}$ .

By Krull’s principal ideal theorem, $\\mathfrak{m}$ cannot be generated by fewer than $n$ elements, so the maximal ideals of regular local rings have a minimal number of generators.

单词	RegularLocalRing
释义	regular local ring A local ring $R$ of dimension $n$ is regular if and only if its maximal ideal $\\mathfrak{m}$ is generated by $n$ elements. Equivalently, $R$ is regular if $\\dim_{R/\\mathfrak{m}}\\mathfrak{m}/\\mathfrak{m}^{2}=\\dim R$ , where the first dimension is that of a vector space, and the latter is the Krull dimension, since by Nakayama’s lemma, elements generate $\\mathfrak{m}$ if and only if their images under the projection generate $\\mathfrak{m}/\\mathfrak{m}^{2}$ . By Krull’s principal ideal theorem, $\\mathfrak{m}$ cannot be generated by fewer than $n$ elements, so the maximal ideals of regular local rings have a minimal number of generators.
随便看	HomotopyOfMaps homotopy of maps HomotopyOfPaths homotopy of paths Homotopy theory HomotopyTypeTheory Homotopy type theory Homotopy Type Theory HomotopyWithAContractibleDomain homotopy with a contractible domain HopfAlgebra Hopf algebra HopfBifurcationTheorem Hopf bifurcation theorem HopfBundle Hopf bundle HopfianGroup Hopfian group HopfianModule Hopfian module HopfTheorem Hopf theorem HopkinsTheorem Hopkins theorem HornClause