En matemàtiques, un semigrup és una estructura algebraica consistent en un conjunt dotat d'una llei de composició interna associativa. Un semigrup és doncs, un magma associatiu.

Formalment, és un semigrup si:

  1. (llei de composició interna).
  2. (associativitat)

Quan un semigrup té a més element neutre s'anomena monoide.

ExemplesModifica

  • El conjunt dels naturals sense el zero, amb l'addició, és un semigrup.
  • El conjunt dels nombres positius múltiples de n per un n fixat, amb l'addició, és un semigrup.

Vegeu tambéModifica

BibliografiaModifica