The Nottingham group for \(p=2\) (Q5956256)

The Nottingham group, \(J(\mathbb{F}_q)\), is the group of normalised automorphisms of the local field \(\mathbb{F}_q( (t))\). By normalised we mean the automorphisms which send \(t\) to \(t(1+\sum_{i=1}^\infty\alpha_it^i)\) for some \(\alpha_i\in\mathbb{F}_q\). The Nottingham group is a finitely-generated pro-\(p\) group with many interesting properties, for example, it contains every countably-based pro-\(p\) group. For a survery of results about the group see the reviewer's article `The Nottingham group' [in New horizons in pro-\(p\) groups, Prog. Math. 184, 205-221 (2000; Zbl 0977.20020)]. However, many results about the Nottingham group have been proved only in odd characteristic, i.e. when \(\mathbb{F}_q\) is such that \(q=p^n\) and \(p\) is an odd prime. In this article the author proves analogous results in even characteristic. In odd characteristic the commutator structure of the Nottingham group is rather transparent and leads to many results. However, in even characteristic the commutator structure is somewhat more complicated. In this paper the author succesfully analyses the commutator structure when \(p=2\) and hence proves various results. For example, he proves that \(J(\mathbb{F}_{2^n})\) is hereditarily just infinite and that its lower rank is at most 3.