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 of the computer search is to modify precisely one quarter of the multiplication table in a certain way, previously applied to small

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 satisfied in the abelian group case) that all nth powers are central, for a fixed n. For n = 2, we get precisely commutative C loops. For n = 3, a prominent var...

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 quantum Moufang loops. 1 Moufang loops It is well known how the Lie algebras are connected with the Lie groups. In the present paper, it is explicitly shown h...

A loop satisfies Moufang’s theorem whenever the subloop generated by three associating elements is a group. Moufang loops (loops that satisfy the Moufang identities) satisfy Moufang’s theorem, but it is possible for a loop that is not Moufang to nevertheless satisfy Moufang’s theorem. Steiner loops that are not Moufang loops are known to arise from Steiner triple systems in which some triangle ...

Let M∗(q) be the unique nonassociative finite simple Moufang loop constructed over GF (q). We prove that Aut(M∗(2)) is the Chevalley group G2(2), by extending multiplicative automorphism of M∗(2) into linear automorphisms of the unique split octonion algebra over GF (2). Many of our auxiliary results apply in the general case. In the course of the proof we show that every element of a split oct...

The main result of this paper is the determination of all nonassociative Moufang loops of orders *31. Combinatorial type methods are used to consider a number of cases which lead to the discovery of 13 loops of the type in question and prove that there can be no others. All of the loops found are isomorphic to all of their loop isotopes, are solvable, and satisfy both Lagrange's theorem and Syl...

We describe all constructions for loops of Bol-Moufang type analogous to the Chein construction M(G, ∗, g0) for Moufang loops. Mathematics subject classification: 20N05.

A Smarandache quasigroup(loop) is shown to be universal if all its f, g-principal isotopes are Smarandache f, g-principal isotopes. Also, weak Smarandache loops of Bol-Moufang type such as Smarandache: left(right) Bol, Moufang and extra loops are shown to be universal if all their f, g-principal isotopes are Smarandache f, gprincipal isotopes. Conversely, it is shown that if these weak Smaranda...