Vés al contingut

Semigrup

De la Viquipèdia, l'enciclopèdia lliure

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.[1][2]

Formalment, és un semigrup si:

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

Quan un semigrup té a més element neutre s'anomena monoide.[3][4]

Exemples

[modifica]
  • 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.
  • El conjunt dels polinomis de grau 3 amb coeficients naturals, amb l'addició, és un semigrup, amb les característiques següents:

L'operació és una llei de composició interna

[modifica]

Podem expressar dos polinomis i de grau 3 amb coeficients naturals qualssevol de la següent manera:

La suma dels dos polinomis pot ser entesa com la suma dels seus components:

.

Atès que els coeficients de i són naturals, els de la seva suma també ho seran. Per tant, l'operació és una llei de composició interna.

No té element neutre

[modifica]

Prenent i un polinomi tal que , on e, f, g i h són nombres naturals, és l'element neutre del conjunt si satisfà l'equació . Per tant, la suma d'aquests dos polinomis hauria de ser igual a . L'única solució possible a aquesta equació és que totes les components de siguin 0, de manera que no seria un element del conjunt. En conseqüència, no existeix un element neutre.

L'operació és associativa en el conjunt

[modifica]

Com s'ha especificat abans, la suma de dos polinomis pot expressar-se com la suma dels seus components. Sabent que aquests són nombres naturals i que la suma és associativa pels nombres naturals, pot es pot assegurar que l'operació també és associativa en el conjunt dels polinomis de grau 3 amb coeficients naturals.

La divisió no sempre és possible

[modifica]

Perquè la divisió sigui sempre possible, s'ha de verificar que per a qualsevol i en aquest conjunt, existeix un divisor , també en el conjunt, tal que . Aquesta condició no es compleix per a tots els i del conjunt, ja que si un dels components de és més petit que el mateix component de , no existirà cap divisor en el conjunt que satisfaci l'equació. Per exemple, aquesta condició no es verificaria per a i per a .

Bibliografia

[modifica]

Referències

[modifica]
  1. «GDLC - monoide». [Consulta: 29 gener 2022].
  2. «What does semigroup mean?». [Consulta: 29 gener 2022].
  3. «examples of semigroups». [Consulta: 29 gener 2022].
  4. «MATHS: Semigroups». [Consulta: 29 gener 2022].

Vegeu també

[modifica]