Kvazaŭgrupo

El Vikipedio, la libera enciklopedio
Salti al navigilo Salti al serĉilo

Kvazaŭgrupo en la matematika fako pri abstrakta algebro estas algebra strukturo konsistanta el nemalplena aro kun duargumenta operacio (, ) kun , kie por ĉiuj kaj en la ekvacioj

kaj

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 estas ekzakte unu fojon.

Ĉiu kvazaŭgrupo posedas redukteblecon, tio estas

  • sekvas
  • sekvas

Kvazaŭgrupo kun neŭtra elemento estas lopo.