Puoliryhmä

Wikipedia
Loikkaa: valikkoon, hakuun

Puoliryhmä on algebrallinen rakenne, joka koostuu liitännäisen operaation * suhteen suljetusta joukosta G. Toisin sanoen, puoliryhmä on assosiatiivinen magma. Puoliryhmä eroaa ryhmästä siinä, että puoliryhmässä ei tarvitse olla käänteisalkiota eikä neutraalialkiota. Jos neutraalialkio on, puoliryhmää kutsutaan monoidiksi.

Puoliryhmät toteuttavat seuraavat ehdot:

  1. Suljettu eli vakaa: \forall x,y \in G, x*y \in G,
  2. Assosiatiivinen: \forall x,y,z \in G, (x*y)*z=x*(y*z) \in G.
Tämä matematiikkaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.