In mathematics, the Lasker–Noether theorem states that every Noetherian ring is a Lasker ring, which means that every ideal can be decomposed as an intersection, called primary decomposition, 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 Emanuel Lasker (1905) for the special case of polynomial rings and convergent power series 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. The theorem plays an important role in algebraic geometry, by asserting that every algebraic set may be uniquely decomposed into a finite union of irreducible components. 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 over a field of characteristic 0 was published by Noether's student Grete Hermann (1926). The decomposition does not hold in general for non-commutative Noetherian rings. Noether gave an example of a non-commutative Noetherian ring with a right ideal that is not an intersection of primary ideals.
Primary decomposition of an ideal Let R {\displaystyle R} be a Noetherian commutative ring. An ideal I {\displaystyle I} of R {\displaystyle R} is called primary if it is a proper ideal and for each pair of elements x {\displaystyle x} and y {\displaystyle y} in R {\displaystyle R} such that x y {\displaystyle xy} is in I {\displaystyle I} , either x {\displaystyle x} or some power of y {\displaystyle y} is in I {\displaystyle I} ; equivalently, every zero-divisor in the quotient R / I {\displaystyle R/I} is nilpotent. The radical of a primary ideal Q {\displaystyle Q} is a prime ideal and Q {\displaystyle Q} is said to be p {\displaystyle {\mathfrak {p}}} -primary for p = Q {\displaystyle {\mathfrak {p}}={\sqrt {Q}}} . Let I {\displaystyle I} be an ideal in R {\displaystyle R} . Then I {\displaystyle I} has an irredundant primary decomposition into primary ideals:
I = Q 1 ∩ ⋯ ∩ Q n {\displaystyle I=Q_{1}\cap \cdots \cap Q_{n}\ } . Irredundancy means:
Removing any of the Q i {\displaystyle Q_{i}} changes the intersection, i.e. for each i {\displaystyle i} we have: ∩ j ≠ i Q j ⊄ Q i {\displaystyle \cap _{j\neq i}Q_{j}\not \subset Q_{i}} . The prime ideals Q i {\displaystyle {\sqrt {Q_{i}}}} are all distinct. Moreover, this decomposition is unique in the two ways:
… excerpt ends here. Continue reading the full article.
