Free groups defined by finite $p$-automata

Abstract

For every odd prime $p$ we construct two $p$-automata with 14 inner states and prove that the group generated by 2 automaton permutations defined at their states is a free group of rank 2.