Tate's algorithm for computing K_2 O_F for rings of integers in a number field has been adapted for the computer and gives explicit generators for the group and sharp bounds on their order---the latter, together with some structural results on the p-th primary part of K_2 O_F due to Tate and Keune, gives a proof of its structure for many imaginary quadratic fields, confirming earlier conjectural results of Browkin and Gangl.

- 0482.bib (264 bytes)
- K2.dvi (182624 bytes) [May 2, 2001]
- K2.dvi.gz (69146 bytes)
- K2.pdf (318154 bytes)
- K2.ps.gz (293262 bytes)

Karim Belabas <Karim.Belabas@math.u-psud.fr>

Herbert Gangl <herbert@mpim-bonn.mpg.de>