Campo

Un anello commutativo in cui ogni elemento non nullo ha un inverso è detto campo. In altre parole vale che:

• $(K, +)$ è un gruppo abeliano con elemento neutro 0
• $(K \slash\{0\}, \cdot)$ è un gruppo abeliano con elemento neutro 1
• la moltiplicazione è distributiva rispetto alla somma