Quadratischer Zahlbereich/D ist 1 mod 4/Kähler-Differentiale/Explizit/Aufgabe/Lösung


Gemäß Fakt ist

Wir behaupten, dass die Idealgleichheit

gilt. Die Inklusion ergibt sich aus

und wegen

Die Inklusion ergibt sich aus der letzten Rechnung und aus

Deshalb ist