Iwasawa invariants ($\mu (M)={\sum }_i{a}_i,\lambda (M)={\sum }_j{b}_j\mathrm{deg}{f}_j$)

The invariants $\mu ,\lambda$ of a finitely generated torsion Iwasawa module measure its $p$-power elementary factors and distinguished-polynomial factors. Vanishing of $\mu$ means that the module is finitely generated over ${\mathbb{Z}}_p$, up to finite error. It does not mean that the module is finite: a factor $\Lambda /(T)$ has $\mu =0$ and is ${\mathbb{Z}}_p$.

For the finite layers of a Zp-extension of a number field, the p-primary ideal class groups eventually satisfy the displayed formula with integer invariants $\mu ,\lambda \ge 0$ and $\nu \in \mathbb{Z}$. The first two are the Iwasawa invariants of the unramified Iwasawa module. The Iwasawa module structure theorem and control of the finite-layer norm and ramification terms give the result. For a cyclotomic extension of an abelian field, the Ferrero-Washington theorem gives $\mu =0$. This growth theorem records two invariants; it is weaker than identifying the full characteristic ideal in the Iwasawa main conjecture.

For a finite abelian extension of $\mathbb{Q}$, the unramified Iwasawa module of its cyclotomic Zp-extension has $\mu =0$. This removes $p$-power elementary factors from its characteristic ideal. The theorem does not assert $\mu =0$ for arbitrary noncyclotomic Zp-extensions.