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 for the special case of polynomial rings, and was proven in its full generality by Emmy Noether .

PropertyValue
dbpprop:abstract
  • 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 for the special case of polynomial rings, and was proven in its full generality by Emmy Noether . 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 .
  • 在交換代數中，準素分解將一個交換環的理想（或模的子模）唯一地表成準素理想（或準素子模）之交。這是算術基本定理的推廣，能用以處理代數幾何中的情況。
dbpprop:hasPhotoCollection
dbpprop:relatedInstance
rdf:type
rdfs:comment
  • 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 for the special case of polynomial rings, and was proven in its full generality by Emmy Noether .
  • 在交換代數中，準素分解將一個交換環的理想（或模的子模）唯一地表成準素理想（或準素子模）之交。這是算術基本定理的推廣，能用以處理代數幾何中的情況。
rdfs:label
  • Lasker–Noether theorem
  • 準素分解
owl:sameAs
skos:subject
foaf:page
is dbpprop:disambiguates of
is dbpprop:redirect of
is owl:sameAs of