Théorème de Popescu
théorème mathématique / De Wikipedia, l'encyclopédie encyclopedia
En algèbre commutative et en géométrie algébrique, le théorème de Popescu, formulé par Dorin Popescu en 1985 et 1986[1],[2] est le suivant[3] :
Théorème — Soit un anneau noethérien et soit
une algèbre noethérienne sur
. L'application canonique
est un homomorphisme régulier si et seulement si
est une limite directe de
-algèbres lisses .