Popescus sats
Inom matematiken är Popescus sats, introducerad av D. Popescu, ett resultat som säger att[1] om A är en noethersk ring och B en noethersk algebra över den, då är strukturavbildningen A →B en regelbunden morfism om och bara om B är ett direkt gränsvärde av släta A-algebror.
Om exempelvis A är en lokal G-ring och B dess kompletition, då är avbildningen A →B per definition regelbundenoch satsen kan användas.
Källor
redigera- Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Popescu’s theorem, 19 januari 2015.
- ^ Conrad De Jong, Theorem 1.3.
- Conrad, Brian; De Jong, A. J.. ”Approximation of versal deformations”. http://math.stanford.edu/~conrad/papers/approx.pdf. Läst 1 december 2014.