Computation of \(K_ 2\mathbb{Z}[\sqrt {-6}]\) (Q1339391): 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 | Computation of \(K_ 2\mathbb{Z}[\sqrt {-6}]\) |
scientific article |
Statements
Computation of \(K_ 2\mathbb{Z}[\sqrt {-6}]\) (English)
0 references
9 March 1995
0 references
Bass and Tate's method of computing \(K_ 2 O_ F\) consisting essentially in finding a finite set of primes \(S\) containing the set \(S_ \infty\) of archimedean primes, and such that: \[ K_ 2 O_ F= \text{Ker} (K_ 2^ S F\to \prod_{v\in S- S_ \infty} k(v)^*), \] where \(k(v)\) is the residue field and \(K_ 2^ S F\) is the subgroup of \(K_ 2 F\) generated by symbols of \(S\)-units. This method was carried out by Tate for all the Euclidean imaginary quadratic fields and for \(\mathbb{Q} (\sqrt{-15})\), using a series of technical lemmas. In the present paper, these lemmas are improved (also in a very technical way) and yield the triviality of \(K_ 2 O_ F\) for \(F= \mathbb{Q}( \sqrt{-6})\). The author also states that the same method allows him to prove that \(K_ 2 O_ F\) is trivial for \(F= \mathbb{Q}( \sqrt{-5})\) and \(\mathbb{Q}( \sqrt{-19})\) (Skalba's results) and \(K_ 2 O_ F\simeq \mathbb{Z}/ 2\mathbb{Z}\) for \(F= \mathbb{Q} (\sqrt{- 35})\) (to appear).
0 references
\(K_ 2\)-groups
0 references