Theorem. [003W]

    Sei eine Diskriminante und kein Quadrat, nach Definition und nach Definition.

    Wir definieren

    Das Bild von ist eine Gruppe unter der Multiplikation in .

    Proof. TODO

    (Inversenbildung) Sei . Dann ist auch .

    (Multiplikation)