For each odd prime
, we conjecture
the distribution of the
-torsion
subgroup of
as
ranges over
real quadratic fields, or over imaginary quadratic fields. We then prove that the average size
of the
-torsion
subgroup of
is as predicted by this conjecture.
Keywords
algebraic K-theory, ring of integers, class group,
Cohen-Lenstra heuristics