I understand that there is a definition of padic Banach algebras and that a significant amount of functional analysis can be developed in the nonarchimedean setting. Is there a padic version of C*algebras? If so, is there an analogue of the GNS construction?

$\begingroup$ Would a "referencerequest" tag be appropriate for your question? (Just that your question seems to be asking for pointers to any possible literature on the topic, rather than "how do I do prove this particular result?") $\endgroup$ – Yemon Choi Oct 19 '11 at 2:39

$\begingroup$ Yes, I am looking for possible references. I'm interested in trying to develop some basic theory myself, but I'd like to know if it has already been done. $\endgroup$ – Ian M. Oct 19 '11 at 4:56
There exists a complete theory of nonArchimedean commutative Banach algebras. In particular, there are conditions under which an algebra is isomorphic to the algebra of continuous functions. For the commutative case, they can be seen as the counterparts of the $C^*$ condition. Note that there is no natural involution in the padic case. See
V. Berkovich, Spectral theory and analytic geometry over nonArchimedean fields, AMS, 1990 (the above conditions are in Corollary 9.2.7);
A. Escassut, Ultrametric Banach algebras, World Scientific, 2003.
For the noncommutative case, very little is known.