New algebraic properties of middle Bol loops II

A loop (Q, ·, \, /) is called a middle Bol loop (MBL) if it obeys the identity x(yz\x)=(x/z)(y\x). To every MBL corresponds a right Bol loop (RBL) and a left Bol loop (LBL). In this paper, some new algebraic properties of a middle Bol loop are established in a different style. Some new methods of constructing a MBL by using a non-abelian group, the holomorph of a right Bol loop and a ring are described. Some equivalent necessary and sufficient conditions for a right (left) Bol loop to be a middle Bol loop are established. A RBL (MBL, LBL, MBL) is shown to be a MBL (RBL, MBL, LBL) if and only if it is a Moufang loop.

K-loop Structures Raised by the Direct Limits of Pseudo Unitary $U(p, a_{n})$ and Pseudo Orthogonal $O(p, a_{n})$ Groups

A left Bol loop satisfying the automorphic inverse property is called a K-loop or a gyrocommutative gyrogroup. K-loops have been in the centre of attraction since its first discovery by A.A. Ungar in the context of Einstein's 1905 relativistic theory. In this paper some of the infinite dimensional K-loops are built from the direct limit of finite dimensional group transversals.

On 2-Engel groups and Bruck loops

A classical construction associates a Bruck loop with a Moufang or Bol loop on which the squaring map is a permutation. The idea of that construction is now extended to a

When Is a Bol Loop Moufang?

There are a number of identities which, if satisfied by a Bol loop, imply that the loop is actually Moufang. In this paper we show that in a number of cases, the Moufang identity is also forced not by a single identity, but by giving elements a choice of equations to satisfy.

UNIQUELY 2-DIVISIBLE BOL LOOPS

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. This shows that the Burnside problem for Bruck loops has a negative answer.

Bol Loops of Nilpotence Class Two

Call a non-Moufang Bol loop minimally non-Moufang if every proper subloop is Moufang and minimally nonassociative if every proper subloop is associative. We prove that these concepts are the same for Bol loops which are nilpotent of class two and in which certain associators square to 1. In the process, we derive many commutator and associator identities which hold in such loops.