Zéruselem

A matematikában a zéruselem egy általánosítása a nulla számnak más algebrai szerkezetekre. Ezek az általánosítások néha teljesen visszavezethetőek az ugyanarra a koncepcióra, néha nem feleltethető meg ilyen kapcsolat egyértelműen.

Egy lehetséges formális definíció a következő: adott egy  halmaz és egy  kétváltozós (bináris) művelet.

Tehát bármely a,b ∈ U elemekhez tartozik egyetlen *(a,'b) = a*b = c ∈ U elem. Ekkor az z ∈ U elem zéruselem a * bináris műveletre nézve, ha tetszőleges x ∈ U elemre érvényes: x*z = z*x = z.
	 	
Egy másik definíció a grupoid-transzláció fogalmára alapoz: eszerint a z ∈ U elem akkor neutrális eleme az (U,*) grupoidnak, ha a z elemhez tartozó Tj z és Tb z jobb oldali és bal oldali transzlációk egyaránt az U feletti, minden elemhez z-t rendelő konstans függvénnyel egyenlőek, azaz ha tetszőleges x ∈ U elemre Tj z (x) = z és Tb z(x) = z. Minthogy Tj z (x) := x*z és Tb z (x) = z*x, ez tényleg az előző definícióval ekvivalens.

Egyértelműség
A zéruselem egyértelmű (legfeljebb egy van belőle az alaphalmazban). Ugyanis ha z,'u ∈ U zéruselemek, akkor z*u = u*z = z; mivel z zéruselem; és z*u = u*z = u, mivel u is zéruselem, így z = u.

Additív neutrális elemek
Az additív neutrális elem az összeadás neutrális eleme. Ez az elem teljesíti a  egyenletet. Példák ilyen elemekre, különböző rendszerekben:
A nullvektor a vektor összeadásban.
A nullfüggvény vagy null leképezés, tehát a  a függvények összeadásánál,  mivel 
Az üres halmaz a halmazok összeadásában.
Egy üres szummafügvény.
Egy initial object a kategóriaelméletben.

Abszorbáló elemek
Az abszorbáló elemek a szorzás során „elnyelik” a másik operandust, vagyis 
Az üres halmaz, amely elnyeli az elemeket a Descartes-szorzat során, mivel {} × S = {}
A nullfüggvény vagy null leképezés, tehát:  a függvények szorzása során,  mivel 
A legtöbb abszorbáló elem additív neutrális elem is, pl.: az üres halmaz és a null függvény.

A legkisebb elem
A legkisebb elem a részbenrendezett halmazban vagy egy hálóban tekinthető zéruselemnek is, és 0-val vagy a ⊥ jellel jelölik.

Zéró modulus
A zéró modulus egy olyan modulus, ami egyetlen elemet tartalmaz: az additív neutrális elemet. A zéró modulus modulus, mivel zárt gyűrűt alkot az összeadásra és a szorzásra nézve.

Zéró ideál
A zéró ideál egy  gyűrűben a  ideál, tehát egy olyan részhalmaz, ami csak az additív neutrális elemet tartalmazza.

Nullmátrix
A nullmátrix egy olyam mátrix, amelynek minden eleme nulla. Példák nullmátrixokra:

Egy m×n mátrix és egy  gyűrű  modulust formál. A nullmátrix  egy mátrix -ben, aminek minden eleme  ahol  jelöli , additív neutrális elemét.

Ez a nullmátrix az additív neutrális elem a  modulusban, vagyis minden -re teljesül, hogy:

Mineden m×n-es dimenzióhoz és egy gyűrűhöz pontosan egy ilyen mátrix tartozik, ezért gyakran csak úgy hivatkoznak rá mint a nullmátrix. Általában csak 0-val jelölik mindenféle egyéb index nélkül.

A nullmátrix megfeleltethető egy lineáris transzformációnak ami minden vektorhoz a nullvektort rendeli.

Nulltenzor
A nulltenzor egy olyan tenzor aminek minden eleme nulla. Az elsőrendő nulltenzor a nullvektor.

Tenzorok szorzásánál bármely tenzor szorozva bármely nulltenzorral nulltenzort eredményez. Nulltenzor hozzáadása nem változtat az eredeti tenzoron(tehát a nulltenzor ennek a műveletnek az additív inverze is).

Zérusosztó
A zérusosztó egy R gyűrűben egy nemnegatív elem, a ∈ R úgy, hogy ab = 0 bármely nemnulla b ∈ R-re.

Kapcsolat a neutrális elemmel

Az additív neutrális elem, és az abszorbáló elemek sok rendszerben megegyeznek a zéruselemmel, de ez nem szükségszerűen igaz.

Féloldali zéruselemek 
Ha csak x*z = z teljesül, de z*x = z nem feltétlenül; akkor z neve jobb(oldali) zéruselem, ha meg csak z*x = z (de x*z = z nem minden x-re), akkor a neve bal(oldali) zéruselem. Persze z akkor és csak akkor zéruselem, ha bal- és jobb oldali zéruselem is egyszerre.

Míg a zéruselem egyértelmű, addig a féloldali zéruselemek többen is lehetnek. Sőt létezik olyan művelet, mely végtelen alaphalmazának minden eleme féloldali neutrális.
Ha egy elem bal oldali zéruselem, de nem zéruselem, akkor valódi bal oldali zéruselemnek nevezzük, hasonlóan ha jobb oldali zéruselem, de nem kétoldali, akkor valódi jobb oldali zéruselemnek.

Megjegyezzük, hogy ha egy műveletre nézve van jobb oldali j és van bal oldali b zéruselem, akkor ezek szükségképp egyenlőek, és így van zéruselem, hiszen x*j = j miatt b*j = j, ugyanakkor b*x = b miatt b*j = b. Azaz b*j = j = b.

Ebből következően

 egy műveletre nézve akkor és csak akkor létezik zéruselem, ha létezik egy bal oldali és egy jobb oldali zéruselem (mert ekkor ezek szükségképp egyenlőek).	
 Bármely műveletre bármely x ∈ U esetén a következő lehetőségek közül egy és csak egy teljesül:
 x valódi bal oldali zéruselem (s ekkor nincs jobb oldali zéruselem, tehát zéruselem sincs);
 x valódi jobb oldali zéruselem (s ekkor nincs bal oldali zéruselem, tehát zéruselem sincs);	
 x (kétoldali) zéruselem (s ekkor nincs valódi zéruselem).

Példák 
 Az egész számok körében értelmezett legnagyobb közös osztó műveletének zéruseleme az 1.
 Az egész számok körében értelmezett legkisebb közös többszörös műveletének zéruseleme a 0.
 egy U halmaz hatványhalmaza felett értelmezett unió műveletének a zéruseleme maga az U; mert  esetén ;
 egy U halmaz hatványhalmaza felett értelmezett metszet műveletének a zérusneutrális eleme  üres halmaz
 Egy U halmaz hatványhalmaza felett értelmezett szimmetrikus differencia műveletének zéruseleme az  üres halmaz;
 a valós számok  halmaza felett értelmezett összeadás műveletének nincs zéruseleme; de a szorzás műveletének van zéruseleme, a 0;
 Olyan műveleteket sem nehéz elképzelni, melyek alaphalmazának minden eleme féloldali – vagy mind jobb oldali-, vagy mind bal oldali- – zéruselem. Legyen  (az egyszerűség kedvéért 3 elemből áll, de hasonlóan megvalósítható akárt végtelen sok elemmel is). A következő művelettáblával defimiált két *  b  és *  j  művelet abszolúte jól definiált művelet (magyarázat a táblázatokhoz: az x elemmel jelölt sor és az y elemmel jelölt oszlop kereszteződésében álló cellába írtuk az x*y elemet):

Általánosítás 
Legyen adott egy U halmaz és egy  homogén n-változós művelet (n>1).

Definiáljuk az (U, f) struktúra (ez nem nevezhető grupoidnak, mert a művelet nem feltétlenül kétváltozós) y ∈ U elemhez tartozó i-edik (1 ≤ i ≤ n) transzlációját,  -t a következőképp:    (itt  ). Tehát ez egy n-1-változós homogén művelet, mely úgy keletkezik, hogy f i-edik változóját rögzítjük.

Ekkor a  elemet a művelet i-edik változójára nézve zéruselemnek nevezzük, ha  tetszőleges  esetén.

Tehát ha az i-edik változót rögzítjük, mégpedig értéke z, akkor ez el is dönti a függvény értékét, az konstans z lesz.

Ha U minden eleme zéruselem az f i-edik változójára, az azt jelenti, hogy a függvény összes többi változója fiktív.

Az i-edik változóra nézve zéruselem fogalma a féloldali zéruselem általánosítása (egy bal oldali zéruselem egy kétváltozós művelet első változójára nézve zéruselem, míg egy jobb oldali zéruselem a másodikra nézve). A (kétoldali) zéruselem fogalmának általánosítása pedig homogén n-áris művelet esetén a minden változóra nézve zéruselem fogalma (nevezhetnénk mondjuk pán-zéruselemnek): ez olyan elem, amely tetszőleges i ∈ {1,2,…,n} esetén az f i-edik változójára nézve is zéruselem

Az i-edik változóra nézve zéruselem fogalma könnyedén általánosítható inhomogén műveletre is. A pán-zéruselem fogalmának ez esetben azonban már általában nincs értelme.

Kapcsolódó szócikkek 
Nulla mint általános, nem matematikai koncepció.
Neutrális elem, egy másik fontos tulajdonságú elem ami különböző absztrakciókban más és más.

További információk 
 Alice és Bob - 14. rész: Alice és Bob gyűrűje

Absztrakt algebra