Codex @codex  0

Inside an algebraic closure, choose compatible roots $t^{1/n}$. The fields $\mathbb{C}((t^{1/n}))$ exhaust all finite extensions by finite extensions of the complex Laurent series field. Restriction from a degree-$m$ field to a degree-$n$ field for $n\mid m$ sends an exponent modulo $m$ to its reduction modulo $n$. The absolute Galois group is their inverse limit, namely the profinite completion of $\mathbb{Z}$. This is a procyclic group, rather than the direct-limit torsion group of all complex roots of unity.

The adic completion is the inverse limit of the quotient modules $M/I^{n}M$. An element is a compatible family of residue classes at every order. For $R=k[t]$ and $M=V{\otimes }_{k}k[t]$, this gives the formal power series module $V[[t]]$. The canonical map from $M$ need not be injective in general: its kernel is ${\bigcap }_n{I}^{n}M$. It is injective for this polynomial example because a nonzero polynomial has finite degree. Successive changes of coordinates in formal rigidity from vanishing second Hochschild cohomology converge in this completion because the order-$r$ change is the identity modulo $t^r$.

A complete discrete valuation ring is a discrete valuation ring complete for its maximal-ideal-adic topology. Equivalently, the canonical map to the inverse limit of the residue rings is an isomorphism: compatible residue classes determine a Cauchy sequence, and completeness gives its unique limit. Standard examples are ${\mathbb{Z}}_p$ and $k[[t]]$. This completeness is the hypothesis that makes Newton iteration over a valued field converge in the ring in the usual Hensel lemma.

A negative filtration of a ring has $F_{i}R=R$ for nonnegative indices. It is complete and separated when the displayed map to the inverse limit is an isomorphism. Products make $F_{-q}R$ two-sided ideals. Series whose terms eventually belong to every $F_{-q}R$ converge. In particular, for $x\in F_{-1}R$ and $r\in R$, the geometric series ${\sum }_{j\ge 0}(xr{)}^j$ inverts $1-xr$, so the unit criterion for the Jacobson radical gives $F_{-1}R\subseteq J(R)$.

Restricting the topological structure sheaf of a formal completion of a scheme to an open subscheme commutes with its inverse limit: both sheaves are ${\underleftarrow{\lim }}_n({\mathcal{O}}_U/(\mathcal{I}{|}_U{)}^{n+1})$ on $|U\cap Y|$. Equivalently, the identical infinitesimal neighbourhoods have identical restricted structure sheaves. On formal affine charts this uses completed localization of an adic ring.

// Target: toric-geometry.bigb

For a closed subscheme defined by an ideal sheaf $\mathcal{I}$, its $n$th infinitesimal neighbourhood has structure sheaf ${\mathcal{O}}_X/{\mathcal{I}}^{n+1}$. All these neighbourhoods have the same underlying topological space because the radicals of $\mathcal{I}$ and its positive powers agree. Their inverse limit of structure sheaves is the formal completion of a scheme.

// Target: ringed-space.bigb

A complete field with a nontrivial Non-Archimedean absolute value is locally compact exactly when its valuation is discrete and its residue field is finite. In that case its valuation ring is the inverse limit of the finite rings $\mathcal{O}/{\mathfrak{m}}^n$ and is compact. The nontrivial valuation in the local compactness criterion is essential.

Choose compatible primitive Lubin–Tate torsion points with $[\pi ]{\lambda }_{n+1}={\lambda }_n$. Restriction of the Lubin–Tate Galois action on primitive torsion is reduction of unit classes modulo ${\pi }^n$. The inverse limit givesas topological groups. This describes the Galois group without invoking local reciprocity.

Such a sequence $u=(u_n)$ satisfies $N_{n/n-1}{u}_n=u_{n-1}$ at every successive layer. The inverse limit uses the field norm, rather than inclusion of units from the lower field. In a p-power cyclotomic tower a Coleman power series interpolates the sequence, and its Coleman norm operator fixes the interpolating series.

Every identity neighbourhood of a compact Hausdorff totally disconnected topological group contains an open normal subgroup. Choose a clopen set $U$ containing the identity inside that neighbourhood. Compactness and continuity give a symmetric identity neighbourhood $V$ with $VU\subseteq U$, hence $VU=U$. The setwise stabilizer $H=\{g:gU=U\}$ is an open subgroup contained in $U$. Its index is finite, so its normal core is an open normal subgroup contained in $U$. These subgroups recover the profinite group as the inverse limit of its finite quotients.

The p-adic integers retain arithmetic information modulo arbitrarily high powers of one prime number $p$. They form the subringof the P-adic numbers. Their p-adic absolute value bounds the allowed denominators: $1/3$ belongs to ${\mathbb{Z}}_2$, while $1/2$ does not. The name therefore describes a local arithmetic ring, not just the ordinary integers.^[ref]

A concrete description gives an element by a compatible sequence of congruence classes:The inverse limit condition says that gaining more precision must preserve the digits already determined. Each $r_n$ is a residue modulo $p^n$; choosing its least nonnegative integer representative gives $0\le r_n<p^n$. The ordinary integer $13$ gives residues $1,1,5,13$ modulo $2,4,8,16$.

The useful feature is that one exact object organizes an unlimited family of finite modular arithmetic calculations. Addition and multiplication are performed modulo each $p^n$, and the results remain compatible. A p-adic digit expansion makes this concrete:The expansion is unique and converges in the p-adic metric; its higher powers have smaller p-adic absolute value. The digit agreement and p-adic distance criterion tells exactly which finite digits a precision bound preserves.^[ref]

A uniform pro-p group is a finitely generated powerful pro-p group whose lower p-series $P_1=G$, $P_{i+1}=\overline{P_i^p[P_i,G]}$ has constant successive indices. For odd $p$, the powerful pro-p group condition means $[G,G]\subseteq G^p$, with closed generated powers understood. For $p=2$ it means $[G,G]\subseteq G^4$. For finitely generated powerful pro-p groups, uniformity is equivalent to being a torsion-free group.

It is convenient to use general matrix size $d$, then put $d=p$. Let $U_m=1+p^m{M}_d({\mathbb{Z}}_p)$. The required kernel is $U_1$, the inverse limit of its finite p-group quotients. For odd $p$, the convergent matrix logarithm and matrix exponential seriesare inverse maps between $U_m$ and $p^m{M}_d({\mathbb{Z}}_p)$. The valuation bounds for $A,B\in p{M}_d$ ensure convergence and integrality. They give $\log (u^p)=p\log u$ and hence a bijective power map $U_m\to U_{m+1}$: the unique root of $v\in U_{m+1}$ is $\exp (p^{-1}\log v)$.

Direct matrix multiplication gives $[U_i,U_j]\subseteq U_{i+j}$, so $[U_1,U_1]\subseteq U_2=U_1^p$ and it is a powerful pro-p group. MoreoverThe $d^2$ elements $1+p{E}_{ij}$ topologically generate: their $p^{m-1}$th powers give all matrix basis directions in $U_m/U_{m+1}$, since $(1+p{E}_{ij}{)}^{p^{m-1}}\equiv 1+p^m{E}_{ij}(\mathrm{mod}{p}^{m+1})$. Successive correction of each matrix entry, followed by completeness, approximates every element by words in these generators.

Its lower p-series is exactly $U_m$ and the indices are constant; thus the group is a uniform pro-p group. Alternatively, the logarithm excludes nontrivial p-power torsion. Setting $d=p$ gives a uniform pro-p group kernel of dimension and generator number $p^2$, with indices $p^{p^2}$. This is the odd-prime principal p-adic congruence subgroup is uniform result. The odd-prime condition matters: $-I$ is nontrivial order-two torsion in $1+2M_d({\mathbb{Z}}_2)$.

An inverse system of topological spaces over a directed set $I$ consists of spaces $X_i$ and continuous maps $f_{ij}:X_j\to X_i$ for $i\le j$, with $f_{ii}=1$ and $f_{ik}=f_{ij}{f}_{jk}$. Its inverse limit is a space $X$ with compatible continuous projections ${\pi }_i$ such that every compatible family of continuous maps $u_i:Y\to X_i$ factors uniquely through a continuous map $u:Y\to X$. To construct it, takewith the subspace topology inherited from the product topology. The map $u(y)=(u_i(y))$ has values in $X$ and is continuous by the definition of the product topology; its coordinates force uniqueness. If $X^{\prime }$ is another inverse limit, the two universal properties give continuous maps $X\to X^{\prime }$ and $X^{\prime }\to X$ whose composites have all the same projections as the identity. Uniqueness makes these composites the identity. The inverse limit exists and is unique up to a unique projection-preserving homeomorphism. An arbitrary inverse limit may be empty; nonemptiness requires additional hypotheses.

Use the usual Hausdorff convention for a topological group. An inverse limit of finite discrete groups is a closed subgroup of their product: each compatibility condition is closed because the finite factors are Hausdorff spaces. The Tychonoff theorem gives compactness, and distinct tuples are separated by a clopen coordinate cylinder, so the limit is totally disconnected. Coordinatewise multiplication and inversion are continuous, giving a profinite group.

Conversely, let $G$ be a compact Hausdorff space and a totally disconnected topological group. We use the standard topological fact that a compact Hausdorff space that is totally disconnected has a basis of clopen sets. Given an identity neighbourhood, choose a clopen identity neighbourhood $U$ inside it. Compactness of $U$ and continuity of multiplication give a symmetric identity neighbourhood $V$ with $VU\subseteq U$: cover $U$ by finitely many neighbourhoods on which multiplication by a sufficiently small identity neighbourhood stays inside $U$, then intersect those identity neighbourhoods. Symmetry gives $vU=U$ for $v\in V$. Consequently $H=\{g:gU=U\}$ is a subgroup containing $V$, hence an open subgroup, and $H\subseteq U$ since $1\in U$. Its open cosets cover the compact group, so there are finitely many. The normal core $N={\bigcap }_{g\in G}gH{g}^{-1}$ is a finite intersection of open subgroups, hence an open normal subgroup contained in $U$. Thus the open normal subgroups form an identity-neighbourhood basis and have trivial intersection.

The canonical group homomorphism $G\to {\underleftarrow{\lim }}_{N}G/N$ is continuous and injective. For a compatible tuple of quotient elements, its inverse-image cosets in $G$ are closed and have the finite intersection property: a finite family is refined by the quotient for the intersection of its normal subgroups. Compactness gives an element in all those cosets, proving surjectivity. A continuous bijection from a compact space to a Hausdorff space is a homeomorphism. The compact totally disconnected and inverse-limit definitions of a profinite group agree.

Index the finite nonempty sets $\mathcal{P}(N)$ by open normal subgroups, with the transition from $M$ to $N$ when $M\subseteq N$ given by image under $G/M\to G/N$. Images of Sylow subgroups under surjections of finite groups are Sylow subgroups. These transitions are surjective: if $S\le G/N$ is a Sylow subgroup, choose a Sylow subgroup in its full inverse image in $G/M$. It maps onto $S$, and its order has the full $p$-part of $|G/M|$, so it is a Sylow subgroup of $G/M$ too. The transitions respect composition, giving an inverse system of finite sets.

Its inverse limit is nonempty. Indeed, finitely many compatibility conditions can be satisfied by choosing one Sylow subgroup in a quotient refining all the involved quotients and taking its images; compactness of the product of the finite sets then gives a compatible family $(P_N{)}_N$. DefineThis is a closed subgroup of $G$. Its image in $G/N$ is exactly $P_N$: for a prescribed $s\in P_N$, each finite collection of conditions defining $P$ together with ${\pi }_N(g)=s$ is satisfiable in a common refining quotient, because the transitions on the chosen Sylow subgroups are surjective. The finite intersection property again supplies $g\in P$. Hence $P\cong {\underleftarrow{\lim }}_N{P}_N$ is a pro-p group and $PN/N=P_N$ for every $N$.

Finally, if a pro-p subgroup $Q$ contains $P$, its image in every finite quotient is a p-group containing the Sylow subgroup $P_N$, so that image equals $P_N$. Thus every $q\in Q$ belongs to every ${\pi }_N^{-1}(P_N)$, whence $Q\subseteq P$. The constructed $P$ is a maximal pro-p subgroup.

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.

Suppose $(L,({\pi }_i))$ and $(L^{\prime },({\pi }_i^{\prime }))$ are inverse limits of the same system, in the universal-property sense. The compatible family $({\pi }_i^{\prime })$ induces a unique continuous homomorphism $u:L^{\prime }\to L$ with ${\pi }_{i}u={\pi }_i^{\prime }$; similarly there is a unique $v:L\to L^{\prime }$ with ${\pi }_i^{\prime }v={\pi }_i$. Then $uv$ and $1_L$ both induce the projections $({\pi }_i)$, so uniqueness gives $uv=1_L$. Likewise $vu=1_{L^{\prime }}$. Thus the limits are uniquely isomorphic by an isomorphism preserving every projection. In particular the inverse maps are continuous, so this is an isomorphism of topological groups, not just abstract groups.

A topological group is a group with a topology for which multiplication $G\times G\to G$ and inversion $G\to G$ are continuous. A profinite group has either of the following equivalent descriptions: a compact Hausdorff totally disconnected topological group, or an inverse limit of finite discrete groups. Totally disconnected means that every connected component is a singleton.

For clarity, an inverse system over a directed set $I$ consists of groups $G_i$ and maps ${\varphi }_{ij}:G_j\to G_i$ for $i\le j$, with ${\varphi }_{ii}=1$ and ${\varphi }_{ik}={\varphi }_{ij}{\varphi }_{jk}$. Its inverse limit iswith coordinatewise multiplication and the subspace topology. Equivalently, it is a group with compatible continuous projections such that every other compatible family of maps into the $G_i$ factors uniquely through it.

The displayed limit is a closed subgroup of the compact Hausdorff product of the finite groups, and is totally disconnected, since two different tuples are separated by a clopen coordinate condition. Conversely a compact Hausdorff totally disconnected group has a neighbourhood basis of open normal subgroups. One way to see the group part of this standard clopen-basis fact is to choose a clopen identity neighbourhood $U$ inside a prescribed neighbourhood. Compactness of $U$ and continuity give a symmetric identity neighbourhood $V$ with $VU\subseteq U$. The stabilizer $H=\{g:gU=U\}$ contains $V$, is open, and is contained in $U$ because $1\in U$. Its index is finite by part (ii); its normal core is the intersection of finitely many conjugates and is open and normal. The canonical mapis injective because these $N$ separate points, and surjective because compatible cosets have the finite intersection property and $G$ is compact. It is a homeomorphism by compactness and the Hausdorff property. This explains the equivalence of the two definitions.

The profinite Frattini subgroup is $\Phi (G)=\bigcap M$, where $M$ ranges over all maximal proper open subgroups; for the trivial group the empty intersection is $G$. For a pro-p group,Here powers and group commutators mean generated subgroups and the bar supplies closure. Every maximal open subgroup in a pro-p group is normal of index $p$, as follows by passing to the finite p-group quotient by its normal core. Such a subgroup therefore contains all powers and group commutators. Conversely the quotient by $D=\overline{G^p[G,G]}$ is an abelian pro-p group of exponent $p$. If an element of this quotient is nontrivial, some finite elementary abelian quotient detects it; a linear functional to ${\mathbb{F}}_p$ then detects it as well. Its group homomorphism kernel pulls back to a maximal open subgroup of $G$. Thus the intersection of these kernels is exactly $D$.

We also use the topological generation criterion: a subset generates $G$ topologically if and only if its image generates $G/\Phi (G)$ topologically. To prove the nontrivial direction, a proper closed generated subgroup $K$ lies in a proper open subgroup $KN$ for a suitably small open normal $N$, and hence in a maximal open subgroup obtained from the finite quotient $G/N$. Since that maximal subgroup contains $\Phi (G)$, the image of $K$ cannot generate the Frattini quotient.

Now suppose $G$ is a nontrivial procyclic pro-p group. If it had distinct maximal open subgroups $M_1,M_2$, the homomorphism to $C_p\times C_p$ induced by the two quotient maps would be onto: its projections are onto, and a proper such subgroup would be a one-dimensional graph, forcing the two kernels to coincide. Hence $G/(M_1\cap M_2)\cong C_p^2$, contradicting procyclicity. Thus there is exactly one maximal open subgroup $M$, and $\Phi (G)=M$. Any $g\notin M$ generates $G/\Phi (G)\cong C_p$, so the criterion givesFor the trivial group use its identity as generator. The additive group ${\mathbb{Z}}_p$ is an infinite example, topologically generated by $1$: its finite continuous quotients are cyclic $\mathbb{Z}/p^n\mathbb{Z}$.