Nonabelian Cohen–Lenstra distribution conjecture for pro-prime-to-roots-of-unity class groups
Let Q=QQ={\mathbb Q}Q=Q or Fq(t)\mathbb F_q(t)Fq(t), and let μQ\mu_QμQ be the group of roots of unity contained in QQQ. Let Γ\GammaΓ be the finite group and Γ∞\Gamma_\inftyΓ∞ the cyclic subgroup g…