Polar decomposition of locally finite groups (Q1411429)

A group \(G\) is said to have a polar decomposition if there exists an involutory automorphism \(\tau\) such that every element in \(P(\tau)=\{gg^{-\tau};\, g\in G\}\) has a unique square root, denoted by \(\sqrt x\). Then \(P(\tau)\) is a transversal to the centralizer \(C(\tau)\) inside \(G\). The resulting multiplication on \(P(\tau)\) is given by \(\sqrt{xy^2x}\), and \(P(\tau)\) becomes a B-loop. As \(P(\tau)\) is also a twisted subgroup of \(G\), the multiplication \(x\cdot y:=\sqrt xy\sqrt x\) yields a B-loop, too. These two B-loops are obviously isomorphic. A group has a polar decomposition iff for some involutory automorphism \(\tau\) torsion elements in \(P(\tau)\) have odd orders, and other elements have unique square root in \(P(\tau)\). Of course, for torsion groups the second possibility does not occur. So locally finite groups have polar decompositions iff for suitable \(\tau\) every element in \(P(\tau)\) has odd order.