# Algebra/Field/Direct/Definition

Field

A set ${\displaystyle {}K}$ is called a field if there are two binary operations (called addition and multiplication)

${\displaystyle +:K\times K\longrightarrow K{\text{ and }}\cdot :K\times K\longrightarrow K}$

and two different elements ${\displaystyle {}0,1\in K}$, which fulfill the following properties.

1. Law of associativity: ${\displaystyle {}(a+b)+c=a+(b+c)}$ holds for all ${\displaystyle {}a,b,c\in K}$.
2. Law of commutativity: ${\displaystyle {}a+b=b+a}$ holds for all ${\displaystyle {}a,b\in K}$.
3. ${\displaystyle {}0}$ is the neutral element of the addition, i.e. ${\displaystyle {}a+0=a}$ holds for all ${\displaystyle {}a\in K}$.
4. Existence of the negative: For every ${\displaystyle {}a\in K}$, there exists an element ${\displaystyle {}b\in K}$ with ${\displaystyle {}a+b=0}$.
1. Law of associativity: ${\displaystyle {}(a\cdot b)\cdot c=a\cdot (b\cdot c)}$ holds for all ${\displaystyle {}a,b,c\in K}$.
2. Law of commutativity: ${\displaystyle {}a\cdot b=b\cdot a}$ holds for all ${\displaystyle {}a,b\in K}$.
3. ${\displaystyle {}1}$ is the neutral element for the multiplication, i.e. ${\displaystyle {}a\cdot 1=a}$ holds for all ${\displaystyle {}a\in K}$.
4. Existence of the inverse: For every ${\displaystyle {}a\in K}$ with ${\displaystyle {}a\neq 0}$, there exists an element ${\displaystyle {}c\in K}$ such that ${\displaystyle {}a\cdot c=1}$.
3. Law of distributivity: ${\displaystyle {}a\cdot (b+c)=(a\cdot b)+(a\cdot c)}$ holds for all ${\displaystyle {}a,b,c\in K}$.