Generators of nonassociative simple Moufang loops over finite prime fields

Abelian-by-cyclic Moufang loops

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 examples of finite abelian-by-cyclic Moufang loops. The previously known [A. Rajah, J. Alg., 235 (2001), 66-93] loops of this type of odd order 3q^3, with prime q congruent to 1 mod 3, are particular cases of our series. Some of the examples are shown to be embeddable into a Cayley algebra.

The structure of automorphic loops

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 of odd order, from the point of view of the associated Bruck loops (motivated by Glauberman's work on uniquely 2-divisible Moufang loops) and the associated Lie rings (motivated by a construction of Wright). We prove that every automorphic loop $Q$ of odd order is solvable, contains an element of order $p$ for every prime $p$ dividing $|Q|$, and $|S|$ divides…

Automorphism groups of simple Moufang loops over perfect fields

Let $F$ be a perfect field and $M^*(F)$ the nonassociative simple Moufang loop consisting of the units in the (unique) split octonion algebra $O(F)$ modulo the center. Then $Aut(M^*(F))$ is equal to $G_2(F) \rtimes Aut(F)$. In particular, every automorphism of $M^*(F)$ is induced by a semilinear automorphism of $O(F)$. The proof combines results and methods from geometrical loop theory, groups of Lie type and composition algebras; its gist being an identification of the automorphism group of a Moufang loop with a subgroup of the automorphism group of the associated group with triality.

Moufang Twin Trees of prime order

We prove that the unipotent horocyclic group of a Moufang twin tree of prime order is nilpotent of class at most 2.

C-loops: An introduction

C-loops are loops satisfying $x(y(yz))=((xy)y)z$. They often behave analogously to Moufang loops and they are closely related to Steiner triple systems and combinatorics. We initiate the study of C-loops by proving: (i) Steiner loops are C-loops, (ii) C-loops are alternative, inverse property loops with squares in the nucleus, (iii) the nucleus of a C-loop is a normal subgroup, (iv) C-loops modulo their nucleus are Steiner loops, (v) C-loops are power associative, power alternative but not necessarily diassociative, (vi) torsion commutative C-loops are products of torsion abelian groups and to…

Trees, contraction groups, and Moufang sets

We study closed subgroups $G$ of the automorphism group of a locally finite tree $T$ acting doubly transitively on the boundary. We show that if the stabiliser of some end is metabelian, then there is a local field $k$ such that $\mathrm{PSL}_2(k) \leq G \leq \mathrm{PGL}_2(k)$. We also show that the contraction group of some hyperbolic element is closed and torsion-free if and only if $G$ is (virtually) a rank one simple $p$-adic analytic group for some prime $p$. A key point is that if some contraction group is closed, then $G$ is boundary-Moufang, meaning that the boundary $\partial T$ is a…

Power-associative, conjugacy closed loops

We study conjugacy closed loops (CC-loops) and power-associative CC-loops (PACC-loops). If $Q$ is a PACC-loop with nucleus $N$, then $Q/N$ is an abelian group of exponent 12; if in addition $Q$ is finite, then $|Q|$ is divisible by 16 or by 27. There are eight nonassociative PACC-loops of order 16, three of which are not extra loops. There are eight nonassociative PACC-loops of order 27, four of which have the automorphic inverse property. We also study some special elements in loops, such as Moufang elements, weak inverse property (WIP) elements, and extra elements. In a CC-loop, the set of W…

Primary decompositions in varieties of commutative diassociative loops

The decomposition theorem for torsion abelian groups holds analogously for torsion commutative diassociative loops. With this theorem in mind, we investigate commutative diassociative loops satisfying the additional condition (trivially satisfied in the abelian group case) that all $n$th powers are central, for a fixed $n$. For $n=2$, we get precisely commutative $C$ loops. For $n=3$, a prominent variety is that of commutative Moufang loops. Many analogies between commutative C and Moufang loops have been noted in the literature, often obtained by interchanging the role of the primes 2 and 3. …

通过二进制码表示代码环

Representations of code loops by binary codes

本文研究了通过双重偶二进制码表示代码环的方法，并探讨了秩3和4的非结合代码环的最小和简化表示的确定方法。

The structure of extra loops

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$. Loop extensions are used to construct an infinite nonassociative extra loop with a trivial center and a nonassociative extra loop $Q$ of order 512 such that $Q/Z(Q)$ is nonassociative. There are exactly 16 nonassociative extra loops of order $16p$ for each odd prime $p$.

Chevalley groups of type $G_2$ as automorphism groups of loops

Let $M^*(q)$ be the unique nonassociative finite simple Moufang loop constructed over $GF(q)$. We prove that $Aut(M^*(2))$ is the Chevalley group $G_2(2)$, by extending multiplicative automorphism of $M^*(2)$ into linear automorphisms of the unique split octonion algebra over GF(2). Many of our auxiliary results apply in the general case. In the course of the proof we show that every element of a split octonion algebra can be written as a sum of two elements of norm one.

Three lectures on automorphic loops

These notes accompany a series of three lectures on automorphic loops to be delivered by the author at Workshops Loops '15 (Ohrid, Macedonia, 2015). Automorphic loops are loops in which all inner mappings are automorphisms. The first paper on automorphic loops appeared in 1956 and there has been a surge of interest in the topic since 2010. The purpose of these notes is to introduce the methods used in the study of automorphic loops to a wider audience of researchers working in nonassociative mathematics. In the first lecture we establish basic properties of automorphic loops (flexibility, powe…

(Re)constructing Code Loops

The Moufang loop named for Richard Parker is a central extension of the extended binary Golay code. It the prototypical example of a general class of nonassociative structures known today as code loops, which have been studied from a number of different algebraic and combinatorial perspectives. This expository article aims to highlight an experimental approach to computing in code loops, by a combination of a small amount of precomputed information and making use of the rich identities that code loops' twisted cocycles satisfy. As a byproduct we demonstrate that one can reconstruct the multipl…

When is the commutant of a Bol loop a subloop?

A left Bol loop is a loop satisfying $x(y(xz)) = (x(yx))z$. The commutant of a loop is the set of elements which commute with all elements of the loop. In a finite Bol loop of odd order or of order $2k$, $k$ odd, the commutant is a subloop. We investigate conditions under which the commutant of a Bol loop is not a subloop. In a finite Bol loop of order relatively prime to 3, the commutant generates an abelian group of order dividing the order of the loop. This generalizes a well-known result for Moufang loops. After describing all extensions of a loop $K$ such that $K$ is in the left and middl…

The Structure of Commutative Automorphic Loops

An \emph{automorphic loop} (or \emph{A-loop}) is a loop whose inner mappings are automorphisms. Every element of a commutative A-loop generates a group, and $(xy)^{-1} = x^{-1}y^{-1}$ holds. Let $Q$ be a finite commutative A-loop and $p$ a prime. The loop $Q$ has order a power of $p$ if and only if every element of $Q$ has order a power of $p$. The loop $Q$ decomposes as a direct product of a loop of odd order and a loop of order a power of 2. If $Q$ is of odd order, it is solvable. If $A$ is a subloop of $Q$ then $|A|$ divides $|Q|$. If $p$ divides $|Q|$ then $Q$ contains an element of order …