Endliche Galoiserweiterung/Übertragung auf Kompositum/Fakt
Es sei eine endliche Galoiserweiterung und sei eine weitere Körpererweiterung mit dem gemeinsamen Oberkörper , in dem das Kompositum gebildet sei.
Dann ist ebenfalls eine endliche Galoiserweiterung, und für ihre Galoisgruppe gilt die natürliche Isomorphie