Field

A field is a structure in abstract algebra, similar to a group or a ring. Informally, fields are the general structure in which the usual laws of arithmetic governing the operations $+, -, \times$ and $\div$ hold. In particular, the rational numbers $\mathbb{Q}$, the real numbers $\mathbb{R}$, and the complex numbers $\mathbb{C}$ are all fields, although there are many others, including subfields of those fields.

Formally, a field $k$ (here the letter $k$ stands for Körper, the German word for a mathematical field) is a set of elements with two operations, usually called multiplication and addition (denoted $\cdot$ and $+$, respectively) which have the following properties:

  • $(k,+)$ is an Abelian group with an identity of $0\in k$.
  • $(k\backslash\{0\},\cdot)$ (also denoted as $k^{\times}$) is also an Abelian group with an identity of $1\in k$.
  • Multiplication ($\cdot$) distributes over addition ($+$); for any $a,b,c\in k$,

\[a\cdot (b+c)=a\cdot b+a\cdot c.\]

There is also a unique name for $(k\backslash\{0\},\cdot)$, which most accept as the group of units of $k$. Furthermore, it can be proven that the group of units of $k$ is a cyclic group for any field $k$ which can help in determining certain homomorphisms between fields.

Common examples of fields are the rational numbers $\mathbb{Q}$, the real numbers $\mathbb{R}$, or $\mathbb{Z}/p\mathbb{Z}$ (the integers modulo $p$ for some prime $p$). In general, a field of order $N$ is denoted as $\mathbb{F}_N$, although this is rather unspecific since fields are usually referenced by name.

The study of fields and all of their properties is called field theory, where very interesting theorems can be proved such as the Fundamental Theorem of Algebra, the Abel-Ruffini Theorem, and more.