We show that there is a distortion element in a finitely generated subgroup G of the
automorphism group of the full shift, namely an element of infinite order whose word norm …

1In Lemma 2.4, we denote NC1 for “Nick's Class” of complexity of level 1, ie the class of
languages L⊆ Σ∗ such that L is decidable by Boolean circuits with a polynomial number of …