词条 | Analytically irreducible ring |
释义 |
In algebra, an analytically irreducible ring is a local ring whose completion has no zero divisors. Geometrically this corresponds to a variety with only one analytic branch at a point. {{harvtxt|Zariski|1948}} proved that if a local ring of an algebraic variety is a normal ring, then it is analytically irreducible. There are many examples of reduced and irreducible local rings that are analytically reducible, such as the local ring of a node of an irreducible curve, but it is hard to find examples that are also normal. {{harvs|txt|last=Nagata|year1=1958|year2=1962|loc2=Appendix A1, example 7}} gave such an example of a normal Noetherian local ring that is analytically reducible.Nagata's exampleSuppose that K is a field of characteristic not 2, and K {{brackets|x,y}} is the formal power series ring over K in 2 variables. Let R be the subring of K {{brackets|x,y}} generated by x, y, and the elements zn and localized at these elements, where is transcendental over K(x) . Then R[X]/(X 2–z1) is a normal Noetherian local ring that is analytically reducible. References
1 : Commutative algebra |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。