Es sei K ⊆ L {\displaystyle {}K\subseteq L} eine endliche Körpererweiterung.
Dann ist die Abbildung
ein injektiver Ringhomomorphismus.