Saltu al enhavo

Kvazaŭgrupo

El Vikipedio, la libera enciklopedio

Kvazaŭgrupo en la matematika fako pri abstrakta algebro estas algebra strukturo (, ) konsistanta el nemalplena aro kun duvalenta operacio tia, ke 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 aperas precize unu fojon.

Ĉiu kvazaŭgrupo posedas redukteblecon, tio estas

  • sekvas
  • sekvas

Kvazaŭgrupo kun neŭtrala elemento estas lopo.