Zum Inhalt springen

Zahlbereich/Einbettung/Gitter/Fakt/Beweis

Aus Wikiversity
Beweis

Es sei eine Ganzheitsbasis von . Es ist zu zeigen, dass die , , linear unabhängig sind. Über die -lineare Abbildung

erhält man aus der reellen Gesamteinbettung die komplexe Gesamteinbettung. Wären die Elemente -linear abhängig, so würde das auch für die Bilder unter der komplexen Gesamteinbettung gelten. Doch dies wäre ein Widerspruch zur Tatsache, dass die Diskriminante von nicht ist, siehe Fakt.