Assertion: local ring | /r/HasProperty | regular
Facets:
Source sentences:
text: A Noetherian local ring is regular if and only if the ring (which is the ring of functions on the tangent cone)
text: A local Noetherian ring is regular if and only if its global dimension is finite, say n, which means that any finitely generated R-module has a resolution by projective modules of length at most n.