Asociatívny grupoid
Vzhľad
Asociatívny grupoid (alebo Pologrupa) je grupoid s asociatívnou operáciou.
Príklady
[upraviť | upraviť zdroj]- 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
[upraviť | upraviť zdroj]Každá konečná pologrupa obsahuje prvok, ktorý je idempotentný.[1]
Referencie
[upraviť | upraviť zdroj]- ↑ Grillet 2001, Corollary I.5.9, s. 25
Externé odkazy
[upraviť | upraviť zdroj]- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
Zdroje
[upraviť | upraviť zdroj]- GRILLET, Pierre A.. Commutative Semigroups. Dordrecht : Springer Science+Business Media, 2001. Dostupné online. ISBN 978-0-7923-7067-3.