Popescu's theorem
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.