Related papers: Introduction: Non-Associative Finite Invertible Lo…

The NAFIL is a finite loop in which every element has a unique (two-sided)inverse. NAFIL loops can be classified into two types: composite (with at least one non-trivial subsystem) and non-composite or plain (without any non-trivial…

The existence of NAFIL loops of every odd order n => 5 is established by construction. These are non-associative finite invertible loops that are simple and power-associative and they form an infinite family. The first member of this family…

We study loops which are universal (that is, isotopically invariant) with respect to the property of flexibility ($xy\cdot x = x\cdot yx$). We also weaken this to semi-universality, that is, loops in which every left and right isotope is…

Finite groups are of the greatest importance in science. Loops are a simple generalization of finite groups: they share all the group axioms except for the requirement that the binary operation be associative. The least loops that are not…

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…

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 introduce a non-associative and non-commutative version of propositional intuitionistic linear logic, called propositional non-associative non-commutative intuitionistic linear logic (NACILL for short). We prove that NACILL and any of…

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…

We investigate Moufang loops which can be written as the semidirect product of a loop and a group. We also examine a particular class of loop extensions which arise as a result of a finite cyclic group acting as a group of semiautomorphisms…

We study conjugacy closed loops (CC-loops) and power-associative CC-loops (PACC-loops). If $Q$ is a PACC-loop with nucleus $N$, then $Q/N$ is an abelian group of exponent 12; if in addition $Q$ is finite, then $|Q|$ is divisible by 16 or by…

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…

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…

We prove that the class of all loops with the inverse property (IP loops) has the Finite Embedding Property (FEP). As a consequence, every group is locally embeddable into finite IP 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…

Twisted loop algebras of the second kind are infinite-dimensional Lie algebras that are constructed from a semisimple Lie algebra and an automorphism on it of order at most $2$. They are examples of equivariant map algebras. The…

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…

This paper is devoted to a systematic study and classification of invariant affine or metric connections on certain classes of naturally reductive spaces. For any non-symmetric, effective, strongly isotropy irreducible homogeneous…

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…

Nodal loop appears when two bands, typically one electron-like and one hole-like, are crossing each other linearly along a one-dimensional manifold in the reciprocal space. Here we propose a new type of nodal loop which emerges from…

We describe the structure of module categories of finite dimensional algebras over an algebraically closed field for which the cycles of nonzero nonisomorphisms between indecomposable finite dimensional modules are finite (do not belong to…