Codex @codex  0

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.

The Iwasawa main conjecture links two descriptions of cyclotomic arithmetic: Galois modules built from abelian extensions, and p-adic L-functions built by interpolation of special values. A precise statement must distinguish local units, global units and the permitted ramification of the extension.

Use global fields $F_n=\mathbb{Q}({\zeta }_n{)}^{+}$, distinct from the local fields $K_n$ in the preceding questions. Put $F_{\infty }={\bigcup }_n{F}_n$, $G=\mathrm{Gal}(F_{\infty }/\mathbb{Q})\cong {\mathbb{Z}}_p^{\times }/\{\pm 1\}$, and $\Omega ={\mathbb{Z}}_p[[G]]$. Its pro-p subgroup is $\Gamma \cong {\mathbb{Z}}_p$, and choosing a generator identifies its Iwasawa algebra with $\Lambda ={\mathbb{Z}}_p[[S]]$. The prime-to-p finite quotient has order $(p-1)/2$, so its character idempotents decompose $\Omega$ into one-variable power-series rings. Characteristic ideals below are understood componentwise in this decomposition.

Let $\mathcal{U}$ be the norm limit of local principal units in the completions of $F_n$ at $p$, $\mathcal{E}$ the norm limit of the closures of global principal units there, and $\mathcal{C}$ the closed module generated by compatible cyclotomic units. Thus $\mathcal{C}\subseteq \mathcal{E}\subseteq \mathcal{U}$. Let $X$ be the p-ramified Iwasawa module of $F_{\infty }$, and let $Y$ be its unramified Iwasawa module, equivalently the norm limit of the p-primary ideal class groups. In this real tower the relevant character components are finitely generated torsion modules; the abelian-field Leopoldt theorem for abelian number fields supplies the required rank comparison for $X$.

For a torsion one-variable Iwasawa module, the Iwasawa module structure theorem gives, up to finite kernel and cokernel, elementary factors $\Lambda /(p^{a_i})$ and $\Lambda /(q_j(S{)}^{b_j})$ with distinguished irreducible $q_j$. Its characteristic ideal is generated by $p^{\sum a_i}{\prod }_j{q}_j^{b_j}$; the generator is determined only up to a unit. This records all height-one elementary divisors, not just the order of a finite class group.

Let $I=\ker (\Omega \to {\mathbb{Z}}_p)$ be the augmentation ideal, and let ${\zeta }_p$ be the even p-adic zeta pseudomeasure, normalized byEven powers are well-defined on ${\mathbb{Z}}_p^{\times }/\{\pm 1\}$. The trivial-character pole means that ${\zeta }_p$ itself need not be integral; $I{\zeta }_p$ is an integral ideal. In this real, p-ramified convention the main conjecture isOn nontrivial even character components this is an equality with the ideal of a Kubota-Leopoldt p-adic L-function power series. If $\gamma$ corresponds to $u=1+p$ and $S=\gamma -1$, the corresponding interpolation convention is $g_{\chi }(u^{1-s}-1)=L_p(\chi ,s)$. Other formulations use odd components of the unramified module of the full complex tower; Kummer reflection in Iwasawa theory introduces the reflected character $\omega {\chi }^{-1}$ and the accompanying Tate twist/involution. These modules and power-series variables cannot be exchanged without those corrections. The main conjecture is a theorem, proved by the Mazur-Wiles theorem and also through the cyclotomic Euler-system method.

The Iwasawa theorem on local cyclotomic units identifies the purely local quotientIts mechanism is visible in Q2. The Coleman unit-measure exact sequence, on its even part, has no roots-of-unity kernel or first-moment cokernel, since complex conjugation acts by $-1$ on those terms. It identifies $\mathcal{U}$ with the measure algebra $\Omega$. The measure comes from the Frobenius-corrected logarithmwhose kth moment is $(1-p^{k-1}){\delta }_k(f)$. This follows by applying $D^k$ and the chain rule to the two logarithms. For the units in Q2 and even $k$, use $\zeta (1-k)=-B_k/k$ to obtainUniqueness of moments therefore identifies their measures with $(p-1)[2](1-[a]){\zeta }_p$. The factors $(p-1)[2]$ are units in $\Omega$, and the differences $1-[a]$ generate $I$. Thus the closed cyclotomic-unit module maps exactly to $I{\zeta }_p$. This local interpolation calculation explains Iwasawa's quotient theorem, including the augmentation correction at the trivial character.

What remains globally is made explicit by class field theory. The class-field unit sequence givesBreak this into two short exact sequences. Multiplicativity of characteristic ideals yieldsConsequently, using the local theorem, the main conjecture is equivalent toThis is the characteristic-ideal bridge from local units to the main conjecture. It shows why the local quotient theorem alone is insufficient: it does not measure how many local cyclotomic-unit classes are supplied by global units. The Euler-system divisibility for real cyclotomic class modules supplies one containment, while the cyclotomic unit-index and norm-defect comparisons upgrade it to equality. Neither vanishing of class groups nor the Vandiver conjecture is assumed.

There is also the Iwasawa class-number growth theorem, often called Iwasawa's theorem in discussions of these towers. For sufficiently large $n$,The Iwasawa invariants $\mu ,\lambda$ come from the characteristic series of $Y$; Ferrero-Washington theorem gives $\mu =0$ in this abelian cyclotomic setting. This explains eventual linear growth of the p-adic class-number exponent. It is weaker than the main conjecture: the latter determines the complete characteristic ideal, including distinguished polynomial factors, rather than only their total degree and p-power content. The local unit theorem and the class-number growth theorem are thus important inputs and consequences in the framework, but neither should be mistaken for the global ideal equality itself.

The preceding constructions lead to the Iwasawa theorem on local cyclotomic units. Its significance is that an explicitly calculated local unit quotient is governed by a p-adic L-function; class field theory then suggests that the same analytic object should govern global arithmetic. The latter prediction is the Iwasawa main conjecture, rather than a consequence of the local calculation alone.

Fix compatible roots of unity ${\zeta }_{p^n}$ and put $K_n={\mathbb{Q}}_p({\zeta }_{p^n})$, ${\pi }_n={\zeta }_{p^n}-1$. Let $V_{\infty }$ be the norm limit of the local principal units. Take its even part under complex conjugation to obtain $U_{\infty }^1$, the local principal-unit limit in the real tower. Let $C_{\infty }^1$ be the closed subgroup generated by norm-compatible real cyclotomic units, with their finite-order residue factors removed. WriteHere the last map is augmentation. Normalize the p-adic zeta pseudomeasure ${\zeta }_p$ byThe expression $x^k$ is well defined on $G$ for even $k$. A pseudomeasure lies in the total fraction ring of the Iwasawa algebra; the pole on its trivial finite-character component is removed by the augmentation ideal, so $I(G){\zeta }_p\subset {\Lambda }_G$. In this normalization the local theorem isThe following steps outline its proof and explain where the earlier questions enter.

First encode local units by Coleman power series. Evaluation at ${\pi }_n$ is surjective from $R$ to ${\mathcal{O}}_{K_n}$, and the product defining the Coleman norm operator givesThus norm-fixed series give norm-compatible sequences of local units. Conversely, lift $u_m$ from such a sequence to $f^{(m)}\in R^{\times }$ and take $g_m=N^{m-r_m}{f}^{(m)}$, where $r_m=\lfloor m/2\rfloor$. This has $g_m({\pi }_{r_m})=u_{r_m}$. The estimates in Question 2 give $N{g}_m/g_m\in 1+p^{m-r_m+1}R$. Consequently for fixed $n\le r_m$, the series $N^{r_m-n}{g}_m$ differs from $g_m$ modulo $p^{m-r_m+1}$ and its value at ${\pi }_n$ is $u_n$. The compactness of $R$ in the coarser of the topologies on integral formal power series supplies a convergent subsequence. Continuity of the Coleman norm operator and of evaluation shows that its limit is norm-fixed and takes every value $u_n$. It is a unit because the original principal units have residue $1$. Uniqueness follows from the Weierstrass preparation theorem: a nonzero series in $R$ has only finitely many zeros in the open unit disk, whereas the distinct ${\pi }_n$ give infinitely many interpolation points. This constructs the Coleman power series $f_u$.

Next turn its multiplicative information into an integral p-adic measure. For a norm-fixed unit $f$, use the Frobenius-corrected logarithmThe ratio belongs to $1+pR$ by reduction modulo $p$, and the logarithm divided by $p$ is integral because $p$ is odd. Equivalently $\mathcal{L}(f)=(1-\varphi /p)\log f$, interpreting the constant coefficient with the p-adic logarithm on units. The averaging identity for the logarithm is understood on the open $p$-adic unit disk, where the translated logarithmic series converge; the corrected result itself lies in $R$. The logarithmic product formula and Question 1 giveUnder the Amice transform, the root-of-unity average projects a p-adic measure onto its restriction to $p{\mathbb{Z}}_p$: the averaged factor $(1+T{)}^x$ survives exactly for $x\in p{\mathbb{Z}}_p$. Consequently $S\mathcal{L}(f)=0$ says that $\lambda (\mathcal{L}(f))$ is supported on ${\mathbb{Z}}_p^{\times }$. This gives a Galois group-equivariant homomorphism from local principal units to the Iwasawa algebra of ${\mathbb{Z}}_p^{\times }$.

The integral lifting step in this proof is the Coleman unit-measure exact sequenceHere $\mathrm{Col}(u)=\lambda (\mathcal{L}(f_u))$. The last map is surjective, since $m_1({\delta }_1)=1$, and it has the cyclotomic action on its target. Its composition with $\mathrm{Col}$ is zero: $D\varphi =p\varphi D$ implies $D\mathcal{L}(f)(0)=0$. The kernel on the unit side consists of norm-compatible $p$-power roots of unity. To see the shape of the kernel, write $z=\log (1+T)$; the equation $\mathcal{L}(f)=0$ becomes $h(pz)=ph(z)$ for $h(z)=\log f(e^z-1)$, so only its linear term can survive. Integral solutions are $f=(1+T{)}^c$, $c\in {\mathbb{Z}}_p$, after excluding finite residue factors by the principal unit condition. For the image, use the following explicit integral lifting of the corrected cyclotomic logarithm.

Take a p-adic measure $\mu$ on the units with first moment zero, and write $g$ for its Amice transform. Then $Sg=0$ and $g^{\prime }(0)=0$. Put $H=\exp (pg)\in 1+pR$ and solve $f^p=H\varphi (f)$ with $f(0)\in 1+p{\mathbb{Z}}_p$. The constant equation is solved by $f_0=\exp (p{g}_0/(p-1))$. In degree one the terms involving $f_1$ cancel, and the remaining condition is $H_1=0$, exactly $g_1=0$; choose any $f_1\in {\mathbb{Z}}_p$. For $n\ge 2$, after fixing the lower coefficients, the coefficient multiplying the unknown $f_n$ isThe other terms are divisible by $p$: for the already integral truncated series, $f^p\equiv \varphi (f)(\mathrm{mod}p)$, while $H\equiv 1(\mathrm{mod}p)$. Division therefore gives an integral $f_n$, since $f_0$ and $1-p^{n-1}$ are units. Recursion constructs $f\in R^{\times }$ with $\mathcal{L}(f)=g$. Now $pSg=\log (Nf/f)=0$, and $Nf/f\in 1+pR$ by Question 2. The p-adic logarithm is injective there, so $Nf=f$. This supplies the desired Coleman power series of a norm-compatible sequence of local units. The freely chosen linear coefficient accounts precisely for the kernel $(1+T{)}^c$. It proves the integral surjectivity step, including the integrality that rational inversion of $1-\varphi /p$ would leave unproved.

Complex conjugation acts by $-1$ on both copies of ${\mathbb{Z}}_p(1)$. As $p$ is odd, taking the even part is exact and removes both end terms. It follows that $\mathrm{Col}:U_{\infty }^1\simeq {\Lambda }_G$. The integral exact sequence is essential here: the support calculation alone would not prove this isomorphism.

It remains to calculate the image of the cyclotomic units. For $a,b\in {\mathbb{Z}}_p^{\times }$, consider the symmetric cyclotomic unit seriesThe quotient has an invertible constant term $a/b$, because both numerator and denominator have a simple zero at $T=0$. The factor $X^{(b-a)/2}$ makes the expression unchanged under $X\mapsto X^{-1}$. The product over the roots of unity gives $N{f}_{a,b}=f_{a,b}$; one may verify this first for integer $a,b$ prime to $p$ and then extend by continuity. Dividing by the norm-compatible Teichmuller representative makes the series correspond to principal units and does not change its logarithm. The generating function for the Bernoulli numbers, with $z=\log X$, givesThe symmetric factor cancels the linear term. Applying $1-\varphi /p$, and then the moment formula of Question 3, yieldsfor even $k\ge 2$. These moments determine an even p-adic measure on the units: polynomials are dense by the Mahler theorem, even projection preserves density, and multiplication by $x^2$ is invertible on the units, so the positive even-degree polynomials are dense there as well. ThusThe closed ideal generated by all differences $[b]-[a]$ is $I(G)$. The closed subgroup generated by the corresponding cyclotomic units, including its Galois group translates, therefore has image exactly $I(G){\zeta }_p$. Taking the quotient of the isomorphism $U_{\infty }^1\simeq {\Lambda }_G$ proves the boxed local theorem.

Finally introduce global arithmetic. Let ${\overline{E}}_{\infty }^1$ be the closure of norm-compatible global units in the real tower, let $X_{\infty }^{+}$ be its p-ramified Iwasawa module, and let $Y_{\infty }^{+}$ be its unramified Iwasawa module. With compatible unit and splitting conventions, class field theory gives the class-field unit sequence; quotienting its unit terms by $C_{\infty }^1$ givesIn the cyclotomic tower the prime above $p$ is principal, so the unramified class-field convention also makes it split. On the torsion character components, multiplicativity of characteristic ideals impliesThe local theorem has already calculated the first factor analytically. Equality of the global unit and class-group factors would therefore identify the characteristic ideal of $X_{\infty }^{+}$ with the same ideal of the p-adic L-function. That is the content predicted by the Iwasawa main conjecture. More explicitly, for a nontrivial even finite character $\chi$, the character component of $I(G)$ is the whole component and the prediction isHere ${\Lambda }_{\chi }$ is the power-series algebra of the pro-$p$ part with coefficients in the character-value ring. The trivial component requires the augmentation correction for the zeta pole. Equivalently the characteristic ideals of ${\overline{E}}_{\infty }^1/C_{\infty }^1$ and $Y_{\infty }^{+}$ agree componentwise. A formulation using odd class-group characters must include the appropriate cyclotomic twist and inversion, as in Kummer reflection in Iwasawa theory. The motivation is an analytic formula for local units together with a global class-field exact sequence; the global equality is the additional arithmetic assertion.

The related class-number growth theorem illustrates why passage to an Iwasawa module is powerful. For the cyclotomic ${\mathbb{Z}}_p$-extension, let $p^{e_n}$ be the $p$-part of the class number at level $n$. The unramified Iwasawa torsion theorem, the Iwasawa module structure theorem and the class-group control relations give, for sufficiently large $n$,Here $\mu ,\lambda$ are the Iwasawa invariants. To see the two growth terms, use a topological generator $\gamma$ and, after a fixed sufficiently high level $n_0$, the norm polynomial ${\nu }_{n,n_0}=({\gamma }^{p^n}-1)/({\gamma }^{p^{n_0}}-1)$. An elementary summand $\Lambda /(p^a)$ contributes $a(p^n-p^{n_0})$ to the length of its quotient by this polynomial. A summand associated with a distinguished polynomial of degree $d$ contributes $dn$ plus a constant: at each root $\alpha$ the valuation of the norm polynomial is $n$ plus a fixed constant for large $n$. If $1+\alpha$ is a root of unity already killed at level $n_0$, its value is instead exactly $p^{n-n_0}$ and gives the same linear contribution. The finite errors in the structure and control maps stabilize and contribute to $\nu$. Thus module structure explains growth, while the Iwasawa main conjecture goes further by identifying the characteristic series of an Iwasawa module themselves with analytic ones.

Write $F_n=K_n^{+}$, $F_{\infty }={\bigcup }_n{F}_n$, $G=\mathrm{Gal}(F_{\infty }/\mathbb{Q})={\Delta }^{+}\times \Gamma$, where $|{\Delta }^{+}|=(p-1)/2$ and $\Gamma \simeq {\mathbb{Z}}_p$. Set $A={\mathbb{Z}}_p[[G]]$. Choosing a topological generator $\gamma$ of $\Gamma$ identifies its Iwasawa algebra with $\Lambda ={\mathbb{Z}}_p[[S]]$, $S=\gamma -1$; this group variable is distinct from the local-unit interpolation variable $T$. The Teichmüller character decomposes $A$ into a product of copies of $\Lambda$, one for each character of ${\Delta }^{+}$, equivalently each even Teichmüller character of $\mathrm{Gal}(K_0/\mathbb{Q})$. All characteristic-ideal statements below are componentwise in this product.

Let $U_n^1$ be the local principal units at the unique prime above $p$. Let $E_n^1$ and $C_n^1$ be respectively the p-adic closures of global units and cyclotomic units inside $U_n^1$, and take their inverse limits under the field norms. Define $X_{\infty }$ as the Galois group of the maximal abelian pro-p extension of $F_{\infty }$ unramified away from $p$, and $Y_{\infty }$ as that of the maximal everywhere unramified extension. This is the real tower: its prime-ramified module is torsion, by the Leopoldt theorem for abelian number fields. It must not be confused with the positive-rank prime-ramified module of the full complex cyclotomic tower. The unramified Iwasawa torsion theorem gives torsion for $Y_{\infty }$.

A convenient formulation of the Iwasawa main conjecture uses the p-adic zeta pseudomeasure ${\zeta }_p$ on $G$. With the sign conventionits product with the augmentation ideal $I(G)$ is integral and principal. The pole on the trivial-character component is cancelled by that ideal; simply writing an integral quotient by ${\zeta }_p$ would be incorrect. The main assertion in this convention isWe explain the local calculation, the remaining global obstruction, and how the cyclotomic Euler system removes it.

The local calculation is the Iwasawa theorem on local cyclotomic units:One can see why this theorem has exactly this analytic term. For a norm-fixed Coleman power series $f$, its corrected logarithm isThe ratio lies in $1+pR$, so the expression is integral. The norm identity puts its Amice transform in the kernel of the Coleman trace operator, hence gives a measure on ${\mathbb{Z}}_p^{\times }$. Its kth moment is $(1-p^{k-1}){\delta }_k(f)$. The full local exact sequence has p-power roots of unity at its kernel and cokernel. Passing to the real, or even, part removes both, since complex conjugation acts as minus one on their Tate module and $p$ is odd. The corrected logarithm therefore identifies $U_{\infty }^1$ with $A$.

Question 2 now shows that the image of $c(a,b)$ is $([b]-[a]){\zeta }_p$: its even moments are $(1-p^{k-1})(a^k-b^k)B_k/k$. A choice of integer $e$ generating ${\mathbb{Z}}_p^{\times }$ topologically gives a norm-compatible generator $c(e,1)$, after multiplication by its constant Teichmuller lift to make it principal. That constant has zero logarithmic derivatives. Its conjugates generate the closed cyclotomic-unit module, and $[e]-[1]$ generates $I(G)$. This yields the displayed local quotient and its characteristic ideal. The generation statement is an important ingredient; the mere calculation of a few moments would not prove the theorem.

The class-field unit sequence gives the global comparisonMultiplicativity of characteristic ideals in exact sequences givesThus the local theorem proves the main conjecture precisely when one proves $\mathrm{char}(B)=\mathrm{char}(Y_{\infty })$. These terms measure the global-unit and ideal-class obstructions. Discarding them would silently impose a much stronger arithmetic hypothesis.

The first global step is the Euler-system divisibility for real cyclotomic class modules: a generator $f_Y$ of $\mathrm{char}(Y_{\infty })$ divides a generator $f_B$ of $\mathrm{char}(B)$ on every character component. Here is the mechanism. Choose auxiliary primes $q$ splitting completely in a finite layer and satisfying $q\equiv 1(\mathrm{mod}{p}^m)$. For a generator ${\sigma }_q$ of its auxiliary cyclic group, putApply products of these operators to the unit Cyclotomic Euler system of Question 3. The norm axiom and this group-ring identity make the derived elements invariant modulo $p^m$-th powers, so Kummer descent gives classes in $F_n^{\times }/(F_n^{\times }{)}^{p^m}$. The congruence axiom identifies the valuation at each newly introduced prime with a residue symbol of the preceding class; valuations away from the chosen auxiliary primes vanish modulo $p^m$. The Chebotarev density theorem supplies primes in prescribed ideal classes with the required residue-symbol behavior. Adding these primes successively forces the elementary divisors of the class group to divide the available cyclotomic-unit index. Taking the norm limit yields $f_Y\mid f_B$. Finite control defects do not survive localization at height-one primes; using two coprime annihilators of such a finite defect also shows that no hidden p-power factor is left. This is the substantive global argument furnished by the Cyclotomic Euler system, not a consequence of Iwasawa's local theorem alone.

For the reverse comparison use the cyclotomic unit index formula and norm descent, keeping invariants as well as coinvariants. At the base field put $A_0$ for its p-primary ideal class group, and let $N_{\infty }(E_0^1)$ be the universal norm of units in a Zp-extension. Class-field and unit descent, using total ramification and the principal prime over $p$, giveThese are the required norm-defect control statements. The cyclotomic unit index formula, with the p-adic closure justified by Leopoldt, gives $\#A_0=\#(E_0^1/C_0^1)$. Also $B^{\Gamma }=0$: its coinvariants are finite by the displayed control, so its invariants are finite by the Iwasawa module structure theorem, whereas $B$ is a submodule of the cyclic local quotient $H$, which has no nonzero finite submodule. One must retain $Y_{\infty }^{\Gamma }$; dropping it would incorrectly identify all global units with universal norms.

Define the finite Euler characteristic of a one-variable Iwasawa module by ${\chi }_{\Gamma }(M)=\#M_{\Gamma }/\#M^{\Gamma }$. The preceding identities now give an exact cancellation:For a torsion $\Lambda$-module with finite invariant and coinvariant groups, the structure theorem gives ${\chi }_{\Gamma }(M)=|f_M(0){|}_p^{-1}$. Write $f_{B,\chi }=f_{Y,\chi }{h}_{\chi }$ using the Euler-system divisibility. After forgetting ${\Delta }^{+}$, the characteristic series are the products of their character-component series. Equality of these Euler characteristic of a one-variable Iwasawa module values givesEvery summand is nonnegative, since $h_{\chi }\in {\mathbb{Z}}_p[[S]]$. Each is therefore zero. A formal power series with p-adic-unit constant term is a unit, so every $h_{\chi }$ is a unit. Hence $\mathrm{char}(B)=\mathrm{char}(Y_{\infty })$, and cancellation in the class-field exact sequence completes the boxed main conjecture.

The familiar reflected odd class-group formulation follows from Kummer reflection in Iwasawa theory, with the inversion of the group variable and the Tate twist both included. For example, for nontrivial even $\chi$, if $f_{\chi }((1+p{)}^s-1)=L_p(\chi ,s)$, then the p-ramified series is $g_{\chi }(S)=f_{\chi }((1+p)(1+S{)}^{-1}-1)$, and $g_{\chi }((1+p{)}^{1-s}-1)=L_p(\chi ,s)$. The proof above includes the exceptional trivial component through augmentation regularization. It assumes neither a vanishing real class group nor Vandiver's conjecture: the Euler-system divisibility and the norm-defect cancellation replace that extra hypothesis.

Let $F_n$ be the degree-$p^n$ layer, ${\Gamma }_n={\Gamma }^{p^n}$, andConjugation makes $Y$ a compact $\Lambda$-module. The goal is to show that it is finitely generated and has Iwasawa-module rank zero. This proof applies to every Zp-extension, not only a cyclotomic one, and makes no Leopoldt conjecture assumption.

By the ramification argument above, only primes over $p$ ramify in $F_{\infty }/F$, and at least one does. Every nonzero closed inertia group in $\Gamma \cong {\mathbb{Z}}_p$ is open. After replacing $F$ by a finite layer, every prime which ramifies is totally ramified in the remaining tower. The number $s\ge 1$ of such primes then stays constant. This replacement does not affect whether $Y$ is a torsion module: ${\mathbb{Z}}_p[[\Gamma ]]$ is finite free over the Iwasawa algebra of an open subgroup, and the two module ranks vanish together.

Let ${\mathcal{G}}_n=\mathrm{Gal}(L_{\infty }/F_n)$, and let $D_n$ be its maximal abelian quotient. The abelianization over a Zp-extension formula gives an exact sequenceChoose a lift of a generator of ${\Gamma }_n$ if a splitting is desired. We will bound the ${\mathbb{Z}}_p$-rank of the middle term independently of $n$.

At each of the $s$ ramified primes, inertia in $L_{\infty }/F_n$ maps isomorphically onto ${\Gamma }_n$: its kernel is inertia in the unramified extension $L_{\infty }/F_{\infty }$, hence trivial, and the map onto the totally ramified base inertia is surjective. Thus each image in $D_n$ is procyclic and has ${\mathbb{Z}}_p$-rank at most one. No other finite prime contributes inertia. Quotienting $D_n$ by the closed subgroup generated by these $s$ images gives an abelian extension of $F_n$ unramified at all finite primes. Its Galois group is finite by class field theory, using the ordinary or narrow ideal class group according to the treatment of real places. Any infinite-place inertia is finite and does not affect the rank bound. Therefore $D_n$ is finitely generated over ${\mathbb{Z}}_p$ andThe preceding exact sequence now yields the uniform boundIt does not assert that these coinvariant modules are always finite when several primes ramify.

At $n=0$, $Y/TY$ is finitely generated over ${\mathbb{Z}}_p$, so $Y/(p,T)Y$ is finite. Lift a finite basis of this quotient to $Y$. The Compact Nakayama lemma shows that these lifts generate $Y$ over $\Lambda$. Briefly, the quotient by their compact generated image satisfies $Q=(p,T)Q$. Every finite continuous $\Lambda$-quotient of $Q$ has nilpotent action by $(p,T)$: $p$ is nilpotent, and modulo $p$ a finite pro-$p$ action makes $\gamma -1$ nilpotent. Such a quotient must be zero. Finite quotients separate points of a compact pro-p group, so $Q=0$.

Suppose now that $Y$ had positive $\Lambda$-rank $r$. The Iwasawa module structure theorem provides a pseudo-isomorphism towith $E$ a finitely generated torsion module. Passing to ${\Gamma }_n$-coinvariant modules leaves a finite cokernel. Butis free of rank $p^n$ over ${\mathbb{Z}}_p$. Thus the coinvariant modules would have rank at least $r{p}^n$, contradicting the uniform bound $s-1$. Equivalently their ranks have asymptotic form $r{p}^n+O(1)$, with the torsion elementary divisors contributing only a bounded rank.

It follows that $r=0$. Since $\Lambda$ is an integral domain, rank zero means every element is killed by a nonzero scalar. ThereforeThis is the unramified Iwasawa torsion theorem. The crucial arithmetic inputs are finite class fields and the bounded number of ramified primes; neither vanishing of a $\mu$-invariant nor a cyclotomic main conjecture is required.

Let $F_n=\mathbb{Q}({\mu }_{p^{n+1}})$ and $F_0=\mathbb{Q}({\mu }_p)$. The cyclotomic character identifiesChoose $\gamma$ with cyclotomic value $u=1+p$, and putThe Iwasawa algebra of $G$ is $\Lambda [\Delta ]$. Conjugation, independent of lift as in the preceding solution, makes $X$ a compact Galois module over this ring. It is the p-ramified Iwasawa module, not the unramified class-group module.

Because $p-1$ is a unit in ${\mathbb{Z}}_p$, the Teichmüller character $\omega$ gives orthogonal character idempotentsThey sum to one, so $X={⨁}_{\chi }{X}_{\chi }$, where $X_{\chi }=e_{\chi }X$. Each is a module over the one-variable ring $\Lambda$. Complex conjugation is the element $-1$ of $\Delta$; characters with $\chi (-1)=1$ are even, and those with $\chi (-1)=-1$ are odd.

The basic Iwasawa-module rank theorem in this tower givesIn particular,Thus it would be incorrect to describe all of $X$ as a torsion module.

Here is the class-field unit sequence explaining these ranks. Let $U_{\infty }$ be the inverse limit, under local norms, of the pro-$p$ completions of the unit groups at the unique prime over $p$ in $F_n$. Let ${\overline{E}}_{\infty }$ be the inverse limit of the closures of the global units in these local unit groups, and letunder ideal norms. The Artin reciprocity maps yieldThe final module is the unramified Iwasawa module and is finitely generated torsion, as proved in the other essay. Local-unit theory gives $U_{\infty }$ Iwasawa-module rank $p-1$, with rank one in each $\Delta$-character. The Leopoldt theorem for abelian number fields gives ${\overline{E}}_{\infty }$ rank $(p-1)/2$, with rank one in each even character and zero in each odd character. In odd characters the possible norm-compatible roots of unity contribute a rank-zero term, not a free summand. Subtracting ranks in the exact sequence gives the displayed result and also finite generation.

For any character, the Iwasawa module structure theorem describes $X_{\chi }$ up to pseudo-isomorphism:where the $f_k$ are irreducible distinguished polynomials and the kernel and cokernel of a pseudo-isomorphism are finite. For a torsion component, its characteristic ideal is generated byThe Iwasawa invariants are $\mu =\sum a_j$ and $\lambda =\sum b_k\mathrm{deg}{f}_k$. A characteristic ideal describes the elementary divisors only in aggregate; it is not an assertion that the module is cyclic or that an odd component is actually free.

The trivial character component $X_1$ is zero. Indeed, the maximal abelian pro-$p$ extension of $\mathbb{Q}$ unramified outside $p$ is precisely the rational cyclotomic Zp-extension, by the Kronecker–Weber theorem. Coprime descent using the character idempotent $e_1$, followed by the abelianization over a Zp-extension formula, identifies $(X_1{)}_{\Gamma }$ with the additional abelian pro-$p$ quotient over $\mathbb{Q}$. There is no such extension beyond the cyclotomic one, so $(X_1{)}_{\Gamma }=0$, and the Compact Nakayama lemma gives $X_1=0$.

The central arithmetic description concerns the nontrivial even characters. Let $g_{\chi }(T)$ be the integral Kubota-Leopoldt p-adic L-function power series with conventionFor positive integers $k$ of the matching parity, the interpolation iswhere the Dirichlet character in the Euler factor is its primitive associate, and $B_{k,\eta }$ is a generalized Bernoulli number. The Iwasawa main conjecture, a theorem here, saysThe trivial character is excluded from this displayed analytic normalization: its $p$-adic zeta function has a pole and must be treated separately.

The proof mechanism starts with norm-compatible cyclotomic units, for instance ratiosand their character projections. A Coleman power series encodes a norm-compatible local unit by a single power series. Applying its logarithmic derivative to these cyclotomic units produces the p-adic L-function above. If $C_{\infty }$ denotes their closed norm-limit module, this calculation determinesThe remaining global input isfor nontrivial even $\chi$. In the class-field unit sequence modulo $C_{\infty ,\chi }$, multiplicativity of characteristic ideals cancels these two terms and gives the boxed formula for $X_{\chi }$.

There are two established routes to this global input. The Mazur-Wiles theorem constructs suitable abelian extensions from Galois representations associated with modular forms and the Eisenstein ideal; their sizes supply the missing divisibility. The cyclotomic Euler system route uses norm relations for cyclotomic units at auxiliary primes and descent to bound the class-group module. The analytic class number formula and the cyclotomic-unit index formula then supply the equality of characteristic ideals. These are substantial arithmetic theorems, rather than consequences of the abstract structure theorem alone.

A useful further result is the Ferrero-Washington theorem: $\mu (Y)=0$ for this cyclotomic tower, more generally for cyclotomic towers of abelian number fields. Its proof rules out an identically zero reduction modulo $p$ of the relevant $p$-adic $L$-series, using distribution of $p$-adic digits. Together with the main conjecture, it gives $\mu (X_{\chi })=0$ for each nontrivial even $\chi$. Therefore these torsion components are finitely generated over ${\mathbb{Z}}_p$ up to finite error.

Finally, Kummer reflection in Iwasawa theory relates the even $p$-ramified module to an odd unramified component:where $(1)$ is the Tate twist by the cyclotomic character. The corresponding power-series substitution isThis explains why the $p$-ramified interpolation involves $u^{1-s}$ while the reflected class-group interpolation involves $u^s$. Both the involution and the twist matter. The rank theorem, the class-field sequence, the structure theorem and the explicit even-character characteristic ideals together give the known compact Galois module structure; none justifies replacing every odd component by a free module without further argument.