scholarly journals Abelian permutation groups with graphical representations

2021 ◽  
Author(s):  
Mariusz Grech ◽  
Andrzej Kisielewicz
Keyword(s):  
Permutation Group ◽  
Automorphism Groups ◽  
Permutation Groups ◽  
Graphical Representations ◽  
Colored Graphs

AbstractIn this paper we characterize those automorphism groups of colored graphs and digraphs that are abelian as abstract groups. This is done in terms of basic permutation group properties. Using Schur’s classical terminology, what we provide is characterizations of the classes of 2-closed and $$2^*$$ 2 ∗ -closed abelian permutation groups. This is the first characterization concerning these classes since they were defined.

scholarly journals EMBEDDING PERMUTATION GROUPS INTO WREATH PRODUCTS IN PRODUCT ACTION

2012 ◽  
Vol 92 (1) ◽  
pp. 127-136 ◽  
Author(s):  
CHERYL E. PRAEGER ◽  
CSABA SCHNEIDER
Keyword(s):  
Permutation Group ◽  
Wreath Product ◽  
Automorphism Groups ◽  
Wreath Products ◽  
Error Correcting Codes ◽  
Permutation Groups ◽  
Graph Products ◽  
Product Action ◽  
Hamming Graphs

AbstractWe consider the wreath product of two permutation groups G≤Sym Γ and H≤Sym Δ as a permutation group acting on the set Π of functions from Δ to Γ. Such groups play an important role in the O’Nan–Scott theory of permutation groups and they also arise as automorphism groups of graph products and codes. Let X be a subgroup of Sym Γ≀Sym Δ. Our main result is that, in a suitable conjugate of X, the subgroup of SymΓ induced by a stabiliser of a coordinate δ∈Δ only depends on the orbit of δ under the induced action of X on Δ. Hence, if X is transitive on Δ, then X can be embedded into the wreath product of the permutation group induced by the stabiliser Xδ on Γ and the permutation group induced by X on Δ. We use this result to describe the case where X is intransitive on Δ and offer an application to error-correcting codes in Hamming graphs.

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 ON THE HEIGHT AND RELATIONAL COMPLEXITY OF A FINITE PERMUTATION GROUP

2021 ◽  
pp. 1-40
Author(s):  
NICK GILL ◽  
BIANCA LODÀ ◽  
PABLO SPIGA
Keyword(s):  
Permutation Group ◽  
Model Theory ◽  
Independent Set ◽  
Maximum Size ◽  
Proper Subset ◽  
Permutation Groups ◽  
Finite Permutation Group ◽  
Pointwise Stabilizer ◽  
Relational Complexity

Abstract Let G be a permutation group on a set $\Omega $ of size t. We say that $\Lambda \subseteq \Omega $ is an independent set if its pointwise stabilizer is not equal to the pointwise stabilizer of any proper subset of $\Lambda $ . We define the height of G to be the maximum size of an independent set, and we denote this quantity $\textrm{H}(G)$ . In this paper, we study $\textrm{H}(G)$ for the case when G is primitive. Our main result asserts that either $\textrm{H}(G)< 9\log t$ or else G is in a particular well-studied family (the primitive large–base groups). An immediate corollary of this result is a characterization of primitive permutation groups with large relational complexity, the latter quantity being a statistic introduced by Cherlin in his study of the model theory of permutation groups. We also study $\textrm{I}(G)$ , the maximum length of an irredundant base of G, in which case we prove that if G is primitive, then either $\textrm{I}(G)<7\log t$ or else, again, G is in a particular family (which includes the primitive large–base groups as well as some others).

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 Transversals in permutation groups and factorisations of complete graphs

2002 ◽  
Vol 65 (2) ◽  
pp. 277-288 ◽  
Author(s):  
Gil Kaplan ◽  
Arieh Lev
Keyword(s):  
Permutation Group ◽  
Directed Graph ◽  
Sufficient Conditions ◽  
Combinatorial Problems ◽  
Permutation Groups ◽  
Transitive Permutation Group ◽  
Complete Graphs ◽  
Frobenius Theorem ◽  
Disjoint Cycles ◽  
Finite Set

Let G be a transitive permutation group acting on a finite set of order n. We discuss certain types of transversals for a point stabiliser A in G: free transversals and global transversals. We give sufficient conditions for the existence of such transversals, and show the connection between these transversals and combinatorial problems of decomposing the complete directed graph into edge disjoint cycles. In particular, we classify all the inner-transitive Oberwolfach factorisations of the complete directed graph. We mention also a connection to Frobenius theorem.

scholarly journals Direct product of automorphism groups of colored graphs

2004 ◽  
Vol 283 (1-3) ◽  
pp. 81-86 ◽  
Author(s):  
Mariusz Grech ◽  
Andrzej Kisielewicz
Keyword(s):  
Direct Product ◽  
Automorphism Groups ◽  
Colored Graphs

scholarly journals Enumerating Finite Racks, Quandles and Kei

10.37236/3262 ◽  
2013 ◽  
Vol 20 (3) ◽  
Author(s):  
Simon R. Blackburn
Keyword(s):  
Permutation Group ◽  
Lower Bounds ◽  
Binary Operation ◽  
Independent Interest ◽  
Upper And Lower Bounds ◽  
Permutation Groups ◽  
Isomorphism Classes ◽  
Operator Group ◽  
The Relationship

A rack of order $n$ is a binary operation $\vartriangleright$ on a set $X$ of cardinality $n$, such that right multiplication is an automorphism. More precisely, $(X,\vartriangleright)$ is a rack provided that the map $x\mapsto x\vartriangleright y$ is a bijection for all $y\in X$, and $(x\vartriangleright y)\vartriangleright z=(x\vartriangleright z)\vartriangleright (y\vartriangleright z)$ for all $x,y,z\in X$.The paper provides upper and lower bounds of the form $2^{cn^2}$ on the number of isomorphism classes of racks of order $n$. Similar results on the number of isomorphism classes of quandles and kei are obtained. The results of the paper are established by first showing how an arbitrary rack is related to its operator group (the permutation group on $X$ generated by the maps $x\mapsto x\vartriangleright y$ for $y\in Y$), and then applying some of the theory of permutation groups. The relationship between a rack and its operator group extends results of Joyce and of Ryder; this relationship might be of independent interest.

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