Automorphisms of shift spaces and the Higman-Thompson groups: the two-sided case

arXiv2006.01466MaRDI QIDQ6341892FDOQ6341892

Authors: James Belk, Collin Bleak, Peter J. Cameron, Feyishayo Olukoya

Publication date: 2 June 2020

Abstract: In this article, we further explore the nature of a connection between the groups of automorphisms of full shift spaces and the groups of outer automorphisms of the Higman--Thompson groups

G_{n, r}

. We show that the quotient of the group of automorphisms of the (two-sided) shift dynamical system

m a t h r m A u t (X_{n}^{m a t h b b N}, s i g m a_{n})

by its centre embeds as a particular subgroup

m a t h c a l L_{n}

of the outer automorphism group

m a t h o p m a t h r m O u t (G_{n, n - 1})

of

G_{n, n - 1}

. It follows by a result of Ryan that we have the following central extension:

langle sigma_{n} angle hookrightarrow mathrm{Aut}(X_n^{mathbb{N}}, sigma_{n}) woheadrightarrow mathcal{L}_{n}

where here,

l a n g l e s i g m a_{n} a n g l e c o n g m a t h b b Z

. We prove that this short exact sequence splits if and only if

n

is not a proper power, and, in all cases, we compute the 2-cocycles and 2-coboundaries for the extension. We also use this central extension to prove that for

1 l e r < n

, the groups

m a t h o p m a t h r m O u t (G_{n, r})

are centreless and have undecidable order problem. Note that the group

m a t h o p m a t h r m O u t (G_{n, n - 1})

consists of finite transducers (combinatorial objects arising in automata theory), and elements of the group

m a t h c a l L_{n}

are easily characterised within

m a t h o p m a t h r m O u t (G_{n, n - 1})

by a simple combinatorial property. In particular, the short exact sequence allows us to determine a new and efficient purely combinatorial representation of elements of

m a t h r m A u t (X_{n}^{m a t h b b N}, s i g m a_{n})

, and we demonstrate how to compute products using this new representation.

Mathematics Subject Classification ID

Automorphisms of infinite groups (20E36) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) General groups of measure-preserving transformations (28D15) Transformation groups and semigroups (topological aspects) (54H15)

This page was built for publication: Automorphisms of shift spaces and the Higman-Thompson groups: the two-sided case

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6341892)