Explicit embeddings of finite abelian \(p\)-groups in the group \(\mathcal J(\mathbb F_p)\). (Q2353714)

The author investigates finite abelian subgroups of the Jennings group \(\mathcal J(\mathbb F_p)\), also commonly known as the Nottingham group and denoted \(\mathcal N\). Elements of \(\mathcal J(\mathbb F_p)\) are normalised formal power series in \(\mathbb F_p[[x]]\), that is formal power series of the form \[ f(x)=x+a_1x^2+a_2x^3+\cdots \] with the group operation being substitution. Alternatively the elements can be viewed as automorphisms of the field of finitely tailed Laurent series over \(\mathbb F_p\), denoted \(\mathbb F_p((x))\). The Jennings group is a finitely presented pro-\(p\) group in which every countably based pro-\(p\) group can be embedded. However, finding explicit embeddings of finite \(p\)-groups has proved difficult. The case of elements of order \(p\) is understood [\textit{B. Klopsch}, J. Algebra 223, No. 1, 37-56 (2000; Zbl 0965.20021)] and in this case closed formulae are given. Recently \textit{J. Lubin} has investigated embeddings of finite cyclic groups [Bull. Lond. Math. Soc. 43, No. 3, 547-560 (2011; Zbl 1267.11115)]. In this paper the author gives explicit embeddings of finite abelian groups where explicit is interpreted to mean that the generators of the group can be evaluated to arbitrarily high degree in finitely many steps. The author begins by constructing totally ramified extensions \(k_n\) of the field \(k_0=\mathbb F_p((t))\) such that every finite abelian totally ramified extension of \(k_0\) is contained in \(k_n/k_0\) for some \(n\), such an extension is called a Lubin-Tate extension. Then, to embed a finite abelian group \(A\) in the Jennings group first the group \(C\cong C_{p^{m-1}}\times\cdots\times C_{p^{m-m/2}}\) is embedded in the Galois group of \(k_n/k_0\) where \(n=p^m\) and \(m\) is even and sufficiently large. Taking appropriate powers of the generators of \(C\), which are explicitly known, gives an embedding of \(A\) in the Galois group. Finally, noting that \(k_n\) is a totally ramified extension of \(k_0\) gives that \(k_n\cong\mathbb F_p((t_n))\) for a uniformizer \(t_n\), and thus automorphisms of \(k_n\) are elements of the automorphism group of \(\mathbb F_p((t_n))\) of the required form.