Computation of \(K_ 2\mathbb{Z}[\sqrt {-6}]\) (Q1339391): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0022-4049(94)90124-4 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W133557241 / rank | |||
Normal rank |
Revision as of 20:26, 19 March 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