Ero sivun ”Puoliryhmä” versioiden välillä
[katsottu versio] | [katsottu versio] |
Poistettu sisältö Lisätty sisältö
Ei muokkausyhteenvetoa |
päivitys |
||
Rivi 1:
Puoliryhmä on [[algebrallinen rakenne]], joka koostuu [[assosiatiivisuus|liitännäisen]] [[operaatio]]n '''*''' suhteen suljetusta joukosta G. Toisin sanoen, puoliryhmä on [[assosiatiivinen]] [[magma (matematiikka)|magma]]. Puoliryhmä eroaa [[ryhmä]]stä siinä, että puoliryhmässä ei tarvitse olla [[käänteisalkio]]ta eikä [[neutraalialkio]]ta. Jos [[neutraalialkio]] on, puoliryhmää kutsutaan [[monoidi]]ksi. <ref name=h1/>
Puoliryhmät toteuttavat seuraavat ehdot:
Rivi 6:
# Assosiatiivinen: <math>\forall x,y,z \in G</math>, <math>(x*y)*z=x*(y*z) \in G.</math>
==
{{Viitteet|viitteet=
* <ref name=h1>{{Kirjaviite | Tekijä=Häsä, Jokke; Rämö, Johanna | Nimeke=Johdatus abstraktiin algebraan | Julkaisupaikka=Helsinki | Julkaisija=Gaudeamus | Vuosi=2015 | Tunniste=ISBN 978-952-495-361-0}}</ref>
}}
{{tynkä/Matematiikka}}
|