Körpererweiterung/Festlegung auf Erzeugendensystem/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

Dann ist .