The Nottingham group at 2 is the group of (formal) power series t+ a 2 t 2+ a 3 t 3+⋯ in the
variable t with coefficients ai from the field with two elements, where the group operation is …