scholarly journals Base sizes of primitive permutation groups

2021 ◽  
Author(s):  
Mariapia Moscatiello ◽  
Colva M. Roney-Dougal
Keyword(s):  
Permutation Group ◽  
Wreath Product ◽  
Permutation Groups ◽  
Minimal Size ◽  
Mathieu Group ◽  
Natural Action ◽  
Primitive Groups ◽  
Product Action ◽  
Pointwise Stabilizer

AbstractLet G be a permutation group, acting on a set $$\varOmega $$ Ω of size n. A subset $${\mathcal {B}}$$ B of $$\varOmega $$ Ω is a base for G if the pointwise stabilizer $$G_{({\mathcal {B}})}$$ G ( B ) is trivial. Let b(G) be the minimal size of a base for G. A subgroup G of $$\mathrm {Sym}(n)$$ Sym ( n ) is large base if there exist integers m and $$r \ge 1$$ r ≥ 1 such that $${{\,\mathrm{Alt}\,}}(m)^r \unlhd G \le {{\,\mathrm{Sym}\,}}(m)\wr {{\,\mathrm{Sym}\,}}(r)$$ Alt ( m ) r ⊴ G ≤ Sym ( m ) ≀ Sym ( r ) , where the action of $${{\,\mathrm{Sym}\,}}(m)$$ Sym ( m ) is on k-element subsets of $$\{1,\dots ,m\}$$ { 1 , ⋯ , m } and the wreath product acts with product action. In this paper we prove that if G is primitive and not large base, then either G is the Mathieu group $$\mathrm {M}_{24}$$ M 24 in its natural action on 24 points, or $$b(G)\le \lceil \log n\rceil +1$$ b ( G ) ≤ ⌈ log n ⌉ + 1 . Furthermore, we show that there are infinitely many primitive groups G that are not large base for which $$b(G) > \log n + 1$$ b ( G ) > log n + 1 , so our bound is optimal.

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 Wreath decompositions of finite permutation groups

1989 ◽  
Vol 40 (2) ◽  
pp. 255-279 ◽  
Author(s):  
L. G. Kovács
Keyword(s):  
Permutation Group ◽  
Wreath Product ◽  
Transitive Group ◽  
Wreath Products ◽  
Permutation Groups ◽  
Transitive Permutation Group ◽  
Formal Definition ◽  
The Third ◽  
Product Action ◽  
Factor Decomposition

There is a familiar construction with two finite, transitive permutation groups as input and a finite, transitive permutation group, called their wreath product, as output. The corresponding ‘imprimitive wreath decomposition’ concept is the first subject of this paper. A formal definition is adopted and an overview obtained for all such decompositions of any given finite, transitive group. The result may be heuristically expressed as follows, exploiting the associative nature of the construction. Each finite transitive permutation group may be written, essentially uniquely, as the wreath product of a sequence of wreath-indecomposable groups, amid the two-factor wreath decompositions of the group are precisely those which one obtains by bracketing this many-factor decomposition.If both input groups are nontrivial, the output above is always imprimitive. A similar construction gives a primitive output, called the wreath product in product action, provided the first input group is primitive and not regular. The second subject of the paper is the ‘product action wreath decomposition’ concept dual to this. An analogue of the result stated above is established for primitive groups with nonabelian socle.Given a primitive subgroup G with non-regular socle in some symmetric group S, how many subgroups W of S which contain G and have the same socle, are wreath products in product action? The third part of the paper outlines an algorithm which reduces this count to questions about permutation groups whose degrees are very much smaller than that of G.

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

SELF-COMPLEMENTARY VERTEX-TRANSITIVE GRAPHS NEED NOT BE CAYLEY GRAPHS

2001 ◽  
Vol 33 (6) ◽  
pp. 653-661 ◽  
Author(s):  
CAI HENG LI ◽  
CHERYL E. PRAEGER
Keyword(s):  
Wreath Product ◽  
Cayley Graphs ◽  
Infinite Family ◽  
Permutation Groups ◽  
General Study ◽  
Product Action ◽  
Vertex Transitive ◽  
Vertex Transitive Graphs ◽  
Transitive Graphs

A construction is given of an infinite family of finite self-complementary, vertex-transitive graphs which are not Cayley graphs. To the authors' knowledge, these are the first known examples of such graphs. The nature of the construction was suggested by a general study of the structure of self-complementary, vertex-transitive graphs. It involves the product action of a wreath product of permutation groups.

scholarly journals Invariant Relations and Aschbacher Classes of Finite Linear Groups

10.37236/712 ◽  
2011 ◽  
Vol 18 (1) ◽  
Author(s):  
Jing Xu ◽  
Michael Giudici ◽  
Cai Heng Li ◽  
Cheryl E. Praeger
Keyword(s):  
Positive Integer ◽  
Vector Space ◽  
Permutation Group ◽  
Cartesian Product ◽  
Permutation Groups ◽  
Linear Groups ◽  
Natural Action ◽  
Fourth Author ◽  
Empty Subset ◽  
Finite Linear

For a positive integer $k$, a $k$-relation on a set $\Omega$ is a non-empty subset $\Delta$ of the $k$-fold Cartesian product $\Omega^k$; $\Delta$ is called a $k$-relation for a permutation group $H$ on $\Omega$ if $H$ leaves $\Delta$ invariant setwise. The $k$-closure $H^{(k)}$ of $H$, in the sense of Wielandt, is the largest permutation group $K$ on $\Omega$ such that the set of $k$-relations for $K$ is equal to the set of $k$-relations for $H$. We study $k$-relations for finite semi-linear groups $H\leq{\rm\Gamma L}(d,q)$ in their natural action on the set $\Omega$ of non-zero vectors of the underlying vector space. In particular, for each Aschbacher class ${\mathcal C}$ of geometric subgroups of ${\rm\Gamma L}(d,q)$, we define a subset ${\rm Rel}({\mathcal C})$ of $k$-relations (with $k=1$ or $k=2$) and prove (i) that $H$ lies in ${\mathcal C}$ if and only if $H$ leaves invariant at least one relation in ${\rm Rel}({\mathcal C})$, and (ii) that, if $H$ is maximal among subgroups in ${\mathcal C}$, then an element $g\in{\rm\Gamma L}(d,q)$ lies in the $k$-closure of $H$ if and only if $g$ leaves invariant a single $H$-invariant $k$-relation in ${\rm Rel}({\mathcal C})$ (rather than checking that $g$ leaves invariant all $H$-invariant $k$-relations). Consequently both, or neither, of $H$ and $H^{(k)}\cap{\rm\Gamma L}(d,q)$ lie in ${\mathcal C}$. As an application, we improve a 1992 result of Saxl and the fourth author concerning closures of affine primitive permutation groups.

scholarly journals A Note on Primitive Permutation Groups of Prime Power Degree

2015 ◽  
Vol 2015 ◽  
pp. 1-4
Author(s):  
Qian Cai ◽  
Hua Zhang
Keyword(s):  
Prime Power ◽  
Permutation Groups ◽  
Simple Type ◽  
Present Stage ◽  
Primitive Groups ◽  
Short Survey ◽  
Product Action ◽  
Action Type ◽  
Affine Type

Primitive permutation groups of prime power degree are known to be affine type, almost simple type, and product action type. At the present stage finding an explicit classification of primitive groups of affine type seems untractable, while the product action type can usually be reduced to almost simple type. In this paper, we present a short survey of the development of primitive groups of prime power degree, together with a brief description on such groups.

scholarly journals Statistics on the Multi-Colored Permutation Groups

10.37236/942 ◽  
2007 ◽  
Vol 14 (1) ◽  
Author(s):  
Eli Bagno ◽  
Ayelet Butman ◽  
David Garber
Keyword(s):  
Fixed Points ◽  
Permutation Group ◽  
Wreath Product ◽  
Fixed Number ◽  
Permutation Groups

We define an excedance number for the multi-colored permutation group i.e. the wreath product $({\Bbb Z}_{r_1} \times \cdots \times {\Bbb Z}_{r_k}) \wr S_n$ and calculate its multi-distribution with some natural parameters. We also compute the multi–distribution of the parameters exc$(\pi)$ and fix$(\pi)$ over the sets of involutions in the multi-colored permutation group. Using this, we count the number of involutions in this group having a fixed number of excedances and absolute fixed points.

scholarly journals Coprime subdegrees of twisted wreath permutation groups

2019 ◽  
Vol 62 (4) ◽  
pp. 1137-1162
Author(s):  
Alexander Y. Chua ◽  
Michael Giudici ◽  
Luke Morgan
Keyword(s):  
Simple Group ◽  
Permutation Group ◽  
Permutation Groups ◽  
Primitive Permutation Group ◽  
Primitive Groups ◽  
Group A ◽  
Full Classification

AbstractDolfi, Guralnick, Praeger and Spiga asked whether there exist infinitely many primitive groups of twisted wreath type with non-trivial coprime subdegrees. Here, we settle this question in the affirmative. We construct infinite families of primitive twisted wreath permutation groups with non-trivial coprime subdegrees. In particular, we define a primitive twisted wreath group G(m, q) constructed from the non-abelian simple group PSL(2, q) and a primitive permutation group of diagonal type with socle PSL(2, q)m, and determine many subdegrees for this group. A consequence is that we determine all values of m and q for which G(m, q) has non-trivial coprime subdegrees. In the case where m = 2 and $q\notin \{7,11,29\}$, we obtain a full classification of all pairs of non-trivial coprime subdegrees.

scholarly journals Transitive simple subgroups of wreath products in product action

2004 ◽  
Vol 77 (1) ◽  
pp. 55-72 ◽  
Author(s):  
Robert W. Baddeley ◽  
Cheryl E. Praeger ◽  
Csaba Schneider
Keyword(s):  
Symmetric Group ◽  
Wreath Product ◽  
Detailed Examination ◽  
Wreath Products ◽  
Permutation Groups ◽  
Simple Permutation ◽  
Product Action ◽  
Simple Subgroup ◽  
Finite Symmetric Group

AbstractA transitive simple subgroup of a finite symmetric group is very rarely contained in a full wreath product in product action. All such simple permutation groups are determined in this paper. This remarkable conclusion is reached after a definition and detailed examination of ‘Cartesian decompositions’ of the permuted set, relating them to certain ‘Cartesian systems of subgroups’. These concepts, and the bijective connections between them, are explored in greater generality, with specific future applications in mind.

scholarly journals Primitive permutation groups with a doubly transitive subconstituent

1988 ◽  
Vol 45 (1) ◽  
pp. 66-77 ◽  
Author(s):  
Cheryl E. Praeger
Keyword(s):  
Normal Subgroup ◽  
Simple Group ◽  
Permutation Group ◽  
Minimal Normal Subgroup ◽  
Permutation Groups ◽  
Primitive Permutation Group ◽  
Diagonal Action ◽  
Product Action ◽  
Finite Set ◽  
Point Stabilizer

AbstractLet Gbe a primitive permutation group on a finite set Ω. We investigate the subconstitutents of G, that is the permutation groups induced by a point stabilizer on its orbits in Ω, in the cases where Ghas a diagonal action or a product action on Ω. In particular we show in these cases that no subconstituent is doubly transitive. Thus if G has a doubly transitive subconstituent we show that G has a unique minimal normal subgroup N and either N is a nonabelian simple group or N acts regularly on Ω: we investigate further the case where N is regular on Ω.

Sign in / Sign up

Export Citation Format

Share Document