Hoppa till innehållet

Popescus sats

Från Wikipedia

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 AB 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 AB per definition regelbundenoch satsen kan användas.

Källor[redigera | redigera wikitext]

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Popescu’s theorem, 19 januari 2015.
  1. ^ Conrad De Jong, Theorem 1.3.