| 词条 | Cohen structure theorem |
| 释义 |
In mathematics, the Cohen structure theorem, introduced by {{harvs|txt|last=Cohen|year=1946|authorlink=Irvin Cohen}}, describes the structure of complete Noetherian local rings. Some consequences of Cohen's structure theorem include three conjectures of Krull:
StatementThe most commonly used case of Cohen's theorem is when the complete Noetherian local ring contains some field. In this case Cohen's structure theorem states that the ring is of the form kx1,...,xn">x1,...,xn/(I) for some ideal I, where k is its residue class field. In the unequal characteristic case when the complete Noetherian local ring does not contain a field, Cohen's structure theorem states that the local ring is a quotient of a formal power series ring in a finite number of variables over a Cohen ring with the same residue field as the local ring. A Cohen ring is a field or a complete characteristic zero discrete valuation ring whose maximal ideal is generated by a prime number p (equal to the characteristic of the residue field). In both cases, the hardest part of Cohen's proof is to show that the complete Noetherian local ring contains a coefficient ring (or coefficient field), meaning a complete discrete valuation ring (or field) with the same residue field as the local ring. All this material is developed carefully in the Stacks Project {{Cite web|url=http://stacks.math.columbia.edu/tag/0323 |title=Stacks Project — Tag 0323 |website=stacks.math.columbia.edu|access-date=2018-08-13}}. References
2 : Commutative algebra|Theorems in abstract algebra |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。