Quasigruppo

In mathematica un quasigruppoPatrono:LinfoX es un structura algebric. Illo es un magma con un operation binari $\star :Q\times Q\to Q$, in que pro omne $a$ e $b$ in $Q$ omne de ambe equationes

$a\star x=b$

e

$y\star a=b$

ha exactemente un sol solution pro $x$ e $y$. Isto vole dicer que un solution existe e es univoc.

Le ancian nomine "gruppoide" es a evitar.

Vide etiam

• Subquasigruppo
• Equasigruppo
• Quasigruppo de Ward
• Tabella de leges algebric