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
    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

    Identifiers