Related papers: Every diassociative A-loop is Moufang

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…

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…

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…

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…

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…

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.

A loop whose inner mappings are automorphisms is an \emph{automorphic loop} (or \emph{A-loop}). We characterize commutative (A-)loops with middle nucleus of index 2 and solve the isomorphism problem. Using this characterization and certain…

We solve a problem of Belousov which has been open since 1967: to characterize the loop isotopes of F-quasigroups. We show that every F-quasigroup has a Moufang loop isotope which is a central product of its nucleus and Moufang center. We…

Given a uniquely 2-divisible group $G$, we study a commutative loop $(G,\circ)$ which arises as a result of a construction in \cite{baer}. We investigate some general properties and applications of $\circ$ and determine a necessary and…

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.

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 study a variety of loops, RIF, which arise naturally from considering inner mapping groups, and a somewhat larger variety, ARIF. All Steiner and Moufang loops are RIF, and all flexible C-loops are ARIF. We show that all ARIF loops are…

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

Automorphic loops are loops in which all inner mappings are automorphisms. A large class of automorphic loops is obtained as follows: Let $m$ be a positive even integer, $G$ an abelian group, and $\alpha$ an automorphism of $G$ that…

This paper proves that the variety generated by a centrally nilpotent Moufang loop (or centrally nilpotent A-loop) is finitely based.

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…

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…

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…

A bijection $f$ of a loop $L$ is a half-automorphism if $f(xy)\in \{f(x)f(y),f(y)f(x)\}$, for any $x,y\in L$. A half-automorphism is nontrivial when it is neither an automorphism nor an anti-automorphism. A Chein loop $L=G\cup Gu$ is a…

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