Showing 1–12 of 12 results for author: Freedman, S D

Spreading primitive groups of diagonal type do not exist

Authors: John Bamberg, Saul D. Freedman, Michael Giudici

Abstract: The synchronisation hierarchy of finite permutation groups consists of classes of groups lying between 2-transitive groups and primitive groups. This includes the class of spreading groups, which are defined in terms of sets and multisets of permuted points, and which are known to be primitive of almost simple, affine or diagonal type. In this paper, we prove that in fact no spreading group of dia… ▽ More The synchronisation hierarchy of finite permutation groups consists of classes of groups lying between 2-transitive groups and primitive groups. This includes the class of spreading groups, which are defined in terms of sets and multisets of permuted points, and which are known to be primitive of almost simple, affine or diagonal type. In this paper, we prove that in fact no spreading group of diagonal type exists. As part of our proof, we show that all non-abelian finite simple groups, other than six sporadic groups, have a transitive action in which a proper normal subgroup of a point stabiliser is supplemented by all corresponding two-point stabilisers. △ Less

Submitted 25 March, 2024; v1 submitted 13 November, 2023; originally announced November 2023.

Comments: 10 pages. Version 2 resolves the Monster group case of Theorem 1.3, with the aid of a result drawn to our attention by Prof. Tim Burness. Version 3 corrects an entry in the |T:A| column of Table 1. To appear in Proc. Roy. Soc. Edinburgh Sect. A

MSC Class: 20B15; 20E32

The relational complexity of linear groups acting on subspaces

Authors: Saul D. Freedman, Veronica Kelsey, Colva M. Roney-Dougal

Abstract: The relational complexity of a subgroup $G$ of $\mathrm{Sym}(Ω)$ is a measure of the way in which the orbits of $G$ on $Ω^k$ for various $k$ determine the original action of $G$. Very few precise values of relational complexity are known. This paper determines the exact relational complexity of all groups lying between $\mathrm{PSL}_{n}(\mathbb{F})$ and $\mathrm{PGL}_{n}(\mathbb{F})$, for an arbit… ▽ More The relational complexity of a subgroup $G$ of $\mathrm{Sym}(Ω)$ is a measure of the way in which the orbits of $G$ on $Ω^k$ for various $k$ determine the original action of $G$. Very few precise values of relational complexity are known. This paper determines the exact relational complexity of all groups lying between $\mathrm{PSL}_{n}(\mathbb{F})$ and $\mathrm{PGL}_{n}(\mathbb{F})$, for an arbitrary field $\mathbb{F}$, acting on the set of $1$-dimensional subspaces of $\mathbb{F}^n$. We also bound the relational complexity of all groups lying between $\mathrm{PSL}_{n}(q)$ and $\mathrm{P}Γ\mathrm{L}_{n}(q)$, and generalise these results to the action on $m$-spaces for $m \ge 1$. △ Less

Submitted 18 January, 2024; v1 submitted 27 September, 2023; originally announced September 2023.

Comments: 20 pages. Version 2: minor changes incorporating referee comments. To appear in J. Group Theory

MSC Class: 20B15; 20G40; 03C13

The non-commuting, non-generating graph of a finite simple group

Authors: Saul D. Freedman

Abstract: Let $G$ be a group such that $G/Z(G)$ is finite and simple. The non-commuting, non-generating graph $Ξ(G)$ of $G$ has vertex set $G \setminus Z(G)$, with edges corresponding to pairs of elements that do not commute and do not generate $G$. We show that $Ξ(G)$ is connected with diameter at most $5$, with smaller upper bounds for certain families of groups. When $G$ itself is simple, we prove that t… ▽ More Let $G$ be a group such that $G/Z(G)$ is finite and simple. The non-commuting, non-generating graph $Ξ(G)$ of $G$ has vertex set $G \setminus Z(G)$, with edges corresponding to pairs of elements that do not commute and do not generate $G$. We show that $Ξ(G)$ is connected with diameter at most $5$, with smaller upper bounds for certain families of groups. When $G$ itself is simple, we prove that the diameter of the complement of the generating graph of $G$ has a tight upper bound of $4$. In the companion paper arXiv:2211.08869, we consider $Ξ(G)$ when $G/Z(G)$ is not simple. △ Less

Submitted 3 April, 2024; v1 submitted 3 December, 2022; originally announced December 2022.

Comments: 22 pages. Among other minor changes, Version 2 includes the exact diameter of the non-commuting, non-generating graph of PSL(2,q) for all q; further details regarding computations; a correction to the diameter of the graph of PSL(3,4) reported at the end of Section 5.1; and corrections to the proofs of Lemmas 3.10, 3.12 and 5.7(iii) (previously Lemma 5.9(iii))

MSC Class: 20E32 (Primary) 20D60; 05C25 (Secondary)

The non-commuting, non-generating graph of a non-simple group

Authors: Saul D. Freedman

Abstract: Let $G$ be a (finite or infinite) group such that $G/Z(G)$ is not simple. The non-commuting, non-generating graph $Ξ(G)$ of $G$ has vertex set $G \setminus Z(G)$, with vertices $x$ and $y$ adjacent whenever $[x,y] \ne 1$ and $\langle x, y \rangle \ne G$. We investigate the relationship between the structure of $G$ and the connectedness and diameter of $Ξ(G)$. In particular, we prove that the graph… ▽ More Let $G$ be a (finite or infinite) group such that $G/Z(G)$ is not simple. The non-commuting, non-generating graph $Ξ(G)$ of $G$ has vertex set $G \setminus Z(G)$, with vertices $x$ and $y$ adjacent whenever $[x,y] \ne 1$ and $\langle x, y \rangle \ne G$. We investigate the relationship between the structure of $G$ and the connectedness and diameter of $Ξ(G)$. In particular, we prove that the graph either: (i) is connected with diameter at most $4$; (ii) consists of isolated vertices and a connected component of diameter at most $4$; or (iii) is the union of two connected components of diameter $2$. We also describe in detail the finite groups with graphs of type (iii). In the companion paper arXiv:2212.01616, we consider the case where $G/Z(G)$ is finite and simple. △ Less

Submitted 7 March, 2023; v1 submitted 16 November, 2022; originally announced November 2022.

Comments: 25 pages. Minor corrections to the proofs of Lemmas 4.9, 5.6 and 5.7

MSC Class: 20D60 (Primary) 20F16; 05C25 (Secondary)

Journal ref: Algebr. Comb. 6 (2023), 1395-1418

Finite groups satisfying the independence property

Authors: Saul D. Freedman, Andrea Lucchini, Daniele Nemmi, Colva M. Roney-Dougal

Abstract: We say that a finite group $G$ satisfies the independence property if, for every pair of distinct elements $x$ and $y$ of $G$, either $\{x,y\}$ is contained in a minimal generating set for $G$ or one of $x$ and $y$ is a power of the other. We give a complete classification of the finite groups with this property, and in particular prove that every such group is supersoluble. A key ingredient of ou… ▽ More We say that a finite group $G$ satisfies the independence property if, for every pair of distinct elements $x$ and $y$ of $G$, either $\{x,y\}$ is contained in a minimal generating set for $G$ or one of $x$ and $y$ is a power of the other. We give a complete classification of the finite groups with this property, and in particular prove that every such group is supersoluble. A key ingredient of our proof is a theorem showing that all but three finite almost simple groups $H$ contain an element $s$ such that the maximal subgroups of $H$ containing $s$, but not containing the socle of $H$, are pairwise non-conjugate. △ Less

Submitted 23 February, 2023; v1 submitted 8 August, 2022; originally announced August 2022.

Comments: 33 pages. Incorporated referee comments, including a correction to the statement of Proposition 2.21

MSC Class: 20D60 (primary); 20F16; 20E32 (secondary)

Journal ref: Internat. J. Algebra Comput. 33 (2023), 509-545

Total closure for permutation actions of finite nonabelian simple groups

Authors: Saul D. Freedman, Michael Giudici, Cheryl Praeger

Abstract: For a positive integer $k$, a group $G$ is said to be totally $k$-closed if for each set $Ω$ upon which $G$ acts faithfully, $G$ is the largest subgroup of $\mathrm{Sym}(Ω)$ that leaves invariant each of the $G$-orbits in the induced action on $Ω\times\cdots\times Ω=Ω^k$. Each finite group $G$ is totally $|G|$-closed, and $k(G)$ denotes the least integer $k$ such that $G$ is totally $k$-closed. We… ▽ More For a positive integer $k$, a group $G$ is said to be totally $k$-closed if for each set $Ω$ upon which $G$ acts faithfully, $G$ is the largest subgroup of $\mathrm{Sym}(Ω)$ that leaves invariant each of the $G$-orbits in the induced action on $Ω\times\cdots\times Ω=Ω^k$. Each finite group $G$ is totally $|G|$-closed, and $k(G)$ denotes the least integer $k$ such that $G$ is totally $k$-closed. We address the question of determining the closure number $k(G)$ for finite simple groups $G$. Prior to our work it was known that $k(G)=2$ for cyclic groups of prime order and for precisely six of the sporadic simple groups, and that $k(G)\geq3$ for all other finite simple groups. We determine the value for the alternating groups, namely $k(A_n)=n-1$. In addition, for all simple groups $G$, other than alternating groups and classical groups, we show that $k(G)\leq 7$. Finally, if $G$ is a finite simple classical group with natural module of dimension $n$, we show that $k(G)\leq n+2$ if $n \ge 14$, and $k(G) \le \lfloor n/3 + 12 \rfloor$ otherwise, with smaller bounds achieved by certain families of groups. This is achieved by determining a uniform upper bound (depending on $n$ and the type of $G$) on the base sizes of the primitive actions of $G$, based on known bounds for specific actions. We pose several open problems aimed at completing the determination of the closure numbers for finite simple groups. △ Less

Submitted 2 February, 2023; v1 submitted 6 June, 2022; originally announced June 2022.

Comments: 18 pages. Minor edits, plus a finiteness condition added to Lemma 5.1

MSC Class: 20B05 (Primary) 20E32; 20B15 (Secondary)

Journal ref: Monatsh. Math. 203 (2024), 323-340

Tournaments and Even Graphs are Equinumerous

Authors: Gordon F. Royle, Cheryl E. Praeger, S. P. Glasby, Saul D. Freedman, Alice Devillers

Abstract: A graph is called odd if there is an orientation of its edges and an automorphism that reverses the sense of an odd number of its edges, and even otherwise. Pontus von Brömssen (né Andersson) showed that the existence of such an automorphism is independent of the orientation, and considered the question of counting pairwise non-isomorphic even graphs. Based on computational evidence, he made the r… ▽ More A graph is called odd if there is an orientation of its edges and an automorphism that reverses the sense of an odd number of its edges, and even otherwise. Pontus von Brömssen (né Andersson) showed that the existence of such an automorphism is independent of the orientation, and considered the question of counting pairwise non-isomorphic even graphs. Based on computational evidence, he made the rather surprising conjecture that the number of pairwise non-isomorphic even graphs on $n$ vertices is equal to the number of pairwise non-isomorphic tournaments on $n$ vertices. We prove this conjecture using a counting argument with several applications of the Cauchy-Frobenius Theorem. △ Less

Submitted 18 November, 2022; v1 submitted 4 April, 2022; originally announced April 2022.

Comments: 9 pages. Corrected minor non-mathematical typos and slightly expanded the introduction

MSC Class: 05C30 (Primary) 05C75; 05A15 (secondary) ACM Class: G.2.1; G.2.2

Journal ref: J. Algebraic Combin. 57 (2023), 515-524

The intersection graph of a finite simple group has diameter at most 5

Authors: Saul D. Freedman

Abstract: Let $G$ be a non-abelian finite simple group. In addition, let $Δ_G$ be the intersection graph of $G$, whose vertices are the proper nontrivial subgroups of $G$, with distinct subgroups joined by an edge if and only if they intersect nontrivially. We prove that the diameter of $Δ_G$ has a tight upper bound of 5, thereby resolving a question posed by Shen (2010). Furthermore, a diameter of 5 is ach… ▽ More Let $G$ be a non-abelian finite simple group. In addition, let $Δ_G$ be the intersection graph of $G$, whose vertices are the proper nontrivial subgroups of $G$, with distinct subgroups joined by an edge if and only if they intersect nontrivially. We prove that the diameter of $Δ_G$ has a tight upper bound of 5, thereby resolving a question posed by Shen (2010). Furthermore, a diameter of 5 is achieved only by the baby monster group and certain unitary groups of odd prime dimension. △ Less

Submitted 27 January, 2021; v1 submitted 7 September, 2020; originally announced September 2020.

Comments: 8 pages. Corrected minor non-mathematical typos

MSC Class: 05C25 (Primary) 20E32 (Secondary)

Journal ref: Arch. Math. (Basel) 117(1) (2021), 1-7

The non-commuting, non-generating graph of a nilpotent group

Authors: Peter J. Cameron, Saul D. Freedman, Colva M. Roney-Dougal

Abstract: For a nilpotent group $G$, let $Ξ(G)$ be the difference between the complement of the generating graph of $G$ and the commuting graph of $G$, with vertices corresponding to central elements of $G$ removed. That is, $Ξ(G)$ has vertex set $G \setminus Z(G)$, with two vertices adjacent if and only if they do not commute and do not generate $G$. Additionally, let $Ξ^+(G)$ be the subgraph of $Ξ(G)$ ind… ▽ More For a nilpotent group $G$, let $Ξ(G)$ be the difference between the complement of the generating graph of $G$ and the commuting graph of $G$, with vertices corresponding to central elements of $G$ removed. That is, $Ξ(G)$ has vertex set $G \setminus Z(G)$, with two vertices adjacent if and only if they do not commute and do not generate $G$. Additionally, let $Ξ^+(G)$ be the subgraph of $Ξ(G)$ induced by its non-isolated vertices. We show that if $Ξ(G)$ has an edge, then $Ξ^+(G)$ is connected with diameter $2$ or $3$, with $Ξ(G) = Ξ^+(G)$ in the diameter $3$ case. In the infinite case, our results apply more generally, to any group with every maximal subgroup normal. When $G$ is finite, we explore the relationship between the structures of $G$ and $Ξ(G)$ in more detail. △ Less

Submitted 20 August, 2020; originally announced August 2020.

Comments: 13 pages

MSC Class: 20F18 (Primary) 05C25 (Secondary)

Journal ref: Electron. J. Combin., 28(1) (2021), Paper No. 1.16

On $p$-groups with automorphism groups related to the exceptional Chevalley groups

Authors: Saul D. Freedman

Abstract: Let $\hat G$ be the finite simply connected version of an exceptional Chevalley group, and let $V$ be a nontrivial irreducible module, of minimal dimension, for $\hat G$ over its field of definition. We explore the overgroup structure of $\hat G$ in $\mathrm{GL}(V)$, and the submodule structure of the exterior square (and sometimes the third Lie power) of $V$. When $\hat G$ is defined over a field… ▽ More Let $\hat G$ be the finite simply connected version of an exceptional Chevalley group, and let $V$ be a nontrivial irreducible module, of minimal dimension, for $\hat G$ over its field of definition. We explore the overgroup structure of $\hat G$ in $\mathrm{GL}(V)$, and the submodule structure of the exterior square (and sometimes the third Lie power) of $V$. When $\hat G$ is defined over a field of odd prime order $p$, this allows us to construct the smallest (with respect to certain properties) $p$-groups $P$ such that the group induced by $\mathrm{Aut}(P)$ on $P/Φ(P)$ is either $\hat G$ or its normaliser in $\mathrm{GL}(V)$. △ Less

Submitted 6 May, 2020; v1 submitted 19 October, 2018; originally announced October 2018.

Comments: 60 pages, 2 figures, 12 tables. Corrected a few minor typos and updated a reference

MSC Class: 20C33 (Primary); 20G15; 20D15 (Secondary)

Journal ref: Comm. Algebra 48 (2020), 4281-4319

On $p$-groups with automorphism groups related to the Chevalley group $G_2(p)$

Authors: John Bamberg, Saul D. Freedman, Luke Morgan

Abstract: Let $p$ be an odd prime. We construct a $p$-group $P$ of nilpotency class two, rank seven and exponent $p$, such that $\mathrm{Aut}(P)$ induces $N_{\mathrm{GL}(7,p)}(G_2(p)) = Z(\mathrm{GL}(7,p)) G_2(p)$ on the Frattini quotient $P/Φ(P)$. The constructed group $P$ is the smallest $p$-group with these properties, having order $p^{14}$, and when $p = 3$, our construction gives two nonisomorphic $p$-… ▽ More Let $p$ be an odd prime. We construct a $p$-group $P$ of nilpotency class two, rank seven and exponent $p$, such that $\mathrm{Aut}(P)$ induces $N_{\mathrm{GL}(7,p)}(G_2(p)) = Z(\mathrm{GL}(7,p)) G_2(p)$ on the Frattini quotient $P/Φ(P)$. The constructed group $P$ is the smallest $p$-group with these properties, having order $p^{14}$, and when $p = 3$, our construction gives two nonisomorphic $p$-groups. To show that $P$ satisfies the specified properties, we study the action of $G_2(q)$ on the octonion algebra over $\mathbb{F}_q$, for each power $q$ of $p$, and explore the reducibility of the exterior square of each irreducible seven-dimensional $\mathbb{F}_q[G_2(q)]$-module. △ Less

Submitted 2 October, 2019; v1 submitted 4 October, 2017; originally announced October 2017.

Comments: 10 pages, 1 figure

MSC Class: 20C33; 20G15; 20D15

Journal ref: J. Aust. Math. Soc. 108 (2020), 321-331

Fault-Tolerant Quantum Walks

Authors: S. D. Freedman, Y. H. Tong, J. B. Wang

Abstract: Quantum walks are expected to serve important modelling and algorithmic applications in many areas of science and mathematics. Although quantum walks have been successfully implemented physically in recent times, no major efforts have been made to combat the error associated with these physical implementations in a fault-tolerant manner. In this paper, we propose a systematic method to implement f… ▽ More Quantum walks are expected to serve important modelling and algorithmic applications in many areas of science and mathematics. Although quantum walks have been successfully implemented physically in recent times, no major efforts have been made to combat the error associated with these physical implementations in a fault-tolerant manner. In this paper, we propose a systematic method to implement fault-tolerant quantum walks in discrete time on arbitrarily complex graphs, using quantum states encoded with the Steane code and a set of universal fault tolerant matrix operations. △ Less

Submitted 6 August, 2014; originally announced August 2014.