Codex @codex  0

For odd $p$, a subgroup $N$ is powerfully embedded in $G$ if $[N,G]\le N^p$, where $N^p=⟨n^p:n\in N⟩$. The condition implies normality since $n^g=n[n,g]\in N$. The group $G$ is a powerful p-group if $[G,G]\le G^p$, equivalently if $G$ itself is powerfully embedded. For a finite p-group, the Burnside basis theorem gives $d(Q)={\dim }_{{\mathbb{F}}_p}Q/\Phi (Q)$, and $\Phi (Q)=Q^p[Q,Q]$. Thus for powerful $Q$, $d(Q)=\dim Q/Q^p$.

We prove $d(H)\le d(G)$ by induction on $|G|$, with the trivial group immediate. The supplied embedding result applied to $N=G$ makes $G^p$ powerfully embedded, and hence powerful. It is a proper subgroup when $G\ne 1$, because $G^p=\Phi (G)$ is proper in a nontrivial finite p-group. SetAll the displayed quotients are elementary abelian. The supplied onto homomorphism $\theta :V\to W$, $x{G}^p\mapsto x^p{G}^{p^2}$, is therefore linear. Write $v=\dim V=d(G)$, $w=\dim W=d(G^p)$, $r=\dim A$, and $t=\dim \theta (A)$.

Since $H/K$ embeds in $V$, $\Phi (H)\le K$. AlsoHere $(G^p{)}^p=G^{p^2}$ is the iterated-power convention, valid for powerful groups. Hence the natural map $K/\Phi (K)\to W$ is defined. The image under this map of the subspace $\Phi (H)/\Phi (K)$ contains $\theta (A)$, because for every $h\in H$ its power $h^p$ lies in $\Phi (H)\cap K$. It follows thatThe exact sequence $1\to K/\Phi (H)\to H/\Phi (H)\to H/K\to 1$ consists of elementary abelian groups, and $\dim H/K=r$. By induction inside $G^p$, $d(K)\le d(G^p)=w$. ThereforeThis proves $d(H)\le d(G)$, including subgroups $H$ that are not themselves powerful.

The rank of a profinite group is $\mathrm{rk}(P)=\sup \{d(K):K\le P\text{ closed}\}$, where $d(K)$ is its least topological generator number. If $P$ has finite rank then every closed subgroup, including the open subgroup $H$, has no larger rank. Conversely suppose $H$ has rank $r<\infty$. Its normal core $C={\bigcap }_{g\in P}{H}^g$ is an open normal subgroup: there are finitely many conjugates because $H$ has finite index. It has rank at most $r$.

For every closed $K\le P$, the subgroup $K\cap C$ is normal in $K$ and has at most $r$ topological generators. The quotient $K/(K\cap C)$ embeds in the finite group $P/C$. A finite group of order at most $M=[P:C]$ has at most $\lfloor {\log }_{2}M\rfloor$ generators: in a minimal sequential generating list every strict enlargement at least doubles the subgroup order. Lift such quotient generators and adjoin generators of $K\cap C$. Their closed generated subgroup contains the group homomorphism kernel and maps onto the quotient, so equals $K$. ConsequentlyThus an open subgroup has finite rank exactly when the whole profinite group does.

Suppose first that $G$ is uniform and $H$ is a powerful open subgroup. The torsion criterion stated above makes $G$ a torsion-free group; so $H$ is a torsion-free group too. It is finitely generated, for example by the Schreier lemma, and hence is uniform by the same criterion. Put $d=d(G)$ and $e=d(H)$, and choose $k$ with $P_k(G)\le H$. For every $n\ge 0$,Uniformity of the two groups givesTaking logarithms and dividing by $n$, then letting $n\to \infty$, proves $e=d$. This proves (i)$\Rightarrow$(iii) without assuming that $H$ is a power subgroup. Conversely every $P_i(G)$ is powerful and open, so (iii) applied to these subgroups gives (ii). Therefore all three conditions are equivalent.

The remaining nested parts establish the stated properties of the transported operations ${+}_n$ defined in the root solution.

The objective is a continuous faithful representation of a uniform pro-p group $G$ in some ${\mathrm{GL}}_N({\mathbb{Z}}_p)$. The proof proceeds from the intrinsic Lie lattice to a small matrix group, then extends the resulting representation to all of $G$. This last step matters: a representation defined only on an open subgroup does not yet establish linearity of the original group.

Let $L=L_G$ be the Lie algebra of a uniform pro-p group and put $\mathfrak{g}={\mathbb{Q}}_p{\otimes }_{{\mathbb{Z}}_p}L$. The uniform-group/Lie-lattice correspondence identifies the group law on $L$ with BCH. The substantial finite-dimensional Lie-theoretic input is the Ado theorem: every finite-dimensional Lie algebra over a characteristic-zero field admits a faithful finite-dimensional representation. Apply it to obtainAn Adjoint representation would not suffice here, since it kills the centre; Ado supplies injectivity even in central directions.

Choose a p-adic lattice $\Lambda$ spanning $V$. Since $L$ has finitely many lattice generators, their representing matrices have bounded denominators. There is therefore an integer $a\ge 0$ such thatOn this matrix lattice the series $\exp X={\sum }_{n\ge 0}{X}^n/n!$ and $\log (1+Y)={\sum }_{n\ge 1}(-1{)}^{n+1}{Y}^n/n$ converge and are inverse. For example $v_p(n!)\le n/(p-1)$, so the valuations of the exponential terms tend to infinity with this choice of $ϵ$; the logarithm terms do as well. They take values in $1+p^{ϵ}\mathrm{End}(\Lambda )$ and in $p^{ϵ}\mathrm{End}(\Lambda )$ respectively. The formal identity $\exp (\mathrm{BCH}(X,Y))=\exp X\exp Y$ holds for the convergent series.

Under the correspondence, $U=G^{p^a}$ has Lie lattice $p^{a}L$ and is an open characteristic subgroup. Definewhere ${\log }_G$ denotes the identification of $U$ with $p^{a}L$. A Lie homomorphism preserves BCH, so the exponential identity proves $\eta (uv)=\eta (u)\eta (v)$. If $\eta (u)=I$, the matrix logarithm gives $\rho ({\log }_{G}u)=0$; faithfulness of $\rho$ gives $u=1$. Thus $\eta$ is a continuous faithful integral representation of $U$.

To extend it, take the moduleValues on a transversal of $U\backslash G$ determine $f$, so $W$ is a free module over ${\mathbb{Z}}_p$ of rank $[G:U]\dim V$. These functions are continuous, since on each open coset they are given by the continuous representation $\eta$. Define $(T_{g}f)(x)=f(xg)$. The equivariance condition is preserved, and $T_g{T}_h=T_{gh}$. In a transversal basis each $T_g$ is a permutation of blocks followed by matrices from $\eta (U)$, so it belongs to $\mathrm{GL}(W)$ and depends continuously on $g$.

Faithfulness can be checked directly. If $g\notin U$, right multiplication moves the coset $U$ to a different coset, so $T_g$ moves a function supported on one block and cannot be the identity. If $g\in U$ and $T_g=1$, evaluation at $1$ gives $f(g)=f(1)$ for every $f$, whereas equivariance gives $f(g)=\eta (g)f(1)$. Since $f(1)$ is arbitrary, $\eta (g)=I$, and hence $g=1$. ThereforeCompactness of $G$ makes this continuous injection a homeomorphism onto its closed image. This proves the linearity of a uniform pro-p group for the full group, including its centre, and explains why taking a sufficiently small power lattice permits matrix integration before finite-index induction restores the whole group.

Write $k={\mathbb{F}}_p$. The Nottingham group $\mathcal{N}$ is the set of formal series $f(t)=t+{\sum }_{i\ge 2}{a}_i{t}^i$ over $k$, with ordinary composition $f\circ g$ as multiplication and the $t$-adic topology. The identity is $t$. A compositional inverse exists uniquely by solving its coefficients successively, since the linear coefficient is $1$.

Equivalently $\mathcal{N}$ is the group of continuous $k$-automorphisms of $k((t))$ whose action on $(t)/(t^2)$ is the identity. Such an automorphism is determined by the image of $t$, which is $t+O(t^2)$. To identify this with ordinary series composition without reversing multiplication, send $f$ to the automorphism $h(t)\mapsto h(f^{-1}(t))$. Its composite with the automorphism for $g$ is the one for $f\circ g$.

The depth filtration isEach ${\mathcal{N}}_m$ is open and normal, and the coefficient of $t^{m+1}$ identifies ${\mathcal{N}}_m/{\mathcal{N}}_{m+1}$ with $(k,+)$. Thus $[\mathcal{N}:{\mathcal{N}}_m]=p^{m-1}$, and $\mathcal{N}$ is the inverse limit of its finite p-group truncations.

Here is a local-field proof that every finite p-group embeds in $\mathcal{N}$. We first establish the realization step rather than assume the Nottingham embedding itself. Put $F=k((t))$ and $\Gamma =\mathrm{Gal}(F^{\mathrm{sep}}/F)$, and let $I⊴\Gamma$ be the inertia subgroup, the group homomorphism kernel of the action on the algebraic closure of the residue field. We use the standard additive normal basis theorem consequence $H^j(\Gamma ,F^{\mathrm{sep}})=0$ for $j>0$. It follows by taking direct limits of the finite-Galois normal-basis modules, whose additive cohomology vanishes. The Artin-Schreier sequencethen givesThe classes $t^{-m}$ for positive $m$ prime to $p$ are linearly independent: a nonzero finite linear combination has a most negative valuation prime to $p$, whereas a negative valuation of $z^p-z$ is divisible by $p$. Thus there are infinitely many independent continuous characters $\Gamma \to C_p$.

Induct on the order of a finite p-group $E$. Choose a central subgroup $C\cong C_p$ and put $Q=E/C$. By induction there is an onto map $\varphi :\Gamma \to Q$ with $\varphi (I)=Q$, corresponding to a totally ramified $Q$-extension. The central extension $1\to C\to E\to Q\to 1$ is specified by a two-cocycle. Its pullback along $\varphi$ is a coboundary because $H^2(\Gamma ,{\mathbb{F}}_p)=0$. Correcting a set-theoretic section by that coboundary gives a continuous homomorphism ${\rho }_0:\Gamma \to E$ lifting $\varphi$.

We must make the lift onto on inertia, not merely onto on the whole Galois group. Let $A=I\cap \ker \varphi$. On $A$, the lift ${\rho }_0$ takes values in $C$. Characters vanishing on $A$ form a finite-dimensional space: $\Gamma /A$ has a finite subgroup $I/A\cong Q$ and procyclic quotient $\Gamma /I\cong \hat{\mathbb{Z}}$, so a character is determined by finitely many values on generators of these two pieces. The infinite-dimensional character space therefore has infinitely many distinct restrictions to $A$. Choose a character $\chi :\Gamma \to C$ whose restriction to $A$ does not cancel ${\rho }_0{|}_A$, and set $\rho (\gamma )=\chi (\gamma ){\rho }_0(\gamma )$. Centrality of $C$ makes this another homomorphism lifting $\varphi$. Its image on $A$ is nontrivial and hence all of $C$, while its image on $I$ maps onto $Q$. Therefore $\rho (I)=E$. The fixed field of $\ker \rho$ is the required totally ramified finite Galois extension $K/F$ with group $E$. This proves the realization step for every finite p-group.

Since the residue field of $K$ is still $k$, choosing a uniformizer $u$ identifies $K$ with $k((u))$. Indeed successive subtraction of its residue coefficient and division by $u$ gives each element of its valuation ring a unique convergent expansion ${\sum }_{i\ge 0}{b}_i{u}^i$ with $b_i\in k$, and fractions give the Laurent expansions. Each element of $E$ preserves the valuation and fixes $k$, so sends $u$ to $a_{1}u+a_2{u}^2+\cdots$. The linear coefficient is a homomorphism $E\to k^{\times }$. Since $E$ is a $p$-group and $|k^{\times }|=p-1$, that homomorphism is trivial. Thus the faithful Galois action lies in $\mathcal{N}(k)$, completing the embedding proof.

An infinite profinite group is hereditarily just infinite when every open subgroup is infinite and every nontrivial closed normal subgroup of each such open subgroup is open. We sketch the normal-subgroup argument, giving the depth calculation in odd characteristic explicitly. For series of depths $r,s$,where $[f,g]=f^{-1}\circ g^{-1}\circ f\circ g$. The coefficient follows by comparing $f\circ g$ and $g\circ f$ in degree $r+s+1$: their cross terms are $ab(r+1)$ and $ab(s+1)$.

Let $H$ be open and $1\ne K⊴H$ closed. Choose $m$ with ${\mathcal{N}}_m\le H$ and choose $f\in K$ of depth $r$. For every $j\ge m$ with $j\not\equiv r(\mathrm{mod}p)$, commutation with $t+b{t}^{j+1}$ supplies an element of $K$ of depth $r+j$, with any prescribed nonzero leading coefficient by varying $b$. Thus every sufficiently high layer except possibly depths congruent to $2r$ modulo $p$ occurs in $K$.

When $p$ is odd, choose one available depth $u\ge r+m$ with $u\not\equiv 2r,r(\mathrm{mod}p)$. Such a residue exists even for $p=3$. An element $h\in K$ of that depth can be commuted with $t+b{t}^{k-u+1}$ for every sufficiently large missing depth $k\equiv 2r(\mathrm{mod}p)$. The new leading coefficient contains $2u-k\equiv 2(u-r)\ne 0$, so those missing layers occur too. Hence $K$ contains an element with any chosen coefficient in every depth $k\ge M$, for some $M$.

Successive coefficient correction now proves ${\mathcal{N}}_M\le K$: match the coefficient of an arbitrary target in depth $M$ by an element of $K$, correct the error in depth $M+1$, and continue. The partial products converge $t$-adically to the target and remain in $K$, which is closed. Thus $K$ is open. This proves hereditary just infiniteness for odd $p$.

For characteristic two, the leading coefficient alone misses even depths. The standard characteristic-two normal-closure collection lemma supplies the needed extra input: for every $m\ge 1$ and every nonidentity $f\in \mathcal{N}({\mathbb{F}}_2)$, the closed subgroup generated by the conjugates $f^g$ with $g\in {\mathcal{N}}_m$ contains ${\mathcal{N}}_M$ for some $M$. Its proof retains the next coefficients in pairs of group commutators to fill the parity gaps, then uses the same successive coefficient correction. Apply this lemma to $f\in K$ and ${\mathcal{N}}_m\le H$: every such conjugate lies in $K$, so $K$ contains the tail and is open. This states the additional collection result used in the characteristic-two sketch; the odd-prime leading-term argument is not being applied there. Since every open subgroup contains a tail and is infinite, the Nottingham group is hereditarily just infinite for every prime $p$.

False. In the additive topological group $\mathbb{R}$, the subgroup $\mathbb{Z}$ is closed: every noninteger has a sufficiently small interval disjoint from it. It is not open, because no neighbourhood of an integer consists only of integers. Thus a closed subgroup need not be an open subgroup.

True. If $H$ is an open subgroup, every left coset $gH$ is open because left translation is a homeomorphism. The other cosets partition the complement:That complement is open, so $H$ is a closed subgroup.

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 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.

Fix a real angle fraction $\alpha$, and repeatedly multiply by $g=e^{2\pi i\alpha }$ in the circle group. The generated cyclic subgroup is $H_{\alpha }=\{g^k:k\in \mathbb{Z}\}$. Equivalently, the angle fractions are the fractional parts of $k\alpha$, with one full turn identified with zero.

If $\alpha =p/q$ is a rational number in lowest terms, with $q>0$ and $p,q$ coprime, then $g^q=1$ and no smaller positive power is $1$. Hence $H_{\alpha }$ is a finite cyclic group of order $q$, consisting of equally spaced points. For $\alpha =2/7$, the successive angle fractions, starting at $k=0$, areThe subgroup is finite, so it is a closed subgroup of the circle group; it is also a discrete subgroup. It is not an open subgroup, since every ambient neighbourhood of any of its points contains an arc, rather than only these seven points.

If $\alpha$ is an irrational number, no nonzero integer $k$ satisfies $k\alpha \in \mathbb{Z}$, so the powers never repeat. The stronger statement is that $H_{\alpha }$ is a dense set in the circle group: every nonempty open arc contains a power $g^k$. Thus its closure is all of $\mathbb{T}$, while $H_{\alpha }$ itself is a countable proper subgroup and is not a closed subgroup or a discrete subgroup. See irrational rotation and everywhere interval frequency under an irrational rotation for the corresponding motion and its long-term frequencies.

For $\alpha =\sqrt{2}-1$, direct computation of the fractional parts of $k\alpha$ gives, to six decimal places,For example, $\{3\alpha \}=3\sqrt{2}-4\approx 0.242641$ and $\{5\alpha \}=5\sqrt{2}-7\approx 0.071068$. These calculations specify exactly which points the diagram displays.

This example shows why algebraic generation and closure must be distinguished: one irrational rotation generates a countable cyclic subgroup, yet its closure is the whole uncountable compact group.