Ero sivun ”Monoidi” versioiden välillä
[arvioimaton versio] | [arvioimaton versio] |
Poistettu sisältö Lisätty sisältö
pEi muokkausyhteenvetoa |
pEi muokkausyhteenvetoa |
||
Rivi 2:
# Suljettu: ∀ ''a'',''b'' ∈ ''G'': ''a''*''b'' ∈ ''G'',
# Yksikköalkio: ∃ ''e'' ∈ ''G'': ''e''*''a'' = ''a''*''e'' = a, ∀ ''a'' ∈ ''G'',▼
# Assosiatiivisuus: ∀ a,b,c ∈ ''G'': (a*b)*c = a*(b*c).
▲# Yksikköalkio: ∃ ''e'' ∈ ''G'': ''e''*''a'' = ''a''*''e'' = a, ∀ ''a'' ∈ ''G'',
Toisin sanoen monoidi on [[puoliryhmä]], jossa on [[yksikköalkio]].
|