An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

In commutative algebra and algebraic geometry, Popescu's theorem, introduced by Dorin Popescu,states: Let A be a Noetherian ring and B a Noetherian algebra over it. Then, the structure map A → B is a regular homomorphism if and only if B is a direct limit of smooth A-algebras. For example, if A is a local G-ring (e.g., a local excellent ring) and B its completion, then the map A → B is regular by definition and the theorem applies. Another proof of Popescu's theorem was given by Tetsushi Ogoma, while an exposition of the result was provided by Richard Swan.

Property Value
dbo:abstract
  • In commutative algebra and algebraic geometry, Popescu's theorem, introduced by Dorin Popescu,states: Let A be a Noetherian ring and B a Noetherian algebra over it. Then, the structure map A → B is a regular homomorphism if and only if B is a direct limit of smooth A-algebras. For example, if A is a local G-ring (e.g., a local excellent ring) and B its completion, then the map A → B is regular by definition and the theorem applies. Another proof of Popescu's theorem was given by Tetsushi Ogoma, while an exposition of the result was provided by Richard Swan. The usual proof of the Artin approximation theorem relies crucially on Popescu's theorem. Popescu's result was proved by an alternate method, and somewhat strengthened, by Mark Spivakovsky. (en)
  • Inom matematiken är Popescus sats, introducerad av , ett resultat som säger att om A är en noethersk ring och B en noethersk algebra över den, då är strukturavbildningen A →B en om och bara om B är ett av . Om exempelvis A är en lokal och B dess kompletition, då är avbildningen A →B per definition regelbundenoch satsen kan användas. (sv)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 44549263 (xsd:integer)
dbo:wikiPageLength
  • 3529 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1097202896 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • Inom matematiken är Popescus sats, introducerad av , ett resultat som säger att om A är en noethersk ring och B en noethersk algebra över den, då är strukturavbildningen A →B en om och bara om B är ett av . Om exempelvis A är en lokal och B dess kompletition, då är avbildningen A →B per definition regelbundenoch satsen kan användas. (sv)
  • In commutative algebra and algebraic geometry, Popescu's theorem, introduced by Dorin Popescu,states: Let A be a Noetherian ring and B a Noetherian algebra over it. Then, the structure map A → B is a regular homomorphism if and only if B is a direct limit of smooth A-algebras. For example, if A is a local G-ring (e.g., a local excellent ring) and B its completion, then the map A → B is regular by definition and the theorem applies. Another proof of Popescu's theorem was given by Tetsushi Ogoma, while an exposition of the result was provided by Richard Swan. (en)
rdfs:label
  • Popescu's theorem (en)
  • Popescus sats (sv)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License