Körpererweiterung/Festlegung auf Erzeugendensystem/Fakt

Aus Wikiversity

Es sei eine Körpererweiterung und es sei , , ein Erzeugendensystem (als Körper) von über . Es sei mit für alle .

Dann ist .