Commutative non-archimedean
C∗-algebras are defined, their properties established, and a representation theory is
developed for them. Their closed ideals are completely analyzed in terms of the
closed subsets of the spectrum where they ‘vanish.’ A large class of C∗-algebras is
exhibited. A Stone-Weierstrass theorem generalizing a result of Kaplansky is
proved.