Körper

(K,+,∗) ist ein Körper ⇔

  1. (K,+) ist eine Abelsche Gruppe
  2. (K∖{0},∗) ist eine Abelsche Gruppe

a∗(b+c)=a∗b+a∗c

(b+c)∗a=b∗a+c∗a