Element absorbent

De Viquipèdia
Dreceres ràpides: navegació, cerca

En matemàtica, un element absorbent és un tipus especial d'element d'un conjunt respecte d'una operació binària definida en el mateix.

El resultat de combinar un element absorbent amb qualsevol altre element del conjunt, és el mateix element absorbent.

En teoria de semigrup l'element absorbent s'anomena element zero,[1][2] perquè no hi ha risc de confusió amb altres nocions de zero. En aquest article les dues nocions són sinònims. Un element absorbent pot ser anomenat element anihilador.

Definició[modifica | modifica el codi]

Formalment, sigui (S, ∘) un conjunt S amb una operació binària ∘ en ell (conegut com a magma). Un element zero és un element z tal que per qualsevol s en S, zs=sz=z. En són un refinament[2] les nocions de zero per l'esquerra, on hom requereix només que zs=z, i zero per la dreta, on sz=z.

Els elements absorbents són particularment interessants per als semigrups, especialment per al semigrup multiplicatiu d'un semianell. En el cas d'un semianell amb zero, la definició de l'element absorbent es relaxa, de manera que no sigui requerit 0 com a absorbent; altrament 0 seria l'únic element absorbent.[3]

Propietats[modifica | modifica el codi]

  • Si un magma té, ensems, un zero per l'esquerra z i un zero per la dreta z', llavors té un zero, doncs z = z \times z' = z'.
  • Si un magma té un element zero, llavors l'element zero és únic.

Exemples[modifica | modifica el codi]

Referències[modifica | modifica el codi]

  1. J.M. Howie, p. 2-3
  2. 2,0 2,1 M. Kilp, U. Knauer, A.V. Mikhalev p. 14-15
  3. J.S. Golan p. 67

Enllaços externs[modifica | modifica el codi]