Molnár's theorem for split C *-by-nilpotent algebras

Kubo-Ando means are a rich class of important binary operations on the set of positive elements of an operator algebra. The aim of this article is to understand the algebraic structure of these operations. We generalize a recent result of L. Molnár for C∗-algebras to the class of split C∗-by-nilpotent algebras by using the method of analytic local expansion of binary operations. Eventually, we prove that in any C∗-algebra A, the identity [x,[y,z]]=0 implies commutativity.