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