scholarly journals On valency problems of Saxl graphs

2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Jiyong Chen ◽  
Hong Yi Huang

Abstract Let 𝐺 be a permutation group on a set Ω, and recall that a base for 𝐺 is a subset of Ω such that its pointwise stabiliser is trivial. In a recent paper, Burness and Giudici introduced the Saxl graph of 𝐺, denoted Σ ⁢ ( G ) \Sigma(G) , with vertex set Ω and two vertices adjacent if and only if they form a base for 𝐺. If 𝐺 is transitive, then Σ ⁢ ( G ) \Sigma(G) is vertex-transitive, and it is natural to consider its valency (which we refer to as the valency of 𝐺). In this paper, we present a general method for computing the valency of any finite transitive group, and we use it to calculate the exact valency of every primitive group with stabiliser a Frobenius group with cyclic kernel. As an application, we calculate the valency of every almost simple primitive group with an alternating socle and soluble stabiliser, and we use this to extend results of Burness and Giudici on almost simple primitive groups with prime-power or odd valency.

10.37236/7294 ◽  
2018 ◽  
Vol 25 (4) ◽  
Author(s):  
Mark E. Watkins

A graphical Frobenius representation (GFR) of a Frobenius (permutation) group $G$ is a graph $\Gamma$ whose automorphism group Aut$(\Gamma)$ acts as a Frobenius permutation group on the vertex set of $\Gamma$, that is, Aut$(\Gamma)$ acts vertex-transitively with the property that all nonidentity automorphisms fix either exactly one or zero vertices and there are some of each kind. The set $K$ of all fixed-point-free automorphisms together with the identity is called the kernel of $G$. Whenever $G$ is finite, $K$ is a regular normal subgroup of $G$ (F. G. Frobenius, 1901), in which case $\Gamma$ is a Cayley graph of $K$. The same holds true for all the infinite instances presented here.Infinite, locally finite, vertex-transitive graphs can be classified with respect to (i) the cardinality of their set of ends and (ii) their growth rate. We construct families of infinite GFRs for all possible combinations of these two properties. There exist infinitely many GFRs with polynomial growth of degree $d$ for every positive integer $d$, and there exist infinite families of GFRs of exponential growth, both $1$-ended and infinitely-ended, that underlie infinite chiral planar maps. There also exist GFRs of free products of finitely many finitely generated groups. Graphs of connectivity 1 having a Frobenius automorphism group are characterized.


10.37236/7097 ◽  
2018 ◽  
Vol 25 (2) ◽  
Author(s):  
Pablo Spiga

A Frobenius group is a transitive permutation group that is not regular and such that only the identity fixes more than one point. A digraphical, respectively graphical, Frobenius representation, DFR and GFR for short, of a Frobenius group $F$ is a digraph, respectively graph, whose automorphism group as a group of permutations of the vertex set is $F$. The problem of classifying which Frobenius groups admit a DFR and GFR has been proposed by Mark Watkins and Thomas Tucker and is a natural extension of the problem of classifying which groups that have a digraphical, respectively graphical, regular representation.In this paper, we give a partial answer to a question of Mark Watkins and Thomas Tucker concerning Frobenius representations: "All but finitely many Frobenius groups with a given Frobenius complement have a DFR".  


2018 ◽  
Vol 168 (2) ◽  
pp. 219-248 ◽  
Author(s):  
TIMOTHY C. BURNESS ◽  
MICHAEL GIUDICI

AbstractLet G be a permutation group on a set Ω. A subset of Ω is a base for G if its pointwise stabiliser in G is trivial. In this paper we introduce and study an associated graph Σ(G), which we call the Saxl graph of G. The vertices of Σ(G) are the points of Ω, and two vertices are adjacent if they form a base for G. This graph encodes some interesting properties of the permutation group. We investigate the connectivity of Σ(G) for a finite transitive group G, as well as its diameter, Hamiltonicity, clique and independence numbers, and we present several open problems. For instance, we conjecture that if G is a primitive group with a base of size 2, then the diameter of Σ(G) is at most 2. Using a probabilistic approach, we establish the conjecture for some families of almost simple groups. For example, the conjecture holds when G = Sn or An (with n > 12) and the point stabiliser of G is a primitive subgroup. In contrast, we can construct imprimitive groups whose Saxl graph is disconnected with arbitrarily many connected components, or connected with arbitrarily large diameter.


2020 ◽  
Vol 23 (3) ◽  
pp. 393-397
Author(s):  
Wolfgang Knapp ◽  
Peter Schmid

AbstractLet G be a finite transitive permutation group of degree n, with point stabilizer {H\neq 1} and permutation character π. For every positive integer t, we consider the generalized character {\psi_{t}=\rho_{G}-t(\pi-1_{G})}, where {\rho_{G}} is the regular character of G and {1_{G}} the 1-character. We give necessary and sufficient conditions on t (and G) which guarantee that {\psi_{t}} is a character of G. A necessary condition is that {t\leq\min\{n-1,\lvert H\rvert\}}, and it turns out that {\psi_{t}} is a character of G for {t=n-1} resp. {t=\lvert H\rvert} precisely when G is 2-transitive resp. a Frobenius group.


2011 ◽  
Vol 5 (1) ◽  
pp. 22-36 ◽  
Author(s):  
J.W. Sander ◽  
T. Sander

The energy of a graph is the sum of the moduli of the eigenvalues of its adjacency matrix. We study the energy of integral circulant graphs, also called gcd graphs. Such a graph can be characterized by its vertex count n and a set D of divisors of n such that its vertex set is Zn and its edge set is {{a,b} : a, b ? Zn; gcd(a-b, n)? D}. For an integral circulant graph on ps vertices, where p is a prime, we derive a closed formula for its energy in terms of n and D. Moreover, we study minimal and maximal energies for fixed ps and varying divisor sets D.


2019 ◽  
Vol 19 (04) ◽  
pp. 2050062 ◽  
Author(s):  
Samir Zahirović ◽  
Ivica Bošnjak ◽  
Rozália Madarász

The enhanced power graph [Formula: see text] of a group [Formula: see text] is the graph with vertex set [Formula: see text] such that two vertices [Formula: see text] and [Formula: see text] are adjacent if they are contained in the same cyclic subgroup. We prove that finite groups with isomorphic enhanced power graphs have isomorphic directed power graphs. We show that any isomorphism between undirected power graph of finite groups is an isomorphism between enhanced power graphs of these groups, and we find all finite groups [Formula: see text] for which [Formula: see text] is abelian, all finite groups [Formula: see text] with [Formula: see text] being prime power, and all finite groups [Formula: see text] with [Formula: see text] being square-free. Also, we describe enhanced power graphs of finite abelian groups. Finally, we give a characterization of finite nilpotent groups whose enhanced power graphs are perfect, and we present a sufficient condition for a finite group to have weakly perfect enhanced power graph.


1995 ◽  
Vol 118 (2) ◽  
pp. 191-206 ◽  
Author(s):  
V. I. Trofimov ◽  
R. M. Weiss

Let Γ be an undirected graph, V(Γ) the vertex set of Γ and G a subgroup of aut(Γ). For each vertex x ↦ V(Γ), let Γx denote the set of vertices adjacent to x in Γ and the permutation group induced on Γx. by the stabilizer Gx. For each i ≥ 1, will denote the pointwise stabilizer in Gx of the set of vertices at distance at most i from x in Γ. Letfor each i ≥ 1 and any set of vertices x, y, …, z of Γ. An s-path (or s-arc) is an (s + 1)-tuple (x0, x1, … xs) of vertices such that xi ↦ Γxi–1 for 1 ≤ i ≤ s and xi ╪ xi–2 for 2 ≤ i ≤ s.


1966 ◽  
Vol 27 (1) ◽  
pp. 171-177 ◽  
Author(s):  
Tosiro Tsuzuku

1. Let Ω be a finite set of arbitrary elements and let (G, Ω) be a permutation group on Ω. (This is also simply denoted by G). Two permutation groups (G, Ω) and (G, Γ) are called isomorphic if there exist an isomorphism σ of G onto H and a one to one mapping τ of Ω onto Γ such that (g(i))τ=gσ(iτ) for g ∊ G and i∊Ω. For a subset Δ of Ω, those elements of G which leave each point of Δ individually fixed form a subgroup GΔ of G which is called a stabilizer of Δ. A subset Γ of Ω is called an orbit of GΔ if Γ is a minimal set on which each element of G induces a permutation. A permutation group (G, Ω) is called a group of rank n if G is transitive on Ω and the number of orbits of a stabilizer Ga of a ∊ Ω, is n. A group of rank 2 is nothing but a doubly transitive group and there exist a few results on structure of groups of rank 3 (cf. H. Wielandt [6], D. G. Higman M).


1989 ◽  
Vol 40 (2) ◽  
pp. 255-279 ◽  
Author(s):  
L. G. Kovács

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.


2004 ◽  
Vol 70 (3) ◽  
pp. 353-356 ◽  
Author(s):  
Mohammad A. Iranmanesh

A graph Γ is said to be a G-locally primitive graph, for G ≥ Aut Γ, if for every vertex, α, the stabiliser Gα induces a primitive permutation group on Γ (α) the set of vertices adjacent to α. In 1978 Richard Weiss conjectured that there exists a function f: ℕ →ℕ such that for any finite connected vertex-transitive G-locally primitive graph of valency d and a vertex α of the graph, |Gα| ≥ f(d). The purpose of this paper is to prove that, in the case Soc(G) = Sz(q), the conjecture is true.


Sign in / Sign up

Export Citation Format

Share Document