Concept

Dimension theory (algebra)

Summary
In mathematics, dimension theory is the study in terms of commutative algebra of the notion dimension of an algebraic variety (and by extension that of a scheme). The need of a theory for such an apparently simple notion results from the existence of many definitions of dimension that are equivalent only in the most regular cases (see Dimension of an algebraic variety). A large part of dimension theory consists in studying the conditions under which several dimensions are equal, and many important classes of commutative rings may be defined as the rings such that two dimensions are equal; for example, a regular ring is a commutative ring such that the homological dimension is equal to the Krull dimension. The theory is simpler for commutative rings that are finitely generated algebras over a field, which are also quotient rings of polynomial rings in a finite number of indeterminates over a field. In this case, which is the algebraic counterpart of the case of affine algebraic sets, most of the definitions of the dimension are equivalent. For general commutative rings, the lack of geometric interpretation is an obstacle to the development of the theory; in particular, very little is known for non-noetherian rings. (Kaplansky's Commutative rings gives a good account of the non-noetherian case.) Throughout the article, denotes Krull dimension of a ring and the height of a prime ideal (i.e., the Krull dimension of the localization at that prime ideal.) Rings are assumed to be commutative except in the last section on dimensions of non-commutative rings. Let R be a noetherian ring or valuation ring. Then If R is noetherian, this follows from the fundamental theorem below (in particular, Krull's principal ideal theorem), but it is also a consequence of a more precise result. For any prime ideal in R, for any prime ideal in that contracts to . This can be shown within basic ring theory (cf. Kaplansky, commutative rings). In addition, in each fiber of , one cannot have a chain of primes ideals of length . Since an artinian ring (e.
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.