Dimension theory (algebra)

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.

Related publications (16)

Related people (1)

Related concepts (6)

Related lectures (10)

Catenary ring

In mathematics, a commutative ring R is catenary if for any pair of prime ideals p, q, any two strictly increasing chains p = p0 ⊂ p1 ⊂ ... ⊂ pn = q of prime ideals are contained in maximal strictly increasing chains from p to q of the same (finite) length. In a geometric situation, in which the dimension of an algebraic variety attached to a prime ideal will decrease as the prime ideal becomes bigger, the length of such a chain n is usually the difference in dimensions.

Global dimension

In ring theory and homological algebra, the global dimension (or global homological dimension; sometimes just called homological dimension) of a ring A denoted gl dim A, is a non-negative integer or infinity which is a homological invariant of the ring. It is defined to be the supremum of the set of projective dimensions of all A-modules. Global dimension is an important technical notion in the dimension theory of Noetherian rings.

Regular sequence

In commutative algebra, a regular sequence is a sequence of elements of a commutative ring which are as independent as possible, in a precise sense. This is the algebraic analogue of the geometric notion of a complete intersection. For a commutative ring R and an R-module M, an element r in R is called a non-zero-divisor on M if r m = 0 implies m = 0 for m in M. An M-regular sequence is a sequence r1, ..., rd in R such that ri is a not a zero-divisor on M/(r1, ..., ri-1)M for i = 1, ..., d.

The multivariate Serre conjecture ring

Luc Guyot

It is well-known that for any integral domain R, the Serre conjecture ring R(X), i.e., the localization of the univariate polynomial ring R[X] at monic polynomials, is a Bezout domain of Krull dimension

San Diego2023

Unlikely intersections on the p-adic formal ball

Vlad Serban

We investigate generalizations along the lines of the Mordell-Lang conjecture of the author's p-adic formal Manin-Mumford results for n-dimensional p-divisible formal groups F. In particular, given a finitely generated subgroup (sic) of F(Q(p)) and a close ...

SPRINGER INT PUBL AG2023

Relative, local and global dimension in complex networks

Alexis Arnaudon

Dimension is a fundamental property of objects and the space in which they are embedded. Yet ideal notions of dimension, as in Euclidean spaces, do not always translate to physical spaces, which can be constrained by boundaries and distorted by inhomogenei ...

NATURE PORTFOLIO2022

Dimension of Algebraic Variety MATH-328: Algebraic geometry I - Curves

Explores the dimension of algebraic varieties, including the (Krull)-dimension of rings and computing dimensions using tools from commutative algebra.

Dimension theory of rings MATH-510: Algebraic geometry II - schemes and sheaves

Covers the dimension theory of rings, including additivity of dimension and height, Krull's Hauptidealsatz, and the height of general complete intersections.

Complex Eigenvalues Appendix MOOC: Algebra (part 1)

Covers the factorization of polynomials with complex coefficients and diagonalizability of matrices.