-
Generalised Paley graphs with a product structure
Authors:
Geoffrey Pearce,
Cheryl E Praeger
Abstract:
A graph is Cartesian decomposable if it is isomorphic to a Cartesian product of (more than one) strictly smaller graphs, each of which has more than one vertex and admits no such decomposition. These smaller graphs are called the Cartesian-prime factors of the Cartesian decomposition, and were shown, by Sabidussi and Vizing independently, to be uniquely determined up to isomorphism. We characteris…
▽ More
A graph is Cartesian decomposable if it is isomorphic to a Cartesian product of (more than one) strictly smaller graphs, each of which has more than one vertex and admits no such decomposition. These smaller graphs are called the Cartesian-prime factors of the Cartesian decomposition, and were shown, by Sabidussi and Vizing independently, to be uniquely determined up to isomorphism. We characterise by their parameters those generalised Paley graphs which are Cartesian decomposable, and we prove that for such graphs, the Cartesian-prime factors are themselves smaller generalised Paley graphs. This generalises a result of Lim and the second author which deals with the case where all the Cartesian-prime factors are complete graphs. These results contribute to the determination, by parameters, of generalised Paley graphs with automorphism groups larger than the 1-dimensional affine subgroups used to define them.
△ Less
Submitted 20 December, 2016;
originally announced December 2016.
-
Basic coset geometries
Authors:
Michael Giudici,
Geoffrey Pearce,
Cheryl E. Praeger
Abstract:
In earlier work we gave a characterisation of pregeometries which are `basic' (that is, admit no `non-degenerate' quotients) relative to two different kinds of quotient operations, namely imprimitive quotients and normal quotients. Each basic geometry was shown to involve a faithful group action, which is primitive or quasiprimitive respectively, on the set of elements of each type. For each O'Nan…
▽ More
In earlier work we gave a characterisation of pregeometries which are `basic' (that is, admit no `non-degenerate' quotients) relative to two different kinds of quotient operations, namely imprimitive quotients and normal quotients. Each basic geometry was shown to involve a faithful group action, which is primitive or quasiprimitive respectively, on the set of elements of each type. For each O'Nan-Scott type of primitive group, we construct a new infinite family of geometries, which are thick and of unbounded rank, and which admit a flag-transitive automorphism group acting faithfully on the set of elements of each type as a primitive group of the given O'Nan-Scott type.
△ Less
Submitted 14 July, 2011; v1 submitted 4 October, 2010;
originally announced October 2010.
-
Basic and degenerate pregeometries
Authors:
Michael Giudici,
Cai Heng Li,
Geoffrey Pearce,
Cheryl E. Praeger
Abstract:
We study pairs $(Γ,G)$, where $Γ$ is a 'Buekenhout-Tits' pregeometry with all rank 2 truncations connected, and $G\leqslant\mathrm{Aut} Γ$ is transitive on the set of elements of each type.
The family of such pairs is closed under forming quotients with respect to $G$-invariant type-refining partitions of the element set of $Γ$. We identify the 'basic' pairs (those that admit no non-degenerate qu…
▽ More
We study pairs $(Γ,G)$, where $Γ$ is a 'Buekenhout-Tits' pregeometry with all rank 2 truncations connected, and $G\leqslant\mathrm{Aut} Γ$ is transitive on the set of elements of each type.
The family of such pairs is closed under forming quotients with respect to $G$-invariant type-refining partitions of the element set of $Γ$. We identify the 'basic' pairs (those that admit no non-degenerate quotients), and show, by studying quotients and direct decompositions, that the study of basic pregeometries reduces to examining those where the group $G$ is faithful and primitive on the set of elements of each type.
We also study the special case of normal quotients, where we take quotients with respect to the orbits of a normal subgroup of $G$. There is a similar reduction for normal-basic pregeometries to those where $G$ is faithful and quasiprimitive on the set of elements of each type.
△ Less
Submitted 31 August, 2010;
originally announced September 2010.
-
On imprimitive rank 3 permutation groups
Authors:
Alice Devillers,
Michael Giudici,
Cai Heng Li,
Geoffrey Pearce,
Cheryl E. Praeger
Abstract:
A classification is given of rank 3 group actions which are quasiprimitive but not primitive. There are two infinite families and a finite number of individual imprimitive examples. When combined with earlier work of Bannai, Kantor, Liebler, Liebeck and Saxl, this yields a classification of all quasiprimitive rank 3 permutation groups. Our classification is achieved by first classifying imprimitiv…
▽ More
A classification is given of rank 3 group actions which are quasiprimitive but not primitive. There are two infinite families and a finite number of individual imprimitive examples. When combined with earlier work of Bannai, Kantor, Liebler, Liebeck and Saxl, this yields a classification of all quasiprimitive rank 3 permutation groups. Our classification is achieved by first classifying imprimitive almost simple permutation groups which induce a 2-transitive action on a block system and for which a block stabiliser acts 2-transitively on the block. We also determine those imprimitive rank 3 permutation groups $G$ such that the induced action on a block is almost simple and $G$ does not contain the full socle of the natural wreath product in which $G$ embeds.
△ Less
Submitted 31 July, 2011; v1 submitted 11 March, 2010;
originally announced March 2010.
-
Transitive decompositions of graphs and their links with geometry and origami
Authors:
Geoffrey Pearce
Abstract:
A transitive decomposition of a graph is a partition of the edge or arc set giving a set of subgraphs which are preserved and permuted transitively by a group of automorphisms of the graph. In this paper we give some background to the study of transitive decompositions and highlight a connection with partial linear spaces. We then describe a simple method for constructing transitive decompositio…
▽ More
A transitive decomposition of a graph is a partition of the edge or arc set giving a set of subgraphs which are preserved and permuted transitively by a group of automorphisms of the graph. In this paper we give some background to the study of transitive decompositions and highlight a connection with partial linear spaces. We then describe a simple method for constructing transitive decompositions using graph quotients, and we show how this may be used in an application to modular origami.
△ Less
Submitted 17 June, 2007;
originally announced June 2007.