Functional Analysis and Its Applications

, Volume 35, Issue 4, pp 257–260

A Constructive Proof of the Generalized Gelfand Isomorphism

  • V. M. Buchstaber
  • E. G. Rees

DOI: 10.1023/A:1013170322564

Cite this article as:
Buchstaber, V.M. & Rees, E.G. Functional Analysis and Its Applications (2001) 35: 257. doi:10.1023/A:1013170322564


Using an analog of the classical Frobenius recursion, we define the notion of a Frobenius \(\user1{n}\)-homomorphism. For \(\user1{n} = 1\), this is an ordinary ring homomorphism. We give a constructive proof of the following theorem. Let X be a compact Hausdorff space, \(Sym^\user1{n} (X)\) the \(\user1{n}\)th symmetric power of X, and \(\mathbb{C}(M)\) the algebra of continuous complex-valued functions on X with the sup-norm; then the evaluation map \({\mathcal{E}}:Sym^\user1{n} (X) \to Hom(\mathbb{C}(X),\mathbb{C})\) defined by the formula \([\user1{x}_1 , \ldots ,\user1{x}_\user1{n} ] \to (\user1{g} \to \sum {\user1{g}(} \user1{x}_\user1{k} ))\) identifies the space \(Sym^\user1{n} (X)\) with the space of all Frobenius \(\user1{n}\)-homomorphisms of the algebra \((\mathbb{C}(X)\) into \(\mathbb{C}\) with the weak topology.

Copyright information

© Plenum Publishing Corporation 2001

Authors and Affiliations

  • V. M. Buchstaber
    • 1
  • E. G. Rees
    • 2
  1. 1.Department of Mathematics and MechanicsMoscow State UniversityRussia
  2. 2.Department of Mathematics and StatisticsEdinburgh UniversityUK