Finite Bruck loops

DOI10.1090/S0002-9947-05-03778-5MaRDI QIDQ3378463zbMATH OpenFDO

Authors

Publication date 3 April 2006

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0401193

zbMATH Keywords

finite loopsBruck loopsautomorphic inverse property loopsenveloping groups of loops

Mathematics Subject Classification ID

Finite solvable groups, theory of formations, Schunck classes, Fitting classes, (pi)-length, ranks (20D10) Loops, quasigroups (20N05)

Abstract: A loop $(X,circ)$ is said to be a Bruck loop if it satisfies the (right) Bol identity $((zcircx)circy)circx=zcirc((xcircy)circx)$ and the automorphic inverse property $(xcircy{)}^{-1}=x^{-1}circ{y}^{-1}$. If $X$ is a finite Bruck loop and $G$ is the group generated by all right translations $R(x):ymapstoycircx$, then we show that $X$ and $G$ are central products $X=O^{2^{\prime }}(X)\ast O(X)$ and $G=O^{2^{\prime }}(G)\ast O(G)$, where $O^{2^{\prime }}(X)$ ($O^{2^{\prime }}(G)$) is the subloop (subgroup) generated by all 2-elements, and $O(X)$ ($O(G)$) is the largest normal subloop (subgroup) of odd order. In particular, if $X$ is solvable, then these central products are direct products. We also give a set of necessary conditions that must hold for a finite Bruck loop $X$ to be nonsolvable but have each proper section solvable; in particular, $X$ must be simple and consist of 2-elements, while the quotient of $G$ by its largest normal 2-subgroup must be isomorphic to $PG{L}_2(q)$, with $q=2^n+1geq5$.

Recommendations

• The finite Bruck loops.
• On Bol loops of exponent 2.
• Do finite Bruck loops behave like groups?
• On Bruck loops of 2-power exponent.
• Uniquely 2-divisible Bol loops.

Cites work

• scientific article; zbMATH DE number 3132783 (Why is no real title available?)
• scientific article; zbMATH DE number 3933295 (Why is no real title available?)
• Central elements in core-free groups
• Near subgroups of finite groups
• Nets and Groups
• On Bol loops of exponent 2.
• On loops of odd order
• On loops of odd order. II
• Solvability of groups of odd order

Cited in

(15)

• On Bruck loops of 2-power exponent.
• The finite Bruck loops.
• On the smallest simple, unipotent Bol loop.
• Bruck loops with Abelian inner mapping groups.
• A class of loops categorically isomorphic to Bruck loops of odd order.
• A class of finite simple Bol loops of exponent 2
• Boolean and profinite loops.
• Pseudoautomorphisms of Bruck loops and their generalizations.
• Do finite Bruck loops behave like groups?
• Middle Bruck loops and the total multiplication group
• Finite FRUTE loops
• scientific article; zbMATH DE number 854290 (Why is no real title available?)
• scientific article; zbMATH DE number 3887949 (Why is no real title available?)
• Uniquely 2-divisible Bol loops.
• Self-invariant 1-factorizations of complete graphs and finite Bol loops of exponent 2.

This page was built for publication: Finite Bruck loops

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3378463)