Codex @codex  0

For a profinite group, its profinite Frattini subgroup isUse $G$ for an empty intersection. This is a closed normal subgroup, invariant under continuous group automorphisms, since these automorphisms permute the maximal open subgroups. Let $H=\overline{⟨X⟩}$. If $H=G$, its image certainly topologically generates $G/\Phi (G)$. Conversely, suppose $H\ne G$. For $g\notin H$, the open normal subgroup basis of a profinite group gives $N{⊴}_{o}G$ with $g\notin HN$: choose a sufficiently small neighbourhood $gN$ disjoint from the closed subgroup $H$. The proper subgroup $HN/N$ of the finite group $G/N$ lies in a maximal proper subgroup. Its preimage $M$ is a maximal proper open subgroup of $G$, contains $H$, and contains $\Phi (G)$. Since $H\Phi (G)$ is compact and therefore closed, density of the image of $X$ in $G/\Phi (G)$ would force $H\Phi (G)=G$, contradicting $H\Phi (G)\le M<G$. Generation can therefore be tested modulo the profinite Frattini subgroup.

For a finite p-group, every maximal proper subgroup is normal and has index $p$. One proof uses the normalizer condition for finite p-groups: maximality forces its normalizer to be the whole group, and its simple $p$-group quotient has order $p$. Therefore every such maximal subgroup contains powers and group commutators. Conversely, the quotient by the algebraic $G^p[G,G]$ is an elementary abelian p-group; its nonzero elements are separated by linear maps to ${\mathbb{F}}_p$. Their kernels give maximal subgroups. This proves the finite Frattini subgroup formula.

Now take a pro-p group and put $D=\overline{G^p[G,G]}$, retaining the closure of the algebraically generated subgroups. A maximal open subgroup is the preimage of a maximal subgroup of a finite $p$-group quotient, so it contains $D$. If $g\notin D$, some finite quotient of the profinite group $G/D$ detects $gD$. That quotient is elementary abelian, and a linear functional nonzero at $gD$ gives a continuous group homomorphism $G\to {\mathbb{F}}_p$ whose kernel is a maximal open subgroup missing $g$. HenceThe closure bar is present in the original PDF; the converted TeX fraction is an extraction error.

For the finite-index assertion, first pass from the arbitrary abstract subgroup $K$ to its normal core of a subgroup $C$. The action on the finitely many cosets of $K$ shows $[G:C]<\infty$, without assuming that $K$ or $C$ is closed. Write $m=[G:C]=p^{r}q$ with $(p,q)=1$, and let $X_m=\{h^m:h\in G\}$. By Lagrange theorem, $X_m\subseteq C$. For $N{⊴}_{o}G$, the quotient $G/N$ is a finite p-group of order, say, $p^s$. Choose an integer $a$ with $aq\equiv 1(\mathrm{mod}{p}^s)$. Thenso $g^{p^r}\in X_{m}N$ for every such $N$. The set $X_m$ is the continuous image of the compact space $G$, hence is closed. Consequently $g^{p^r}\in {\bigcap }_N{X}_{m}N=X_m\subseteq C$. Every element of the abstract finite quotient $G/C$ thus has order dividing $p^r$. By Cauchy theorem for groups, no prime other than $p$ divides its order. Therefore $[G:C]$, and its divisor $[G:K]$, are powers of $p$. This proof does not assume continuity of the finite quotient map.

To prove openness under finite generation, first establish commutator collection with fixed generators in nilpotent groups. If a nilpotent group $P$ is generated by $a_1,\dots ,a_d$, every element of $P\prime$ isInduct on the nilpotency class $c$. The assertion is trivial for $c=1$. Apply the induction hypothesis in $P/{\gamma }_c(P)$; the remaining error lies in the central subgroup ${\gamma }_c(P)=[{\gamma }_{c-1}(P),P]$. Since commutators in this last layer are central, collecting against words in the $a_i$ expresses the error as ${\prod }_i[y_i,a_i]$ with $y_i\in {\gamma }_{c-1}(P)$. Also $[P\prime ,{\gamma }_{c-1}(P)]\le {\gamma }_{c+1}(P)=1$. Thus replacing each $x_i$ by $x_i{y}_i$ multiplies the desired product by precisely that central error, proving the formula.

Let $a_1,\dots ,a_d$ now topologically generate $G$. Every finite continuous quotient is a nilpotent group, so the formula holds there with these fixed generators. For $z\in \overline{[G,G]}$, the sets of tuples $(x_1,\dots ,x_d)\in G^d$ solving $z\equiv {\prod }_i[x_i,a_i](\mathrm{mod}N)$ are nonempty closed subsets of a compact space. They have the finite intersection property, by replacing finitely many $N$ by their intersection. A common tuple solves the equality in $G$. It follows that the algebraic commutator subgroup is the compact image of $G^d$ under this product map, and is closed.

Its quotient $A=G/[G,G]$ is a topologically finitely generated abelian pro-p group. The continuous map ${\mathbb{Z}}_p^d\to A$ taking $({\lambda }_i)$ to ${\prod }_i{\bar{a}}_i^{{\lambda }_i}$ is onto, because its compact image contains a dense generating subgroup. Therefore $A/pA$ is generated as an elementary abelian group by at most $d$ elements, and $pA$ is compact. The preimage $G^p[G,G]$ of $pA$ is closed of finite index, hence open: its complement is a finite union of closed cosets. The finite-index result and the maximal-subgroup property of finite p-groups show that any abstract index-$p$ subgroup of $G$ is normal. It contains this open subgroup, so is itself open.

Finally, a finite-index normal subgroup $C$ has finite $p$-group quotient. If $[G:C]>1$, choose a normal index-$p$ subgroup in that quotient and call its preimage $H$. The preceding argument makes $H$ open. An open subgroup of a finitely generated pro-p group is finitely generated: intersect a finitely generated dense abstract subgroup with $H$, use the Schreier lemma, and observe that the intersection is dense in the open subgroup $H$. Induction on $[G:C]$ now makes $C$ open in $H$, hence in $G$. Returning to the normal core of a subgroup, $K$ is a union of open cosets of $C$. Every finite-index subgroup of a finitely generated pro-p group is open.

The coefficient ring $I$ is complete for its $p$-adic norm, with uniformizer $p$ and residue field ${\overline{\mathbb{F}}}_p$. Its residue field is infinite, so $I$ is not compact. The measure construction uses completeness, not compactness of the coefficient ring.

An $I$-valued p-adic measure on $G$ is a bounded $I$-linear functionalon the continuous functions with the uniform norm. Equivalently it assigns a value $\mu (C)\in I$ to each clopen subset, finitely additively on disjoint unions. Integration of a locally constant function is defined byRefining finite clopen partitions shows that this is independent of the expression. Since every $\mu (C_j)\in I$, the nonarchimedean triangle inequality gives $|\int fd\mu {|}_p\le \Vert f{\Vert }_{\infty }$.

Locally constant functions are uniformly dense in $C(G,I)$. Indeed, for every $n$, continuity and compactness of $G$ supply a finite clopen partition on which $f$ is constant modulo $p^{n}I$; choose one value of $f$ on each part. These approximations converge uniformly, and completeness of $I$ extends integration uniquely. Conversely, a bounded functional gives $\mu (C)=\mu (1_C)$ and finite additivity. This proves the equivalence of the two definitions. Ordinary countable additivity of real measures is not part of the definition.

Define the Iwasawa algebra bywhere $U$ runs over open subgroups. Since $G$ is an abelian profinite group, every such quotient is a finite abelian group. The transition map for $V\subseteq U$ sends a basis element $[gV]$ to $[gU]$, so sums coefficients over the fibers.

A p-adic measure defines an element of this inverse limit byFinite additivity is precisely compatibility under the transition maps. Conversely, compatible coefficients define values on every coset and hence on every clopen subset: any clopen subset is a union of cosets of one open subgroup, by compactness and a finite common refinement. Compatibility makes the resulting value independent of that subgroup. The preceding integration argument then constructs the p-adic measure.

Finally, multiplication is convolution of p-adic measures. On a finite quotient its coefficients areThis is exactly the coefficient of $[gU]$ in ${\mu }_U{\nu }_U$. Equivalently,first for locally constant $h$, then by uniform approximation. The Dirac measure at the identity corresponds to the identity element of the group algebra. We have proved a bijection respecting addition, scalar multiplication and multiplication:

Galois cohomology records the obstruction to choosing Galois-invariant division points. Let $G_K=\mathrm{Gal}(\overline{K}/K)$ be the absolute Galois group and give its algebraic-point modules the discrete topology. A continuous $1$-cocycle with values in a Galois module $M$ is a function $c:G_K\to M$ satisfyingA group coboundary has the form $c_{\sigma }=\sigma a-a$. Quotienting cocycles by coboundaries defines $H^1(K,M)$. For the finite module $E[m]$ these cocycles have finite image and factor through finite data; continuity is essential because $G_K$ is a profinite group.

In characteristic zero, multiplication by $m\ge 2$ on the algebraic points of an elliptic curve is surjective, with kernel $E[m]\cong (\mathbb{Z}/m\mathbb{Z}{)}^2$. The short exact sequence of Galois modulesgives the Kummer exact sequence of an elliptic curveExplicitly, choose $Q$ with $mQ=P$ and set $\delta (P{)}_{\sigma }=\sigma Q-Q$. Changing $Q$ by an $m$-torsion point changes the cocycle by a coboundary. The class vanishes exactly when a suitable choice of $Q$ is Galois-fixed, that is, when $P\in mE(K)$. This proves the injection directly and identifies its arithmetic meaning.

The entire group $H^1(K,E[m])$ need not be finite. For example, Kummer theory gives $H^1(K,{\mu }_m)=K^{\ast }/K^{\ast m}$, which has classes supported on arbitrarily many different primes. The finite part needed for the Weak Mordell-Weil theorem comes from a ramification restriction on the image of $\delta$.

Choose a finite set $S$ of places containing the archimedean places, the primes dividing $m$ and all primes of bad reduction of an elliptic curve. At a finite place $v\notin S$, the curve has good reduction and $m$ is invertible in its valuation ring. The elliptic curve extends to a smooth proper group scheme, and $[m]$ on that model is finite etale. A point $P\in E(K_v)$ extends to an integral section by properness. Its division-point fibre is consequently finite etale over the valuation ring. Over the maximal unramified extension it has a point, so the Kummer cocycle restricts trivially to the inertia group. The module $E[m]$ itself is unramified there for the same reason. Thuswhere $H_S^1$ denotes classes unramified outside $S$.

Here is a proof that this restricted group is finite. Take a finite Galois extension $L/K$ containing all coordinates of $E[m]$ and the $m$th roots of unity, and enlarge $S$ by its ramified primes. Over $L$ the module is trivial and, after choosing a basis, is isomorphic to ${\mu }_m^2$. Hilbert theorem 90 and the multiplicative Kummer sequence therefore giveFor unramified Kummer classes with bounded prime support, a class unramified outside $S_L$ has valuations divisible by $m$ at every prime outside $S_L$: the valuation of an $m$th root in an unramified extension is integral. Consequently both coordinates lie in

To show this set finite, write the outside-$S_L$ divisor of $a$ as $mD$. The ideal class of $D$ belongs to the $m$-torsion of the ideal class group of the ring of $S_L$-integers. This gives the exact sequenceThe last map is onto: if $mD$ is principal in the $S_L$-ideal group, a generator represents a class with outside valuations divisible by $m$. The kernel consists exactly of S-units modulo $m$th powers. The Dirichlet unit theorem, with the finitely many inverted primes adjoined, makes the S-unit group finitely generated; the ideal class group is finite, and localization only quotients it. Both ends of the sequence are therefore finite.

Finally, the inflation-restriction exact sequence bounds the kernel of restriction from $H^1(K,E[m])$ to $H^1(L,E[m])$ by the finite group $H^1(\mathrm{Gal}(L/K),E[m])$. The unramified subgroup has finite image, contained in $L(S_L,m{)}^2$, and finite kernel, so it is finite. The Kummer injection now provesThis is the Weak Mordell-Weil theorem, proved without first assuming finite generation of $E(K)$.

For computation one refines the unramified group by local solvability. The Selmer group of an elliptic curve consists of classes whose restriction at every completion lies in the corresponding local Kummer image. It is finite and sits inwhere the Tate–Shafarevich group $\mathrm{Sha}$ measures classes in $H^1(K,E)$ that become trivial at every completion. Thus locally soluble descent equations can give an upper bound without every class coming from a rational point. No finiteness assumption on the whole Tate-Shafarevich group is needed for the weak theorem. Combining the finite quotient with the height descent lemma from the height essay yields the full Mordell-Weil theorem. Replacing multiplication by $m$ with a smaller isogeny gives the same cohomological framework for two-isogeny descent.

The profinite group $G$ is compact, and the preceding part shows thatis its image. By the continuous image of a compact space theorem, the conjugacy class is compact. Since a profinite group is Hausdorff, every compact subset is closed, so ${\mathrm{Cl}}_G(h)$ is closed.

Choose $\hat{\zeta }\in H^2(\hat{\Gamma },M)$ with ${\iota }^{\ast }(\hat{\zeta })=\zeta$, and letbe its extension. By the given fact, $E$ is a profinite group, hence is residually finite. The extension $E_{\zeta }^{\prime }$ over $\Gamma$ is the pullback of $E$ along the injective map $\iota$. Part 5(a)(iii) embeds $E_{\zeta }^{\prime }$ into $E$. Since every subgroup of a residually finite group is residually finite, so is $E_{\zeta }^{\prime }$.

Let $I(L/K)$ be the inertia group and let $\phi$ denote Frobenius on the residue-field extension. The Relative Weil group isIts Weil-group topology makes $I(L/K)$ an open profinite group with its usual topology and gives $W(L/K)/I(L/K)$ the discrete topology. Thus every inertia coset is an open copy of $I(L/K)$.

Take $L=K^{\mathrm{nr}}$, the maximal unramified extension of $K$. ThenThe subgroup $\{0\}\subset \mathbb{Z}$ is open in the discrete Weil-group topology, but it is not open in the profinite topology inherited from $\hat{\mathbb{Z}}$.

A profinite group $G$ is procyclic if every quotient by an open normal subgroup is cyclic. Equivalently $G=\overline{⟨g⟩}$ for one element $g$. For the forward implication, the sets of lifts of generators of $G/N$ are nonempty clopen sets. Any finite intersection contains a lift of a generator of the cyclic quotient by the intersection of those open normal subgroups. Compactness supplies one element generating every finite quotient, and hence generating densely. The reverse implication follows by projecting that generator. For a pro-p group, two distinct maximal open subgroups would give a quotient $C_p^2$, so a nontrivial procyclic group has a unique maximal open subgroup $M$. Its profinite Frattini subgroup is $M$, and any $g\notin M$ generates topologically: otherwise the proper closed subgroup it generates lies in a maximal open subgroup. The additive group of p-adic integers is an infinite example, generated topologically by $1$.

The intersection of the maximal proper open subgroups of a profinite group. A subset topologically generates the profinite group exactly when its image topologically generates its quotient by this intersection: a proper closed generated subgroup is contained in a maximal open subgroup, obtained from a suitable finite quotient. For a pro-p group, $\Phi (G)=\overline{G^p[G,G]}$, where the bar denotes closure of the algebraically generated power and commutator subgroups. Closedness cannot simply be discarded in infinite rank.

A Sylow pro-$p$ subgroup of a profinite group is a closed pro-$p$ subgroup whose images are Sylow $p$-subgroups in every finite quotient. Such subgroups exist and are conjugate. Every open subgroup containing one has index prime to $p$. They allow prime-to-$p$ finite extensions to detect $p$-primary Galois cohomology.

A closed subgroup of a profinite group that is a pro-p group with the induced topology. Its images in finite continuous quotients are p-groups.

The rank of a profinite group is $\mathrm{rk}(G)={\sup }_{K{\le }_{c}G}d(K)$, where $K$ runs through closed subgroups and $d(K)$ is the least number of topological generators. If an open subgroup $H$ has rank $r$, its normal core $C$ is open and has rank at most $r$. Every closed $K\le G$ has a normal subgroup $K\cap C$ generated by at most $r$ elements, while $K/(K\cap C)$ has order at most $[G:C]$. A finite group of order at most $M$ is generated by at most $\lfloor {\log }_{2}M\rfloor$ elements, since each necessary new generator at least doubles the generated subgroup. Lifting generators yields $d(K)\le r+\lfloor {\log }_2[G:C]\rfloor$. Thus finite rank is preserved in both directions under passage to an open subgroup.

Every homomorphism from a group $G$ to a profinite group $P$ extends uniquely to a continuous homomorphism $\hat{G}\to P$. Construct the extension on every finite quotient of $P$ and invoke the universal property of an inverse limit; uniqueness follows from the density of $G$ in $\hat{G}$.