Related papers: The finite Bruck Loops

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…

The goal of this paper is two-fold. First we provide the information needed to study Bol, $A_r$ or Bruck loops by applying group theoretic methods. This information is used in this paper as well as in [BS3] and in [S]. Moreover, we…

A basic fact taught in undergraduate algebra courses is that every finite nilpotent group is a direct product of $p$-groups. Already Bruck observed that this does not generalize to loops. In particular, there exist nilpotent loops of size…

As announced in [arXiv:0908.2596], we show that the non-passive finite simple groups are among the $PSL_2(q)$ with $q-1 \ge 4$ a 2-power. [arXiv:0908.2596]: Baumeister,Stein,Stroth: On Bruck Loops of 2-power Exponent

In this paper we give an infinite class of finite simple right Bol loops of exponent 2. The right multiplication group of these loops is an extension of an elementary Abelian 2-group by $S_5$. The construction uses the description of the…

Although any finite Bol loop of odd prime exponent is solvable, we show there exist such Bol loops with trivial center. We also construct finitely generated, infinite, simple Bruck loops of odd prime exponent for sufficiently large primes.…

There is a one-to-one correspondence between involutory latin quandles and uniquely $2$-divisible Bruck loops. Bruck loops of odd prime power order are centrally nilpotent. Using linear-algebraic approach to central extensions, we enumerate…

We define a new variety of loops we call $\Gamma$-loops. After showing $\Gamma$-loops are power associative, our main goal will be showing a categorical isomorphism between Bruck loops of odd order and $\Gamma$-loops of odd order. Once this…

We consider the Brauer group ${\rm BM}'(k,G)$ of a group $G$ (finite or infinite) over a commutative ring $k$ with identity. A split exact sequence $$1\longrightarrow {\rm Br}'(k)\longrightarrow {\rm BM}'(k,G)\longrightarrow {\rm Gal}(k,G)…

In the spirit of Glauberman's fundamental work in B-loops and Moufang loops, we prove Cauchy and strong Lagrange theorems for Bol loops of odd order. We also establish necessary conditions for the existence of a simple Bol loop of odd…

Let $p>q$ be odd primes. We classify Bol loops and Bruck loops of order $pq$ up to isotopism. When $q$ does not divide $p^2-1$, the only Bol loop (and hence the only Bruck loop) of order $pq$ is the cyclic group of order $pq$. When $q$…

Automorphic loops are loops in which all inner mappings are automorphisms. This variety of loops includes, for instance, groups and commutative Moufang loops. We study uniquely 2-divisible automorphic loops, particularly automorphic loops…

We study the commuting graph on elements of odd prime order in finite simple groups. The results are used in a forthcoming paper describing the structure of Bruck loops and Bol loops of exponent 2.

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

The aim of this paper is to describe the structure of the finitely generated subgroups of a family of branch groups, which includes the first Grigorchuk group and the Gupta-Sidki 3-group. This description is made via the notion of block…

In 1995, E. Jespers, G. Leal and C. Polcino Milies classified all finite ring alternative loops (RA loops for short) which are not direct products of proper subloops. In this paper we extend this result to finitely generated RA loops and…

We use groups with triality to construct a series of nonassociative Moufang loops. Certain members of this series contain an abelian normal subloop with the corresponding quotient being a cyclic group. In particular, we give a new series of…

The Sylow theorems hold for finite extra loops, as does P. Hall's theorem for finite solvable extra loops. Every finite nonassociative extra loop $Q$ has a nontrivial center, $Z(Q)$. Furthermore, $Q/Z(Q)$ is a group whenever $|Q| < 512$.…

Explicit embeddings of the group $\mathbb{Q}$ into a finitely presented group $\mathcal{Q}$ and into a $2$-generator finitely presented group $T_{\mathcal{Q}}$ are suggested. The constructed embeddings reflect questions mentioned by…

A finite group $G$ is called a Schur group, if any Schur ring over $G$ is associated in a natural way with a subgroup of $Sym(G)$ that contains all right translations. Recently, the authors have completely identified the cyclic Schur…