Divizor al lui zero

În algebră abstractă un element Format:Mvar al unui inel Format:Mvar se numește divizor al lui zero la stânga dacă există un Format:Mvar diferit de 0 în Format:Mvar astfel încât Format:Mvar = 0,^[1]^[2] (unde 0 se referă la elementul neutru al primel legi de compoziție al inelului, notată și adunare) sau echivalent dacă aplicația de la Format:Mvar la Format:Mvar care aplică Format:Mvar la Format:Mvar nu este injectiv. Similar, un Format:Mvar al unui inel se numește divizor al lui zero la dreapta dacă există un Format:Mvar diferit de zero în Format:Mvar astfel încât Format:Math.^[1] Acesta este un caz parțial de divizibilitate în inele. Un element care este un divizor al lui zero la stânga sau la dreapta este numit, simplu, divizor al lui zero.^[3]^[4] Dacă inelul este comutativ, atunci divizorii lui zero la stânga și la dreapta sunt aceiași.

Un element al unui inel care nu este un divizor al lui zero la stânga se numește regulat la stânga. Similar, un element al unui inel care nu este un divizor al lui zero la dreapta se numește regulat la dreapta. Un element al unui inel care este regulat la stânga și la dreapta și, prin urmare, nu este un divizor de zero, se numește regulat.^[5]^[6] Un divizor al lui zero care el însuși este diferit de zero se numește divizor al lui zero nenul sau divizor al lui zero netrivial. Un inel nenul fără divizori ai lui zero netriviali se numește domeniu.

Exemple de divizori ai lui zero

În Format:Ill-wd, în inelul $ℤ / 4 ℤ$ , clasa de reziduuri $\overline{2}$ este un divizor al lui zero deoarece $\overline{2} \times \overline{2} = \overline{4} = \overline{0} .$
Singurul divizor al lui zero al inelului de întregi $ℤ$ este $0$ însuși.
Un element nilpotent al unui inel nenul este întotdeauna un divizor al lui zero.
Un Format:Ill-wd $e \neq 1$ al unui inel este întotdeauna un divizor al lui zero, deoarece $e (1 - e) = 0 = (1 - e) e$ .
Format:Ill-wd $n \times n$ peste un corp are divizori al lui zero nenuli dacă $n \geq 2$ . Exemple de divizori al lui zero din inelul de matrici $2 \times 2$ (peste orice inel nenul):

(\begin{matrix} 1 & 1 \\ 2 & 2 \end{matrix}) (\begin{matrix} 1 & 1 \\ - 1 & - 1 \end{matrix}) = (\begin{matrix} - 2 & 1 \\ - 2 & 1 \end{matrix}) (\begin{matrix} 1 & 1 \\ 2 & 2 \end{matrix}) = (\begin{matrix} 0 & 0 \\ 0 & 0 \end{matrix}),

(\begin{matrix} 1 & 0 \\ 0 & 0 \end{matrix}) (\begin{matrix} 0 & 0 \\ 0 & 1 \end{matrix}) = (\begin{matrix} 0 & 0 \\ 0 & 1 \end{matrix}) (\begin{matrix} 1 & 0 \\ 0 & 0 \end{matrix}) = (\begin{matrix} 0 & 0 \\ 0 & 0 \end{matrix}) .

Un produs direct al două sau mai multe inele nenule are întotdeauna divizori ai lui zero nenuli. De exemplu, în $R_{1} \times R_{2}$ în fiecare $R_{i}$ diferit de zero, $(1, 0) (0, 1) = (0, 0),$ deci $(1, 0)$ este un divizor al lui zero.
Fie $K$ un corp și $G$ un grup. Se presupune că $G$ are un element $g$ de ordin $n > 1$ finit. Apoi, în Format:Ill-wd $K [G]$ există $(1 - g) (1 + g + \dots + g^{n - 1}) = 1 - g^{n} = 0$ , niciunul dintre factori nefiind zero, deci în $K [G]$ $1 - g$ este un divizor al lui zero diferit.

Divizori ai lui zero laterali

Fie inelul de matrici (formale) $(\begin{matrix} x & y \\ 0 & z \end{matrix})$ cu $x, z \in ℤ$ și $y \in ℤ / 2 ℤ$ . Atunci : $(\begin{matrix} x & y \\ 0 & z \end{matrix}) (\begin{matrix} a & b \\ 0 & c \end{matrix}) = (\begin{matrix} x a & x b + y c \\ 0 & z c \end{matrix})$ și

(\begin{matrix} a & b \\ 0 & c \end{matrix}) (\begin{matrix} x & y \\ 0 & z \end{matrix}) = (\begin{matrix} x a & y a + z b \\ 0 & z c \end{matrix})

.

Dacă $x \neq 0 \neq z$ , atunci

(\begin{matrix} x & y \\ 0 & z \end{matrix})

este un divizor al lui zero la stânga dacă și numai dacă

x

este par, deoarece

(\begin{matrix} x & y \\ 0 & z \end{matrix}) (\begin{matrix} 0 & 1 \\ 0 & 0 \end{matrix}) = (\begin{matrix} 0 & x \\ 0 & 0 \end{matrix})

,

și este un divizor al lui zero la dreapta dacă și numai dacă $z$ este par din același motiv. Dacă oricare dintre $x, z$ este $0,$ atunci este un divizor al lui zero (pe ambele laturi).

Un alt exemplu de inel cu un element care este un divizor al lui zero lateral. Fie $S$ mulțimea tuturor șirurilor de numere întregi $(a_{1}, a_{2}, a_{3}, . . .)$ și ca inel toate aplicațiile aditive de la $S$ la $S$ , cu adunare punctuală și Format:Ill-wd ca la inele. (Adică, inelul este $E n d (S)$ , un Format:Ill-wd al grupului aditiv $S$ .) Trei exemple de elemente ale acestui inel sunt deplasarea la dreapta $R (a_{1}, a_{2}, a_{3}, . . .) = (0, a_{1}, a_{2}, . . .)$ , deplasarea la stânga $L (a_{1}, a_{2}, a_{3}, . . .) = (a_{2}, a_{3}, a_{4}, . . .)$ și aplicația de proiecție pe primul factor $P (a_{1}, a_{2}, a_{3}, . . .) = (a_{1}, 0, 0, . . .)$ . Toate aceste trei aplicații aditive nu sunt nule, iar compusele $L P$ și $P R$ sunt ambele nule, deci $L$ este un divizor al lui zero la stânga, iar $R$ este un divizor al lui zero la dreapta în inelul de aplicații aditive de la $S$ la $S$ . Totuși, $L$ nu este un divizor al lui zero la dreapta, iar $R$ nu este un divizor al lui zero din stânga: compunerea $L R$ este elementul neutru. $R L$ este un divizor al lui zero (pe ambele laturi), deoarece $R L P = 0 = P R L$ , în timp ce $L R = 1$ nu este pe nicio latură.

Exemple care nu sunt divizori ai lui zero

Inelul numerelor întregi modulo un număr prim nu are divizori al lui zero. Deoarece fiecare element diferit de zero este o Format:Ill-wd, acest inel este un corp finit.
În general, un inel cu diviziune nu are divizori al lui zero.
Un inel comutativ nenul al cărui singur divizor al lui zero este 0 se numește domeniu de integritate.

Proprietăți

În inelul de matrici $n \times n$ peste un corp, divizorii lui zero la stânga și la dreapta coincid; ele sunt tocmai matricile inverse. În inelul de matrici $n \times n$ peste un domeniu de integritate, divizorii lui zero sunt tocmai matricele cu determinant zero.
Divizorii ai lui zero la stânga sau la dreapta nu pot fi niciodată Format:Ill-wd, deoarece dacă Format:Mvar este inversabilă și Format:Math pentru un Format:Mvar diferit de zero, atunci Format:Math, ceea ce este o contradicție.
Un element este simplificabil pe partea în care este regulat. Adică, dacă Format:Mvar este regulat la stânga, Format:Math implică faptul că Format:Math și, similar, pentru regulat la dreapta.

Zero ca divizor al lui zero

Nu este nevoie de o convenție separată pentru cazul Format:Math, deoarece definiția se aplică și în acest caz:

Dacă Format:Mvar este alt inel decât inelul nul, atunci Format:Math este un divizor al lui zero, deoarece orice element Format:Mvar diferit de zero satisface Format:Math.
Dacă Format:Mvar este inelul nul, în care Format:Math, atunci Format:Math nu este un divizor zero, deoarece nu există element nenul care atunci când este înmulțit cu Format:Math să dea Format:Math.

Unele lucrări includ sau exclud Format:Math ca divizor al lui zero în toate inelele, prin convenție, dar apoi se lovesc de faptul că trebuie să introducă excepții în declarații precum următoarele:

Într-un inel comutativ Format:Mvar, mulțimea divizorilor nenuli este o mulțime multiplicativă din Format:Mvar. (Acest lucru, la rândul său, este important pentru definirea inelului cât total.) Același lucru este valabil și pentru mulțimea divizorilor lui zero la stânga și mulțimea divizorilor lui zero la dreapta într-un inel arbitrar, comutativ sau nu.
Într-un Format:Ill-wd comutativ Format:Mvar, mulțimea divizorilor lui zero este reuniunea idealelor prime asociate ale lui Format:Mvar.