Structure of Nonlinear Maps Preserving A*B − ξBA onto an Arbitrary ∗-Algebra
We show that every bijection Ψ between complex ∗-algebras satisfying Ψ(A*B−ξBA)=Ψ(A)*Ψ(B)−ξΨ(B)Ψ(A), for a fixed ξ≠0, is additive as soon as its domain is a prime unital ∗-algebra with a nontrivial projection, with nothing assumed about its codomain at all. In the additivity theorems for products built from the involut...