Global dimension

From Wikipedia, the free encyclopedia

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. The first Weyl algebra A₁ is a noncommutative Noetherian domain of global dimension one.

[edit] Examples

Let A = K[x₁,...,x_n] 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.

[edit] Alternative characterizations

The global dimension of a ring A can be alternatively defined as:

• the supremum of the set of projective dimensions of all cyclic A-modules;
• the supremum of the set of projective dimensions of all finite A-modules;
• the supremum of the injective dimensions of all A-modules;
• when A is a commutative Noetherian local ring with maximal ideal m, the projective dimension of the residue field A/m.

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.

[edit] References

• Eisenbud, David (1999), Commutative Algebra with a View Toward Algebraic Geometry, vol. 150 (3rd ed.), Graduate Texts in Mathematics, Springer-Verlag, ISBN 0-387-94268-8 .
• Matsumura, Hideyuki (1989), Commutative Ring Theory, vol. 8, Cambridge Studies in Advanced Mathematics, Cambridge University Press, ISBN 0-521-36764-6 .
• McConnell, J. C.; Robson, J. C. & Small, Lance W. (2001), Noncommutative Noetherian Rings, vol. 30, Graduate Studies in Mathematics, American Mathematical Society, ISBN 0-8218-2169-5 .