Depth (ring theory)

Depth (ring theory)

In commutative and homological algebra, depth is an important invariant of rings and modules. Although depth can be defined more generally, the most common case considered is the case of modules over a commutative Noetherian local ring. In this case, the depth of a module is related with its projective dimension by the Auslander–Buchsbaum formula. A more elementary property of depth is the inequality

 \mathrm{depth}(M) \leq \dim(M),

where dim M denotes the Krull dimension of the module M. Depth is used to define classes of rings and modules with good properties, for example, Cohen-Macaulay rings and modules, for which the equality holds.



Let R be a commutative Noetherian ring, I an ideal of R and M a finite R-module with the property that IM is properly contained in M. Then the I-depth of M, also commonly called the grade of M, is defined as

 \mathrm{depth}_I(M) = \min \{i: \operatorname{Ext}^i(R/I,M)\ne 0\}.

By definition, the depth of a ring R is its depth as a module over itself.

By a theorem of David Rees, the depth can also be characterized using the notion of a regular sequence.

Theorem (Rees)

Suppose that R is a commutative Noetherian local ring with the maximal ideal \mathfrak{m} and M is a finitely generated R-module. Then all maximal regular sequences x1,..., xn for M, where each xi belongs to \mathfrak{m}, have the same length n equal to the \mathfrak{m}-depth of M.

Depth and projective dimension

The projective dimension and the depth of a module over a commutative Noetherian local ring are complementary to each other. This is the content of the Auslander–Buchsbaum formula, which is not only of the fundamental theoretical importance, but also provides an effective way to compute the depth of a module. Suppose that R is a commutative Noetherian local ring with the maximal ideal \mathfrak{m} and M is a finitely generated R-module. If the projective dimension of M is finite, then the Auslander–Buchsbaum formula states

pdR(M) + depth(M) = depth(R).

Depth zero rings

A commutative Noetherian local ring R has depth zero if and only if its maximal ideal \mathfrak{m} is an associated prime, or, equivalently, when there is a nonzero element x of R such that x\mathfrak{m}=0 (that is, x annihilates \mathfrak{m}). This means, essentially, that the closed point is an embedded component.

For example, the ring k[x,y] / (x2,xy) (where k is a field), which represents a line (x = 0) with an embedded double point at the origin, has depth zero at the origin, but dimension one: this gives an example of a ring which is not Cohen–Macaulay.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Height (ring theory) — In commutative algebra, the height of an prime ideal mathfrak{p} in a ring R is the number of strict inclusions in the longest chain of prime ideals contained in mathfrak{p} [Matsumura,Hideyuki: Commutative Ring Theory ,page 30 31,1989 ] . Then… …   Wikipedia

  • Depth — Depth(s) may refer to: Depth (ring theory), an important invariant of rings and modules in commutative and homological algebra Depth in a well, the measurement between two points in an oil well Color depth (or number of bits or bit depth ) in… …   Wikipedia

  • Depth of noncommutative subrings — In ring theory and Frobenius algebra extensions, fields of mathematics, there is a notion of depth two subring or depth of a Frobenius extension. The notion of depth two is important in a certain noncommutative Galois theory, which generates Hopf …   Wikipedia

  • Ring of Fire II — Infobox Book infoboxwidth = 200px name = Ring of Fire title orig = translator = image caption = Baen Books Prepublication Ring of Fire II cover art. author = Eric Flint illustrator = cover artist = country = USA language = English series = 1632… …   Wikipedia

  • Modular representation theory — is a branch of mathematics, and that part of representation theory that studies linear representations of finite group G over a field K of positive characteristic. As well as having applications to group theory, modular representations arise… …   Wikipedia

  • Choke ring antenna — Patent Diagram of a Choke Ring Antenna[1] A choke ring antenna is a particular form of omnidirectional antenna for use at high frequencies. It consists of a number of conductive concentric cylinders around a central antenna. Due to its delicate… …   Wikipedia

  • Cohen–Macaulay ring — In mathematics, a Cohen–Macaulay ring is a particular type of commutative ring, possessing some of the algebraic geometric properties of a nonsingular variety, such as local equidimensionality. They are named for Francis Sowerby Macaulay, who… …   Wikipedia

  • Der Ring des Nibelungen — (The Ring of the Nibelung) is a cycle of four epic operas (or dramas to use the composer s preferred term) by the German composer Richard Wagner (1813–83). The works are based loosely on characters from the Norse sagas and the Nibelungenlied. The …   Wikipedia

  • List of mathematics articles (D) — NOTOC D D distribution D module D D Agostino s K squared test D Alembert Euler condition D Alembert operator D Alembert s formula D Alembert s paradox D Alembert s principle Dagger category Dagger compact category Dagger symmetric monoidal… …   Wikipedia

  • List of commutative algebra topics — Commutative algebra is the branch of abstract algebra that studies commutative rings, their ideals, and modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent examples of commutative… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”