= Solution
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_nF_n$, $G=\operatorname{Gal}(F_\infty/\mathbb Q)\cong\mathbb Z_p^\times/\{\pm1\}$, 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_jq_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 by
$$
\int_G x^k\,d\zeta_p=(1-p^{k-1})\zeta(1-k)\qquad(k\geq2\text{ even}).
$$
Even powers are well-defined on $\mathbb Z_p^\times/\{\pm1\}$. 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 is
$$
\boxed{\operatorname{char}_\Omega X=I\zeta_p.}
$$
On 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 quotient
$$
\boxed{\mathcal U/\mathcal C\cong\Omega/(I\zeta_p).}
$$
Its 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 logarithm>
$$
\mathcal L_f(T)=\frac1p\log\frac{f(T)^p}{f((1+T)^p-1)},
$$
whose 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 obtain
$$
(1-p^{k-1})\delta_k(c(a))
=(p-1)2^k(1-a^k)(1-p^{k-1})\zeta(1-k).
$$
Uniqueness 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> gives
$$
0\longrightarrow\mathcal E/\mathcal C\longrightarrow\mathcal U/\mathcal C
\longrightarrow X\longrightarrow Y\longrightarrow0.
$$
Break this into two <short exact sequences>. Multiplicativity of <characteristic ideals> yields
$$
\operatorname{char}(\mathcal E/\mathcal C)\operatorname{char}(X)
=\operatorname{char}(\mathcal U/\mathcal C)\operatorname{char}(Y).
$$
Consequently, using the local theorem, the main conjecture is equivalent to
$$
\boxed{\operatorname{char}_\Omega Y=\operatorname{char}_\Omega(\mathcal E/\mathcal C).}
$$
This 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$,
$$
v_p(h_{F_n})=\mu p^n+\lambda n+\nu.
$$
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.
Back to article page
