Asociatívny grupoid

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání

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

Príklady[upraviť | upraviť kód]

  • 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ť kód]

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

Referencie[upraviť | upraviť kód]

  1. Grillet 2001, Corollary I.5.9, s. 25

Externé odkazy[upraviť | upraviť kód]

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

Zdroje[upraviť | upraviť kód]