algebra Algebra () is one of the 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 mathematics. Elementary a ...

, 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-Noether ...

''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 In mathematics, the Artin approximation theorem is a fundamental result of in deformation theory which implies that formal power series with coefficients in a field ''k'' are well-approximated by the algebraic functions on ''k''. More precisely, A ...

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 ...

Notes

References

* * * * Ring theory {{algebra-stub