Cohen-Lenstra heuristics for totally complex fields If a number field $K$ is a Galois extension of $\mathbb{Q}$, and $G = \operatorname{Gal}(K/\mathbb{Q})$, then the class group of $K$ is a $\mathbb{Z}[G]$-module, and since $N = \sum_{g \in G} g$ acts as the norm on ideals, sending every ideal to a principal ideal, the class group is in fact a $\mathbb{Z}[G]/\langle N \rangle$-module.
Roughly speaking, the Cohen-Lenstra heuristics predict that the class group of a totally real Galois number field $K$ should behave as a ``random" finite $\mathbb{Z}[G]/\langle N \rangle$-module modulo a random cyclic submodule.
My question is this:
Can a similar kind of statement be made about totally complex number fields $K$ that are Galois over $\mathbb{Q}$?  For example, would it simply be a random $\mathbb{Z}[G]/\langle N \rangle$-module, without quotienting out a random cyclic submodule, as in the case for imaginary quadratic fields?  Or is that too naive?
Along the same lines, what can be said about the Cohen-Lenstra heuristics for the relative class group of a Galois extension of totally complex number fields?
 A: The general heuristic goes as follows (see the original paper by Cohen-Martinet, but I am being a bit more conservative, since some primes that Cohen-Lenstra-Martinet called "good" seem to not be all that "good", and I am leaving them out here):
Fix 


*

*a base field $K$,

*a Galois group $G$,

*any prime $p$ that is coprime to $\#G$ and to the order of the group of roots of unity $\mu(K)$,

*any central idempotent $e$ of $\mathbb{Q}[G]$ (which automatically, by assumption on $p$, lives in $\mathbb{Z}_{(p)}[G]$) that is orthogonal to the trivial idempotent $\frac{1}{|G|}\sum_{g\in G} g$.

*and finally a $\mathbb{Z}_{(p)}$-free $\mathbb{Z}_{(p)}[G]$-module $\Gamma$.


Let $F_i$ be the sequence of those $G$-extension of $K$ for which $\mathcal{O}_{F_i}^\times\otimes_{\mathbb{Z}}\mathbb{Z}_{(p)}$ is isomorphic to $\Gamma$ as a $G$-module, ordered by absolute value of discriminant (and arbitrarily between fields of equal discriminant). Let $A_i$ be the $p$-primary part of the class group of $F_i$. Then the sequence $eA_i$ behaves like a random sequence of finite $e\mathbb{Z}_{(p)}[G]$-modules of $p$-power order, with the probability weight of such a module $A$ inverse proportional to $\#{\rm Hom}_G(\Gamma,A)\cdot\#{\rm Aut}_G(A)$.
