algebra
Algebra () is one of the areas of mathematics, broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathem ...
, a commutative
Noetherian ring
In mathematics, a Noetherian ring is a ring that satisfies the ascending chain condition on left and right ideals; if the chain condition is satisfied only for left ideals or for right ideals, then the ring is said left-Noetherian or right-Noethe ...
''A'' is said to have the approximation property with respect to an
ideal
Ideal may refer to:
Philosophy
* Ideal (ethics), values that one actively pursues as goals
* Platonic ideal, a philosophical idea of trueness of form, associated with Plato
Mathematics
* Ideal (ring theory), special subsets of a ring considere ...
''I'' if each finite system of polynomial equations with coefficients in ''A'' has a solution in ''A'' if and only if it has a solution in the ''I''-adic completion of ''A''. The notion of the approximation property is due to
Michael Artin
Michael Artin (; born 28 June 1934) is a German-American mathematician and a professor emeritus in the Massachusetts Institute of Technology mathematics department, known for his contributions to algebraic geometry.Artin approximation theorem
*
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 ...