Ero sivun ”Puoliryhmä” versioiden välillä
[arvioimaton versio] | [arvioimaton versio] |
Poistettu sisältö Lisätty sisältö
p luokka:Algebra->Abstrakti algebra |
Ei muokkausyhteenvetoa |
||
Rivi 1:
Puoliryhmä on [[algebrallinen rakenne]], joka koostuu [[assosiatiivisuus|liitännäisen]] [[operaatio]]n '''*''' suhteen[[joukko]]a suljetusta joukosta G. Toisin sanoen, puoliryhmä on [[assosiatiivinen]] [[magma (matematiikka)]]. Puoliryhmä eroaa [[ryhmä]]stä siinä, että puoliryhmässä ei ole [[käänteisalkio]]ta eikä [[neutraalialkio]]ta.
Puoliryhmät toteuttavat seuraavat ehdot:
1. * on vakaa eli kaikilla <math>x,y \in G</math>, <math>x*y \in G</math>▼
▲
{{tynkä/Matematiikka}}
[[Luokka:Abstrakti algebra]]
[[en:Semigroup]]
|