Let $G$ be a finite group and $C_2$ the cyclic group of order 2. Consider the 8 multiplicative operations $(x,y)\mapsto (x^iy^j)^k$, where $i$, $j$, $k\in\{-1, 1\}$. Define a new multiplication on $G\times C_2$ by assigning one of the above 8 multiplications to each quarter $(G\times\{i\})\times(G\times\{j\})$, for $i$, $j\in C_2$. When $G$ is nonabelian then exactly four assignments yield Moufang loops that are not associative; all (anti)isomorphic, known as loops $M(G,2)$.
Using groups with triality we obtain some general multiplication formulas in Moufang loops, construct Moufang extensions of abelian groups, and describe the structure of minimal extensions for finite simple Moufang loops over abelian groups.
We prove that each $3$-dimensional connected topological loop $L$ having a solvable Lie group of dimension $\le 5$ as the multiplication group of $L$ is centrally nilpotent of class $2$. Moreover, we classify the solvable non-nilpotent Lie groups $G$ which are multiplication groups for $3$-dimensional simply connected topological loops $L$ and $\hbox{dim} \ G \le 5$. These groups are direct products of proper connected Lie groups and have dimension $5$. We find also the inner mapping groups of $L$.
We clarify the structure of nilpotent Lie groups which are multiplication groups of $3$-dimensional simply connected topological loops and prove that non-solvable Lie groups acting minimally on $3$-dimensional manifolds cannot be the multiplication group of $3$-dimensional topological loops. Among the nilpotent Lie groups for any filiform groups ${\mathcal F}_{n+2}$ and ${\mathcal F}_{m+2}$ with $n, m > 1$, the direct product ${\mathcal F}_{n+2} \times \mathbb R$ and the direct product ${\mathcal F}_{n+2} \times _Z {\mathcal F}_{m+2}$ with amalgamated center $Z$ occur as the multiplication gro…
In this paper we deal with the class C of decomposable solvable Lie groups having dimension at most six. We determine those Lie groups in C and their subgroups which are the multiplication group Mult(L) and the inner mapping group Inn(L) for three-dimensional connected simply connected topological loops L. These loops L have one- or two-dimensional centre and their group Mult(L) has two- or three-dimensional commutator subgroup. Together with this result we obtain that every at most 3-dimensional connected topological proper loop having a solvable Lie group of dimension at most six as its mult…
We prove that if the multiplication group $Mult(L)$ of a connected $2$-dimensional topological loop is a Lie group, then $Mult(L)$ is an elementary filiform nilpotent Lie group of dimension at least $4$. Moreover, we describe loops having elementary filiform Lie groups $\mathbb F$ as the group topologically generated by their left translations and obtain a complete classification for these loops $L$ if $\hbox{dim} \ \mathbb F=3$. In this case necessary and sufficient conditions for $L$ are given that $Mult(L)$ is an elementary filiform Lie group for a given allowed dimension.
We say that a loop is unbreakable when it does not have nontrivial subloops. While the cyclic groups of prime order are the only unbreakable finite groups, we show that nonassociative unbreakable loops exist for every order n >= 5. We describe two families of commutative unbreakable loops of odd order, n >= 7, one where the loop's multiplication group is isomorphic to the alternating group An and another where the multiplication group is isomorphic to the symmetric group Sn. We also prove for each even n >= 6 that there exist unbreakable loops of order n whose multiplication group is isomorphi…
The aim of our paper is to generalize the tangent prolongation of Lie groups to non-associative multiplications and to examine how the weak associative and weak inverse properties are transferred to the multiplication defined on the tangent bundle. We obtain that the tangent prolongation of a $\mathcal{C}^r$-differentiable loop ($r\geq 1$) is a $\mathcal{C}^{r-1}$-differentiable loop that acquires the classical weak inverse and weak associative properties of the initial loop.
Two constructions due to Drápal produce a group by modifying exactly one quarter of the Cayley table of another group. We present these constructions in a compact way, and generalize them to Moufang loops, using loop extensions. Both constructions preserve associators, the associator subloop, and the nucleus. We conjecture that two Moufang 2-loops of finite order $n$ with equivalent associator can be connected by a series of constructions similar to ours, and offer empirical evidence that this is so for $n=16$, 24, 32; the only interesting cases with $n\le 32$. We further investigate the way t…
The Cayley-Dickson loop Q_n is the multiplicative closure of basic elements of the algebra constructed by n applications of the Cayley-Dickson doubling process (the first few examples of such algebras are real numbers, complex numbers, quaternions, octonions, sedenions). We establish that the inner mapping group Inn(Q_n) is an elementary abelian 2-group of order 2^(2^n-2) and describe the multiplication group Mlt(Q_n) as a semidirect product of Inn(Q_n)xZ_2 and an elementary abelian 2-group of order 2^n. We prove that one-sided inner mapping groups Inn_l(Q_n) and Inn_r(Q_n) are equal, elementa…
Let $G$ be a finite group and $C_2$ the cyclic group of order 2. Consider the 8 multiplicative operations $(x,y)\mapsto (x^iy^j)^k$, where $i$, $j$, $k\in\{-1, 1\}$. Define a new multiplication on $G\times C_2$ by assigning one of the above 8 multiplications to each quarter $(G\times\{i\})\times(G\times\{j\})$, for $i$, $j\in C_2$. We describe all situations in which the resulting quasigroup is a Bol loop. This paper also corrects an error in P. Vojtěchovský: On the uniqueness of loops $M(G,2)$.
Our paper deals with the investigation of extensions of commutative groups by loops so that the quasigroups that result in the multiplication between cosets of the kernel subgroup are T-quasigroups. We limit our study to extensions in which the quasigroups determining the multiplication are linear functions without constant term, called linear abelian extensions. We characterize constructively such extensions with left-, right-, or inverse properties using a general construction according to an equivariant group action principle. We show that the obtained constructions can be simplified for or…
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 structure of such loops given by M. Aschbacher. These results answer some questions of M. Aschbacher.
In this paper we investigate the Bol loops and connected with them groups. We prove an analog of the Doro's theorem for Moufang loops and find a criterion for simplicity of Bol loops. One of the main results obtained is the following: if the right multiplication group of a connected finite Bol loop $S$ is a simple group, then $S$ is a Moufang loop.
Right Bol loops are loops satisfying the identity $((zx)y)x = z((xy)x)$, and right Bruck loops are right Bol loops satisfying the identity $(xy)^{-1} = x^{-1}y^{-1}$. Let $p$ and $q$ be odd primes such that $p>q$. Advancing the research program of Niederreiter and Robinson from $1981$, we classify right Bol loops of order $pq$. When $q$ does not divide $p^2-1$, the only right Bol loop of order $pq$ is the cyclic group of order $pq$. When $q$ divides $p^2-1$, there are precisely $(p-q+4)/2$ right Bol loops of order $pq$ up to isomorphism, including a unique nonassociative right Bruck loop $B_{p…
A loop $(Q,\cdot,\backslash,/)$ is called a middle Bol loop if it obeys the identity $x(yz\backslash x)=(x/z)(y\backslash x)$. To every right (left) Bol loop corresponds a middle Bol loop via an isostrophism. In this paper, the structure of the holomorph of a middle Bol loop is explored. For some special types of automorphisms, the holomorph of a commutative loop is shown to be a commutative middle Bol loop if and only if the loop is a middle Bol loop and its automorphism group is abelian and a subgroup of both the group of middle regular mappings and the right multiplication group. It was fou…
This article studies the properties of word-hyperbolic semigroups and monoids, i.e. those having context-free multiplication tables with respect to a regular combing, as defined by Duncan & Gilman. In particular, the preservation of word-hyperbolicity under taking free products is considered. Under mild conditions on the semigroups involved, satisfied e.g. by monoids or regular semigroups, we prove that the semigroup free product of two word-hyperbolic semigroups is again word-hyperbolic. Analogously, with a mild condition on the uniqueness of representation for the identity element, satisfied…
We show how to obtain all nonassociative Moufang loops of order less than 64 and 4262 nonassociative Moufang loops of order 64 in a unified way. We conjecture that there are no other nonassociative Moufang loops of order 64. The main idea of the computer search is to modify precisely one quarter of the multiplication table in a certain way, previously applied to small 2-groups.
We classify all three-dimensional connected topological loops such that the group topologically generated by their left translations is the four-dimensional connected Lie group $G$ which has trivial center and precisely two one-dimensional normal subgroups. We show that $G$ is not the multiplication group of connected topological proper loops.
Nonassociative finite simple Moufang loops are exactly the loops constructed by Paige from Zorn vector matrix algebras. We prove this result anew, using geometric loop theory. In order to make the paper accessible to a broader audience, we carefully discuss the connections between composition algebras, simple Moufang loops, simple Moufang 3-nets, $S$-simple groups and groups with triality. Related results on multiplication groups, automorphisms groups and generators of Paige loops are provided.
Based on the recent development of commutator theory for loops, we provide both syntactic and semantic characterization of abelian normal subloops. We highlight the analogies between well known central extensions and central nilpotence on one hand, and abelian extensions and congruence solvability on the other hand. In particular, we show that a loop is congruence solvable (that is, an iterated abelian extension of commutative groups) if and only if it is not Boolean complete, reaffirming the connection between computational complexity and solvability. Finally, we briefly discuss relations bet…
The variety of quasigroups satisfying the identity $(xy)(zy)=xz$ mirrors the variety of groups, and offers a new look at groups and their multiplication tables. Such quasigroups are constructed from a group using right division instead of multiplication. Their multiplication tables consist of circulant blocks which have additional symmetries and have a concise presentation. These tables are a reincarnation of the group matrices which Frobenius used to give the first account of group representation theory. Our results imply that every group matrix may be written as a block circulant matrix and …
The existence and uniqueness (up to equivalence) of code loops was first established by R. Griess. Nevertheless, the explicit construction of code loops remained open until T. Hsu introduced the notion of symplectic cubic spaces and their Frattini extensions, and pointed out how the construction of code loops followed from the (purely combinatorial) result of O. Chein and E. Goodaire. Within this paper, we focus on their combinatorial construction and prove a more general result using the language of derived forms.
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…
Let G be a Poincare duality group of dimension n. For a given element g in G, let C_g denote its centralizer subgroup. Let L_G be the graded abelian group defined by (L_G)_p = oplus_{[g]}H_{p+n}(C_g) where the sum is taken over conjugacy classes of elements in G. In this paper we construct a multiplication on L_G directly in terms of intersection products on the centralizers. This multiplication makes L_G a graded, associative, commutative algebra. When G is the fundamental group of an aspherical, closed oriented n manifold M, then (L_G)_* = H_{*+n}(LM), where LM is the free loop space of M. W…
