scholarly journals Normal amenable subgroups of the automorphism group of the full shift

2017 ◽  
Vol 39 (5) ◽  
pp. 1290-1298 ◽  
Author(s):  
JOSHUA FRISCH ◽  
TOMER SCHLANK ◽  
OMER TAMUZ

We show that every normal amenable subgroup of the automorphism group of the full shift is contained in its center. This follows from the analysis of this group’s Furstenberg topological boundary, through the construction of a minimal and strongly proximal action. We extend this result to higher dimensional full shifts. This also provides a new proof of Ryan’s theorem and of the fact that these groups contain free groups.

2017 ◽  
Vol 39 (06) ◽  
pp. 1637-1667 ◽  
Author(s):  
VILLE SALO

We show that on the four-symbol full shift, there is a finitely generated subgroup of the automorphism group whose action is (set-theoretically) transitive of all orders on the points of finite support, up to the necessary caveats due to shift-commutation. As a corollary, we obtain that there is a finite set of automorphisms whose centralizer is $\mathbb{Z}$ (the shift group), giving a finitary version of Ryan’s theorem (on the four-symbol full shift), suggesting an automorphism group invariant for mixing subshifts of finite type (SFTs). We show that any such set of automorphisms must generate an infinite group, and also show that there is also a group with this transitivity property that is a subgroup of the commutator subgroup and whose elements can be written as compositions of involutions. We ask many related questions and prove some easy transitivity results for the group of reversible Turing machines, topological full groups and Thompson’s  $V$ .


2016 ◽  
Vol 38 (4) ◽  
pp. 1588-1600 ◽  
Author(s):  
VILLE SALO

We discuss the set of subgroups of the automorphism group of a full shift and submonoids of its endomorphism monoid. We prove closure under direct products in the monoid case and free products in the group case. We also show that the automorphism group of a full shift embeds in that of an uncountable sofic shift. Some undecidability results are obtained as corollaries.


2010 ◽  
Vol 20 (03) ◽  
pp. 343-355 ◽  
Author(s):  
JEREMY MACDONALD

We show that the compressed word problem in a finitely generated fully residually free group ([Formula: see text]-group) is decidable in polynomial time, and use this result to show that the word problem in the automorphism group of an [Formula: see text]-group is decidable in polynomial time.


2001 ◽  
Vol 63 (3) ◽  
pp. 607-622 ◽  
Author(s):  
ATHANASSIOS I. PAPISTAS

For positive integers n and c, with n [ges ] 2, let Gn, c be a relatively free group of finite rank n in the variety N2A ∧ AN2 ∧ Nc. It is shown that the subgroup of the automorphism group Aut(Gn, c) of Gn, c generated by the tame automorphisms and an explicitly described finite set of IA-automorphisms of Gn, c has finite index in Aut(Gn, c). Furthermore, it is proved that there are no non-trivial elements of Gn, c fixed by every tame automorphism of Gn, c.


2020 ◽  
pp. 1-14
Author(s):  
KITTY YANG

Let $(X,\unicode[STIX]{x1D70E})$ be a transitive sofic shift and let $\operatorname{Aut}(X)$ denote its automorphism group. We generalize a result of Frisch, Schlank, and Tamuz to show that any normal amenable subgroup of $\operatorname{Aut}(X)$ must be contained in the subgroup generated by the shift. We also show that the result does not extend to higher dimensions by giving an example of a two-dimensional mixing shift of finite type due to Hochman whose automorphism group is amenable and not generated by the shift maps.


2019 ◽  
Vol 19 (4) ◽  
pp. 773-786
Author(s):  
Johan Kopra

Abstract For any mixing SFT X we construct a reversible shift-commuting continuous map (automorphism) which breaks any given finite point of the subshift into a finite collection of gliders traveling into opposing directions. As an application we prove a finitary Ryan’s theorem: the automorphism group $${{\,\mathrm{Aut}\,}}(X)$$ Aut ( X ) contains a two-element subset S whose centralizer consists only of shift maps. We also give an example which shows that a stronger finitary variant of Ryan’s theorem does not hold even for the binary full shift.


2021 ◽  
Vol 4 (1) ◽  
Author(s):  
Bo Lv ◽  
Rui Chen ◽  
Rujiang Li ◽  
Chunying Guan ◽  
Bin Zhou ◽  
...  

AbstractQuadrupole topological insulators are a new class of topological insulators with quantized quadrupole moments, which support protected gapless corner states. The experimental demonstrations of quadrupole-topological insulators were reported in a series of artificial materials, such as photonic crystals, acoustic crystals, and electrical circuits. In all these cases, the underlying structures have discrete translational symmetry and thus are periodic. Here we experimentally realize two-dimensional aperiodic-quasicrystalline quadrupole-topological insulators by constructing them in electrical circuits, and observe the spectrally and spatially localized corner modes. In measurement, the modes appear as topological boundary resonances in the corner impedance spectra. Additionally, we demonstrate the robustness of corner modes on the circuit. Our circuit design may be extended to study topological phases in higher-dimensional aperiodic structures.


2018 ◽  
Vol 52 (1 (245)) ◽  
pp. 60-63
Author(s):  
H.T. Aslanyan

We consider the automorphisms description question for the semigroups End($G$) of a group $G$ having only cyclic centralizers (CC) of nontrivial elements. In particular, we prove that each member of the automorphism group Aut($G$) of a group $G$ from this class is uniquely determined by its action on the elements from the subgroup of inner automorphisms Inn($G$). Note that, typical examples of CC groups are absolutely free groups, free periodic groups of large enough odd periods, $n$-periodic and free products of CC groups.


1976 ◽  
Vol 19 (3) ◽  
pp. 263-267 ◽  
Author(s):  
R. G. Burns ◽  
C. C. Edmunds ◽  
I. H. Farouqi

AbstractA simple proof is given of a result of Hmelevskiï on the solutions of the equation [x, y] = [u, υ] over a free group for any specified u, υ. To illustrate, the equation is solved explicitly for (u, υ) = (a, b), (a2, b), ([a, b], c) (where a, b, c freely generate the free group) and thence stabilizers of the corresponding commutators in the automorphism group of this free group are determined.


Sign in / Sign up

Export Citation Format

Share Document