Iwasawa module structure theorem

A finitely generated module over $\Lambda ={\mathbb{Z}}_p[[T]]$ is pseudo-isomorphic towhere the $f_j$ are irreducible distinguished polynomials. Height-one localizations are discrete valuation rings, which give the elementary divisors; the remaining errors are supported only at the maximal ideal and are finite. This is a finite-error classification, not necessarily an actual direct-sum decomposition.

Assume the invariant and coinvariant groups are finite and $f_M$ generates the characteristic ideal over ${\mathbb{Z}}_p[[S]]$, $S=\gamma -1$. The structure theorem and multiplicativity of finite Euler characteristics prove the formula; finite module errors have Euler characteristic one. If $f_M\mid f_N$ and the two Euler characteristics agree, the quotient has p-adic-unit constant term and is therefore a unit power series. Thus divisibility plus this finite arithmetic comparison upgrades to equality of characteristic ideals.

For a finitely generated torsion Iwasawa module, its characteristic ideal is the product of the height-one prime ideals raised to the lengths of the corresponding localizations. In the elementary-divisor description it is generated by $p^{\sum a_i}\prod f_j^{b_j}$. It is unchanged by finite modules and multiplicative in short exact sequences of torsion modules.

For a finitely generated torsion Iwasawa module, this is a generator of its characteristic ideal, unique up to a unit of the formal power series ring. It may be chosen as a power of $p$ times a product of distinguished polynomials. The series itself and the ideal it generates are different objects; changing a generator by a unit preserves the ideal. When the finite Euler characteristic of a one-variable Iwasawa module is defined, the inverse p-adic absolute value of its constant term gives that invariant.

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.