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 $(\mathbb {N} ,+)$, t.j. množina prirodzených čísel s operáciou sčítavania.
• 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ý.

Externé odkazy

• FILIT – zdroj, z ktorého pôvodne čerpal tento článok.

Zdroje

• GRILLET, Pierre A.. Commutative Semigroups. Dordrecht : Springer Science+Business Media, 2001. Dostupné online. ISBN 978-0-7923-7067-3.