### Zero divisors

In abstract algebra, a nonzero element of a ring is called a left zero divisor if there exists a nonzero such that ab = 0, similarly a nonzero element of a ring is called a right zero divisor if there exists a nonzero such that ba = 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  that is both a left and a right zero divisor is called a two-sided zero divisor. If the ring is commutative, then the left and right zero divisors are the same. A non-zero element of a ring that is not a zero divisor is called regular.

## Examples

2&2\end{pmatrix}, because for instance $\begin\left\{pmatrix\right\}1&1\\ 2&2\end\left\{pmatrix\right\}\begin\left\{pmatrix\right\}1&1\\ -1&-1\end\left\{pmatrix\right\}=\begin\left\{pmatrix\right\}-2&1\\ -2&1\end\left\{pmatrix\right\}\begin\left\{pmatrix\right\}1&1\\ 2&2\end\left\{pmatrix\right\}=\begin\left\{pmatrix\right\}0&0\\ 0&0\end\left\{pmatrix\right\}.$

• Actually, the simplest example of a pair of zero divisor matrices is 

\begin{pmatrix}1&0\\0&0\end{pmatrix} \begin{pmatrix}0&0\\0&1\end{pmatrix} = \begin{pmatrix}0&0\\0&0\end{pmatrix} = \begin{pmatrix}0&0\\0&1\end{pmatrix} \begin{pmatrix}1&0\\0&0\end{pmatrix}.

• A direct product of two or more non-trivial rings always has zero divisors similarly to the $2\times 2$-matrix example just above (the ring of diagonal $2\times 2$ matrices over a ring $R$ is the same as the direct product $R\times R$).

### One-sided zero-divisor

• Consider the ring of (formal) matrices $\begin\left\{pmatrix\right\}x&y\\0&z\end\left\{pmatrix\right\}$ with $x,z\in\mathbb\left\{Z\right\}$ and $y\in\mathbb\left\{Z\right\}/2\mathbb\left\{Z\right\}$. Then $\begin\left\{pmatrix\right\}x&y\\0&z\end\left\{pmatrix\right\}\begin\left\{pmatrix\right\}a&b\\0&c\end\left\{pmatrix\right\}=\begin\left\{pmatrix\right\}xa&xb+yc\\0&zc\end\left\{pmatrix\right\}$ and $\begin\left\{pmatrix\right\}a&b\\0&c\end\left\{pmatrix\right\}\begin\left\{pmatrix\right\}x&y\\0&z\end\left\{pmatrix\right\}=\begin\left\{pmatrix\right\}xa&ya+zb\\0&zc\end\left\{pmatrix\right\}$. If $x\ne0\ne y$, then $\begin\left\{pmatrix\right\}x&y\\0&z\end\left\{pmatrix\right\}$ is a left zero divisor iff $x$ is even, since $\begin\left\{pmatrix\right\}x&y\\0&z\end\left\{pmatrix\right\}\begin\left\{pmatrix\right\}0&1\\0&0\end\left\{pmatrix\right\}=\begin\left\{pmatrix\right\}0&x\\0&0\end\left\{pmatrix\right\}$; and it is a right zero divisor iff $z$ is even for similar reasons. If either of $x,z$ is $0$, then it is a two-sided zero-divisor.
• Here is another example of a ring with an element that is a zero divisor on one side only. Let $S$ be the set of all sequences of integers $\left(a1,a2,a3,...\right)$. Take for the ring all additive maps from $S$ to $S$, with pointwise addition and composition as the ring operations. (That is, our ring is $\mathrm\left\{End\right\}\left(S\right)$, the endomorphism ring of the additive group $S$.) Three examples of elements of this ring are the right shift $R\left(a1,a2,a3,...\right)=\left(0,a1,a2,...\right)$, the left shift $L\left(a1,a2,a3,...\right)=\left(a2,a3,a4,...\right)$, and the projection map onto the first factor $P\left(a1,a2,a3,...\right)=\left(a1,0,0,...\right)$. All three of these additive maps are not zero, and the composites $LP$ and $PR$ are both zero, so $L$ is a left zero divisor and $R$ is a right zero divisor in the ring of additive maps from $S$ to $S$. However, $L$ is not a right zero divisor and $R$ is not a left zero divisor: the composite $LR$ is the identity. Note also that $RL$ is a two-sided zero-divisor since $RLP=0=PRL$, while $LR=1$ is not in any direction.

## Non-examples

The ring of integers modulo a prime number does not have zero divisors and this ring is, in fact, a field, as every non-zero element is a unit.

More generally, there are no zero divisors in division rings.

A commutative ring with 0 ≠ 1 and without zero divisors is called an integral domain.

## Properties

In the ring of -by- matrices over some field, the left and right zero divisors coincide; they are precisely the non-zero singular matrices. In the ring of -by- matrices over some integral domain, the zero divisors are precisely the non-zero matrices with determinant zero.

Left or right zero divisors can never be units, because if is invertible and a b = 0, then 0 = a−10 = a−1a b = b.

Every non-trivial idempotent element in a ring is a zero divisor, since a2 = a implies that a  (a − 1) = a2a = aa = 0, with nontriviality ensuring that neither factor is 0. Nonzero nilpotent ring elements are also trivially zero divisors.

The set of zero divisors is the union of the associated prime ideals of the ring.