Квазигруппа — магма, в которой всегда возможно деление. В отличие от группы, квазигруппа не обязана быть ассоциативной. Любая ассоциативная квазигруппа является группой.
Квазигруппой называют пару (Q, *) из непустого множества Q с бинарной операцией * : Q × Q → Q, удовлетворяющей следующему условию: для любых элементов a и b из Q найдутся единственные элементы x и y из Q, такие что
Решения этих уравнений иногда записывают так:
Операции и / называют левым делением и правым делением.
Квазигруппу с единицей называют также лупой (от англ. loop — петля).
Если между элементами двух квазигрупп Q и R можно установить биекцию (то есть они равномощны как множества), говорят, что Q и R имеют одинаковый порядок. Если при этом существуют перестановки A, B, C, действующие на элементах этих квазигрупп, такие что
(здесь (,) и [ , ] — операции в Q и R соответственно), то такие квазигруппы называют изотопными.
Для любой квазигруппы существует лупа, которой она изотопна. Если же лупа изотопна группе, то эта лупа является группой. В более общем случае: если полугруппа изотопна лупе, то они изоморфны и обе изоморфны некоторой группе. Изотопия, в некотором[каком?] смысле, эквивалентна изоморфизму групп, но существуют квазигруппы изотопные, но не изоморфные группам.
Любой латинский квадрат является таблицей умножения (таблицей Кэли) квазигруппы.
Квазигруппа называется полностью антисимметричной, если выполняются ещё два свойства:
В 2004 году М. Дамм представил примеры полностью антисимметричных квазигрупп, что явилось значительным математическим достижением XXI века.
Полностью антисимметричные квазигруппы (квазигруппы Дамма) используются в кодах, распознающих ошибку (алгоритм Дамма).