nLab
quasigroup

Idea

A quasigroup is a generalization of a group without the associativity law or identity element. A quasigroup with identity is called a loop.

Note that, in the absence of associativity, it's not enough (even for a loop) to say that every element has an inverse element (on either side); instead, you must say that division is always possible. This is because the definition $x/y=x{y}^{-1}$ won't work right without associativity.

   

Zoran This picture is already at centipede mathematics and regarding that the entry quasigroup should expand by more meaningful graphs for them, and that we like lightweight wiki anyway (for backuping, downloading etc.), I would suggest to keep the picture only at a single place where it belongs – at centipede mathematics.

Toby: As far as backing things up, this makes no difference; there's only one file on the servers. Even when reading the wiki, your browser will only download it once as you go through pages. However, as a matter of style, I agree that the picture does not work very well most places that John put it, including here. (I think that John may have been in a silly mood yesterday.)

John Baez: Sort of — I think a certain amount of humor would not kill this website. I was also in the mood for letting people know that certain topics are widely considered centipede mathematics.

Some consider these concept to be examples of centipede mathematics and uninteresting due to their lack of deep applications. For example, one mathematician has written:

The meeting was dominated by algebraic loop theory. It occured to me that as a way to use your intellectual resources this was very akin in significance to doing a difficult sudoku, a thought that was made very ironic when one speaker started making loops out of what were essentially sudoku squares.

Nonetheless it can be instructive to ponder these concepts, and there are some nontrivial examples.

Definitions

The usual definition is this:

Definition

A quasigroup is a set $G$ equipped with a binary operation $G\times G\to G$ (which we will write with concatenation) such that:

• for all $x$ and $y$, there exist unique $l$ and $r$ such that $lx=y$ and $xr=y$.

Then $l$ is called the left quotient $y/x$ ($y$ divided by $x$, $y$ over $x$) and $r$ is called the right quotient $x\backslash y$ ($x$ dividing $y$, $x$ under $y$).

Note that we must specify, in the definition, that $l$ and $r$ are unique; without associativity, we cannot prove this.

As with the inverse elements of a group, we can make the quotients into operations so that all axioms are equations:

Definition

A quasigroup is a set $G$ equipped with three binary operations (product, left quotient, and right quotient) such that these equations always hold:

• $(x/y)y=x$,
• $x(x\backslash y)=y$,
• $(xy)/y=x$,
• $x\backslash (xy)=y$.

Thus quasigroups are described by a Lawvere theory and can therefore be internalized into any cartesian monoidal category.

In any case:

Definition

A loop is a quasigroup with an identity element.

Loops are also described by a Lawvere theory.

Note that, even in a loop, left and right inverses need not agree. See the discussion on the English Wikipedia for convenient inverse properties.

For good measure, here is another special kind of quasigroup:

Definition

A group is an associative loop.

Examples

• Any group is a loop, of course.
• Any abelian group is a quasigroup in two other ways: the product switches places with one of the quotients. (The other quotient remains a quotient.)
• The nonzero elements of a (not necessarily associative) division algebra? (such as the octonion?s) form a quasigroup; this fact is basically the definition of ‘division algebra’.