Monoid: Razlika med redakcijama
Izbrisana vsebina Dodana vsebina
m interwiki |
m {{OEIS| |
||
Vrstica 1:
'''
* Za vsak ''a'', ''b'' <math>\in</math> ''M'', velja ''a'' * ''b'' <math>\in</math> ''M''. ([[zaprtost|Zakon o zaprtosti]]).
Vrstica 15:
* Množice naravnih števil '''N''' z operacijo [[seštevanje|seštevanja]].
* Množica končnih [[znakovni niz|znakovnih nizov]], s praznim znakovnim nizom ε ≡ "" čez poljubno določeno abecedo Σ z operacijo spojitve znakovnega niza. V teoretičnem računalništvu je takšen monoid označen z Σ<sup>*</sup>, v matematiki pa se imenuje »prosti monoid čez Σ«.
** Na primer prosti [[idempotentnost|idempotentni]] monoidi za abecedo Σ z ''n'' črkami so {1, 2, 7, 160, 332381, 2751884514766, 272622932796281408879065987, 3641839910835401567626683593436003894250931310990279692, ...}
::: ''a''(''n'') = Σ ''C''(''n'',''k'') Π (''k''-''i''+1)<sup>2^i</sup>, (pri ''i'' = 1 ... ''k'' in ''k'' = 0 ... ''n'').
* Če izberemo poljuben objekt [[kategorija|kategorije]] in imamo množico vseh [[morfizem|morfizmov]] teh objektov vase z operacijo sestave (kompozicije) (glej [[teorija kategorije|teorijo kategorije]]). Primeri iz dobro znanih kategorij so:
| |||