A group is a set of elements with a closed, invertible, and associative binary operation with a unit element. The associative property is

for all

in the group. A group is commutative (or Abelian) if

for all

in the group. (Often then the operation is written

.)

A loop is a set of elements with a closed, invertible binary operation with a unit. In other words, a loop is a group provided it is associative. A Moufang loop is a loop with a weak form of associativity,

for all

in the Moufang loop. So all groups are Moufang loops; Moufang loops are used to define vector-division tables (usually with divisors of zero). All Moufang loops are alternative (or square associative)

, but some alternative loops lack the Moufang property.

Loops can be expressed as

Cayley index tables with the first row and column containing the indices

in that order and with each index occurring once in each row and column. They can also be expressed as symbolic tables using

letters. This Demonstration shows both forms, with colored or plain backgrounds (the colors might be hard to read for large

).

When

has several factors, there may be many groups; reordering the indices (or elements) gives many isomorphs representing the same group. I choose a "protoloop" (my name for a preferred isomorph, chosen to display structure) to represent each group as a standard table. I provide an unambiguous group name of the form gxxyy (e.g., g1607), where yy is the index in the list of groups of length xx in the GAP atlas. (The GAP atlas lists all groups up to a certain size.) I include a few examples that are not groups after the groups using Mxxyy

* *for the Moufang loops, nxxyy

* *for general systems, and Altxxyy for alternative loops that are not Moufang loops.

In most cases, the table is created by an "incantation" (my name for any formula that creates a loop table) involving the following procedures:

(1)

ca[m, a : 1] creates a loop of length

;

gives the cyclic group

;

gives a dihedral group

;

gives a generalized quaternion group

. Other values may give other groups.

(2)

co[g, h, a : 1] "composes" the groups

and

to get

; if

,

* *the result may be an indirect composition

or

.

(3)

cadi and

md create loops via generalized Cayley-Dickson and Moufang "doubling".

I do not know incantations in this form for a few of the groups in this Demonstration, so some are supplied as named tables. 15 (out of 51) 32-element groups, and two (out of 14) 36-element groups are omitted. A few (nonassociative) Moufang loops may be missing. The Demonstration is based on "Groups, Loops, & Hoop Algebras" (see Related Link), which contains many more groups, loops, and incantations.

Select a table length

* *and an index. The table will appear. Use "show" to choose between different displays. The group name gxxyy and a mnemonic (usually showing the group type or structure) appear above the table. The incantation appears below it, together with an identifier. The identifier is a "generalized table signature" unique to isomorphs of most groups.