Polar decomposition of locally finite groups (Q1411429)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Polar decomposition of locally finite groups |
scientific article |
Statements
Polar decomposition of locally finite groups (English)
0 references
29 October 2003
0 references
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.
0 references
polar decompositions
0 references
Bruck loops
0 references
B-loops
0 references
K-loops
0 references
locally finite groups
0 references
transversals
0 references