Sur le theoreme de Stone-Weierstrass en Algebre commutative

We show that the sufficient conditions given by Cahen, Grazzini and Haouat for a version of the Stone-Weierstrass theorem in commutative algebra are the widest. More precisely, letA be a Noetherian ring andI a proper ideal ofA such thatA is Hausdorff with respect to theI-adic topology. Note the completion ofA andC(Â,Â) the ring of continuous functions from to with uniform convergence topology. The subset of polynomial functions is dense inC(Â,Â) if and only if the radical ofI is a maximal idealm ofA and the local ringA _m is a one-dimensional analytically irreducible domain with finite residue field.