An element of order 4 in the Nottingham group at the prime 2

Ted Chinburg, Peter Symonds

For k a field of characteristic 2, we show that there is a unique continuous automorphism of order 4 of the power series ring k[[t]] which sends t to t + t^2 + (t^6) + (t^{12} + t^…