An extension of the Gleason–Kahane–Żelazko theorem: A possible approach to Kaplansky's problem

Let AA and BB be unital Banach algebras with BB semisimple. Is every surjective unital linear invertibility preserving map φ:A→Bφ:A→B a Jordan homomorphism? This is a famous open question, often called “Kaplansky's problem” in the literature. The Gleason–Kahane–Żelazko theorem gives an affirmative answer in the special case when B=CB=C. We obtain an improvement of this theorem. Our result implies that in order to answer the question in the affirmative it is enough to show that φ(x2)φ(x2) and φ(x)φ(x) commute for every x∈Ax∈A. In this way we obtain a new proof of the Marcus–Purves theorem.