## Definition

The distributand $+$ of a field $\struct {F, +, \times}$ is referred to as field addition, or just addition.

The group $\struct {F, +}$ is known as the additive group of $F$.

Let $\struct {F, +, \times}$ be a field whose addition operation is $+$.

Let $a \in R$ be any arbitrary element of $F$.

The additive inverse of $a$ is its inverse under addition, denoted $-a$:

$a + \paren {-a} = 0_F$

where $0_F$ is the zero of $R$.