Codex @codex  0

For the Johnson graph, an edge exchanges one member of a $k$-set. Along one edge, intersection size with a fixed target can increase by at most one, so any path in a graph from $A$ to $B$ has length at least $k-|A\cap B|$. Replacing the elements of $A\setminus B$ successively by elements of $B\setminus A$ gives a path in a graph attaining that bound. Hence the distance in a Johnson graph isIf two ordered pairs have the same distance $r$, their four regions (intersection, first-only, second-only and outside the union) have sizes $k-r,r,r,n-k-r$. Choose bijections between corresponding regions. Their union is a ground-set permutation sending the ordered pair to the other pair and preserving graph adjacency. The symmetric group is distance-transitive. For $n\ge 2k$ the graph diameter is $k$.

For the Grassmann graph, a codimension-one exchange changes intersection dimension with a fixed target by at most one. More explicitly, if $A,A^{\prime }$ are adjacent, their common $(k-1)$-space shows $\dim (A^{\prime }\cap B)\ge \dim (A\cap B)-1$, and exchanging the two gives the reverse bound. Thus distance is at least $r=k-\dim (A\cap B)$.

Choose a basis $c_1,\dots ,c_{k-r}$ of $I=A\cap B$, complement it in $A$ by $a_1,\dots ,a_r$, and in $B$ by $b_1,\dots ,b_r$. These combined vectors are independent because $A\cap B=I$. The spacesform a path in a graph of length $r$. ConsequentlyEqual-distance ordered pairs have the same dimensions in this adapted basis construction. Extend both combined bases to bases of $V$, and match them by a invertible linear map. It maps the first ordered pair to the second and preserves dimensions of intersections, hence graph adjacency. $G{L}_n(F)$ is distance-transitive, over an arbitrary field, with graph diameter $k$ under $n\ge 2k$.

For the symplectic dual polar graph, vertices are Lagrangian $m$-spaces. Let $I=A\cap B$ have dimension $m-r$. The quotient $I^{\perp }/I$ is a nonsingular symplectic vector space of dimension $2r$, and $A/I,B/I$ are complementary Lagrangian subspaces. Their mutual pairing is nonsingular: a vector orthogonal to both lies in $(A+B{)}^{\perp }=I$, so vanishes in the quotient. Choose dual bases $e_1,\dots ,e_r$ in $A/I$ and $f_1,\dots ,f_r$ in $B/I$, and lift them into $A,B$. Their span is a nonsingular symplectic $2r$-space. Complete it by a basis $e_{r+1},\dots ,e_m$ of $I$ and suitable dual partners. This gives the pair normal formThe spaces $A_j=⟨f_1,\dots ,f_j,e_{j+1},\dots ,e_m⟩$ remain totally isotropic subspace: a present $f_i$ pairs only with the absent $e_i$. They give an adjacent-step path in a graph of length $r$. The previous intersection-dimension lower bound still applies, provingFor two ordered pairs at the same distance, match their adapted symplectic bases. The resulting map preserves the alternating bilinear form and sends the pairs to each other, so lies in $S{p}_{2m}(F)$. Equivalently, construct the isometry of a space with a form on $A+B$ from the displayed normal form and extend it by Witt's lemma. The action of the symplectic group over a field is distance-transitive, over every field, and its graph has graph diameter $m$. The zero-dimensional boundary cases give a single vertex and trivial transitivity.

The coefficient identityholds over every field. Both factors have positive degree, including in characteristics $2$ and $3$, because their leading coefficients remain one. Therefore there is no field over which this polynomial is irreducible.

In the polynomial ring $\mathbb{Z}[x]$, the ideal $(x)$ is nonzero and prime: the quotient ring $\mathbb{Z}[x]/(x)$ is isomorphic to the integral domain $\mathbb{Z}$, by evaluation at zero. It is not maximal, since that quotient is not a field. Equivalently $(x)⊊(2,x)⊊\mathbb{Z}[x]$. Thus $(x)$ is a nonzero prime ideal which is not maximal.

A cubic over a field is reducible exactly when it has a root in that field: a nontrivial factorization must contain a degree-one factor. By the rational root theorem, a rational root of this monic integer polynomial must be an integer dividing its constant coefficient, hence either $1$ or $-1$. Substitution gives $-2$ and $4$, respectively. Neither is zero. Thus the cubic is irreducible over $\mathbb{Q}$.

The Hilbert basis theorem says that if $B$ is a commutative Noetherian ring, then $B[t]$ is Noetherian; iteration treats any finite number of variables. Here is a complete leading-coefficient proof. For an ideal $I\subseteq B[t]$, let $L_d$ be the set of degree-$d$ coefficients of its polynomials of degree at most $d$, including zero coefficients. These are ideals of $B$, and multiplication by $t$ gives $L_d\subseteq L_{d+1}$. The ascending chain condition makes the chain stationary from some $N$ onward. Choose finite generators for $L_0,\dots ,L_N$ and lift them to polynomials $f_{dj}\in I$ of degree at most $d$. If $f\in I$ has degree $m$, set $d=\min (m,N)$ and express its leading coefficient as ${\sum }_j{a}_{dj}{b}_j$, where $a_{dj}$ is the chosen degree-$d$ coefficient. Then $f-{\sum }_j{b}_j{t}^{m-d}{f}_{dj}$ has smaller degree. Induction proves that the finitely many lifts generate $I$. This proves the theorem, including coefficient rings with zero divisors.

Put $A=\mathbb{C}G$ and $L=\mathbb{C}[X,X^{-1}]$. The infinite dihedral group has normal forms $X^m$ and $X^{m}Y$. The relations move every $Y$ to the right and reduce its exponent modulo two; the action $X:n\mapsto n+1$, $Y:n\mapsto -n$ on $\mathbb{Z}$ shows that these forms are distinct. ThusThe Hilbert basis theorem makes $\mathbb{C}[X]$ Noetherian, and its localization $L$ is Noetherian: an ideal of a localization is generated by the images of the finite generators of its contraction. Since $A$ is free of rank two over $L$ on the left, it is a Noetherian module over $L$. Every left ideal of $A$ is an $L$-submodule, so all its ascending chains stabilize. Therefore $\mathbb{C}G$ is left Noetherian.

For the center of the infinite dihedral group algebra, write an element as $f(X)+g(X)Y$. Commuting it with $X$ gives $g(X)(X^{-1}-X)=0$ in the Laurent integral domain, forcing $g=0$. Commuting $f(X)$ with $Y$ then gives $f(X)=f(X^{-1})$. A symmetric Laurent polynomial is a linear combination of $1$ and $X^j+X^{-j}$, $j\ge 1$. With $z=X+X^{-1}$, the recursionexpresses $S_j=X^j+X^{-j}$ as a polynomial in $z$. Conversely every polynomial in $z$ is central. The highest Laurent exponent of a nonzero polynomial in $z$ shows that $z$ is transcendental. HenceThe identities $X^{-1}=z-X$ and $X^2-zX+1=0$ give $L=R+RX$. Independence follows by applying $X\mapsto X^{-1}$ to a relation $f(z)+Xg(z)=0$ and subtracting: $(X-X^{-1})g(z)=0$, so $g=f=0$. Consequentlyis a free $R$-module of rank four.

Let $M$ be a nonzero simple module on the left. For any $m\ne 0$, $M=Am$, so it is finite over $R$. Every central $r\notin P={\mathrm{Ann}}_R(M)$ acts bijectively: its kernel and image are $A$-submodules, and simplicity forces kernel zero and image $M$. To prove that $P$ is maximal, not merely prime, put $B=R/P$; then $M$ is a faithful finite $B$-module. For $0\ne b\in B$, $bM=M$. If $m_1,\dots ,m_d$ generate $M$, write $m_i=b{\sum }_j{c}_{ij}{m}_j$. The adjugate matrix identity for $I-bC$ shows that $\det (I-bC)$ annihilates every generator and hence $M$. Faithfulness makes this determinant zero in $B$. Its constant term is one, so it has form $1-bq$, proving $bq=1$. Thus $B$ is a field, and $P$ is a maximal ideal of $R$. This proves the general principle for simple modules over an algebra finite over its center in this instance.

Every maximal ideal of $\mathbb{C}[z]$ is $(z-\lambda )$ for some $\lambda \in \mathbb{C}$, by factorization of complex polynomials. The module $M=Am$ is therefore a quotient of the four-dimensional algebra $A/(z-\lambda )A$. In particular ${\dim }_{\mathbb{C}}M\le 4<\infty$, as required.

The actual simple dimensions are at most two. If $\lambda \ne \pm 2$, choose $u\ne \pm 1$ with $u+u^{-1}=\lambda$. The matrices $X=\mathrm{diag}(u,u^{-1})$ and $Y=\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)$ give a representation of $A/(z-\lambda )A$ onto $M_2(\mathbb{C})$: polynomial functions of $X$ give the two diagonal matrix units, and multiplication by $Y$ gives the off-diagonal ones. Both algebras have dimension four, so this is an isomorphism. If $\lambda =\pm 2$, the element $X\mp 1$ has square zero and is conjugated to its negative by $Y$; its generated two-sided ideal is square zero. It annihilates every simple module, since its action on a simple module is either zero or the whole module, and the latter contradicts its square being zero. The remaining quotient is $\mathbb{C}[C_2]$, whose two simple modules have $Y=\pm 1$. Thus the generic simple modules have dimension two, and the four exceptional one-dimensional characters have $X=\pm 1$, $Y=\pm 1$.

Specify a commutative ground ring $k$ and a unital associative $k$-algebra $R$. For an $R$-bimodule $M$, the Hochschild cochain complex hasand coboundaryThe bimodule identities and associativity cancel the terms of ${\delta }^2$ in pairs. The Hochschild cohomology is $H{H}_k^q(R,M)=\ker {\delta }_q/\mathrm{im}{\delta }_{q-1}$; the paper's $H^q(R,R)$ uses the regular bimodule as coefficients.

Over a field, the bar resolution of an associative algebra explains its homological meaning. Put $R^e=R{\otimes }_k{R}^{\mathrm{op}}$. The degree-$q$ bar term is $R^{{\otimes }_k(q+2)}$, with the outer factors supplying the $R^e$ action, boundary obtained by multiplying adjacent factors with alternating signs, and augmentation multiplication $R\otimes R\to R$. Inserting $1$ at the left gives a $k$-linear contracting homotopy, proving exactness. The terms are free $R^e$-modules after choosing a $k$-basis for the inner tensor factors. Applying ${\mathrm{Hom}}_{R^e}(-,M)$ gives precisely the displayed cochain complex and thereforeThis ground-ring qualification in Hochschild cohomology matters for an arbitrary ring: one can take $k=\mathbb{Z}$, but the bar terms need not be projective over $R^e$. The ordinary cochain complex then computes relative Hochschild cohomology; the absolute Ext identification needs, for example, $R$ projective over $k$. Likewise the extension classification below applies to ground-ring-linearly split extensions. For algebras over a field these qualifications are automatic.

In degree zero, $(\delta m)(a)=am-ma$, so $H{H}^0(R,R)=Z(R)$. In degree one the cocycle equation isexactly the Leibniz rule for a derivation of an algebra. The coboundaries are the inner derivations $a\mapsto am-ma$. Thus the First Hochschild cohomology as outer derivations isIts significance is infinitesimal automorphisms modulo inner ones. Over the dual numbers $k[\epsilon ]/({\epsilon }^2)$, the map $a\mapsto a+\epsilon d(a)$ is multiplicative precisely when $d$ satisfies the Leibniz rule. Conjugation by $1+\epsilon m$ gives $a\mapsto a+\epsilon (ma-am)$, an inner derivation with the opposite sign convention. The quotient therefore measures infinitesimal symmetry not arising from conjugation.

Degree two controls extensions and changes of multiplication. A $k$-linear split square-zero extension of an algebra with prescribed kernel bimodule $M$ can be written as $E=R\oplus M$. Choose a unital section and let $f(a,b)$ be the difference between its product and its value on $ab$. ThenComputing both parenthesizations of a triple gives the associativity conditionnamely $\delta f=0$. A unital product has $f(1,a)=f(a,1)=0$, so one uses the normalized Hochschild cochain complex. Changing section by $g:R\to M$ gives $f\mapsto f+\delta g$. Conversely the displayed product for any normalized two-cocycle constructs such an extension, and a section change gives the corresponding extension isomorphism. This proves that second Hochschild cohomology classifies split square-zero extensions:The zero class is the split algebra extension with no extra product term. With $M=R$, this gives one meaning of the requested $H^2(R,R)$.

For a first-order associative deformation, retain the underlying $k$-module and put $a\ast b=ab+\epsilon f(a,b)$. Expanding $(a\ast b)\ast c=a\ast (b\ast c)$ modulo ${\epsilon }^2$ gives exactly $\delta f=0$. A coordinate change $T=1+\epsilon g$ transports the product to $T^{-1}(T(a)\ast T(b))$, whose first-order coefficient is $f+\delta g$. HenceThis classification is of infinitesimal deformations, not a guarantee that all classes extend to every order. For $a\ast b=ab+tf(a,b)+t^2{\mu }_2(a,b)$ modulo $t^3$, the next associativity equation isSubstitution of $\delta f=0$ shows the right-hand side is a three-cocycle. Its class in $H{H}^3(R,R)$ is the second-order obstruction to an associative deformation. It must vanish for a second-order extension to exist. At higher orders the same expansion gives further obstruction cocycles. If $H{H}^2(R,R)=0$, every first nonzero coefficient of a formal associative deformation is a coboundary and can be removed by a coordinate change. Repeating this order by order gives formal rigidity from vanishing second Hochschild cohomology, with the transformations converging in the $t$-adic topology. Vanishing of $H{H}^3$ instead removes these extension obstructions; these are distinct roles.

Examples make the two low degrees concrete. For $R=k[x]$ over a field, inner derivations vanish and every derivation is $h(x){\partial }_x$, determined by its value on $x$. The bimodule resolutionis exact: the middle tensor ring is the polynomial integral domain $k[u,v]$, multiplication identifies its quotient by $u-v$, and multiplication by $u-v$ is injective. Applying bimodule Hom gives zero differential. Consequently the Hochschild cohomology of a polynomial algebra in one variable isThis algebra has many infinitesimal automorphisms, while its ordinary associative multiplication is formally rigid.

For $R=k[x,y]$ in characteristic zero, the bilinear map $f(a,b)=({\partial }_{y}a)({\partial }_{x}b)$ is a two-cocycle: substitution in $\delta f$ and the two product rules cancel its four terms. It is not a coboundary, because every $\delta g$ on a commutative algebra is symmetric in its two inputs, whereas $f(y,x)-f(x,y)=1$. This class integrates to the Weyl deformation of a polynomial algebra in two variables, with $yx-xy=t$. The differential Ore extension construction supplies the ordered basis $x^i{y}^j$ over $k[t]$, so the $t$-adic completion has the fixed underlying module $k[x,y][[t]]$. Its first multiplication correction is exactly this $f$. This displays a genuinely noncommutative formal associative deformation detected by $H{H}^2$.

Finally, the Hochschild cup product $(f⌣g)(a_1,\dots ,a_{p+q})=f(a_1,\dots ,a_p)g(a_{p+1},\dots ,a_{p+q})$ descends to the graded cohomology algebra, and the Gerstenhaber bracket organizes the interaction of derivations and formal associative deformation cocycles. The calculations above explain why the first two positive degrees are especially useful: $H{H}^1$ measures outer infinitesimal symmetries, while $H{H}^2$ measures split extensions and infinitesimal associative structures, with degree three detecting the first obstruction to continuing them.

For $i\ne j$, put $x_{ij}(a)=I+a{E}_{ij}$. When $a\ne 0$ this is a transvection: it fixes the hyperplane $v_j=0$ pointwise and has rank-one difference from the identity. Its inverse is $x_{ij}(-a)$ and its determinant is one.

Left multiplication performs a row addition. For an invertible matrix, bring a nonzero entry into a pivot position by a signed interchange, then clear its column by row additions. A signed interchange on two coordinates is itself a product of row additions, becauseRepeating the pivot construction and then clearing above the pivots reduces any determinant-one matrix to a diagonal matrix of determinant one. FinallyA determinant-one diagonal matrix is a product of such two-coordinate matrices, using the last coordinate to compensate each of the first $n-1$ diagonal entries. Each displayed matrix is a product of elementary transvection matrices. Hence reversing the elimination provesThis argument works over every field, including characteristic two.

Replace $F^n$ by a symplectic vector space $(V,B)$ of dimension $2m$, and elementary row operations by symplectic transvectionsThe cross terms in $B(Tx,Ty)$ cancel, and $B(v,v)=0$, so these maps preserve $B$. Their inverses are $T_{v,-c}$.

They generate $Sp(V)$ by the following symplectic basis elimination. If $B(u,v)\ne 0$, a single transvection with direction $v-u$ and parameter $1/B(u,v)$ sends $u$ to $v$. If $B(u,v)=0$ and $u\ne v$, choose $w$ with both $B(u,w)$ and $B(w,v)$ nonzero: the union of two proper hyperplanes does not exhaust a vector space, even over ${\mathbb{F}}_2$. Two transvections then suffice. Thus one can make a form-preserving linear map fix the first basis vector $e$. Next align its partner $f$, while keeping $e$ fixed. Two partners have difference in $e^{\perp }$, so the preceding single-transvection construction uses a direction in $e^{\perp }$ whenever their mutual pairing is nonzero. If it is zero, the intermediate partner $f+ae$, $a\ne 0$, has nonzero pairing with both. All these transvections fix $e$. Once both $e,f$ are fixed, recurse on their nondegenerate symplectic orthogonal complement. This proves generation over every field.

Use the action on the points of projective space, whose kernel is the scalar center $Z=\{\lambda I:{\lambda }^2=1\}$. For $m=1$ this is the $S{L}_2$ case. For $m\ge 2$ the action is primitive, although it is generally not two-transitive. The stabilizer of a line $L$ has two orbits on other lines: those orthogonal to $L$ and those not orthogonal to $L$. This follows by extending a hyperbolic pair, or an independent isotropic pair, to a symplectic basis. A block containing $L$ and a second line $M$ contains the entire corresponding orbit of the stabilizer of $L$. The stabilizer of $M$ then supplies a line of the other type: choose a vector orthogonal to one of $L,M$ and not to the other. Nondegeneracy and independence guarantee such a vector, also in dimension four. Hence the block contains both orbits and is the whole set.

The transvections along $L$ form an abelian normal subgroup of its stabilizer; their conjugates generate the group. Thus the Iwasawa simplicity lemma applies as soon as perfectness is established. For $|F|>3$, every transvection lies in an embedded $S{L}_2(F)$ acting on a hyperbolic plane, and 4(c) proves that embedded group perfect.

For the remaining fields, the perfectness of finite symplectic groups has a short direct proof. Over ${\mathbb{F}}_3$ with $m\ge 2$, all parameter-one transvections have the same class $t$ in the abelianization, and $3t=0$. In an isotropic plane with basis $u,v$, the four directions $u,v,u+v,u-v$ give commuting transvections whose product is $1$: their rank-one terms add to zero, sinceover ${\mathbb{F}}_3$. Thus $4t=0$, giving $t=0$. Parameter-two transvections are inverses, so all generators vanish in the abelianization. Over ${\mathbb{F}}_2$ with $m\ge 3$, use the seven nonzero vectors of an isotropic three-space. Their commuting transvections multiply to $1$, since each diagonal coordinate of ${\sum }_{0\ne v}v{v}^{\mathsf{T}}$ occurs four times and each off-diagonal coordinate twice. Their common abelianized class satisfies $2t=7t=0$, and again the group is perfect.

Consequently the projective symplectic group is simple, with the necessary exceptionsThe first two are the linear exceptions; the last is $S{p}_4(2)\cong S_6$, proved in 6(c). The word “projective” matters: the unquotiented symplectic group may have the nontrivial scalar center $\{I,-I\}$.

Put $X=1+T$ and let $\phi$ be the Frobenius substitution on cyclotomic power series, $\phi (g)(T)=g(X^p-1)$. It is injective: modulo $p$ it is the injective map $\overline{g}(T)\mapsto \overline{g}(T^p)$. If $\phi (g)=0$, this makes every coefficient of $g$ divisible by $p$; dividing by $p$ and repeating makes every coefficient zero.

We prove that $R$ is a finite free module over $S=\phi (R)$ of rank $p$, with basis $1,X,\dots ,X^{p-1}$. Modulo $p$, every series has a unique decomposition over ${\mathbb{F}}_p[[T^p]]$ in the basis $1,T,\dots ,T^{p-1}$. Changing to the powers of $X=1+T$ is an invertible triangular change of basis. Thus, modulo $p$, every $h\in R$ can be expressed as ${\sum }_{i=0}^{p-1}{X}^i\phi (h_i)$. Lift the coefficients to $R$, subtract this expression, and divide the remainder by $p$. Repeating and summing the p-adically convergent coefficient series givesUniqueness follows by reduction modulo $p$ and successive division by $p$. This proves finite freeness, not just a formal invariance of the right side in the question.

For $f\in R^{\times }$, multiplication by $f$ is an invertible $S$-linear map $m_f:R\to R$. Its determinant $b={\det }_S(m_f)$ belongs to $S^{\times }$. DefineThis is the norm for a finite free ring extension, pulled back along the injective substitution, and it is multiplicative and unit-valued.

To identify its determinant with the desired product, extend coefficients to $\mathcal{O}={\mathbb{Z}}_p[{\mu }_p]$. The substitutions $X\mapsto \xi X$ for ${\xi }^p=1$ are continuous automorphisms of $\mathcal{O}[[T]]$ fixing $\phi (\mathcal{O}[[T]])$. Evaluation of a series at $\xi X-1$ is legitimate in the $(\xi -1,T)$-adic topology, because the constant term $\xi -1$ is topologically nilpotent. On fraction fields this is a degree-$p$ extension with these $p$ distinct automorphisms: finite freeness bounds the degree by $p$, while the automorphisms force degree at least $p$. The determinant norm therefore equals the product of its conjugates. Norms commute with this scalar extension, soas required. Finally, any other unit-valued map satisfying this identity has the same image under $\phi$ for every $f$, and injectivity of $\phi$ makes it identical to $N$. The Coleman norm operator exists and is unique.

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.

A cyclotomic Euler system must relate units at many auxiliary conductors, not just the successive layers of one p-power tower. A useful axiomatization is the root-of-unity Euler system. Fix a finite set of excluded primes $S$ containing $2$, and let $W_S$ be the roots of unity whose orders are prime to every prime in $S$. A system is a nonzero-valued function $\Phi :W_S\to {\overline{\mathbb{Q}}}^{\times }$ with three properties. It is even and Galois equivariant:It satisfies the distribution relation at every prime $\ell \notin S$:Finally, if $\ell \nmid \mathrm{ord}(\xi )$, it satisfies the local congruenceThe values in this congruence are required to be integral at the prime; in the unit example below they are local units. Evenness puts the values in the maximal real cyclotomic subfields. Equivariance identifies conjugates, distribution gives exact norm identities, and the congruence supplies information at newly introduced primes. These are the three distinct inputs used in the descent, rather than a single norm-coherence assumption.

Here is a concrete system extending the units in Q2. Fix a nonzero integer $a$ prime to $p$ and let $S$ contain $2$ and the prime divisors of $a$, but not $p$. PutEvery value is defined and nonzero: the excluded primes make $a$ invertible modulo the order of $\xi$, and that order is odd. The quotient is the same Laurent polynomial $b_a$ used in Q2. Replacing $\xi$ by ${\xi }^{-1}$ changes both numerator and denominator by a minus sign, so it is even; its rational coefficients give Galois equivariance.

For the distribution axiom, $\ell \notin S$ makes $\ell$ odd and prime to $a$. Both exponents $2$ and $2a$ permute ${\mu }_{\ell }$, and ${\prod }_{\rho \in {\mu }_{\ell }}\rho =1$. The calculation in Q2 therefore holds with $p$ replaced by $\ell$:Raising to $p-1$ proves the axiom. At removable points it holds by evaluating the regular Laurent polynomials, so it includes $\xi =1$ and ${\xi }^{\ell }=1$.

For the congruence axiom, a root $\rho$ of order $\ell$ reduces to one at every prime above $\ell$. The integral Laurent polynomial $b_a$ thus gives $b_a(\rho \xi )\equiv b_a(\xi )$. These values are local units when $\xi$ has order prime to $\ell$: its reduction retains that order, and, unless $\xi =1$, both $1-{\xi }^2$ and $1-{\xi }^{2a}$ remain nonzero; at $\xi =1$ the value is the unit $a$. The stated power preserves the congruence. Thus ${\Phi }_a$ satisfies all three Euler-system axioms, and its values at ${\zeta }_n$ are precisely $c_n(a)$. Products, Galois translates, suitable field norms and integral group-ring powers produce the other cyclotomic-unit systems needed in the theory.

The distribution relation explains the Euler factors. If $\ell \nmid m$, $\xi$ has order $m$ and $\rho$ is a primitive $\ell$th root, the conjugates over $\mathbb{Q}({\mu }_m)$ run through the nontrivial $\ell$th roots. Removing the single factor with $\rho =1$ from the distribution product givesWe use arithmetic Frobenius, so ${\mathrm{Fr}}_{\ell }(\xi )={\xi }^{\ell }$. This is the cyclotomic Euler norm factor at a new prime. At a higher power of a prime already dividing the conductor, all $\ell$ translates occur, and the ordinary successive-layer norm relation has no missing-factor quotient. A mere p-power compatible sequence therefore contains only part of the Euler-system information.

To explain the axiomatic method, fix a p-power modulus $P=p^r$ and auxiliary primes $\ell$ with $P\mid \ell -1$, split in the chosen real base field. For the cyclic auxiliary Galois group of order $\ell -1$, choose a generator ${\sigma }_{\ell }$ and defineSubtracting consecutive coefficients gives the concrete identityThis is the Kolyvagin derivative operator for a cyclic group. Apply products of these operators to Euler-system values at squarefree auxiliary conductors. The norm relations control the apparent failure of invariance modulo $P$; Kummer descent, using Hilbert 90 and retaining roots-of-unity corrections where present, turns the derivative data into classes over the base field. They have controlled valuations and are unramified away from the selected auxiliary primes and the excluded set. The local congruence relates the valuation component at a newly added prime to the finite residue-symbol component of the preceding class, with the sign and normalization determined by the chosen generator. This finite-to-singular relation is precisely the additional information not obtainable from norm compatibility alone.

The Chebotarev density theorem supplies auxiliary prime ideals in specified ideal classes while satisfying the splitting and congruence conditions. Reading the controlled valuations as principal-ideal relations successively bounds the p-primary elementary divisors of the ideal class group by the divisibility of the initial cyclotomic-unit class. On suitable nontrivial character components this gives the finite bound $\#A^{\chi }\le \#(E/C{)}^{\chi }$; passing through the norm tower yieldswhere divisibility is between characteristic generators, so the associated ideal containment is reversed. The Euler-system divisibility for real cyclotomic class modules requires the usual local conditions and control of finite errors; it is not a claim that arbitrary compatible units automatically annihilate every class group. The cyclotomic unit index formula, together with the global norm-defect comparison, gives the reverse equality. Q3's exact sequence then proves the main conjecture.

This account separates the theorem inputs from the explicit calculations: the distribution and congruence identities for cyclotomic units are verified above, and the derivative operator is computed directly; the Chebotarev/Kummer descent bounds and the global index comparison are the deeper arithmetic steps. Their usefulness is that the descent uses the axioms rather than a special closed formula for each individual auxiliary unit.

The proof of the linearity of a uniform pro-p group has three distinct steps: pass to a finite-dimensional Lie algebra, integrate a faithful representation on a sufficiently small open subgroup, and extend it to the entire group. Working first on a small subgroup is essential because a faithful Lie algebra representation need not send the original integral lattice into the convergence domain of the matrix exponential.

Let $G$ be a uniform pro-p group and let $L_G$ be its intrinsic powerful Lie lattice. Thenis a finite-dimensional Lie algebra over a field of characteristic zero. The Ado theorem, the classical Lie-theoretic ingredient in this proof, supplies a faithful finite-dimensional Lie algebra representationOne must use a faithful representation rather than just the Adjoint representation, which annihilates the center of a Lie algebra.

Choose a p-adic lattice $\Lambda \subset V$. Since $L_G$ is finitely generated as a module, the entries of the representing matrices of a module basis have bounded denominators. Hence for sufficiently large $k$,For odd $p$, the matrix exponential and p-adic logarithm converge and are inverse between $p\mathrm{End}(\Lambda )$ and $1+p\mathrm{End}(\Lambda )$. Put $H=G^{p^k}$; under the uniform pro-p group and powerful Lie lattice correspondence it is the BCH group on $p^k{L}_G$. DefineHere ${\exp }_G$ denotes the inverse of the intrinsic logarithm identification, not an assumed matrix representation of $G$. The Lie algebra homomorphism $\rho$ respects the convergent Baker--Campbell--Hausdorff formula, soThus $\tau$ is a continuous group homomorphism. If $\tau ({\exp }_{G}X)=1$, taking the matrix logarithm gives $\rho (X)=0$, whence $X=0$. Therefore $\tau$ is faithful and all its matrices preserve $\Lambda$. This proves linearity of the open normal subgroup $H$.

To finish, use the extension of a faithful representation from an open normal subgroup. Choose representatives $t_1=1,t_2,\dots ,t_r$ of the finite left cosets $G/H$, where $r=[G:H]$. On the finite free module $W={⨁}_{j=1}^r\Lambda$, define the action of $g\in G$ by writing uniquelyand mapping the $j$-th block to the $i$-th block by $\tau (h_{ij})$. If $g^{\prime }{t}_j=t_{\ell }{h}^{\prime }$ and $g{t}_{\ell }=t_{i}h$, then $g{g}^{\prime }{t}_j=t_{i}h{h}^{\prime }$; this proves the representation identity because $\tau (h{h}^{\prime })=\tau (h)\tau (h^{\prime })$. Each block matrix is invertible over ${\mathbb{Z}}_p$, and the map is continuous because the finite coset permutation is locally constant and the remaining matrix entries are obtained continuously from $\tau$.

If $g\notin H$, its permutation of $G/H$ moves the identity coset, so its block representation is not the identity. If $g\in H$ and its block representation is the identity, the block corresponding to $t_1=1$ is $\tau (g)=1$, and faithfulness of $\tau$ gives $g=1$. Thus this induced representation is faithful. Choosing a basis of $W$ provesThe continuous injection is a topological embedding, since $G$ is compact and the target is Hausdorff. The trivial group is immediate. For uniform groups at $p=2$, the same proof uses the usual stronger powerfulness condition and the convergence ball $4\mathrm{End}(\Lambda )$ instead; the preceding questions concern odd $p$.

The Tychonoff theorem states that an arbitrary product of compact spaces, with the product topology, is compact; no Hausdorff hypothesis is necessary. We prove it using Zorn's lemma and the axiom of choice.

First, every proper filter on a set extends to an ultrafilter. Order its proper extensions by inclusion. The union of a chain is again a proper filter: any finite collection of its members occurs in one member of the chain, and the empty set occurs in none. Zorn's lemma gives a maximal proper filter $\mathcal{U}$. If $A\notin \mathcal{U}$, adjoining $A$ must destroy properness, so some $F\in \mathcal{U}$ has $F\cap A=\varnothing$, and hence $X\setminus A\in \mathcal{U}$. This proves the decision property of an ultrafilter.

Next prove the ultrafilter characterization of compactness. In a compact space the closed sets $\overline{F}$, for $F\in \mathcal{U}$, have the finite intersection property, so their intersection contains a point $x$. Every open neighbourhood $O$ of $x$ belongs to $\mathcal{U}$: otherwise its closed complement belongs to $\mathcal{U}$ and contains $x$, a contradiction. Thus the ultrafilter converges to $x$. Conversely, if an open cover has no finite subcover, the closed complements have the finite intersection property and generate a proper filter. Extend it to an ultrafilter. A limit point lies in some member $O$ of the cover, so both $O$ and its complement would belong to the ultrafilter. This is impossible. These arguments also prove the closed-set form of compactness directly by taking complements.

Now let $X={\prod }_{j\in J}{X}_j$. If a factor is empty, the product is empty and compact. Otherwise the axiom of choice makes $X$ nonempty. For an ultrafilter $\mathcal{U}$ on $X$, its coordinate imageis an ultrafilter. Compactness of $X_j$ supplies at least one limit $x_j$; use the axiom of choice to choose one for every $j$. A basic open neighbourhood of $x=(x_j{)}_j$ restricts finitely many coordinates. Each corresponding inverse image belongs to $\mathcal{U}$, so their finite intersection also does. Hence $\mathcal{U}$ converges to $x$ in the product topology. The ultrafilter criterion proves the theorem. The explicit choices and the maximal-filter argument are exactly the places where choice enters.

The Banach-Alaoglu theorem states that the closed unit ball of the continuous dual space $V^{\ast }$ of a real or complex normed vector space $V$ is compact in the weak-star topology $\sigma (V^{\ast },V)$. Completeness of $V$ is not required.

For each $v\in V$, let $D_v=\{z\in \mathbb{K}:|z|\le \Vert v\Vert \}$, a compact scalar disk or interval. By the Tychonoff theorem, $P={\prod }_{v\in V}{D}_v$ is compact. Inside $P$, impose the equationsEach equation defines a closed subset, since it concerns continuous coordinate projections into a Hausdorff scalar field. Their intersection $K$ is therefore compact. A point in $K$ defines a linear functional $\ell (v)=z_v$, and the coordinate bounds give $|\ell (v)|\le \Vert v\Vert$. Conversely, every $\ell \in V^{\ast }$ with $\Vert \ell \Vert \le 1$ gives such a point. Thus $K$ is exactly the image of the dual unit ball under $\ell \mapsto (\ell (v){)}_{v\in V}$. The induced product topology is precisely pointwise convergence on $V$, which is the weak-star topology. This proves

A complex Banach algebra is an associative complex algebra with a complete norm satisfying submultiplicativity, $\Vert ab\Vert \le \Vert a\Vert \Vert b\Vert$. A field has a nonzero identity $e$, and every nonzero element is invertible. We derive the Gelfand-Mazur theorem from these facts.

If $\Vert z\Vert <1$, the series $e+z+z^2+\cdots$ converges in the complete algebra. Multiplying its partial sums by $e-z$ and passing to the limit proves the Neumann series inverse. In particular, for any $x\in B$ and $|\lambda |>\Vert x\Vert$,This resolvent of an element tends to zero in norm at infinity; the estimate follows from the geometric bound on $\Vert x^n\Vert$.

We next prove that the spectrum of an element cannot be empty. Suppose every $\lambda e-x$ were invertible. At each ${\lambda }_0$, writeThe Neumann series on a small disk about ${\lambda }_0$ proves that $R$ is analytic there. Consequently, for each continuous linear functional $\ell :B\to \mathbb{C}$, the function $\lambda \mapsto \ell (R(\lambda ))$ is entire. It is bounded outside a large disk by the estimate above and bounded on that disk by continuity. The Liouville theorem makes it constant; its zero limit at infinity makes the constant zero.

Continuous complex linear functionals separate points of $B$. Here is the needed consequence of the Hahn-Banach theorem: for $z\ne 0$, define $g(tz)=t\Vert z\Vert$ on the real span of $z$ and extend it as a bounded real linear functional of norm one. Then $\ell (w)=g(w)-ig(iw)$ is complex linear and continuous, and $\mathrm{Re}\ell (z)=\Vert z\Vert \ne 0$. The real extension theorem is proved explicitly in Question 4(i) below. Thus $\ell (R(\lambda ))=0$ for every $\ell$ forces $R(\lambda )=0$, contradicting $(\lambda e-x)R(\lambda )=e\ne 0$. This proves the nonemptiness of the Banach-algebra spectrum.

Choose $\lambda \in {\sigma }_B(x)$. Since $B$ is a field, the noninvertible element $x-\lambda e$ must be zero. Hence every $x\in B$ is a scalar multiple of $e$. The mapis therefore a bijective unital complex-algebra homomorphism. It and its inverse are bounded, since $\Vert \lambda e\Vert =|\lambda |\Vert e\Vert$. Thus it is an isomorphism of Banach algebras. If the usual normalization $\Vert e\Vert =1$ is included in the definition, it is an isometry; without that normalization, it is still the required continuous algebra isomorphism.