Quadratische Körpererweiterung/Charakteristik nicht zwei/Reine Gestalt/Fakt/Beweis

Aus Wikiversity
Beweis

Nach Voraussetzung ist ein zweidimensionaler Vektorraum über , und darin ist ein eindimensionaler Untervektorraum. Nach dem Basisergänzungssatz gibt es ein Element derart, dass und eine -Basis von bilden. Wir können

schreiben, bzw. (da eine Einheit ist),

Mit gilt also und und bilden ebenfalls eine -Basis von .