Generators and relations for K_2 O_F, F imaginary quadratic, by Karim Belabas and Herbert Gangl

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.


Karim Belabas <Karim.Belabas@math.u-psud.fr>
Herbert Gangl <herbert@mpim-bonn.mpg.de>