Extension de corps

Définition formelle

Une extension de corps est un morphisme de corps^EN $K\hookrightarrow L$. On le note $K\subseteq L$.

Remarques

• Tout morphisme de corps est injectif, donc $K$ peut être identifié avec son image dans $L$; on considère alors $K$ comme un sous-corps^EN de $L$.