On a characterization of commutativity for {\(C^*\)}-algebras via gyrogroup operations (Q2400112)

Let \(A\) be a unital \(C^*\)-algebra. \textit{R. Beneduci} and \textit{L. Molnár} [J. Math. Anal. Appl. 420, No. 1, 551--562 (2014; Zbl 1308.46061)] proved that \(ab = ba\) if and only if \(a^{\frac{1}{2}}ba^{\frac{1}{2}}=b^{\frac{1}{2}}ab^{\frac{1}{2}}\) for all invertible positive elements \(a, b\) in \(A\). In this paper, the authors prove that \(A\) is commutative if and only if the gyrocommutative gyrogroup (see [\textit{A. A. Ungar}, Analytic hyperbolic geometry and Albert Einstein's special theory of relativity. Hackensack, NJ: World Scientific (2008; Zbl 1147.83004)]) of all positive invertible elements in \(A\) equipped with the operation \(a\oplus_t b=(a^{\frac{t}{2}}b^ta^{\frac{t}{2}})^{\frac{1}{t}}\) is a commutative group.