Pologrupa

Význam Pologrupa v dnešní společnosti je nepopiratelný. Pologrupa je již dlouho předmětem zájmu a diskusí mezi odborníky i běžnými občany. Ať už kvůli svému významu v populární kultuře, jeho dopadu na ekonomiku nebo jeho vlivu na každodenní životy lidí, Pologrupa se ukázal jako velmi důležité téma. V tomto článku prozkoumáme různé pohledy a přístupy na Pologrupa s cílem lépe porozumět jeho roli ve společnosti a jeho dopadu na naše životy.

Asociativita   Neutrální prvek    Inverzní prvek    Komutativita
Abelova grupa AnoAno AnoAno AnoAno AnoAno
Grupa AnoAno AnoAno AnoAno NeNe
Monoid AnoAno AnoAno NeNe NeNe
Pologrupa AnoAno NeNe NeNe NeNe
Lupa NeNe AnoAno AnoAno NeNe
Kvazigrupa NeNe NeNe AnoAno NeNe
Grupoid NeNe NeNe NeNe NeNe
Struktury s jednou binární operací
Schéma vztahů mezi algebraickými strukturami. Výchozí je grupoid (anglicky magma) s jednou uzavřenou operací. Přidáváním dalších podmínek vznikají např. pologrupa (semigroup) a kvazigrupa (quasigroup).

V algebře je pologrupa algebraická struktura s jednou asociativní binární operací. Je to tedy grupoid, jehož operace je asociativní.

Definice

Pologrupa je grupoid (M; ·), tedy množina M s binární operací „·“ : M × MM, a následujícím axiomem:

Někdy se uvádí i následující axiom plynoucí však z definice binární operace.

  • ∀ (x, y ∈ M) x·y ∈ M

Pologrupa s neutrálním prvkem je monoid.

Každá grupa, abelovská grupa a monoid je zároveň pologrupou.

Příklady

Související články

  • Grupoid
  • Monoid – grupoid, jehož operace je asociativní a který má neutrální prvek
  • Grupa – monoid rozšířený o inverzní operaci