Regular ring

rdf:langString Reguliere lokale ring

rdf:langString In de commutatieve algebra, een deelgebied van de abstracte algebra, is een reguliere lokale ring een commutatieve Noetherse ring waarvan het maximale ideaal voortgebracht kan worden door een aantal elementen gelijk aan de dimensie van de ring. Een willekeurige ring heet regulier, als alle ervan reguliere lokale ringen zijn. Jean-Pierre Serre definieert een reguliere ring als een commutatieve Noetherse ring van eindige en laat zien dat dit is gelijkwaardig is aan de bovenstaande definitie. Voor reguliere ringen, komt de krull-dimensie overeen met de globale homologische dimensie. Voorbeelden van reguliere ringen zijn onder andere lichamen/velden (van dimensie nul) en Dedekind-domeinen. Als regelmatig is, dan is , met een dimensie die één groter is dan die van , dit ook.