Правая квазигруппа

Определения и свойства

Квазигруппой называют пару (Q, *) из множества Q с бинарной операцией * : Q × Q → Q, удовлетворяющей следующему условию: для любых элементов a и b из Q найдётся единственный элемент x из Q, такой что

• x * a = b

Решение этого уравнения иногда записывают так:

• x = b / a

Операцию / называют правым делением.