Dimension Inequality
Serre proved this for all regular local rings. He established the following three properties when R is either of equal characteristic or of mixed characteristic and unramified (which in this case means that characteristic of the residue field is not an element of the square of the maximal ideal of the local ring), and conjectured that they hold in general.
Read more about this topic: Serre's Multiplicity Conjectures
Famous quotes containing the words dimension and/or inequality:
“God cannot be seen: he is too bright for sight; nor grasped: he is too pure for touch; nor measured: for he is beyond all sense, infinite, measureless, his dimension known to himself alone.”
—Marcus Minucius Felix (2nd or 3rd cen. A.D.)
“A man willing to work, and unable to find work, is perhaps the saddest sight that fortune’s inequality exhibits under this sun.”
—Thomas Carlyle (1795–1881)