Lasker–Noether theorem

From Wikipedia, the free encyclopedia

In mathematics, the Lasker–Noether theorem states that every Noetherian ring is a Lasker ring, which means that every ideal can be written as an intersection of finitely many primary ideals (which are related to, but not quite the same as, powers of prime ideals). The theorem was first proven by the world chess champion Emanuel Lasker (1905) for the special case of polynomial rings, and was proven in its full generality by Emmy Noether (1921).

The Lasker-Noether theorem is an extension of the fundamental theorem of arithmetic, and more generally the fundamental theorem of finitely generated abelian groups to all Noetherian rings.

It has a straightforward extension to modules stating that every submodule of a finitely generated module over a Noetherian ring is a finite intersection of primary submodules. This contains the case for rings as a special case, considering the ring as a module over itself, so that ideals are submodules. This also generalizes the primary decomposition form of the structure theorem for finitely generated modules over a principal ideal domain, and for the special case of polynomial rings over a field, it generalizes the decomposition of an algebraic set into a finite union of (irreducible) varieties.

The first algorithm for computing primary decompositions for polynomial rings was published by Noether's student Grete Hermann (1926).

Contents 1 Definitions 2 Statement 3 Minimal decompositions and uniqueness 4 References

[edit] Definitions

Write R for a commutative ring, and M and N for modules over it.

• A zero divisor of a module M is an element x of R such that xm = 0 for some non-zero m in M.
• An element x of R is called nilpotent in M if xⁿM = 0 for some positive integer n.
• A module is called coprimary if every zero divisor of M is nilpotent in M. For example, groups of prime power order and free abelian groups are coprimary modules over the ring of integers.
• A submodule M of a module N is called a primary submodule if N/M is coprimary.
• An ideal I is called primary if it is a primary submodule of R. This is equivalent to saying that if ab is in I then either a is in I or bⁿ is in I for some n, and to the condition that every zero-divisor of the ring R/I is nilpotent.
• A submodule M of a module N is called irreducible if it is not an intersection of two strictly larger submodules.
• An associated prime of a module M is a prime ideal that is the annihilator of some element of M.

[edit] Statement

The Lasker-Noether theorem for modules states every submodule of a finitely generated module over a Noetherian ring is a finite intersection of primary submodules. For the special case of ideals it states that every ideal of a Noetherian ring is a finite intersection of primary ideals.

An equivalent statement is: every finitely generated module over a Noetherian ring is contained in a finite product of coprimary modules.

The Lasker-Noether theorem follows immediately from the following three facts:

• Any submodule of a finitely generated module over a Noetherian ring is an intersection of a finite number of irreducible submodules.
• If M is an irreducible submodule of a finitely generated module N over a Noetherian ring then N/M has only one associated prime ideal.
• A finitely generated module over a Noetherian ring is coprimary if and only if it has at most one associated prime.

[edit] Minimal decompositions and uniqueness

In this section, all modules will be finitely generated over a Noetherian ring R.

A primary decomposition of a submodule M of a module N is called minimal if it has the smallest possible number of primary modules. For minimal decompositions, the primes of the primary modules are uniquely determined: they are the associated primes of N/M. Moreover the primary submodules associated to the minimal associated primes (those not containing any other associated primes) are also unique. However the primary submodules associated to the non-miminal associated primes (called embedded primes for geometric reasons) need not be unique.

Example: Let N = R = k[x, y] for some field k, and let M be the ideal (xy, y²). Then M has two different minimal primary decompositions M = (y) ∩ (x, y²) = (y) ∩ (x + y, y²). The minimal prime is (y) and the embedded prime is (x, y).

[edit] References

• Danilov, V.I. (2001), "Lasker ring", in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Kluwer Academic Publishers, ISBN 978-1556080104 
• Eisenbud, David (1995), Commutative algebra, Graduate Texts in Mathematics, 150, Berlin, New York: Springer-Verlag, MR1322960, ISBN 978-0-387-94268-1; 978-0-387-94269-8 , esp. section 3.3.
• Hermann, Grete (1926), "Die Frage der endlich vielen Schritte in der Theorie der Polynomideale", Mathematische Annalen 95: 736–788, doi:10.1007/BF01206635 
• Lasker, E. (1905), "Zur Theorie der Moduln und Ideale", Math. Ann. 60: 19–116, doi:10.1007/BF01447495 
• Markov, V.T. (2001), "Primary decomposition", in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Kluwer Academic Publishers, ISBN 978-1556080104 
• Noether, Emmy (1921), "Idealtheorie in Ringbereichen", Mathematische Annalen 83 (1): 24, doi:10.1007/BF01464225, http://www.springerlink.com/content/m3457w8h62475473/fulltext.pdf