In abstract algebra, an element a of a ring R is called a left zero divisor if there exists a nonzero x in R such that ax = 0, or equivalently if the map from R to R that sends x to ax is not injective. Similarly, an element a of a ring is called a right zero divisor if there exists a nonzero y in R such that ya = 0. This is a partial case of divisibility in rings. An element that is a left or a right zero divisor is simply called a zero divisor. An element a that is both a left and a right zero divisor is called a two-sided zero divisor (the nonzero x such that ax = 0 may be different from the nonzero y such that ya = 0). If the ring is commutative, then the left and right zero divisors are the same. An element of a ring that is not a left zero divisor (respectively, not a right zero divisor) is called left regular or left cancellable (respectively, right regular or right cancellable). An element of a ring that is left and right cancellable, and is hence not a zero divisor, is called regular or cancellable, or a non-zero-divisor. (N.B.: In "non-zero-divisor", the prefix "non-" is understood to modify "zero-divisor" as a whole rather than just the word "zero". In some texts, "zero divisor" is written as "zerodivisor" and "non-zero-divisor" as "nonzerodivisor" or "non-zerodivisor" for clarity). A zero divisor that is nonzero is called a nonzero zero divisor or a nontrivial zero divisor. A non-zero ring with no nontrivial zero divisors is called a domain.
Examples In the ring Z / 4 Z {\displaystyle \mathbb {Z} /4\mathbb {Z} } , the residue class 2 ¯ {\displaystyle {\overline {2}}} is a zero divisor since 2 ¯ × 2 ¯ = 4 ¯ = 0 ¯ {\displaystyle {\overline {2}}\times {\overline {2}}={\overline {4}}={\overline {0}}} . The only zero divisor of the ring Z {\displaystyle \mathbb {Z} } of integers is 0 {\displaystyle 0} . A nilpotent element of a nonzero ring is always a two-sided zero divisor. An idempotent element e ≠ 1 {\displaystyle e\neq 1} of a ring is always a two-sided zero divisor, since e ( 1 − e ) = 0 = ( 1 − e ) e {\displaystyle e(1-e)=0=(1-e)e} . The ring of n × n matrices over a field has nonzero zero divisors if n ≥ 2. Examples of zero divisors in the ring of 2 × 2 matrices (over any nonzero ring) are shown here:
… excerpt ends here. Continue reading the full article.
