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

Äquivalenz von binären quadratischen Formen

Zwei binäre quadratische Formen

$F=aX^{2}+bXY+cY^{2}\,\,{\text{ und }}\,\,F'=a'X^{2}+b'XY+c'Y^{2}$

heißen äquivalent, wenn es eine ganzzahlige invertierbare ${}2\times 2$-Matrix ${}M$ mit

${}F'=FM\,$

gibt.