Let $C(F)$ be a matrix Cayley-Dickson algebra over field $F$. By $M_0(F)$ we denote the loop containing of all elements of algebra $C(F)$ with norm 1. It is shown in this paper that with precision till isomorphism the loops $M_0(F)/<-1>$ they and only they are simple non-associative Moufang loops, where $F$ are subfields of algebraic closed field
The paper establishes an one-to-one correspondence between simple Moufang loops and Paige loops constructed over Galois extension over prime field in its algebraic closure. Using this connection it describes fully the family of nonassociative finite simple Moufang loops.It describes the generators, the loop structure of subloops, the automorphism group of nonassociative simple Moufang loops.
In this note we introduce the concept of an almost left automorphic Moufang loop and study the properties of tangent algebras of smooth loops of this class.
The various finiteness conditions in commutative Moufang loops are characterized using the notions of centralizer of subloops and centralizer of subgroups of its multiplication group.
We prove that for positive integers $m \geq 1, n \geq 1$ and a prime number $p \neq 2,3$ there are finitely many finite $m$-generated Moufang loops of exponent $p^n$.
It is proved that the maximum condition for subloops in a commutative Moufang loop $Q$ is equivalent with the conditions of finite generating of different subloops of the loop $Q$ and different subgroups of the multiplication group of the loop $Q$. An analogue equivalence is set for the commutative Moufang $ZA$-loops.
The paper defines the notion of alternative loop algebra F[Q] for any nonassociative Moufang loop Q as being any non-zero homomorphic image of the loop algebra FQ of a loop Q over a field F. For the class M of all nonassociative alternative loop algebras F[Q] and for the class L of all nonassociative Moufang loops Q are defined the radicals R and S, respectively. Moreover, for classes M, L is proved an analogue of Wedderburn Theorem for finite dimensional associative algebras. It is also proved that any Moufang loop Q from the radical class R can be embedded into the loop of invertible element…
In this note we describe the structure of finite dimensional Malcev algebras over a field of real numbers $\mathbb{R}$, which are nilpotent module its Lie center. It is proved that the corresponding analytic global Moufang loops are nilpotent module their nucleus.
It is known that with precision till isomorphism that only and only loops $M(F) = M_0(F)/<-1>$, where $M_0(F)$ denotes the loop, consisting from elements of all matrix Cayley-Dickson algebra $C(F)$ with norm 1, and $F$ be a subfield of arbitrary fixed algebraically closed field, are simple non-associative Moufang loops. In this paper it is proved that the simple loops $M(F)$ they and only they are not embedded into a loops of invertible elements of any unitaly alternative algebras if $\text{char} F \neq 2$ and $F$ is closed under square root operation. For the remaining Moufang loops such an e…
It is proved that the following conditions are equivalent for an infinite non-associative commutative Moufang loop $Q$: 1) $Q$ satisfies the minimum condition for subloops; 2) if the loop $Q$ contains a centrally solvable subloop of class $s$, then it satisfies the minimum condition for centrally solvable subloops of class $s$; 3) if the loop $Q$ contains a centrally nilpotent subloop of class $n$, then it satisfies the minimum condition for centrally nilpotent subloops of class $n$; 4) $Q$ satisfies the minimum condition for non-invatiant associative subloops. The structure of the commutative…
The structure of the commutative Moufang loops (CML) with minimum condition for subloops is examined. In particular it is proved that such a CML $Q$ is a finite extension of a direct product of a finite number of the quasicyclic groups, lying in the centre of the CML $Q$. It is shown that the minimum conditions for subloops and for normal subloops are equivalent in a CML. Moreover, such CML also characterized by different conditions of finiteness of its multiplication groups.
Let $L$ be a commutative Moufang loop (CML) with multiplication group $\frak M$, and let $\frak F(L)$, $\frak F(\frak M)$ be the Frattini subgroup and Frattini subgroup of $L$ and $\frak M$ respectively. It is proved that $\frak F(L) = L$ if and only if $\frak F(\frak M) = \frak M$ and is described the structure of this CLM. Constructively it is defined the notion of normalizer for subloops in CML. Using this it is proved that if $\frak F(L) \neq L$ then $L$ satisfies the normalizer condition and that any divisible subgroup of $\frak M$ is an abelian group and serves as a direct factor for $\f…
Let a Moufang loop Q contain a non-unitary subloop, which is a simple loop. Then Q is not embedded into a loop of invertible elements of any alternative algebra.
We compute the orders of free commutative Moufand loops of exponent 3 with $n\leq 7$ free generators and find embeddings of such loops into a loop of invertible elements of the free commutative alternative algebra with identity $x^3=0$.
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.
In the classification of Moufang polygons by J. Tits and R. Weiss, the most intricate case is by far the case of the exceptional Moufang quadrangles of type E_6, E_7 and E_8, and in fact, the construction that they present is ad-hoc and lacking a deeper explanation. We will show how tensor products of two composition algebras can be used to construct these Moufang quadrangles in characteristic different from 2. As a byproduct, we will obtain a method to construct any Moufang quadrangle in characteristic different from two from a module for a Jordan algebra.
In 2000, J. Tits and R. Weiss classified all Moufang spherical buildings of rank two, also known as Moufang polygons. The hardest case in the classification consists of the Moufang quadrangles. They fall into different families, each of which can be described by an appropriate algebraic structure. For the exceptional quadrangles, this description is intricate and involves many different maps that are defined ad hoc and lack a proper explanation. In this paper, we relate these algebraic structures to two other classes of algebraic structures that had already been studied before, namely to Freud…
In this article, we provide an algorithm with Wolfram Mathematica code that gives a unified computational power in classification of finite dimensional nilpotent algebras using Skjelbred-Sund method. To illustrate the code, we obtain new finite dimensional Moufang algebras.
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.
We describe the general non-associative version of Lie theory that relates unital formal multiplications (formal loops), Sabinin algebras and non-associative bialgebras. Starting with a formal multiplication we construct a non-associative bialgebra, namely, the bialgebra of distributions with the convolution product. Considering the primitive elements in this bialgebra gives a functor from formal loops to Sabinin algebras. We compare this functor to that of Mikheev and Sabinin and show that although the brackets given by both constructions coincide, the multioperator does not. We also show how…
We study non-associative twisted group algebras over $(\Z_2)^n$ with cubic twisting functions. We construct a series of algebras that extend the classical algebra of octonions in the same way as the Clifford algebras extend the algebra of quaternions. We study their properties, give several equivalent definitions and prove their uniqueness within some natural assumptions. We then prove a simplicity criterion. We present two applications of the constructed algebras and the developed technique. The first application is a simple explicit formula for the following famous square identity: $(a_1^2+.…
The loop-Virasoro algebra is the Lie algebra of the tensor product of the Virasoro algebra and the Laurent polynomial algebra. This paper classifies irreducible Harish-Chandra modules over the loop-Virasoro algebra, which turn out to be highest weight modules, lowest weight modules and evaluation modules of the intermediate series (all wight spaces are 1-dimensional). As a by-product, we obtain a classification of irreducible Harish-Chandra modules over truncated Virasoro algebras. We also determine the necessary and sufficient conditions for highest weigh irreducible modules over the loop-Vir…
We classify the finite semigroups S, for which all the Z-orders O of the rational Q-algebra QS, is such that the unit group U(O) is hyperbolic. We also classify the RA-loops L, for which the unit loop U(ZL) does not contain any free abelian subgroup of rank two.
Loughborough University(拉夫堡大学);Academy of Mathematics and Systems Science, Chinese Academy of Sciences(中国科学院数学与系统科学研究院);Johannes Kepler University(约翰内斯·开普勒大学)
We provide a complete classification of paradoxical closed-loop $n$-linkages, where $n\geq6$, of mobility $n-4$ or higher, containing revolute, prismatic or helical joints. We also explicitly write down strong necessary conditions for $nR$-linkages of mobility $n-5$. Our main new tool is a geometric relation between a linkage $L$ and another linkage $L'$ resulting from adding equations to the configuration space of $L$. We then lift known classification results for $L'$ to $L$ using this relation.