Concept history

Concept translation created

##### Définition formelle
Une extension de corps est un [[homomorphism of fields|morphisme de corps]] $K\hookrightarrow L$. On le note $K\subseteq L$.

##### Remarques 
- Tout morphisme de corps est injectif, donc $K$ peut être identifié avec son [[Image of a map|image]] dans $L$; on considère alors $K$ comme un [[Subfield|sous-corps]] de $L$.