Distributive and trimedial quasigroups of order 243

We enumerate three classes of non-medial quasigroups of order $243=3^5$ up to isomorphism. There are $17004$ non-medial trimedial quasigroups of order $243$ (extending the work of Kepka, B\'en\'eteau and Lacaze), $92$ non-medial distributive quasigroups of order $243$ (extending the work of Kepka and N\v{e}mec), and $6$ non-medial distributive Mendelsohn quasigroups of order $243$ (extending the work of Donovan, Griggs, McCourt, Opr\v{s}al and Stanovsk\'y). The enumeration technique is based on affine representations over commutative Moufang loops, on properties of automorphism groups of commutative Moufang loops, and on computer calculations with the \texttt{LOOPS} package in \texttt{GAP}

Code loops in dimension at most 8

Code loops are certain Moufang $2$-loops constructed from doubly even binary codes that play an important role in the construction of local subgroups of sporadic groups. More precisely, code loops are central extensions of the group of order $2$ by an elementary abelian $2$-group $V$ in the variety of loops such that their squaring map, commutator map and associator map are related by combinatorial polarization and the associator map is a trilinear alternating form. Using existing classifications of trilinear alternating forms over the field of $2$ elements, we enumerate code loops of dimension $d=\mathrm{dim}(V)\le 8$ (equivalently, of order $2^{d+1}\le 512$) up to isomorphism. There are $767$ code loops of order $128$, and $80826$ of order $256$, and $937791557$ of order $512$

3-nets realizing a diassociative loop in a projective plane

A \textit{$3$-net} of order $n$ is a finite incidence structure consisting of points and three pairwise disjoint classes of lines, each of size $n$, such that every point incident with two lines from distinct classes is incident with exactly one line from each of the three classes. The current interest around $3$-nets (embedded) in a projective plane $PG(2,K)$, defined over a field $K$ of characteristic $p$, arose from algebraic geometry. It is not difficult to find $3$-nets in $PG(2,K)$ as far as $0<p\le n$. However, only a few infinite families of $3$-nets in $PG(2,K)$ are known to exist whenever $p=0$, or $p>n$. Under this condition, the known families are characterized as the only $3$-nets in $PG(2,K)$ which can be coordinatized by a group. In this paper we deal with $3$-nets in $PG(2,K)$ which can be coordinatized by a diassociative loop $G$ but not by a group. We prove two structural theorems on $G$. As a corollary, if $G$ is commutative then every non-trivial element of $G$ has the same order, and $G$ has exponent $2$ or $3$. We also discuss the existence problem for such $3$-nets

Interval Algebraic Bistructures

This book has four chapters. In the first chapter interval bistructures (biinterval structures) such as interval bisemigroup, interval bigroupoid, interval bigroup and interval biloops are introduced. Throughout this book we work only with the intervals of the form [0, a] where a \in Zn or Z+ \cup {0} or R+ \cup {0} or Q+ \cup {0} unless otherwise specified. Also interval bistructures of the form interval loop-group, interval groupgroupoid so on are introduced and studied. In chapter two n-interval structures are introduced. n-interval groupoids, n-interval semigroups, n-interval loops and so on are introduced and analysed. Using these notions n-interval mixed algebraic structure are defined and described. Some probable applications are discussed. Only in due course of time several applications would be evolved by researchers as per their need. The final chapter suggests around 295 problems of which some are simple exercises, some are difficult and some of them are research problems.Comment: 208 page