| dbo:abstract |
In algebra, an analytically unramified ring is a local ring whose completion is reduced (has no nonzero nilpotent). The following rings are analytically unramified: * pseudo-geometric reduced ring. * excellent reduced ring. showed that every local ring of an algebraic variety is analytically unramified. gave an example of an analytically ramified reduced local ring. Krull showed that every 1-dimensional normal Noetherian local ring is analytically unramified; more precisely he showed that a 1-dimensional normal Noetherian local domain is analytically unramified if and only if its integral closure is a finite module. This prompted to ask whether a local Noetherian domain such that its integral closure is a finite module is always analytically unramified. However gave an example of a 2-dimensional normal analytically ramified Noetherian local ring. Nagata also showed that a slightly stronger version of Zariski's question is correct: if the normalization of every finite extension of a given Noetherian local ring R is a finite module, then R is analytically unramified. There are two classical theorems of David Rees that characterize analytically unramified rings. The first says that a Noetherian local ring (R, m) is analytically unramified if and only if there are a m-primary ideal J and a sequence such that , where the bar means the integral closure of an ideal. The second says that a Noetherian local domain is analytically unramified if and only if, for every finitely-generated R-algebra S lying between R and the field of fractions K of R, the integral closure of S in K is a finitely generated module over S. The second follows from the first. (en) |
| dbo:wikiPageExternalLink |
http://people.reed.edu/~iswanson/book/index.html http://projecteuclid.org/euclid.nmj/1118799688 |
| dbo:wikiPageID |
39952976 (xsd:integer) |
| dbo:wikiPageLength |
4789 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1091710947 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Cambridge_University_Press dbr:Integral_closure_of_an_ideal dbr:Noetherian_ring dbr:Nilpotent dbr:Local_ring dbr:Algebraic_variety dbc:Commutative_algebra dbr:Integral_closure dbr:Completion_(ring_theory) dbr:Formal_power_series_ring dbr:Reduced_ring dbr:Excellent_ring dbr:Pseudo-geometric_ring dbr:Springer-Verlag |
| dbp:authorlink |
David Rees (en) |
| dbp:first |
David (en) |
| dbp:last |
Rees (en) |
| dbp:wikiPageUsesTemplate |
dbt:CN dbt:Citation dbt:Harvtxt dbt:Harvs dbt:Brackets |
| dbp:year |
1961 (xsd:integer) |
| dct:subject |
dbc:Commutative_algebra |
| rdfs:comment |
In algebra, an analytically unramified ring is a local ring whose completion is reduced (has no nonzero nilpotent). The following rings are analytically unramified: * pseudo-geometric reduced ring. * excellent reduced ring. (en) |
| rdfs:label |
Analytically unramified ring (en) |
| owl:sameAs |
freebase:Analytically unramified ring wikidata:Analytically unramified ring https://global.dbpedia.org/id/fkk7 |
| prov:wasDerivedFrom |
wikipedia-en:Analytically_unramified_ring?oldid=1091710947&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Analytically_unramified_ring |
| is dbo:wikiPageRedirects of |
dbr:Analytically_unramified dbr:Analytically_ramified dbr:Analytically_reduced dbr:Analytically_reduced_ring dbr:Analytically_unramified_local_ring |
| is dbo:wikiPageWikiLink of |
dbr:Integral_closure_of_an_ideal dbr:Analytically_unramified dbr:Analytically_ramified dbr:Analytically_reduced dbr:Analytically_reduced_ring dbr:Analytically_unramified_local_ring |
| is foaf:primaryTopic of |
wikipedia-en:Analytically_unramified_ring |