Related papers: Simple Moufang loops and alternative algebras

It is proved that any free Moufang loop can be embedded in a loop of invertible elements of some alternative algebra.

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…

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…

It is explicitly shown how the Lie algebras can be associated with the analytic Moufang loops. The resulting Lie algebra commutation relations are well known from the theory of alternative algebras and can be seen as a preliminary step to…

We show that each half-automorphism of a finite automorphic Moufang loop is trivial. In general this is not true for finite left automorphic Moufang loops and for finite automorphic loops.

We introduce a class of non-Moufang loops satisfying the Moufang's theorem.

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

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…

We construct a Moufang loop $M$ of order $3^{19}$ and a pair $a,b$ of its elements such that the set of all elements of $M$ that associate with $a$ and $b$ does not form a subloop. This is also an example of a nonassociative Moufang loop…

We prove that if the squaring map in the factor loop of a Moufang loop $Q$ over its nucleus is surjective, then every half-isomorphism of $Q$ onto a Moufang loop is either an isomorphism or an anti-isomorphism. This generalizes all earlier…

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

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…

Automorphic loops are loops in which all inner mappings are automorphisms. This variety of loops includes groups and commutative Moufang loops. A half-isomorphism $f : G \longrightarrow K$ between multiplicative systems $G$ and $K$ is a…

In this paper the linear representations of analytic Moufang loops are investigated. We prove that every representation of semisimple analytic Moufang loop is completely reducible and find all nonassociative irreducible representations. We…

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…

We prove that a normal subloop $X$ of a Moufang loop $Q$ induces an abelian congruence of $Q$ if and only if each inner mapping of $Q$ restricts to an automorphism of $X$ and $u(xy) = (uy)x$ for all $x,y\in X$ and $u\in Q$. The former…

An open problem in theory of loops is to find the variety of non- Moufang loops satisfying the Moufang Theorem. In this note, we present a variety of local smooth diassociative loops with such property.

The continuous Moufang loops are characterized as the algebraic systems where the associativity law is perturbed minimally. The minimal perturbation of associativity is characterized by the first- order partial differential equations, which…

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…

We classify the simple infinite dimensional integrable modules with finite dimensional weight spaces over the quantized enveloping algebra of an untwisted affine algebra. We prove that these are either highest (lowest) weight integrable…