 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.