1.Previous
3.Next

is a complete regular local ring that contains a field, then
:,where is the residue field, and , the Krull dimension.

See also: Serre's inequality on height and Serre's multiplicity conjectures.

Origin of basic notions

Regular local rings were originally defined by Wolfgang Krull in 1937, but they first became prominent

1.Previous
3.Next