scholarly journals A note on subgroups of automorphism groups of full shifts

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.

2020 ◽  
Vol 0 (0) ◽  
Author(s):  
Naomi Andrew

AbstractWe provide some necessary and some sufficient conditions for the automorphism group of a free product of (freely indecomposable, not infinite cyclic) groups to have Property (FA). The additional sufficient conditions are all met by finite groups, and so this case is fully characterised. Therefore, this paper generalises the work of N. Leder [Serre’s Property FA for automorphism groups of free products, preprint (2018), https://arxiv.org/abs/1810.06287v1]. for finite cyclic groups, as well as resolving the open case of that paper.


2016 ◽  
Vol 160 (3) ◽  
pp. 437-462 ◽  
Author(s):  
IGOR DOLINKA ◽  
ROBERT D. GRAY ◽  
JILLIAN D. McPHEE ◽  
JAMES D. MITCHELL ◽  
MARTYN QUICK

AbstractWe establish links between countable algebraically closed graphs and the endomorphisms of the countable universal graph R. As a consequence we show that, for any countable graph Γ, there are uncountably many maximal subgroups of the endomorphism monoid of R isomorphic to the automorphism group of Γ. Further structural information about End R is established including that Aut Γ arises in uncountably many ways as a Schützenberger group. Similar results are proved for the countable universal directed graph and the countable universal bipartite graph.


2009 ◽  
Vol 30 (3) ◽  
pp. 809-840 ◽  
Author(s):  
MICHAEL HOCHMAN

AbstractWe investigate algebraic properties of the automorphism group of multidimensional shifts of finite type (SFTs). We show that positive entropy implies that the automorphism group contains every finite group and, together with transitivity, implies that the center of the automorphism group is trivial (i.e. consists only of the shift action). We also show that positive entropy and dense minimal points (in particular, dense periodic points) imply that the automorphism group of X contains a copy of the automorphism group of the one-dimensional full shift, and hence contains non-trivial elements of infinite order. On the other hand we construct a mixing, positive-entropy SFT whose automorphism group is, modulo the shift action, a union of finite groups.


2006 ◽  
Vol 71 (1) ◽  
pp. 203-216 ◽  
Author(s):  
Ermek S. Nurkhaidarov

In this paper we study the automorphism groups of countable arithmetically saturated models of Peano Arithmetic. The automorphism groups of such structures form a rich class of permutation groups. When studying the automorphism group of a model, one is interested to what extent a model is recoverable from its automorphism group. Kossak-Schmerl [12] show that if M is a countable, arithmetically saturated model of Peano Arithmetic, then Aut(M) codes SSy(M). Using that result they prove:Let M1. M2 be countable arithmetically saturated models of Peano Arithmetic such that Aut(M1) ≅ Aut(M2). Then SSy(M1) = SSy(M2).We show that if M is a countable arithmetically saturated of Peano Arithmetic, then Aut(M) can recognize if some maximal open subgroup is a stabilizer of a nonstandard element, which is smaller than any nonstandard definable element. That fact is used to show the main theorem:Let M1, M2be countable arithmetically saturated models of Peano Arithmetic such that Aut(M1) ≅ Aut(M2). Then for every n < ωHere RT2n is Infinite Ramsey's Theorem stating that every 2-coloring of [ω]n has an infinite homogeneous set. Theorem 0.2 shows that for models of a false arithmetic the converse of Kossak-Schmerl Theorem 0.1 is not true. Using the results of Reverse Mathematics we obtain the following corollary:There exist four countable arithmetically saturated models of Peano Arithmetic such that they have the same standard system but their automorphism groups are pairwise non-isomorphic.


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 59 (2) ◽  
pp. 346-353
Author(s):  
Steven Krantz

AbstractWe study and generalize a classical theoremof L. Bers that classifies domains up to biholomorphic equivalence in terms of the algebras of holomorphic functions on those domains. Then we develop applications of these results to the study of domains with noncompact automorphism group


2017 ◽  
Vol 82 (3) ◽  
pp. 1150-1179 ◽  
Author(s):  
TOMÁS IBARLUCÍA

AbstractWe study automorphism groups of randomizations of separable structures, with focus on the ℵ0-categorical case. We give a description of the automorphism group of the Borel randomization in terms of the group of the original structure. In the ℵ0-categorical context, this provides a new source of Roelcke precompact Polish groups, and we describe the associated Roelcke compactifications. This allows us also to recover and generalize preservation results of stable and NIP formulas previously established in the literature, via a Banach-theoretic translation. Finally, we study and classify the separable models of the theory of beautiful pairs of randomizations, showing in particular that this theory is never ℵ0-categorical (except in basic cases).


Author(s):  
Mahsa Mirzargar

Let G be a nite group. The power graph P(G) of a group G is the graphwhose vertex set is the group elements and two elements are adjacent if one is a power of the other. The commuting graph \Delta(G) of a group G, is the graph whose vertices are the group elements, two of them joined if they commute. When the vertex set is G-Z(G), this graph is denoted by \Gamma(G). Since the results based on the automorphism group of these kinds of graphs are so sporadic, in this paper, we give a survey of all results on the automorphism group of power graphs and commuting graphs obtained in the literature.


1992 ◽  
Vol 35 (1) ◽  
pp. 115-120
Author(s):  
Gerhard Behrendt

Given a poset (X, ≦), the covering poset (C(X), ≦) consists of the set C(X) of covering pairs, that is, pairs (a, b)∈X2 with a<b such that there is no c∈X with a<c<b, partially ordered by (a, b)≦(a′, b′) if and only if (a, b) = (a′, b′) or b≦a′. There is a natural homomorphism v from the automorphism group of (X, ≦) into the automorphism group of (C(X), ≦). It is shown that given groups G, H and a homomorphism α from G into H there exists a poset (X, ≦) and isomorphisms φψ from G onto Aut(X, ≦), respectively from H onto Aut(C(X), ≦) such that φv = αψ. It is also shown that every group is isomorphic to the automorphism group of a poset all of whose maximal chains are isomorphic to the nationals.


1960 ◽  
Vol 12 ◽  
pp. 447-462 ◽  
Author(s):  
Ruth Rebekka Struik

In this paper G = F/Fn is studied for F a free product of a finite number of cyclic groups, and Fn the normal subgroup generated by commutators of weight n. The case of n = 4 is completely treated (F/F2 is well known; F/F3 is completely treated in (2)); special cases of n > 4 are studied; a partial conjecture is offered in regard to the unsolved cases. For n = 4 a multiplication table and other properties are given.The problem arose from Golovin's work on nilpotent products ((1), (2), (3)) which are of interest because they are generalizations of the free and direct product of groups: all nilpotent groups are factor groups of nilpotent products in the same sense that all groups are factor groups of free products, and all Abelian groups are factor groups of direct products. In particular (as is well known) every finite Abelian group is a direct product of cyclic groups. Hence it becomes of interest to investigate nilpotent products of finite cyclic groups.


Sign in / Sign up

Export Citation Format

Share Document