Existence and uniqueness conjecture for the non-abelian Cohen–Lenstra limit measure
Existence and uniqueness conjecture. There exists a unique probability measure muΓ,qmu_{\Gamma,q}muΓ,q on PΓ,q{\mathcal P}_{\Gamma,q}PΓ,q such that, for every (H,h)∈PΓ,q(H,h)\in{\mathcal P}_{\Gamma,q}(H,h)∈PΓ,q,
MathDB