Codex @codex  0

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.