Kvazaŭgrupo

Ŝablono:Algebraj strukturoj Kvazaŭgrupo en la matematika fako pri abstrakta algebro estas algebra strukturo ($Q$, $\star$) konsistanta el nemalplena aro $Q$ kun duvalenta operacio $\star :Q\times Q\to Q$ tia, ke por ĉiuj $a$ kaj $b$ en $Q$ la ekvacioj

$a\star x=b$

kaj

$y\star a=b$

posedas po unu solvon, do la solvo kaj ekzistas kaj unikas. Kvazaŭgrupo do estas speciala kazo de magmo.

Finia magmo estas kvazaŭgrupo, se kaj nur se la kejlia tabelo estas latina kvadrato, do se en ĝiaj ĉiu horizontalo kaj ĉiu vertikalo ĉiu elemento de $Q$ aperas precize unu fojon.

Ĉiu kvazaŭgrupo posedas redukteblecon, tio estas

• $a\star c=b\star c$ sekvas $a=b$
• $c\star a=c\star b$ sekvas $a=b$

Kvazaŭgrupo kun neŭtrala elemento estas lopo.