Eine Menge M mit 2 Verknüpfungen  heißt Körper wenn die folgenden Gesetze erfüllt sind:

A:

M:

Achtung: M4 gilt unter Ausschluß des neutralen Elements von  A3

 

 Zeige jetzt : [r]5         [r]7            [r]3        bilden einen Körper