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ällä tarkoitetaan [[algebra]]ssa joukkoa G ja siinä määriteltyä laskutoimitusta * jolle
 
Puoliryhmät toteuttavat seuraavat ehdot:
1. * on vakaa eli kaikilla <math>x,y \in G</math>, <math>x*y \in G</math>
 
2. * on assosiatiivinen#Suljettu eli kaikillavakaa: <math>\forall x,y,z \in G</math>, <math>(x*y)*z=x*(y*z) \in G.</math>
 
1. * on vakaa eli kaikilla#Assosiatiivinen: <math>\forall x,y,z \in G</math>, <math>(x*y)*z=x*(y*z) \in G.</math>
 
{{tynkä/Matematiikka}}
 
[[Luokka:Abstrakti algebra]]
 
[[en:Semigroup]]