Z/Binäre quadratische Form/Strikte Äquivalenz/Definition

Strikte Äquivalenz von binären quadratischen Formen

Zwei binäre quadratische Formen

heißen strikt äquivalent, wenn es eine ganzzahlige -Matrix mit Determinante und mit

gibt.