# Definition:Zero Element

## Definition

Let $\left({S, \circ}\right)$ be an algebraic structure.

### Left Zero

An element $z_L \in S$ is called a **left zero element** (or just **left zero**) if and only if:

- $\forall x \in S: z_L \circ x = z_L$

### Right Zero

An element $z_R \in S$ is called a **right zero element** (or just **right zero**) if and only if:

- $\forall x \in S: x \circ z_R = z_R$

### Zero

An element $z \in S$ is called a **two-sided zero element** (or simply **zero element** or **zero**) if and only if it is both a **left zero** and a **right zero**:

- $\forall x \in S: x \circ z = z = z \circ x$

## Also known as

A **zero element** is also sometimes called an **annihilator**, but this term has a more specific definition in the context of linear algebra.

When discussing an algebraic structure $S$ which has a zero element, then this zero is often denoted $z_S$, $n_S$ or $0_S$.

If it is clearly understood what structure is being discussed, then $z$, $n$ or $0$ are usually used.

## Also see

- Results about
**zero elements**can be found here.

## Sources

- 1965: J.A. Green:
*Sets and Groups*... (previous) ... (next): $\S 4.3$. Units and zeros: Definition $2$ - 1982: P.M. Cohn:
*Algebra Volume 1*(2nd ed.) ... (previous) ... (next): $\S 3.1$: Monoids: Exercise $(6)$