Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Z/Binäre quadratische Form/Äquivalenz/Eigenschaften/Fakt/Beweis
Sprache
Beobachten
Bearbeiten
<
Z/Binäre quadratische Form/Äquivalenz/Eigenschaften/Fakt
Beweis
Diese beiden Aussagen folgen daraus, dass das Produkt invertierbarer Matrizen (über
Z
{\displaystyle {}\mathbb {Z} }
) wieder invertierbar ist und aus dem
Determinantenmultiplikationssatz
.
Wir arbeiten mit der Umrechnungsregel für die Koeffizienten in Matrixform, also
(
a
′
1
2
b
′
1
2
b
′
c
′
)
=
(
r
t
s
u
)
(
a
1
2
b
1
2
b
c
)
(
r
s
t
u
)
{\displaystyle {}{\begin{pmatrix}a'&{\frac {1}{2}}b'\\{\frac {1}{2}}b'&c'\end{pmatrix}}={\begin{pmatrix}r&t\\s&u\end{pmatrix}}{\begin{pmatrix}a&{\frac {1}{2}}b\\{\frac {1}{2}}b&c\end{pmatrix}}{\begin{pmatrix}r&s\\t&u\end{pmatrix}}\,}
Der
Determinantenmultiplikationssatz
liefert
diskr
(
F
)
=
−
4
⋅
det
(
b
′
2
c
′
2
a
′
b
′
)
=
−
4
⋅
(
±
1
)
det
(
b
2
c
2
a
b
)
(
±
1
)
=
−
4
⋅
det
(
b
2
c
2
a
b
)
=
diskr
(
F
)
.
{\displaystyle {}{\begin{aligned}\operatorname {diskr} (F)&=-4\cdot \det {\begin{pmatrix}b'&2c'\\2a'&b'\end{pmatrix}}\\&=-4\cdot (\pm 1)\det {\begin{pmatrix}b&2c\\2a&b\end{pmatrix}}(\pm 1)\\&=-4\cdot \det {\begin{pmatrix}b&2c\\2a&b\end{pmatrix}}\\&=\operatorname {diskr} (F).\end{aligned}}}
Dies folgt unmittelbar aus dem kommutativen Diagramm
Z
2
⟶
M
Z
2
F
′
↘
↓
F
Z
.
{\displaystyle {\begin{matrix}\mathbb {Z} ^{2}&{\stackrel {M}{\longrightarrow }}&\mathbb {Z} ^{2}&\\&\!\!\!\!\!F'\searrow &\downarrow F\!\!\!\!\!&\\&&\mathbb {Z} &\!\!\!\!\!\!\!\!\,.\\\end{matrix}}}
Zur bewiesenen Aussage