Related papers: Octonions, simple Moufang loops and triality
We give an interpretation of the construction of torsors from preceding work (Bertram, Kinyon: Associative Geometries. I, J. Lie Theory 20) in terms of classical projective geometry. For the Desarguesian case, this leads to a reformulation…
By consireding representation theory for non-associative algebras we construct the fundamental and adjoint representations of the octonion algebra. We then show how these representations by associative matrices allow a consistent octonionic…
We derive presentations for Moufang loops of type $M(G,2)$, defined by Chein, with $G$ finite, two-generated. We then use $G=S_3$ to visualize the smallest non-associative Moufang loop.
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…
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…
A concept of the Moufang-Malt'tsev pair is elaborated. This concept is based on the generalized Maurer-Cartan equations of a local analytic Moufang loop. Triality can be seen as a fundamental property of such pairs. Based on triality, the…
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…
It is known that semigroups are Ramsey algebras. This paper is an attempt to understand the role associativity plays in a binary system being a Ramsey algebra. Specifically, we show that the nonassociative Moufang loop of octonions is not a…
Let $V$ be a cubic surface defined by the equation $T_0^3+T_1^3+T_2^3+\theta T_3^3=0$ over a quadratic extension of 3-adic numbers $k=\mathbb{Q}_3(\theta)$, where $\theta^3=1$. We show that a relation on a set of geometric k-points on $V$…
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 show how to do gauge theory on the octonions and other nonassociative algebras such as `fuzzy $R^4$' models proposed in string theory. We use the theory of quasialgebras obtained by cochain twist introduced previously. The gauge theory…
The nonassociativity of the octonion algebra necessitates a bimodule representation, in which each element is represented by a left and a right multiplier. This representation can then be used to generate gauge transformations for the…
We show how to obtain all nonassociative Moufang loops of order less than 64 and 4262 nonassociative Moufang loops of order 64 in a unified way. We conjecture that there are no other nonassociative Moufang loops of order 64. The main idea…
Recently we have reformulated the octonions as quasissociative algebras (quasialgebras) living in a symmetric monoidal category. In this note we provide further examples of quasialgebras, namely ones where the nonassociativity is induced by…
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 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…
In this paper we revisit and extend the constructions of Glauberman and Doro on groups with triality and Moufang loops to Hopf algebras. We prove that the universal enveloping algebra of any Lie algebra with triality is a Hopf algebra with…
A loop is a rather general algebraic structure that has an identity element and division, but is not necessarily associative. Smooth loops are a direct generalization of Lie groups. A key example of a non-Lie smooth loop is the loop of unit…
The decomposition theorem for torsion abelian groups holds analogously for torsion commutative diassociative loops. With this theorem in mind, we investigate commutative diassociative loops satisfying the additional condition (trivially…
A representation of an object in a category is an abelian group in the corresponding comma category. In this paper we derive the formulas describing linear representations of objects in the category of formal loops and apply them to obtain…