A Constructive Proof of the Generalized Gelfand Isomorphism

Using an analog of the classical Frobenius recursion, we define the notion of a Frobenius -homomorphism. For , this is an ordinary ring homomorphism. We give a constructive proof of the following theorem. Let X be a compact Hausdorff space, the th symmetric power of X, and the algebra of continuous complex-valued functions on X with the sup-norm; then the evaluation map defined by the formula identifies the space with the space of all Frobenius -homomorphisms of the algebra into with the weak topology.