scholarly journals Symmetric 1-designs from PGL2(q), for q an odd prime power

2021 ◽  
Vol 56 (1) ◽  
pp. 1-15
Author(s):  
Xavier Mbaale ◽  
◽  
Bernardo Gabriel Rodrigues ◽  

All non-trivial point and block-primitive 1-(v, k, k) designs 𝓓 that admit the group G = PGL2(q), where q is a power of an odd prime, as a permutation group of automorphisms are determined. These self-dual and symmetric 1-designs are constructed by defining { |M|/|M ∩ Mg|: g ∈ G } to be the set of orbit lengths of the primitive action of G on the conjugates of M.

Author(s):  
V. I. TROFIMOV

AbstractLet q be a prime power and let G be a group acting faithfully and vertex transitively on a graph such that for each vertex x, the stabilizer Gx is finite and contains a normal subgroup inducing on the set of neighbours of x a permutation group isomorphic to the linear group L5(q) acting on the 2-dimensional subspaces of a 5-dimensional vector space over Fq. In a companion paper, it is shown, except in some special situations where q = 2, that the kernel of the action of a vertex stabilizer Gx on the ball of radius 3 around x is trivial. In this paper we show that these special situations cannot occur.


Author(s):  
V. I. TROFIMOV ◽  
R. M. WEISS

AbstractLet q be a prime power and let G be a group acting faithfully and vertex transitively on a graph such that for each vertex x, the stabilizer Gx is finite and contains a normal subgroup inducing on the set of neighbours of x a permutation group isomorphic to the linear group L5(q) acting on the 2-dimensional subspaces of a 5-dimensional vector space over Fq. It is shown, except in some special situations where q = 2, that the kernel of the action of a vertex stabilizer Gx on the ball of radius 3 around x is trivial. (These special situations are eliminated in a companion paper by the first author.) An example coming from the exceptional group E6(q) shows that the kernel of the action of Gx on the ball of radius 2 around x can be non-trivial.


Author(s):  
Marston Conder ◽  
Peter Lorimer ◽  
Cheryl Praeger

AbstractA number of constructions are given for arc-transitive digraphs, based on modifications of permutation representations of finite groups. In particular, it is shown that for every positive integer s and for any transitive permutation group p of degree k, there are infinitely many examples of a finite k-regular digraph with a group of automorphisms acting transitively on s-arcs (but not on (s + 1)-arcs), such that the stabilizer of a vertex induces the action of P on the out-neighbour set.


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 18 ◽  
pp. 1243-1250 ◽  
Author(s):  
I. M. Isaacs ◽  
D. S. Passman

Let G be a finite group and A a group of automorphisms of G. Clearly A acts as a permutation group on G#, the set of non-identity elements of G. We assume that this permutation representation is half transitive, that is all the orbits have the same size. A special case of this occurs when A acts fixed point free on G. In this paper we study the remaining or non-fixed point free cases. We show first that G must be an elementary abelian g-group for some prime q and that A acts irreducibly on G. Then we classify all such occurrences in which A is a p-group.


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.


2013 ◽  
Vol 50 (2) ◽  
pp. 258-265
Author(s):  
Pál Hegedűs

In this paper we analyse the natural permutation module of an affine permutation group. For this the regular module of an elementary Abelian p-group is described in detail. We consider the inequivalent permutation modules coming from nonconjugate complements. We prove their strong structural similarity well exceeding the fact that they have equal Brauer characters.


2021 ◽  
pp. 1-40
Author(s):  
NICK GILL ◽  
BIANCA LODÀ ◽  
PABLO SPIGA

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


Sign in / Sign up

Export Citation Format

Share Document