2-Sylow subgroups of \(K_ 2O_ F\) for real quadratic fields \(F\) (Q1344425): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q204772 |
||
Property / reviewed by | |||
Property / reviewed by: Thong Nguyen Quang Do / rank | |||
Revision as of 21:13, 10 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | 2-Sylow subgroups of \(K_ 2O_ F\) for real quadratic fields \(F\) |
scientific article |
Statements
2-Sylow subgroups of \(K_ 2O_ F\) for real quadratic fields \(F\) (English)
0 references
9 July 1995
0 references
Consider a real quadratic field \(F = \mathbb{Q}(\sqrt d)\) and a natural integer \(m\) dividing \(d\). The author proves that \(\{-1,m\}\) is a square in \(K_ 2 O_ F\) if and only if there exists \(\varepsilon \in \{\pm 1, \pm 2\}\) such that for any prime \(p\) dividing \(d\), the equation \(\varepsilon z^ 2 \equiv (mx^ 2 + d)/my^ 2 \pmod p\) has a solution \(\neq (0,0,0)\). This allows him, in special cases, to determine the Sylow subgroup \((K_ 2O_ F)_ 2\) by computing only Legendre symbols. In particular, he gives some families of examples for which \((K_ 2 O_ F)_ 2\) is not killed by 2.
0 references
\(K_ 2\)
0 references
\(K\)-theory of fields
0 references
Milnor symbol
0 references
real quadratic field
0 references
Sylow subgroup
0 references
Legendre symbols
0 references