< Reine kubische Erweiterung < Diskriminante < Fakt
Beweis

Wir setzen und . Nach Fakt ist der Ganzheitsring gleich und ist eine Ganzheitsbasis, ferner ist . Wir berechnen zuerst die Diskriminante zu . Dabei ist und . Die Spur von und von ist gleich , daher ist

Die Übergangsmatrix zwischen und hat die Determinante , daher ist die Diskriminante des Zahlbereiches nach Fakt gleich .

Im zweiten Fall bleibt die bisherige Rechnung gültig, doch ist jetzt eine Ganzheitsbasis. Die Übergangsmatrix zwischen den Basen und ist

mit der Determinante . Dies ergibt den Faktor .

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.