# Definition:Field of Integers Modulo Prime

## Definition

Let $p \in \Bbb P$ be a prime number.

Let $\Z_p$ be the set of integers modulo $p$.

Let $+_p$ and $\times_p$ denote addition modulo $p$ and multiplication modulo $p$ respectively.

The algebraic structure $\struct {\Z_p, +_p, \times_p}$ is the field of integers modulo $p$.

## Also denoted as

When the operations are understood to be $+_p$ and $\times_p$, it is usual to use just $\Z_p$ to denote the field of integers modulo $p$.

The notation $\Z / p$ and $\Z / p \Z$ are also seen, deriving from Quotient Ring of Integers by Integer Multiples.

Some sources use the notation $\map {\operatorname {GF} } p$, in light of the fact that $\struct {\Z_p, +_p, \times_p}$ is a Galois field.

## Also see

$\struct {\Z_p, +_p, \times_p}$ is a field with unity $\eqclass 1 p$
the zero of $\struct {\Z_p, +_p, \times_p}$ is $\eqclass 0 p$.