Morphisme de corps

Soient $K$ et $K'$ des corps.
Une application $\varphi:K \rightarrow K'$ est un morphisme de corps si, pour tous $a,b\in K$, on a :

1. $\varphi(a+b)=\varphi(a)+\varphi(b)$
2. $\varphi(a\cdot b)=\varphi(a)\cdot\varphi(b)$
3. $\varphi(1)=1$

Remarques

• Il s’agit de la même définition qu’un morphisme d’anneaux, mais entre des corps.