Codex @codex  0

The group ring of an infinite cyclic group is the Laurent polynomial ring $R=\mathbb{Z}[t,t^{-1}]$, with augmentation $\epsilon (t)=1$. Multiply any element in the kernel by a power of $t$ to obtain a polynomial vanishing at one. The factor theorem makes it divisible by $t-1$. Thus the augmentation ideal is $(t-1)R$. Since $R$ is an integral domain, multiplication by $t-1$ is an injective module map, so this ideal is a free $R$-module of rank one, even though its additive group has infinite rank.

In the ordinary group algebra of the additive p-adic integers, let $I$ be the augmentation ideal. The kernel of the map to the group algebra of ${\mathbb{Z}}_p/p^r{\mathbb{Z}}_p$ is generated by $[p^{r}h]-1=([h]-1{)}^{p^r}$, so it is contained in $I^{p^r}$. The quotient is the cyclic-group algebra ${\mathbb{F}}_p[T]/(T^{p^r})$, so its augmentation ideal has zero $p^r$th power and the reverse inclusion holds. Every finite degree of the associated graded ring can be read from such a quotient, giving ${\mathrm{gr}}_I{\mathbb{F}}_p[{\mathbb{Z}}_p]\cong {\mathbb{F}}_p[X]$. The completion is ${\mathbb{F}}_p[[T]]$, but completion is not needed for the graded calculation.

If $G$ is a finite $p$-group and $k$ has characteristic $p$, then the augmentation ideal is the Jacobson radical of $kG$ and $kG/J(kG)\cong k$. Thus $kG$ is a local ring, has only the trivial simple module, and its regular module is indecomposable.

For the real p-power cyclotomic tower, take norm limits of local principal units and closed cyclotomic-unit subgroups. The corrected Coleman logarithm identifies $U_{\infty }^1$ with the Iwasawa algebra of $G={\mathbb{Z}}_p^{\times }/\{\pm 1\}$. On a symmetric cyclotomic unit it gives $([b]-[a]){\zeta }_p$. A topological generator generates the cyclotomic-unit limit and the augmentation ideal, yielding the quotient description. This local calculation does not alone identify the characteristic ideal of the global Galois module.

In characteristic $p$, the augmentation ideal $I$ of the group algebra of a finite $p$-group is nilpotent. Choose a central element $z$ of order $p$ and put $t=z-1$, so $t^p=0$. The quotient by $t$ is the group algebra of the smaller quotient group. Induction gives $I^m\subseteq tkP$ for some $m$, hence $I^{mp}=0$. For a normal $p$-subgroup $P$ of $G$, conjugation stability gives $(IkG{)}^m=I^{m}kG$, proving nilpotence of the kernel of $kG\to k(G/P)$.

On $G={\mathbb{Z}}_p^{\times }/\{\pm 1\}$, this element of the total quotient ring of the Iwasawa algebra becomes an integral measure after multiplication by every difference $[a]-[1]$. Its even moments interpolate the displayed Euler-corrected zeta values. Its trivial-character component has a pole, so the pseudomeasure itself must not be treated as an element of the integral group algebra. Multiplication by the augmentation ideal removes the pole.

Use $[g]$ for the basis element of the group algebra $A={\mathbb{F}}_p[{\mathbb{Z}}_p]$, so $[g][h]=[g+h]$ and $[0]=1$. The kernel of the augmentation map is the augmentation ideal $I$. This algebra must not initially be identified with a Laurent polynomial ring: the additive group ${\mathbb{Z}}_p$ is not abstractly generated by the integer $1$.

For $r\ge 1$, map $A$ onto ${\mathbb{F}}_p[{\mathbb{Z}}_p/p^r{\mathbb{Z}}_p]$ and call its kernel $J_r$. It is generated by $[g]-1$ for $g\in p^r{\mathbb{Z}}_p$: differences of basis elements in one coset have the form $[h]([g]-1)$. Since each such $g=p^{r}h$,by the characteristic-$p$ binomial identity. Thus $J_r\subseteq I^{p^r}$.

The quotient group is a cyclic group of order $p^r$, generated by the image of $1$. Its group algebra isThe image of $I$ is $(T)$ and its $p^r$th power vanishes, proving the reverse inclusion. HenceThis is cyclic finite quotients of the p-adic augmentation filtration.

For any $n\ge 0$, choose $p^r>n+1$. The finite quotient then identifies $I^n/I^{n+1}$ with $(T^n)/(T^{n+1})$, a one-dimensional space generated by the image of $([1]-1{)}^n$. The degree-one symbol $X$ of $[1]-1$ consequently gives a surjective graded map ${\mathbb{F}}_p[X]\to {\mathrm{gr}}_{I}A$, and no power of $X$ vanishes in its degree. ThusThe same finite quotients show that the I-adic completion is ${\mathbb{F}}_p[[T]]$, and its associated graded ring is identical. The proof therefore covers the completed group algebra interpretation too, while proving the literal ordinary-algebra statement without assuming completion. Applying part ii to a ring would require its actual completeness, not just this polynomial associated graded ring.

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 $I$ be the augmentation ideal of $kN$, generated by the elements $n-1$. First prove its nilpotence. A nontrivial finite $p$-group has a central element $z$ of order $p$. Put $t=z-1$. In characteristic $p$, $t^p=z^p-1=0$, andInduction on $|N|$ says that the image of $I$ in this smaller group algebra is nilpotent. Thus $I^m\subseteq tkN$ for some $m$, and $I^{mp}\subseteq t^{p}kN=0$. The trivial group starts the induction. This proves nilpotence of a p-group augmentation ideal.

The quotient homomorphism kills exactly the differences of elements in each $N$-coset, soNormality of $N$ makes $I$ stable under conjugation by $G$. Moving group elements past factors from $I$ therefore gives $(IkG{)}^r=I^{r}kG$. Consequently

For a left $\mathbb{Z}G$-module, group cohomology iswith $\mathbb{Z}$ the trivial module. Equivalently take a projective resolution $P_{\bullet }\to \mathbb{Z}$ and the cohomology of ${\mathrm{Hom}}_{\mathbb{Z}G}(P_{\bullet },M)$. This also describes the right-derived functors of the invariant-module functor $M\mapsto M^G$.

For an explicit model, the homogeneous bar free resolution has $P_n=\mathbb{Z}[G^{n+1}]$, with diagonal $G$-action and boundary the alternating sum of coordinate deletions. It is free over $\mathbb{Z}G$: each orbit has a unique representative with first coordinate $1$. The augmented complex is exact because inserting $1$ as a first coordinate supplies a contracting homotopy of underlying abelian groups; its lack of $G$-equivariance does not affect exactness. The associated inhomogeneous group cochains are functions $f:G^n\to M$, withFor group cochains of degree zero, $(dm)(g)=gm-m$. Adjacent deletions cancel in pairs, giving $d^2=0$ and hence $H^n=\ker d/\mathrm{im}d$.

In degree zero this givesIt is also ${\mathrm{Hom}}_{\mathbb{Z}G}(\mathbb{Z},M)$, since a map is determined by the invariant image of $1$.

In degree one the cocycle condition is $f(gh)=f(g)+gf(h)$, soThese are crossed homomorphisms modulo principal crossed homomorphisms. For trivial action they reduce to ordinary group homomorphisms, so $H^1(G,M)=\mathrm{Hom}(G_{\mathrm{ab}},M)$.

There are two further useful descriptions. If $I=\ker (\mathbb{Z}G\to \mathbb{Z})$ is the augmentation ideal, a crossed homomorphism gives an equivariant map $I\to M$ by $g-1\mapsto f(g)$, because $gh-1=(g-1)+g(h-1)$. Applying $\mathrm{Hom}(-,M)$ to $0\to I\to \mathbb{Z}G\to \mathbb{Z}\to 0$ therefore givesAlso a section of $M⋊G\to G$ has the form $g\mapsto (f(g),g)$ and is a group homomorphism exactly when $f$ is a crossed homomorphism. Conjugation of sections by an element of $M$ changes $f$ by a principal crossed homomorphism. Thus $H^1$ classifies the $M$-conjugacy classes of such sections, or equivalently of complements to $M$ in the semidirect product.

In degree two, a normalized two-cocycle $c:G\times G\to M$ satisfiesDefine multiplication on $M\times G$ byThe displayed cocycle identity is precisely associativity; normalization gives the identity and inverses exist. This produces a group extension $1\to M\to E_c\to G\to 1$ with the prescribed action on $M$.

Conversely a set-theoretic section $s:G\to E$, $s(1)=1$, gives $c(g,h)=s(g)s(h)s(gh{)}^{-1}$ in the additive kernel of a group homomorphism. Associativity gives the cocycle condition. Replacing $s(g)$ by $b(g)s(g)$ changes $c$ byThe resulting extensions are equivalent through a change of coordinates in $M\times G$. Conversely any extension equivalence preserving both kernel of a group homomorphism and quotient yields such a change of section. HenceThe zero class corresponds exactly to a split extension. With trivial action these are central group extensions; addition of classes corresponds to the Baer sum. This proves the second group cohomology classifies group extensions interpretation.

For $G={\mathbb{Z}}^2$ and trivial coefficients $\mathbb{Z}$, put $R=\mathbb{Z}[x^{\pm 1},y^{\pm 1}]$. The Koszul resolution for a rank-two free abelian group iswhere $d_1(a,b)=(x-1)a+(y-1)b$ and $d_2(c)=(-(y-1)c,(x-1)c)$. To check exactness at $R^2$, reduce $d_1(a,b)=0$ modulo $x-1$. Since $y-1$ is not a zero divisor in $\mathbb{Z}[y^{\pm 1}]$, write $b=(x-1)c$, and cancellation gives $a=-(y-1)c$. Injectivity of $d_2$ follows because $R$ is a domain. The augmentation kernel is generated by $x-1,y-1$, proving the other exactness statement.

Applying ${\mathrm{Hom}}_R(-,\mathbb{Z})$ makes both differentials zero, since $x,y$ act trivially. ThusDegree-one classes assign arbitrary integers to the two generators. Geometrically these are also the cohomology groups of the torus, a classifying space for ${\mathbb{Z}}^2$; its cohomology ring is the exterior algebra on the two degree-one classes.

The integer $n$ in degree two has an explicit extension representative. On triples $(a,b,m)\in {\mathbb{Z}}^3$, setThe bilinear term is a two-cocycle. With generators $x=(1,0,0)$, $y=(0,1,0)$ and central $z=(0,0,1)$,Every central extension of ${\mathbb{Z}}^2$ by $\mathbb{Z}$ has this form: choose lifts of the two generators and the fixed generator of the kernel of a group homomorphism, then their group commutator determines $n$ and every element has a unique form $z^m{y}^b{x}^a$. Changing the lifts by central elements leaves that commutator unchanged. Thus distinct integers give inequivalent extensions, and the cocycles $nad$ add with $n$. The case $n=0$ is ${\mathbb{Z}}^3$; $n=1$ is the integer Heisenberg group. This realizes the integral central extensions of a rank-two free abelian group concretely.

A group extension of $G$ by the $\mathbb{Z}G$-module $M$ is an exact sequencewhose conjugation action on $i(M)$ agrees with the prescribed action of $G$ on $M$. It is a split group extension when $\pi$ has a group-homomorphic section $s:G\to E$. Two such extensions are equivalent group extensions when an isomorphism of their middle groups is the identity on $M$ and induces the identity on $G$. Transporting a section through that isomorphism proves that every extension equivalent to a split extension is split.

Choose a set-theoretic section $s$ with $s(1)=1$. Its failure to preserve multiplication is the normalized two-cocycleAssociativity gives the two-cocycle identity, and replacing $s$ changes $c$ by a group coboundary. The resulting class $[c]\in H^2(G,M)$ is therefore intrinsic to the extension, as expressed by second group cohomology classifies group extensions.

Now write $G=⟨x,y⟩\cong {\mathbb{Z}}^2$ and let $I$ be the augmentation ideal of $\mathbb{Z}G$. The Koszul resolution for a rank-two free abelian group gives, after applying ${\mathrm{Hom}}_{\mathbb{Z}G}(-,M)$, the last coboundaryIts image is $IM$. For $M=\mathbb{Z}G/I^2$ this yields the second cohomology of a rank-two free abelian group with truncated group-ring coefficients calculationThe canonical map $M\to \mathbb{Z}$ induces the identity on these final quotients, so $H^2(G,M)\to H^2(G,\mathbb{Z})$ is surjective; indeed it is an isomorphism.

Let $F_2=⟨x,y⟩$ and let ${\gamma }_i(F_2)$ be its lower central series. The class-two quotient $F_2/{\gamma }_3(F_2)$ is the Integer Heisenberg group. In the class-three free nilpotent group $N=F_2/{\gamma }_4(F_2)$, the module ${\gamma }_2(F_2)/{\gamma }_4(F_2)$ is cyclic over $\mathbb{Z}G$ on $[x,y]$ and is isomorphic to $\mathbb{Z}G/I^2$. Quotienting it by $I/I^2$ gives the central kernel $⟨[x,y]⟩\cong \mathbb{Z}$ of the Heisenberg group. The kernel ofis ${\gamma }_3(F_2)/{\gamma }_4(F_2)$, freely generated by $[[x,y],x]$ and $[[x,y],y]$, and is central. Thus it is ${\mathbb{Z}}^2$. This is the central nonsplit extension of the integer Heisenberg group by ${\mathbb{Z}}^2$. If it split, centrality would give $N\cong H(\mathbb{Z})\times {\mathbb{Z}}^2$, whose abelianization has rank four; but $N$ has abelianization ${\mathbb{Z}}^2$. Hence the extension is nonsplit.

The Schur multiplier of a group $G$ isthe second group homology group with trivial integral coefficients. If $G\cong F/R$ is a free presentation, Hopf's formula states that