Automata and finite order elements in the Nottingham group

Jakub Byszewski, Gunther Cornelissen, Djurre Tijsma

The Nottingham group at 2 is the group of (formal) power series $t+a_2{t}^2+a_3{t}^3+\cdots$ in the variable $t$ with coefficients $a_i$ from the field with two elements, where the…