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

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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 .

Zur bewiesenen Aussage