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. By a theorem of Jean-Pierre Serre, global dimension can be used to characterize within the class of commutative Noetherian local rings those rings which are regular. Their global dimension coincides with the Krull dimension, whose definition is module-theoretic.
When the ring A is noncommutative, one initially has to consider two versions of this notion, right global dimension that arises from consideration of the right A-modules, and left global dimension that arises from consideration of the left A-modules. For an arbitrary ring A the right and left global dimensions may differ. However, if A is a Noetherian ring, both of these dimensions turn out to be equal to weak global dimension, whose definition is left-right symmetric. Therefore, for noncommutative Noetherian rings, these two versions coincide and one is justified in talking about the global dimension.
Let A = K[x1,...,xn] be the ring of polynomials in n variables over a field K. Then the global dimension of A is equal to n. This statement goes back to David Hilbert's foundational work on homological properties of polynomial rings, see Hilbert's syzygy theorem. More generally, if R is a Noetherian ring of finite global dimension k and A = R[x] is a ring of polynomials in one variable over R then the global dimension of A is equal to k + 1.
A ring has global dimension zero if and only if it is semisimple. The global dimension of a ring A is less than or equal to one if and only if A is hereditary. In particular, a commutative principal ideal domain which is not a field has global dimension one.
The right global dimension of a ring A can be alternatively defined as:
- the supremum of the set of projective dimensions of all cyclic right A-modules;
- the supremum of the set of projective dimensions of all finite right A-modules;
- the supremum of the injective dimensions of all right A-modules;
- when A is a commutative Noetherian local ring with maximal ideal m, the projective dimension of the residue field A/m.
The left global dimension of A has analogous characterizations obtained by replacing "right" with "left" in the above list.
Serre proved that a commutative Noetherian local ring A is regular if and only if it has finite global dimension, in which case the global dimension coincides with the Krull dimension of A. This theorem opened the door to application of homological methods to commutative algebra.
- Eisenbud, David (1999), Commutative Algebra with a View Toward Algebraic Geometry, Graduate Texts in Mathematics 150 (3rd ed.), Springer-Verlag, ISBN 0-387-94268-8.
- Kaplansky, Irving (1972), Fields and Rings, Chicago Lectures in Mathematics (2nd ed.), University Of Chicago Press, ISBN 0-226-42451-0, Zbl 1001.16500
- Matsumura, Hideyuki (1989), Commutative Ring Theory, Cambridge Studies in Advanced Mathematics 8, Cambridge University Press, ISBN 0-521-36764-6.
- McConnell, J. C.; Robson, J. C.; Small, Lance W. (2001), Revised, ed., Noncommutative Noetherian Rings, Graduate Studies in Mathematics 30, American Mathematical Society, ISBN 0-8218-2169-5.