**Problem of the Week**

**BUGCAT**

**Zassenhaus Conference**

**Hilton Memorial Lecture**

**BingAWM**

**Math Club**

**Actuarial Association**

seminars:comb:abstract.200311zas

A group without associativity is called a ``quasigroup`. (Technically, a quasigroup also has no identity, but that part is not too significant.) Groups can be used to construct a certain combinatorial structure called a ``Dowling geometry`

of any dimension, but for quasigroups that construction is possible only in dimension 2 or less. The reason is that dimension 3 implies the associative law. This was shown by Kahn and Kung around 1980 by using the combinatorial structure to construct a multiplication operation which, in dimension 3, can be shown to be associative. I will give a new and more natural proof using the axioms for a group in terms of division – an axiomatization that is not as well known as it ought to be.

seminars/comb/abstract.200311zas.txt · Last modified: 2020/01/29 14:03 (external edit)

Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported