Loops of Bol-Moufang type with a subgroup of index two

有限维特殊Moufang集

Special Moufang sets of finite dimension

该研究在数学群论领域证明，满足特定有限性条件时，带阿贝尔根子群的特殊Moufang集源于二次若尔当代除代数，推进了相关代数结构研究。

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.

Simple Bol loops

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.

Class 2 Moufang loops, small Frattini Moufang loops, and code loops

Let $L$ be a Moufang loop which is centrally nilpotent of class 2. We first show that the nuclearly-derived subloop (normal associator subloop) $L^*$ of $L$ has exponent dividing 6. It follows that $L_p$ (the subloop of $L$ of elements of $p$-power order) is associative for $p>3$. Next, a loop $L$ is said to be a {\it small Frattini Moufang loop}, or SFML, if $L$ has a central subgroup $Z$ of order $p$ such that $C\isom L/Z$ is an elementary abelian $p$-group. $C$ is thus given the structure of what we call a {\it coded vector space}, or CVS. (In the associative/group case, CVS's are either or…

Moufang sets of finite Morley rank of odd type

We show that for a wide class of groups of finite Morley rank the presence of a split $BN$-pair of Tits rank $1$ forces the group to be of the form $\operatorname{PSL}_2$ and the $BN$-pair to be standard. Our approach is via the theory of Moufang sets. Specifically, we investigate infinite and so-called hereditarily proper Moufang sets of finite Morley rank in the case where the little projective group has no infinite elementary abelian $2$-subgroups and show that all such Moufang sets are standard (and thus associated to $\operatorname{PSL}_2(F)$ for $F$ an algebraically closed field of chara…

Abelian congruences and solvability in Moufang loops

In groups, an abelian normal subgroup induces an abelian congruence. We construct a class of centrally nilpotent Moufang loops containing an abelian normal subloop that does not induce an abelian congruence. On the other hand, we prove that in $6$-divisible Moufang loops, every abelian normal subloop induces an abelian congruence. In loops, congruence solvability adopted from the universal-algebraic commutator theory of congruence modular varieties is strictly stronger than classical solvability adopted from group theory. It is an open problem whether the two notions of solvability coincide in…

寻找 Bol-Moufang 型拟群的同调

In Search of Homology for Quasigroups of Bol-Moufang Type

本文通过同型仿射拟群扩张为 Bol-Moufang 型拟群建立（上）同调理论，定义第二、第三边界运算并计算多个例子的第二同调群，同时探讨其与小范畴函子系数同调的关系。

Special rank one groups with abelian unipotent subgroups are perfect

T. De Medts, Y. Segev and K. Tent [Special Moufang sets, their root groups and their μ-maps, Proc. Lond. Math. Soc. (3) 96 (2008), 767-791] proved that the little projective group of a special Moufang set M(U,τ) is perfect provided that U has size at least 4. We give a short, elementary and self-contained argument when U is abelian, working with Timmesfeld's concept of special (abstract) rank one groups with abelian unipotent subgroups [Abstract root subgroups and simple groups of Lie type, Monographs in Mathematics, 95. Birkhäuser, 2001]. This simplifies Timmesfeld's (quasi) simplicity criter…

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.

On abelian-by-cyclic Moufang loops

We study abelian-by-cyclic Moufang loops. We construct all split $3$-divisible abelian-by-cyclic Moufang loops from so-called Moufang permutations on abelian groups $(X,+)$, which are permutations that deviate from an automorphism of $(X,+)$ by an alternating biadditive mapping (satisfying certain properties). More generally, we obtain additional abelian-by-cyclic Moufang loops from so-called construction pairs. As an aside, we show that in the Moufang loops $Q$ obtained from a construction pair on $(X,+)$ the abelian normal subgroup $(X,+)$ induces an abelian congruence of $Q$ if and only if …

Cyclic extensions of Moufang loops induced by semi-automorphisms

It is well known that if a group G factorizes as G = NH where H\leq G and N is normal in G then the group structure of G is determined by the subgroups H and N, the intersection of N with H and how H acts on N with a homomorphism f : H -> Aut(N). Here we generalize the idea by creating extensions using the semi-automorphism group of N. We show that if G=NH is a Moufang loop, N is a normal subloop, and H=<u> is a finite cyclic group of order coprime to three then the binary operation of G depends only on the binary operation of N, the intersection of N with H, and how u permutes the elements of…

Strong transitivity, Moufang's condition and the Howe--Moore property

Firstly, we prove that every closed subgroup $H$ of type-preserving automorphisms of a locally finite thick affine building $Δ$ of dimension $\geq 2$ that acts strongly transitively on $Δ$ is Moufang. If moreover $Δ$ is irreducible and $H$ is topologically simple, we show that $H$ is the subgroup $\G(k)^+$ of the $k$-rational points $\G(k)$ of the isotropic simple algebraic group $\G$ over a non-Archimedean local field $k$ associated with $Δ$. Secondly, we generalise the proof given in \cite{BM00b} for the case of bi-regular trees to any locally finite thick affine building $Δ$, and obtain tha…

Special rank one groups are perfect

T. De Medts, Y. Segev and K. Tent [Special Moufang sets, their root groups and their μ-maps, Proc. Lond. Math. Soc. (3) 96 (2008), 767-791] proved that the little projective group of a special Moufang set M(U,τ) is perfect provided that U has size at least 4. We give a short, elementary and self-contained argument, working with Timmesfeld's concept of special (abstract) rank one groups with arbitrary unipotent subgroups [Abstract root subgroups and simple groups of Lie type, Monographs in Mathematics, 95. Birkhäuser, 2001].

A scoop from groups: Equational foundations for loops

Groups are usually axiomatized as algebras with an associative binary operation, a two-sided neutral element, and with two-sided inverses. We show in this note that the same simplicity of axioms can be achieved for some of the most important varieties of loops. In particular, we investigate loops of Bol-Moufang type in the underlying variety of magmas with two-sided inverses, and obtain "group-like" equational bases for Moufang, Bol and C-loops. We also discuss the case when the inverses are only one-sided and/or the neutral element is only one-sided.

New Algebraic Properties of Middle Bol Loops

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)$. In this paper, some new algebraic properties of a middle Bol loop are established. Four bi-variate mappings $f_i,g_i,~i=1,2$ and four $j$-variate mappings $α_j,β_j,ϕ_j,ψ_j,~j\in\mathbb{N}$ are introduced and some interesting properties of the former are found. Neccessary and sufficient conditons in terms of $f_i,g_i,~i=1,2$, for a middle Bol loop to have the elasticity property, RIP, LIP, right alternative property (RAP) and left alternative property (LAP) are establsi…

A class of simple proper Bol loops

The existence of finite simple non-Moufang Bol loops was considered as one of the main open problems in the theory of loops and quasigroups. In this paper, we present a class of proper simple Bol loops. This class also contains finite and new infinite simple proper Bol loops.

On Twisted Subgroups and Bol Loops of Odd Order

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 order, conditions which should be useful in the development of a Feit-Thompson theorem for Bol loops. Bol loops are closely related to Aschbacher's twisted subgroups, and we survey the latter in some detail, especially with regard to the so-called Aschbacher radical.

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…

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…

Embeddings of $\mathrm{PSL}_2(q)$ in exceptional groups of Lie type over a field of characteristic $\ne2,3$

Let $\boldsymbol{G}$ be an algebraic group of exceptional Lie type in characteristic $p$, $G=\boldsymbol{G}^σ$ its fixed-point subgroup under the action of a Steinberg endomorphism $σ$, and $\overline{G}$ an almost simple group with socle $G$. A maximal subgroup $M<\overline{G}$ is called non-generic if it is almost simple and its socle is not isomorphic to a group of Lie type in characteristic $p$. A finite subgroup $H$ of $\boldsymbol{G}$ is Lie primitive if it does not lie in any proper closed positive-dimensional subgroup of $\boldsymbol{G}$; it is Lie imprimitive if it lies in a positive-…

A class of Bol loops with a subgroup of index two

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)$.

Holomorphic Structure of Middle Bol Loops

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…

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 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…