On orbit closures of groups

2015 ◽  
Vol 14 (09) ◽  
pp. 1540008
Author(s):  
S. B. Mulay
Keyword(s):  
Automorphism Group ◽  
Automorphism Groups ◽  
Permutation Groups ◽  
Arbitrary Group ◽  
Orbit Closures ◽  
Power Set

We establish some results about orbit closures of permutation groups and their relationship to the automorphism groups of power-set graphs with colorings. One of our theorems proves that an arbitrary group can be realized as the automorphism group of a colored power-set graph.

Automorphism groups of arithmetically saturated models

2006 ◽  
Vol 71 (1) ◽  
pp. 203-216 ◽  
Author(s):  
Ermek S. Nurkhaidarov
Keyword(s):  
Automorphism Group ◽  
Automorphism Groups ◽  
Open Subgroup ◽  
Peano Arithmetic ◽  
Standard System ◽  
Permutation Groups ◽  
Saturated Model ◽  
Saturated Models ◽  
Homogeneous Set ◽  
Image Position

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.

scholarly journals Cyclic Permutation Groups that are Automorphism Groups of Graphs

2019 ◽  
Vol 35 (6) ◽  
pp. 1405-1432 ◽  
Author(s):  
Mariusz Grech ◽  
Andrzej Kisielewicz
Keyword(s):  
Automorphism Group ◽  
Permutation Group ◽  
Boolean Functions ◽  
Automorphism Groups ◽  
Cyclic Permutation ◽  
Permutation Groups ◽  
Symmetry Groups ◽  
Cyclic Groups

Abstract In this paper we establish conditions for a permutation group generated by a single permutation to be an automorphism group of a graph. This solves the so called concrete version of König’s problem for the case of cyclic groups. We establish also similar conditions for the symmetry groups of other related structures: digraphs, supergraphs, and boolean functions.

scholarly journals Permutation groups with small orbit growth

2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Manuel Bodirsky ◽  
Bertalan Bodor
Keyword(s):  
Automorphism Group ◽  
Constraint Satisfaction ◽  
Constraint Satisfaction Problem ◽  
Permutation Groups ◽  
First Order ◽  
Finite Covers

Abstract Let K exp + \mathcal{K}_{{\operatorname{exp}}{+}} be the class of all structures 𝔄 such that the automorphism group of 𝔄 has at most c ⁢ n d ⁢ n cn^{dn} orbits in its componentwise action on the set of 𝑛-tuples with pairwise distinct entries, for some constants c , d c,d with d < 1 d<1 . We show that K exp + \mathcal{K}_{{\operatorname{exp}}{+}} is precisely the class of finite covers of first-order reducts of unary structures, and also that K exp + \mathcal{K}_{{\operatorname{exp}}{+}} is precisely the class of first-order reducts of finite covers of unary structures. It follows that the class of first-order reducts of finite covers of unary structures is closed under taking model companions and model-complete cores, which is an important property when studying the constraint satisfaction problem for structures from K exp + \mathcal{K}_{{\operatorname{exp}}{+}} . We also show that Thomas’ conjecture holds for K exp + \mathcal{K}_{{\operatorname{exp}}{+}} : all structures in K exp + \mathcal{K}_{{\operatorname{exp}}{+}} have finitely many first-order reducts up to first-order interdefinability.

scholarly journals Serre’s Property (FA) for automorphism groups of free products

2020 ◽  
Vol 0 (0) ◽  
Author(s):  
Naomi Andrew
Keyword(s):  
Automorphism Group ◽  
Free Product ◽  
Finite Groups ◽  
Automorphism Groups ◽  
Sufficient Conditions ◽  
Free Products ◽  
Cyclic Groups ◽  
Link Type ◽  
Open Case

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.

scholarly journals On a Theorem of Bers, with Applications to the Study of Automorphism Groups of Domains

2016 ◽  
Vol 59 (2) ◽  
pp. 346-353
Author(s):  
Steven Krantz
Keyword(s):  
Automorphism Group ◽  
Automorphism Groups ◽  
Holomorphic Functions ◽  
Biholomorphic Equivalence ◽  
Algebras Of Holomorphic Functions

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

scholarly journals AUTOMORPHISM GROUPS OF RANDOMIZED STRUCTURES

2017 ◽  
Vol 82 (3) ◽  
pp. 1150-1179 ◽  
Author(s):  
TOMÁS IBARLUCÍA
Keyword(s):  
Automorphism Group ◽  
Automorphism Groups ◽  
Original Structure ◽  
Polish Groups ◽  
Separable Models

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).

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

2016 ◽  
Vol 38 (4) ◽  
pp. 1588-1600 ◽  
Author(s):  
VILLE SALO
Keyword(s):  
Automorphism Group ◽  
Automorphism Groups ◽  
Endomorphism Monoid ◽  
Direct Products ◽  
Free Products ◽  
Group Case ◽  
Sofic Shift ◽  
Full Shift

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.

scholarly journals A SURVEY ON THE AUTOMORPHISM GROUPS OF THE COMMUTING GRAPHS AND POWER GRAPHS

2019 ◽  
pp. 729
Author(s):  
Mahsa Mirzargar
Keyword(s):  
Automorphism Group ◽  
Automorphism Groups ◽  
The Other ◽  
Power Graph ◽  
Commuting Graph ◽  
Vertex Set ◽  
Delta G ◽  
Nite Group

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.

scholarly journals Automorphism groups of covering posets and of dense posets

1992 ◽  
Vol 35 (1) ◽  
pp. 115-120
Author(s):  
Gerhard Behrendt
Keyword(s):  
Automorphism Group ◽  
Automorphism Groups ◽  
Natural Homomorphism ◽  
Partially Ordered ◽  
Maximal Chains

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.

Permutation groups and orbits on the power set

2019 ◽  
Vol 19 (12) ◽  
pp. 2150005
Author(s):  
Yong Yang
Keyword(s):  
Permutation Group ◽  
Permutation Groups ◽  
Power Set ◽  
Composition Factors

Let [Formula: see text] be a permutation group of degree [Formula: see text] and let [Formula: see text] denote the number of set-orbits of [Formula: see text]. We determine [Formula: see text] over all groups [Formula: see text] that satisfy certain restrictions on composition factors.

Sign in / Sign up

Export Citation Format

Share Document