Lukas' Notes

algebra

Definition

Körper

Field

A field is a commutative ring with unity () in which every non-zero element is invertible.

Formally, it satisfies the following properties:

  1. is an Abelian group with neutral element .
  2. is an Abelian group with neutral element .
  3. Multiplication distributes over addition.