クルル次元
Jean-Pierre Serre defined a regular ring as a commutative noetherian ring of "finite" global homological dimension. His definition is stronger than the definition above, which allows regular rings of infinite Krull dimension.