Quadratischer Zahlbereich/Ideal mit vereinfachter Norm/Binäre quadratische Form/Korrespondenz/Strikte Äquivalenz/a negative/Aufgabe

Sei ein quadratischer Zahlbereich mit Diskriminante und sei eine binäre quadratische Form zu dieser Diskriminante mit . Zeige wie im Beweis zu Fakt, dass

ein Ideal in ist und die Eigenschaft besitzt, dass die Norm darauf die vorgegebene quadratische Form realisiert.