Es seien ${\displaystyle {}K}$ und ${\displaystyle {}L}$ zwei Körper. Eine Abbildung

${\displaystyle \varphi \colon K\longrightarrow L}$

${\displaystyle {}\varphi }$

bijektiv ist und wenn die folgenden Eigenschaften gelten.

1. ${\displaystyle {}\varphi (a+b)=\varphi (a)+\varphi (b)}$,
2. ${\displaystyle {}\varphi (1)=1}$,
3. ${\displaystyle {}\varphi (ab)=\varphi (a)\varphi (b)}$.