Asociatívny grupoid

Asociatívny grupoid (alebo Pologrupa) je grupoid s asociatívnou operáciou.

Príklady 

 Každá grupa je súčasne pologrupou. Príkladom pologupy, ktorá nie je grupou, je , t.j. množina prirodzených čísel s operáciou sčitovania.
 Matice rozmerov n×n s operáciou násobenia matíc.
 Prirodzené čísla a operácia maximum. Všeobecnejšie, každý polozväz je súčasne pologrupa.

Vlastnosti 

Každá konečná pologrupa obsahuje prvok, ktorý je idempotentný.

Referencie

Externé odkazy

Zdroje
 

Algebrické štruktúry