Finite Bruck Loops
| dc.creator | Aschbacher, Michael | |
| dc.creator | Kinyon, Michael K. | |
| dc.creator | Phillips, J. D. | |
| dc.date | 2004-01-16 | |
| dc.date.accessioned | 2026-07-07T08:54:23Z | |
| dc.date.available | 2026-07-07T08:54:23Z | |
| dc.description | A loop $(X,\circ)$ is said to be a Bruck loop if it satisfies the (right) Bol identity $((z\circ x)\circ y)\circ x = z\circ ((x\circ y)\circ x)$ and the automorphic inverse property $(x\circ y)^{-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): y\mapsto y\circ x$, then we show that $X$ and $G$ are central products $X = O^{2'}(X) * O(X)$ and $G = O^{2'}(G) * O(G)$, where $O^{2'}(X)$ ($O^{2'}(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 $PGL_2(q)$, with $q=2^n+1\geq 5$. | |
| dc.description | 16 pages, AMS-TeX | |
| dc.identifier | https://arxiv.org/abs/math/0401193 | |
| dc.identifier | http://arxiv.org/abs/math/0401193 | |
| dc.identifier | Trans. Amer. Math. Soc. 358 (2006) 3061-3075. | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/145914 | |
| dc.subject | Group Theory | |
| dc.subject | 20N05 | |
| dc.title | Finite Bruck Loops | |
| dc.type | text |