For any imaginary quadratic field , the Galois group of its maximal unramified pro--extension is a Schur -group. If this has Zassenhaus type , there are 13 possibilities for the isomorphism class of the finite quotient . We prove that for 10 of these 13 cases is either finite or isomorphic to an open subgroup of a form of over . Combined with the Fontaine-Mazur conjecture, or with earlier work on an analogue of the Cohen–Lenstra heuristic for Schur -groups, this lends credence to the “if” part of a conjecture of McLeman. Using explicit computations of triple Massey products, we also test the heuristic for all imaginary quadratic fields with and discriminant and find a reasonably good agreement.

生成讲解博客的中文版本

生成AI智能校验的中文版本