Showing 1–49 of 49 results for author: Glasby, S P

Bipartite $q$-Kneser graphs and two-generated irreducible linear groups

Authors: S. P. Glasby, Alice C. Niemeyer, Cheryl E. Praeger

Abstract: Let $V:=(\mathbb{F}_q)^d$ be a $d$-dimensional vector space over the field $\mathbb{F}_q$ of order $q$. Fix positive integers $e_1,e_2$ satisfying $e_1+e_2=d$. Motivated by analysing a fundamental algorithm in computational group theory for recognising classical groups, we consider a certain quantity $P(e_1,e_2)$ which arises in both graph theory and group representation theory: $P(e_1,e_2)$ is th… ▽ More Let $V:=(\mathbb{F}_q)^d$ be a $d$-dimensional vector space over the field $\mathbb{F}_q$ of order $q$. Fix positive integers $e_1,e_2$ satisfying $e_1+e_2=d$. Motivated by analysing a fundamental algorithm in computational group theory for recognising classical groups, we consider a certain quantity $P(e_1,e_2)$ which arises in both graph theory and group representation theory: $P(e_1,e_2)$ is the proportion of $3$-walks in the `bipartite $q$-Kneser graph' $Γ_{e_1,e_2}$ that are closed $3$-arcs. We prove that, for a group $G$ satisfying ${\rm SL}_d(q)\leqslant G\leqslant{\rm GL}_d(q)$, the proportion of certain element-pairs in $G$ called `$(e_1,e_2)$-stingray duos' which generate an irreducible subgroup is also equal to $P(e_1,e_2)$. We give an exact formula for $P(e_1,e_2)$, and prove that $1-q^{-1}-q^{-2}< P(e_1,e_2)< 1-q^{-1}-q^{-2}+2q^{-3}-2q^{-5}$ for $2\leqslant e_2\leqslant e_1$ and $q\geqslant2$.These bounds have implications for the complexity analysis of the state-of-the-art algorithms to recognise classical groups, which we discuss in the final section. △ Less

Submitted 9 December, 2023; originally announced December 2023.

Comments: 23 pages, 1 figure

MSC Class: 05C50; 20C30; 20-08; 05C35

Maximizing weighted sums of binomial coefficients using generalized continued fractions

Authors: S. P. Glasby, G. R. Paseman

Abstract: Let $m,r\in\mathbb{Z}$ and $ω\in\mathbb{R}$ satisfy $0\leqslant r\leqslant m$ and $ω\geqslant1$. Our main result is a generalized continued fraction for an expression involving the partial binomial sum $s_m(r) = \sum_{i=0}^r\binom{m}{i}$. We apply this to create new upper and lower bounds for $s_m(r)$ and thus for $g_{ω,m}(r)=ω^{-r}s_m(r)$. We also bound an integer $r_0 \in \{0,1,\dots,m\}$ such t… ▽ More Let $m,r\in\mathbb{Z}$ and $ω\in\mathbb{R}$ satisfy $0\leqslant r\leqslant m$ and $ω\geqslant1$. Our main result is a generalized continued fraction for an expression involving the partial binomial sum $s_m(r) = \sum_{i=0}^r\binom{m}{i}$. We apply this to create new upper and lower bounds for $s_m(r)$ and thus for $g_{ω,m}(r)=ω^{-r}s_m(r)$. We also bound an integer $r_0 \in \{0,1,\dots,m\}$ such that $g_{ω,m}(0)<\cdots<g_{ω,m}(r_0-1)\leqslant g_{ω,m}(r_0)$ and $g_{ω,m}(r_0)>\cdots>g_{ω,m}(m)$. For real $ω\geqslant\sqrt3$ we prove that $r_0\in\{\lfloor\frac{m+2}{ω+1}\rfloor,\lfloor\frac{m+2}{ω+1}\rfloor+1\}$, and also $r_0 =\lfloor\frac{m+2}{ω+1}\rfloor$ for $ω\in\{3,4,\dots\}$ or $ω=2$ and $3\nmid m$. △ Less

Submitted 28 May, 2024; v1 submitted 19 October, 2023; originally announced October 2023.

Comments: 14 pages, 1 figure, 1 table. Version 2 adds Remarks 4.9 and 5.4. To appear in Proc. Royal Soc. Edinburgh

MSC Class: 05A10; 11B65; 11Y65

The proportion of non-degenerate complementary subspaces in classical spaces

Authors: S. P. Glasby, Ferdinand Ihringer, Sam Mattheus

Abstract: Given positive integers $e_1,e_2$, let $X_i$ denote the set of $e_i$-dimensional subspaces of a fixed finite vector space $V=(\mathbb{F}_q)^{e_1+e_2}$. Let $Y_i$ be a non-empty subset of $X_i$ and let $α_i=|Y_i|/|X_i|$. We give a positive lower bound, depending only on $α_1,α_2,e_1,e_2,q$, for the proportion of pairs $(S_1,S_2)\in Y_1\times Y_2$ which intersect trivially. As an application, we bou… ▽ More Given positive integers $e_1,e_2$, let $X_i$ denote the set of $e_i$-dimensional subspaces of a fixed finite vector space $V=(\mathbb{F}_q)^{e_1+e_2}$. Let $Y_i$ be a non-empty subset of $X_i$ and let $α_i=|Y_i|/|X_i|$. We give a positive lower bound, depending only on $α_1,α_2,e_1,e_2,q$, for the proportion of pairs $(S_1,S_2)\in Y_1\times Y_2$ which intersect trivially. As an application, we bound the proportion of pairs of non-degenerate subspaces of complementary dimensions in a finite classical space that intersect trivially. This problem is motivated by an algorithm for recognizing classical groups. By using techniques from algebraic graph theory, we are able to handle orthogonal groups over the field of order 2, a case which had eluded Niemeyer, Praeger, and the first author. △ Less

Submitted 11 May, 2023; v1 submitted 11 July, 2022; originally announced July 2022.

Comments: 15 pages, 1 table, 1 figure

MSC Class: 05C50; 20C30; 20-08; 05C35

Derangements in wreath products of permutation groups

Authors: Vishnuram Arumugam, Heiko Dietrich, S. P. Glasby

Abstract: Given a finite group $G$ acting on a set $X$ let $δ_k(G,X)$ denote the proportion of elements in $G$ that have exactly $k$ fixed points in $X$. Let $\mathrm{S}_n$ denote the symmetric group acting on $[n]=\{1,2,\dots,n\}$. For $A\le\mathrm{S}_m$ and $B\le\mathrm{S}_n$, the permutational wreath product $A\wr B$ has two natural actions and we give formulas for both, $δ_k(A\wr B,[m]{\times}[n])$ and… ▽ More Given a finite group $G$ acting on a set $X$ let $δ_k(G,X)$ denote the proportion of elements in $G$ that have exactly $k$ fixed points in $X$. Let $\mathrm{S}_n$ denote the symmetric group acting on $[n]=\{1,2,\dots,n\}$. For $A\le\mathrm{S}_m$ and $B\le\mathrm{S}_n$, the permutational wreath product $A\wr B$ has two natural actions and we give formulas for both, $δ_k(A\wr B,[m]{\times}[n])$ and $δ_k(A\wr B,[m]^{[n]})$. We prove that for $k=0$ the values of these proportions are dense in the intervals $[δ_0(B,[n]),1]$ and $[δ_0(A,[m]),1]$. Among further result, we provide estimates for $δ_0(G,[m]^{[n]})$ for subgroups $G\leq \mathrm{S}_m\wr\mathrm{S}_n$ containing $\mathrm{A}_m^{[n]}$. △ Less

Submitted 17 July, 2023; v1 submitted 4 July, 2022; originally announced July 2022.

Comments: 14 pages

MSC Class: 20B07; 20B35; 05A05

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

Random generation of direct sums of finite non-degenerate subspaces

Authors: S. P. Glasby, Alice C. Niemeyer, Cheryl E. Praeger

Abstract: Let $V$ be a $d$-dimensional vector space over a finite field $\mathbb{F}$ equipped with a non-degenerate hermitian, alternating, or quadratic form. Suppose $|\mathbb{F}|=q^2$ if $V$ is hermitian, and $|\mathbb{F}|=q$ otherwise. Given integers $e, e'$ such that $e+e'\leqslant d$, we estimate the proportion of pairs $(U, U')$, where $U$ is a non-degenerate $e$-subspace of $V$ and $U'$ is a non-dege… ▽ More Let $V$ be a $d$-dimensional vector space over a finite field $\mathbb{F}$ equipped with a non-degenerate hermitian, alternating, or quadratic form. Suppose $|\mathbb{F}|=q^2$ if $V$ is hermitian, and $|\mathbb{F}|=q$ otherwise. Given integers $e, e'$ such that $e+e'\leqslant d$, we estimate the proportion of pairs $(U, U')$, where $U$ is a non-degenerate $e$-subspace of $V$ and $U'$ is a non-degenerate $e'$-subspace of $V$, such that $U\cap U'=0$ and $U\oplus U'$ is non-degenerate (the sum $U\oplus U'$ is direct and usually not perpendicular). The proportion is shown to be positive and at least $1-c/q>0$ for some constant $c$. For example, $c=7/4$ suffices in both the unitary and symplectic cases. The arguments in the orthogonal case are delicate and assume that $\dim(U)$ and $\dim(U')$ are even, an assumption relevant for an algorithmic application (which we discuss) for recognising finite classical groups. We also describe how recognising a classical groups $G$ relies on a connection between certain pairs $(U,U')$ of non-degenerate subspaces and certain pairs $(g,g')\in G^2$ of group elements where $U={\rm im}(g-1)$ and $U'={\rm im}(g'-1)$. △ Less

Submitted 22 May, 2022; v1 submitted 3 November, 2021; originally announced November 2021.

Comments: 24 pages, 2 tables, minor changes to Def 3.6(a,b). Proof of Lemma 3.7(a) and Prop 4.11 slightly shortened

MSC Class: 20F65; 20D05; 05-08; 20D06; 68W20

Sequences of linear codes where the rate times distance grows rapidly

Authors: Faezeh Alizadeh, S. P. Glasby, Cheryl E. Praeger

Abstract: For a linear code $C$ of length $n$ with dimension $k$ and minimum distance $d$, it is desirable that the quantity $kd/n$ is large. Given an arbitrary field $\mathbb{F}$, we introduce a novel, but elementary, construction that produces a recursively defined sequence of $\mathbb{F}$-linear codes $C_1,C_2, C_3, \dots$ with parameters $[n_i, k_i, d_i]$ such that $k_id_i/n_i$ grows quickly in the sens… ▽ More For a linear code $C$ of length $n$ with dimension $k$ and minimum distance $d$, it is desirable that the quantity $kd/n$ is large. Given an arbitrary field $\mathbb{F}$, we introduce a novel, but elementary, construction that produces a recursively defined sequence of $\mathbb{F}$-linear codes $C_1,C_2, C_3, \dots$ with parameters $[n_i, k_i, d_i]$ such that $k_id_i/n_i$ grows quickly in the sense that $k_id_i/n_i>\sqrt{k_i}-1>2i-1$. Another example of quick growth comes from a certain subsequence of Reed-Muller codes. Here the field is $\mathbb{F}=\mathbb{F}_2$ and $k_i d_i/n_i$ is asymptotic to $3n_i^{c}/\sqrt{π\log_2(n_i)}$ where $c=\log_2(3/2)\approx 0.585$. △ Less

Submitted 4 October, 2021; originally announced October 2021.

Comments: 13 pages

MSC Class: 94B65; 94B05; 94B15

On the maximum of the weighted binomial sum $2^{-r}\sum_{i=0}^r\binom{m}{i}$

Authors: S. P. Glasby, G. R. Paseman

Abstract: The weighted binomial sum $f_m(r)=2^{-r}\sum_{i=0}^r\binom{m}{i}$ arises in coding theory and information theory. We prove that,for $m\not \in\{0,3,6,9,12\}$, the maximum value of $f_m(r)$ with $0\leqslant r\leqslant m$ occurs when $r=\lfloor m/3\rfloor+1$. We also show this maximum value is asymptotic to $\frac{3}{\sqrt{πm}}\left(\frac{3}{2}\right)^m$ as $m\to\infty$. The weighted binomial sum $f_m(r)=2^{-r}\sum_{i=0}^r\binom{m}{i}$ arises in coding theory and information theory. We prove that,for $m\not \in\{0,3,6,9,12\}$, the maximum value of $f_m(r)$ with $0\leqslant r\leqslant m$ occurs when $r=\lfloor m/3\rfloor+1$. We also show this maximum value is asymptotic to $\frac{3}{\sqrt{πm}}\left(\frac{3}{2}\right)^m$ as $m\to\infty$. △ Less

Submitted 6 March, 2022; v1 submitted 21 September, 2021; originally announced September 2021.

Comments: 9 pages, 2 tables, hyperlinks and backrefs

MSC Class: 05A10; 11B65; 94B65

The probability of spanning a classical space by two non-degenerate subspaces of complementary dimension

Authors: S. P. Glasby, Alice C. Niemeyer, Cheryl E. Praeger

Abstract: Let $n,n'$ be positive integers and let $V$ be an $(n+n')$-dimensional vector space over a finite field $\mathbb{F}$ equipped with a non-degenerate alternating, hermitian or quadratic form. We estimate the proportion of pairs $(U, U')$, where $U$ is a non-degenerate $n$-subspace and $U'$ is a non-degenerate $n'$-subspace of $V$, such that $U+ U'=V$ (usually such spaces $U$ and $U'$ are not perpend… ▽ More Let $n,n'$ be positive integers and let $V$ be an $(n+n')$-dimensional vector space over a finite field $\mathbb{F}$ equipped with a non-degenerate alternating, hermitian or quadratic form. We estimate the proportion of pairs $(U, U')$, where $U$ is a non-degenerate $n$-subspace and $U'$ is a non-degenerate $n'$-subspace of $V$, such that $U+ U'=V$ (usually such spaces $U$ and $U'$ are not perpendicular). The proportion is shown to be at least $1-c/|\mathbb{F}|$ for some constant $c\leqslant 2$ in the symplectic or unitary cases, and $c<3$ in the orthogonal case. △ Less

Submitted 15 May, 2022; v1 submitted 21 September, 2021; originally announced September 2021.

Comments: 35 pages, 5 tables, hyperlinks and backrefs. Changed 1/(2F) to 3/(2F) and added reference

MSC Class: 20P05; 15A63; 05-08

The groups $G$ satisfying a functional equation $f(xk) = xf(x)$ for some $k \in G$

Authors: Dominik Bernhardt, Tim Boykett, Alice Devillers, Johannes Flake, S. P. Glasby

Abstract: We study the groups $G$ with the curious property that there exists an element $k\in G$ and a function $f\colon G\to G$ such that $f(xk)=xf(x)$ holds for all $x\in G$. This property arose from the study of near-rings and input-output automata on groups. We call a group with this property a $J$-group. Finite $J$-groups must have odd order, and hence are solvable. We prove that every finite nilpoten… ▽ More We study the groups $G$ with the curious property that there exists an element $k\in G$ and a function $f\colon G\to G$ such that $f(xk)=xf(x)$ holds for all $x\in G$. This property arose from the study of near-rings and input-output automata on groups. We call a group with this property a $J$-group. Finite $J$-groups must have odd order, and hence are solvable. We prove that every finite nilpotent group of odd order is a $J$-group if its nilpotency class $c$ satisfies $c\le6$. If $G$ is a finite $p$-group, with $p>2$ and $p^2>2c-1$, then we prove that $G$ is $J$-group. Finally, if $p>2$ and $G$ is a regular $p$-group or, more generally, a power-closed one (i.e., in each section and for each $m\geq1$ the subset of $p^m$-th powers is a subgroup), then we prove that $G$ is a $J$-group. △ Less

Submitted 10 February, 2022; v1 submitted 19 May, 2021; originally announced May 2021.

Comments: Reworded first sentence of Introduction. To appear Journal of Group Theory

MSC Class: 20D15; 20E34; 20F10

Modules induced from a normal subgroup of prime index

Authors: S. P. Glasby

Abstract: Let $G$ be a finite group and $H$ a normal subgroup of prime index $p$. Let $V$ be an irreducible ${\mathbb F}H$-module and $U$ a quotient of the induced ${\mathbb F}G$-module $V\kern-3pt\uparrow$. We describe the structure of $U$, which is semisimple when ${\rm char}({\mathbb F})\ne p$ and uniserial if ${\rm char}({\mathbb F})=p$. Furthermore, we describe the division rings arising as endomorphis… ▽ More Let $G$ be a finite group and $H$ a normal subgroup of prime index $p$. Let $V$ be an irreducible ${\mathbb F}H$-module and $U$ a quotient of the induced ${\mathbb F}G$-module $V\kern-3pt\uparrow$. We describe the structure of $U$, which is semisimple when ${\rm char}({\mathbb F})\ne p$ and uniserial if ${\rm char}({\mathbb F})=p$. Furthermore, we describe the division rings arising as endomorphism algebras of the simple components of $U$. We use techniques from noncommutative ring theory to study ${\rm End}_{{\mathbb F}G}(V\kern-3pt\uparrow)$ and relate the right ideal structure of ${\rm End}_{{\mathbb F}G}(V\kern-3pt\uparrow)$ to the submodule structure of $V\kern-3pt\uparrow$. △ Less

Submitted 17 January, 2021; originally announced January 2021.

Comments: 15 pages. This paper from 2004 is not on the arXiv

MSC Class: 20C40; 16S35

Journal ref: Modules induced from a normal subgroup of prime index, in Rings, Modules, and Abelian Groups, Eds. A. Facchini, E. Houston and L. Salce, Lecture Notes in Pure and Applied Mathematics 236 (2004), 257--270

Subgroups of Classical Groups that are Transitive on Subspaces

Authors: Michael Giudici, S. P. Glasby, Cheryl E. Praeger

Abstract: For each finite classical group $G$, we classify the subgroups of $G$ which act transitively on a $G$-invariant set of subspaces of the natural module, where the subspaces are either totally isotropic or nondegenerate. Our proof uses the classification of the maximal factorisations of almost simple groups. As a first application of these results we classify all point-transitive subgroups of automo… ▽ More For each finite classical group $G$, we classify the subgroups of $G$ which act transitively on a $G$-invariant set of subspaces of the natural module, where the subspaces are either totally isotropic or nondegenerate. Our proof uses the classification of the maximal factorisations of almost simple groups. As a first application of these results we classify all point-transitive subgroups of automorphisms of finite thick generalised quadrangles. △ Less

Submitted 13 December, 2020; originally announced December 2020.

Comments: 62 pages, 34 tables

MSC Class: primary 20G40; 20B10; secondary 57S17; 05B25

Point-primitive generalised hexagons and octagons and projective linear groups

Authors: S. P. Glasby, E. Pierro, Cheryl E. Praeger

Abstract: We discuss recent progress on the problem of classifying point-primitive generalised polygons. In the case of generalised hexagons and generalised octagons, this has reduced the problem to primitive actions of almost simple groups of Lie type. To illustrate how the natural geometry of these groups may be used in this study, we show that if $\mathcal{S}$ is a finite thick generalised hexagon or oct… ▽ More We discuss recent progress on the problem of classifying point-primitive generalised polygons. In the case of generalised hexagons and generalised octagons, this has reduced the problem to primitive actions of almost simple groups of Lie type. To illustrate how the natural geometry of these groups may be used in this study, we show that if $\mathcal{S}$ is a finite thick generalised hexagon or octagon with $G \leqslant{\rm Aut}(\mathcal{S})$ acting point-primitively and the socle of $G$ isomorphic to ${\rm PSL}_n(q)$ where $n \geqslant 2$, then the stabiliser of a point acts irreducibly on the natural module. We describe a strategy to prove that such a generalised hexagon or octagon $\mathcal{S}$ does not exist. △ Less

Submitted 7 December, 2020; originally announced December 2020.

Comments: 7 pages; Submitted to Ars Math Combinatoria 16 July 1999

MSC Class: 51E12; secondary 20B15; 05B25

Finite $2$-groups with exactly three automorphism orbits

Authors: Alexander Bors, Stephen P. Glasby

Abstract: We give a complete classification of the finite $2$-groups $G$ for which the automorphism group $\operatorname{Aut}(G)$ acting naturally on $G$ has three orbits. There are two infinite families and one additional group, of order $2^9$. All of them are Suzuki $2$-groups, and they appear in an earlier classification of Dornhoff. We give a complete classification of the finite $2$-groups $G$ for which the automorphism group $\operatorname{Aut}(G)$ acting naturally on $G$ has three orbits. There are two infinite families and one additional group, of order $2^9$. All of them are Suzuki $2$-groups, and they appear in an earlier classification of Dornhoff. △ Less

Submitted 27 February, 2024; v1 submitted 25 November, 2020; originally announced November 2020.

Comments: 18 pages

MSC Class: Primary: 20D15; 20D45. Secondary: 12E20; 20B10

Conjugacy class sizes in arithmetic progression

Authors: Mariagrazia Bianchi, Cheryl E. Praeger, S. P. Glasby

Abstract: Let ${\rm cs}(G)$ denote the set of conjugacy class sizes of a group $G$, and let ${\rm cs}^*(G)={\rm cs}(G)\setminus\{1\}$ be the sizes of non-central classes. We prove three results. We classify all finite groups $G$ with ${\rm cs}(G)=\{a, a+d, \dots ,a+rd\}$ an arithmetic progression with $r\geqslant 2$. (We show that ${\rm cs}(G)=\{1,2,3\}$.) Our most substantial result classifies all $G$ with… ▽ More Let ${\rm cs}(G)$ denote the set of conjugacy class sizes of a group $G$, and let ${\rm cs}^*(G)={\rm cs}(G)\setminus\{1\}$ be the sizes of non-central classes. We prove three results. We classify all finite groups $G$ with ${\rm cs}(G)=\{a, a+d, \dots ,a+rd\}$ an arithmetic progression with $r\geqslant 2$. (We show that ${\rm cs}(G)=\{1,2,3\}$.) Our most substantial result classifies all $G$ with ${\rm cs}^*(G)=\{2,4,6\}$. Finally, we classify all groups $G$ whose largest two non-central conjugacy class sizes are coprime. (Here it is not obvious but it is true that ${\rm cs}^*(G)$ has two elements, and so is an arithmetic progression.) △ Less

Submitted 6 June, 2020; v1 submitted 8 March, 2020; originally announced March 2020.

Comments: 13 pages; v4 correct typo: C_B(A) changed to C_A(B) on p3. Also last paragraph of Introduction modified slightly

MSC Class: 20E-45; 20D-60

Most permutations power to a cycle of small prime length

Authors: S. P. Glasby, Cheryl E. Praeger, W. R. Unger

Abstract: We prove that most permutations of degree $n$ have some power which is a cycle of prime length approximately $\log n$. Explicitly, we show that for $n$ sufficiently large, the proportion of such elements is at least $1-5/\log\log n$ with the prime between $\log n$ and $(\log n)^{\log\log n}$. The proportion of even permutations with this property is at least $1-7/\log\log n$. We prove that most permutations of degree $n$ have some power which is a cycle of prime length approximately $\log n$. Explicitly, we show that for $n$ sufficiently large, the proportion of such elements is at least $1-5/\log\log n$ with the prime between $\log n$ and $(\log n)^{\log\log n}$. The proportion of even permutations with this property is at least $1-7/\log\log n$. △ Less

Submitted 5 May, 2021; v1 submitted 28 November, 2019; originally announced November 2019.

Comments: 11 pages. Corrected some imprecise wording

MSC Class: 05A05; 68Q17; 11N05

Journal ref: Proceedings of the Edinburgh Mathematical Society 64 (2021) 234-246

Cyclotomic ordering conjecture

Authors: S. P. Glasby

Abstract: This note describes a conjecture involving cyclotomic polynomials and some initial thoughts towards a solution. Given positive integers $m,n$, the conjecture is that either $Φ_m(q)\leqslantΦ_n(q)$ or $Φ_m(q)\geqslantΦ_n(q)$ holds for all integers $q\geqslant 2$. Pomerance and Rubinstein-Salzedo proved the conjecture in a preprint called `Cyclotomic coincidences' [arXiv:1903.01962]. This note describes a conjecture involving cyclotomic polynomials and some initial thoughts towards a solution. Given positive integers $m,n$, the conjecture is that either $Φ_m(q)\leqslantΦ_n(q)$ or $Φ_m(q)\geqslantΦ_n(q)$ holds for all integers $q\geqslant 2$. Pomerance and Rubinstein-Salzedo proved the conjecture in a preprint called `Cyclotomic coincidences' [arXiv:1903.01962]. △ Less

Submitted 6 March, 2019; originally announced March 2019.

Comments: 2 pages; Pomerance and Rubinstein-Salzedo wanted to be able to cite my conjecture for their paper "Cyclotomic coincidences" [arXiv:1903.01962]

MSC Class: 11C06; 11A07

Classifying uniformly generated groups

Authors: S. P. Glasby

Abstract: A finite group $G$ is called *uniformly generated*, if whenever there is a (strictly ascending) chain of subgroups $1<\langle x_1\rangle<\langle x_1,x_2\rangle <\cdots<\langle x_1,x_2,\dots,x_d\rangle=G$, then $d$ is the minimal number of generators of $G$. Our main result classifies the uniformly generated groups without using the simple group classification. These groups are related to finite pr… ▽ More A finite group $G$ is called *uniformly generated*, if whenever there is a (strictly ascending) chain of subgroups $1<\langle x_1\rangle<\langle x_1,x_2\rangle <\cdots<\langle x_1,x_2,\dots,x_d\rangle=G$, then $d$ is the minimal number of generators of $G$. Our main result classifies the uniformly generated groups without using the simple group classification. These groups are related to finite projective geometries by a result of Iwasawa on subgroup lattices. △ Less

Submitted 30 May, 2019; v1 submitted 19 January, 2019; originally announced January 2019.

Comments: 5 pages; 0 figures

MSC Class: 20E15; 14N20

Roots of unity and unreasonable differentiation

Authors: Alice Devillers, S. P. Glasby

Abstract: We explore when it is legal to differentiate a polynomial evaluated at a root of unity using modular arithmetic. We explore when it is legal to differentiate a polynomial evaluated at a root of unity using modular arithmetic. △ Less

Submitted 9 January, 2020; v1 submitted 18 January, 2019; originally announced January 2019.

Comments: 4 pages, 0 figures; Public version to comply with Australian Research Council rules (minor wording changes from V1)

MSC Class: 11A07; 11-01

Journal ref: Archiv der Mathematik 113 (2019), 367--371

Involution centralisers in finite unitary groups of odd characteristic

Authors: S. P. Glasby, Cheryl E. Praeger, Colva M. Roney-Dougal

Abstract: We analyse the complexity of constructing involution centralisers in unitary groups over fields of odd order. In particular, we prove logarithmic bounds on the number of random elements required to generate a subgroup of the centraliser of a strong involution that contains the last term of its derived series. We use this to strengthen previous bounds on the complexity of recognition algorithms for… ▽ More We analyse the complexity of constructing involution centralisers in unitary groups over fields of odd order. In particular, we prove logarithmic bounds on the number of random elements required to generate a subgroup of the centraliser of a strong involution that contains the last term of its derived series. We use this to strengthen previous bounds on the complexity of recognition algorithms for unitary groups in odd characteristic. Our approach generalises and extends two previous papers by the second author and collaborators on strong involutions and regular semisimple elements of linear groups. △ Less

Submitted 20 September, 2019; v1 submitted 4 December, 2018; originally announced December 2018.

Comments: 48 pages. Revised after suggestions from Eamonn O'Brien and an anonymous referee. To appear J. Algebra

MSC Class: 20P05; 22E20; 60B20

Permutations with orders coprime to a given integer

Authors: John Bamberg, S. P. Glasby, Scott Harper, Cheryl E. Praeger

Abstract: Let $m$ be a positive integer and let $ρ(m,n)$ be the proportion of permutations of the symmetric group ${\rm Sym}(n)$ whose order is coprime to $m$. In 2002, Pouyanne proved that $ρ(n,m)n^{1-\frac{φ(m)}{m}}\sim κ_m$ where $κ_m$ is a complicated (unbounded) function of $m$. We show that there exists a positive constant $C(m)$ such that, for all $n \geqslant m$, \[C(m) \left(\frac{n}{m}\right)^{\fr… ▽ More Let $m$ be a positive integer and let $ρ(m,n)$ be the proportion of permutations of the symmetric group ${\rm Sym}(n)$ whose order is coprime to $m$. In 2002, Pouyanne proved that $ρ(n,m)n^{1-\frac{φ(m)}{m}}\sim κ_m$ where $κ_m$ is a complicated (unbounded) function of $m$. We show that there exists a positive constant $C(m)$ such that, for all $n \geqslant m$, \[C(m) \left(\frac{n}{m}\right)^{\frac{φ(m)}{m}-1} \leqslant ρ(n,m) \leqslant \left(\frac{n}{m}\right)^{\frac{φ(m)}{m}-1}\] where $φ$ is Euler's totient function. △ Less

Submitted 18 April, 2019; v1 submitted 27 July, 2018; originally announced July 2018.

Comments: 10 pages, 3 figures

MSC Class: 20B30; 05A15; 68W20

The shape of solvable groups with odd order

Authors: S. P. Glasby

Abstract: We prove that the minimal composition length, $c$, of a solvable group with solvable length $d$ satisfies $9^{(d-3)/9}< c< 9^{(d+1)/5}$, and the minimal composition length, $c^o$, of a group with odd order and solvable length $d$ satisfies $7^{(d-2)/5}< c^o< 2^d$. We prove that the minimal composition length, $c$, of a solvable group with solvable length $d$ satisfies $9^{(d-3)/9}< c< 9^{(d+1)/5}$, and the minimal composition length, $c^o$, of a group with odd order and solvable length $d$ satisfies $7^{(d-2)/5}< c^o< 2^d$. △ Less

Submitted 16 January, 2018; originally announced January 2018.

Comments: Added to arXiv in 2018

MSC Class: 20F16; 20F14; 20E34

Journal ref: Groups St Andrews 2005, vol. 2, Edited by C.M. Campbell, M.R. Quick, E.F. Robertson and G.C. Smith, London Mathematical Society Lecture Notes Series 340, Cambridge Univ. Press, (2007), 432--437

On the second-largest Sylow subgroup of a finite simple group of Lie type

Authors: S. P. Glasby, Alice C. Niemeyer, Tomasz Popiel

Abstract: Let $T$ be a finite simple group of Lie type in characteristic $p$, and let $S$ be a Sylow subgroup of $T$ with maximal order. It is well known that $S$ is a Sylow $p$-subgroup except in an explicit list of exceptions, and that $S$ is always `large' in the sense that $|T|^{1/3} < |S| \leqslant |T|^{1/2}$. One might anticipate that, moreover, the Sylow $r$-subgroups of $T$ with $r \neq p$ are usual… ▽ More Let $T$ be a finite simple group of Lie type in characteristic $p$, and let $S$ be a Sylow subgroup of $T$ with maximal order. It is well known that $S$ is a Sylow $p$-subgroup except in an explicit list of exceptions, and that $S$ is always `large' in the sense that $|T|^{1/3} < |S| \leqslant |T|^{1/2}$. One might anticipate that, moreover, the Sylow $r$-subgroups of $T$ with $r \neq p$ are usually significantly smaller than $S$. We verify this hypothesis by proving that for every $T$ and every prime divisor $r$ of $|T|$ with $r \neq p$, the order of the Sylow $r$-subgroup of $T$ at most $|T|^{2\lfloor\log_r(4(\ell+1) r)\rfloor/\ell}=|T|^{{\rm O}(\log_r(\ell)/\ell)}$, where $\ell$ is the Lie rank of $T$. △ Less

Submitted 15 December, 2017; originally announced December 2017.

Comments: 9 pages, 3 tables

MSC Class: 20D08; 20E32; 20E07

Bounding the composition length of primitive permutation groups and completely reducible linear groups

Authors: S. P. Glasby, Cheryl E. Praeger, Kyle Rosa, Gabriel Verret

Abstract: We obtain upper bounds on the composition length of a finite permutation group in terms of the degree and the number of orbits, and analogous bounds for primitive, quasiprimitive and semiprimitive groups. Similarly, we obtain upper bounds on the composition length of a finite completely reducible linear group in terms of some of its parameters. In almost all cases we show that the bounds are sharp… ▽ More We obtain upper bounds on the composition length of a finite permutation group in terms of the degree and the number of orbits, and analogous bounds for primitive, quasiprimitive and semiprimitive groups. Similarly, we obtain upper bounds on the composition length of a finite completely reducible linear group in terms of some of its parameters. In almost all cases we show that the bounds are sharp, and describe the extremal examples. △ Less

Submitted 14 March, 2018; v1 submitted 14 December, 2017; originally announced December 2017.

Comments: 23 pages; a few minor corrections following the referee's comments

MSC Class: 20B15; 20H30; 20B05

`Norman involutions' and tensor products of unipotent Jordan blocks

Authors: S. P. Glasby, Cheryl E. Praeger, Binzhou Xia

Abstract: A good knowledge of the Jordan canonical form (JCF) for a tensor product of `Jordan blocks' is key to understanding the actions of $p$-groups of matrices in characteristic $p$. The JCF corresponds to a certain partition which depends on the characteristic $p$, and the study of these partitions dates back to Aitken's work in 1934. Equivalently each JCF corresponds to a certain permutation $π$ intro… ▽ More A good knowledge of the Jordan canonical form (JCF) for a tensor product of `Jordan blocks' is key to understanding the actions of $p$-groups of matrices in characteristic $p$. The JCF corresponds to a certain partition which depends on the characteristic $p$, and the study of these partitions dates back to Aitken's work in 1934. Equivalently each JCF corresponds to a certain permutation $π$ introduced by Norman in 1995. These permutations $π= π(r,s,p)$ depend on the dimensions $r$, $s$ of the Jordan blocks, and on $p$. We give necessary and sufficient conditions for $π(r,s,p)$ to be trivial, building on work of M.J. Barry. We show that when $π(r,s,p)$ is nontrivial, it is an involution involving reversals. Finally, we prove that the group $G(r,p)$ generated by $π(r,s,p)$ for all $s$, `factors' as a wreath product corresponding to the factorisation $r=ab$ as a product of its $p'$-part $a$ and $p$-part $b$: precisely $G(r, p)={\sf S}_a\wr {\sf D}_b$ where ${\sf S}_a$ is a symmetric group of degree $a$, and ${\sf D}_b$ is a dihedral group of degree $b$. △ Less

Submitted 3 November, 2018; v1 submitted 18 November, 2017; originally announced November 2017.

Comments: 27 pages, 5 tables, 1 figure Minor typos corrected

MSC Class: 15A69; 15A21; 13C05

Duality between $p$-groups with three characteristic subgroups and semisimple anti-commutative algebras

Authors: S. P. Glasby, Frederico A. M. Ribeiro, Csaba Schneider

Abstract: Let $p$ be an odd prime and let $G$ be a non-abelian finite $p$-group of exponent $p^2$ with three distinct characteristic subgroups, namely $1$, $G^p$, and $G$. The quotient group $G/G^p$ gives rise to an anti-commutative ${\mathbb F}_p$-algebra $L$ such that the action of ${\rm Aut}(L)$ is irreducible on $L$; we call such an algebra IAC. This paper establishes a duality $G\leftrightarrow L$ betw… ▽ More Let $p$ be an odd prime and let $G$ be a non-abelian finite $p$-group of exponent $p^2$ with three distinct characteristic subgroups, namely $1$, $G^p$, and $G$. The quotient group $G/G^p$ gives rise to an anti-commutative ${\mathbb F}_p$-algebra $L$ such that the action of ${\rm Aut}(L)$ is irreducible on $L$; we call such an algebra IAC. This paper establishes a duality $G\leftrightarrow L$ between such groups and such IAC algebras. We prove that IAC algebras are semisimple and we classify the simple IAC algebras of dimension at most 4 over certain fields. We also give other examples of simple IAC algebras, including a family related to the $m$-th symmetric power of the natural module of ${\rm SL}(2,{\mathbb F})$. △ Less

Submitted 22 September, 2018; v1 submitted 14 November, 2017; originally announced November 2017.

Comments: 26 pages, 2 figures; revised and to appear in Proceedings of The Royal Society A

MSC Class: 20D15; 20C20; 20E15; 20F28; 17A30; 17A36

On the parameters of intertwining codes

Authors: S. P. Glasby, Cheryl E. Praeger

Abstract: Let $F$ be a field and let $F^{r\times s}$ denote the space of $r\times s$ matrices over $F$. Given equinumerous subsets $\mathcal{A}=\{A_i\mid i \in I\}\subseteq F^{r\times r}$ and $\mathcal{B}=\{B_i\mid i\in I\}\subseteq F^{s\times s}$ we call the subspace $C(\mathcal{A},\mathcal{B}):=\{X\in F^{r\times s}\mid A_iX=XB_i\ {\rm for }\ i\in I\}$ an \emph{intertwining code}. We show that if… ▽ More Let $F$ be a field and let $F^{r\times s}$ denote the space of $r\times s$ matrices over $F$. Given equinumerous subsets $\mathcal{A}=\{A_i\mid i \in I\}\subseteq F^{r\times r}$ and $\mathcal{B}=\{B_i\mid i\in I\}\subseteq F^{s\times s}$ we call the subspace $C(\mathcal{A},\mathcal{B}):=\{X\in F^{r\times s}\mid A_iX=XB_i\ {\rm for }\ i\in I\}$ an \emph{intertwining code}. We show that if $C(\mathcal{A},\mathcal{B})\ne\{0\}$, then for each $i\in I$, the characteristic polynomials of $A_i$ and $B_i$ and share a nontrivial factor. We give an exact formula for $k=\dim(C(\mathcal{A},\mathcal{B}))$ and give upper and lower bounds. This generalizes previous work in this area. Finally we construct intertwining codes with large minimum distance when the field is not `too small'. We give examples of codes where $d=rs/k=1/R$ is large where the minimum distance, dimension, and rate of the linear code $C(\mathcal{A},\mathcal{B})$ by $d$, $k$, and $R=k/rs$, respectively. △ Less

Submitted 1 March, 2018; v1 submitted 11 November, 2017; originally announced November 2017.

Comments: 12 pages; 1 figure; to appear in Ars Mathematica Contemporanea

MSC Class: Primary 94B65; Secondary 60C05

Arc-transitive digraphs with quasiprimitive local actions

Authors: Michael Giudici, S. P. Glasby, Cai Heng Li, Gabriel Verret

Abstract: Let $Γ$ be a finite $G$-vertex-transitive digraph. The in-local action of $(Γ,G)$ is the permutation group $L_-$ induced by the vertex-stabiliser on the set of in-neighbours of $v$. The out-local action $L_+$ is defined analogously. Note that $L_-$ and $L_+$ may not be isomorphic. We thus consider the problem of determining which pairs $(L_-,L_+)$ are possible. We prove some general results, but p… ▽ More Let $Γ$ be a finite $G$-vertex-transitive digraph. The in-local action of $(Γ,G)$ is the permutation group $L_-$ induced by the vertex-stabiliser on the set of in-neighbours of $v$. The out-local action $L_+$ is defined analogously. Note that $L_-$ and $L_+$ may not be isomorphic. We thus consider the problem of determining which pairs $(L_-,L_+)$ are possible. We prove some general results, but pay special attention to the case when $L_-$ and $L_+$ are both quasiprimitive. (Recall that a permutation group is quasiprimitive if each of its nontrivial normal subgroups is transitive.) Along the way, we prove a structural result about pairs of finite quasiprimitive groups of the same degree, one being (abstractly) isomorphic to a proper quotient of the other. △ Less

Submitted 19 October, 2016; originally announced October 2016.

Twisted Centralizer Codes

Authors: Adel Alahmadi, S. P. Glasby, Cheryl E. Praeger, Patrick Solé, Bahattin Yildiz

Abstract: Given an $n\times n$ matrix $A$ over a field $F$ and a scalar $a\in F$, we consider the linear codes $C(A,a):=\{B\in F^{n\times n}\mid \,AB=aBA\}$ of length $n^2$. We call $C(A,a)$ a twisted centralizer code. We investigate properties of these codes including their dimensions, minimum distances, parity-check matrices, syndromes, and automorphism groups. The minimal distance of a centralizer code (… ▽ More Given an $n\times n$ matrix $A$ over a field $F$ and a scalar $a\in F$, we consider the linear codes $C(A,a):=\{B\in F^{n\times n}\mid \,AB=aBA\}$ of length $n^2$. We call $C(A,a)$ a twisted centralizer code. We investigate properties of these codes including their dimensions, minimum distances, parity-check matrices, syndromes, and automorphism groups. The minimal distance of a centralizer code (when $a=1$) is at most $n$, however for $a\ne 0,1$ the minimal distance can be much larger, as large as $n^2$. △ Less

Submitted 12 March, 2017; v1 submitted 14 August, 2016; originally announced August 2016.

Comments: 14 pages. Proof of Proposition 2.6 corrected (see last 3 lines). Email address of last author changed

MSC Class: 94B05; 13M05

On the dimension of twisted centralizer codes

Authors: S. P. Glasby, Cheryl E. Praeger, Adel Alahmadi

Abstract: Given a field $F$, a scalar $λ\in F$ and a matrix $A\in F^{n\times n}$, the twisted centralizer code $C_F(A,λ):=\{B\in F^{n\times n}\mid AB-λBA=0\}$ is a linear code of length $n^2$. When $A$ is cyclic and $λ\ne0$ we prove that $\dim C_F(A,λ)=\mathrm{deg}(\gcd(c_A(t),λ^n c_A(λ^{-1}t)))$ where $c_A(t)$ denotes the characteristic polynomial of $A$. We also show how $C_F(A,λ)$ decomposes, and we esti… ▽ More Given a field $F$, a scalar $λ\in F$ and a matrix $A\in F^{n\times n}$, the twisted centralizer code $C_F(A,λ):=\{B\in F^{n\times n}\mid AB-λBA=0\}$ is a linear code of length $n^2$. When $A$ is cyclic and $λ\ne0$ we prove that $\dim C_F(A,λ)=\mathrm{deg}(\gcd(c_A(t),λ^n c_A(λ^{-1}t)))$ where $c_A(t)$ denotes the characteristic polynomial of $A$. We also show how $C_F(A,λ)$ decomposes, and we estimate the probability that $C_F(A,λ)$ is nonzero when $|F|$ is finite. Finally, we prove $\dim C_F(A,λ)\leqslant n^2/2$ for $λ\not\in\{0,1\}$ and `almost all' matrices $A$. △ Less

Submitted 14 July, 2017; v1 submitted 20 July, 2016; originally announced July 2016.

Comments: 17 pages, 2 figures Proof of Theorem 2.8 altered: last line and third last line changed

MSC Class: 94B65; 60C05

Maximal linear groups induced on the Frattini quotient of a $p$-group

Authors: John Bamberg, S. P. Glasby, Luke Morgan, Alice C. Niemeyer

Abstract: Let $p>3$ be a prime. For each maximal subgroup $H\leqslant\mathrm{GL}(d,p)$ with $|H| \geqslant p^{3d+1}$, we construct a $d$-generator finite $p$-group $G$ with the property that $\mathrm{Aut}(G)$ induces $H$ on the Frattini quotient $G/Φ(G)$ and $|G| \leqslant p^{\frac{d^4}{2}}$. A significant feature of this construction is that $|G|$ is very small compared to $|H|$, shedding new light upon a… ▽ More Let $p>3$ be a prime. For each maximal subgroup $H\leqslant\mathrm{GL}(d,p)$ with $|H| \geqslant p^{3d+1}$, we construct a $d$-generator finite $p$-group $G$ with the property that $\mathrm{Aut}(G)$ induces $H$ on the Frattini quotient $G/Φ(G)$ and $|G| \leqslant p^{\frac{d^4}{2}}$. A significant feature of this construction is that $|G|$ is very small compared to $|H|$, shedding new light upon a celebrated result of Bryant and Kovács. The groups $G$ that we exhibit have exponent $p$, and of all such groups $G$ with the desired action of $H$ on $G/Φ(G)$, the construction yields groups with smallest nilpotency class, and in most cases, the smallest order. △ Less

Submitted 12 October, 2017; v1 submitted 17 March, 2016; originally announced March 2016.

Comments: 24 pages, 2 figures, 2 tables Typos corrected. Acknowledgement extended. To appear J. Pure. Appl. Algebra

MSC Class: 20D45; 20D15; 20B25

The number of composition factors of order $p$ in completely reducible groups of characteristic $p$

Authors: Michael Giudici, S. P. Glasby, Cai Heng Li, Gabriel Verret

Abstract: Let $q$ be a power of a prime $p$ and let $G$ be a completely reducible subgroup of $\mathrm{GL}(d,q)$. We prove that the number of composition factors of $G$ that have prime order $p$ is at most $(\varepsilon_q d-1)/(p-1)$, where $\varepsilon_q$ is a function of $q$ satisfying $1\leqslant\varepsilon_q\leqslant 3/2$. For every $q$, we give examples showing this bound is sharp infinitely often. Let $q$ be a power of a prime $p$ and let $G$ be a completely reducible subgroup of $\mathrm{GL}(d,q)$. We prove that the number of composition factors of $G$ that have prime order $p$ is at most $(\varepsilon_q d-1)/(p-1)$, where $\varepsilon_q$ is a function of $q$ satisfying $1\leqslant\varepsilon_q\leqslant 3/2$. For every $q$, we give examples showing this bound is sharp infinitely often. △ Less

Submitted 9 August, 2017; v1 submitted 25 February, 2016; originally announced February 2016.

Comments: 14 pages; Theorem 1 strengthened if $G$ is reducible; Corollary 10 added; reference [6] added

MSC Class: 20C33; 20E34

Primitive prime divisors and the $n$-th cyclotomic polynomial

Authors: S. P. Glasby, Frank Lübeck, Alice C. Niemeyer, Cheryl E. Praeger

Abstract: Primitive prime divisors play an important role in group theory and number theory. We study a certain number theoretic quantity, called $Φ^*_n(q)$, which is closely related to the cyclotomic polynomial $Φ_n(x)$ and to primitive prime divisors of $q^n-1$. Our definition of $Φ^*_n(q)$ is novel, and we prove it is equivalent to the definition given by Hering. Given positive constants $c$ and $k$, we… ▽ More Primitive prime divisors play an important role in group theory and number theory. We study a certain number theoretic quantity, called $Φ^*_n(q)$, which is closely related to the cyclotomic polynomial $Φ_n(x)$ and to primitive prime divisors of $q^n-1$. Our definition of $Φ^*_n(q)$ is novel, and we prove it is equivalent to the definition given by Hering. Given positive constants $c$ and $k$, we give an algorithm for determining all pairs $(n,q)$ with $Φ^*_n(q)\le cn^k$. This algorithm is used to extend (and correct) a result of Hering which is useful for classifying certain families of subgroups of finite linear groups. △ Less

Submitted 9 October, 2016; v1 submitted 10 April, 2015; originally announced April 2015.

Comments: 14 pages, 5 tables in Journal of the Australian Mathematical Society We replaced $n>1$ with $n>2$ in the statement of Bang's theorem on page 2 (we thank Tim Penttila for pointing this out)

MSC Class: 11T22; 11Y40; 20G05

Subgroups of the upper-triangular matrix group with maximal derived length and a minimal number of generators

Authors: S. P. Glasby

Abstract: The group U_n(F) of all nxn unipotent upper-triangular matrices over F has derived length d := Ceiling(log_2 (n)), equivalently 2^{d-1} < n <= 2^d. We prove that U_n(F) has a 3-generated subgroup of derived length d, and it has a 2-generated subgroup of derived length d if and only if (21/32)* 2^d < n <= 2^d. The group U_n(F) of all nxn unipotent upper-triangular matrices over F has derived length d := Ceiling(log_2 (n)), equivalently 2^{d-1} < n <= 2^d. We prove that U_n(F) has a 3-generated subgroup of derived length d, and it has a 2-generated subgroup of derived length d if and only if (21/32)* 2^d < n <= 2^d. △ Less

Submitted 19 October, 2014; originally announced October 2014.

Comments: Differs from original publication because: an abstract is added, statement of main theorem is simplified, and retyped in LaTeX2e with hyperlinks. 9 pages

MSC Class: 20D15

Journal ref: Groups St Andrews 1997 in Bath, I, Edited by C.M. Campbell et al., London Mathematical Society Lecture Notes Series 260, Cambridge Univ. Press, (1999), 275--281

Point-primitive generalised hexagons and octagons

Authors: John Bamberg, S. P. Glasby, Tomasz Popiel, Cheryl E. Praeger, Csaba Schneider

Abstract: In 2008, Schneider and Van Maldeghem proved that if a group acts flag-transitively, point-primitively, and line-primitively on a generalised hexagon or generalised octagon, then it is an almost simple group of Lie type. We show that point-primitivity is sufficient for the same conclusion, regardless of the action on lines or flags. This result narrows the search for generalised hexagons or octagon… ▽ More In 2008, Schneider and Van Maldeghem proved that if a group acts flag-transitively, point-primitively, and line-primitively on a generalised hexagon or generalised octagon, then it is an almost simple group of Lie type. We show that point-primitivity is sufficient for the same conclusion, regardless of the action on lines or flags. This result narrows the search for generalised hexagons or octagons with point- or line-primitive collineation groups beyond the classical examples, namely the two generalised hexagons and one generalised octagon admitting the Lie type groups $\mathsf{G}_2(q)$, $\,^3\mathsf{D}_4(q)$, and $\,^2\mathsf{F}_4(q)$, respectively. △ Less

Submitted 9 October, 2014; originally announced October 2014.

Generalised quadrangles and transitive pseudo-hyperovals

Authors: John Bamberg, Stephen P. Glasby, Tomasz Popiel, Cheryl E. Praeger

Abstract: A pseudo-hyperoval of a projective space $\PG(3n-1,q)$, $q$ even, is a set of $q^n+2$ subspaces of dimension $n-1$ such that any three span the whole space. We prove that a pseudo-hyperoval with an irreducible transitive stabiliser is elementary. We then deduce from this result a classification of the thick generalised quadrangles $\mathcal{Q}$ that admit a point-primitive, line-transitive automor… ▽ More A pseudo-hyperoval of a projective space $\PG(3n-1,q)$, $q$ even, is a set of $q^n+2$ subspaces of dimension $n-1$ such that any three span the whole space. We prove that a pseudo-hyperoval with an irreducible transitive stabiliser is elementary. We then deduce from this result a classification of the thick generalised quadrangles $\mathcal{Q}$ that admit a point-primitive, line-transitive automorphism group with a point-regular abelian normal subgroup. Specifically, we show that $\mathcal{Q}$ is flag-transitive and isomorphic to $T_2^*(\mathcal{H})$, where $\mathcal{H}$ is either the regular hyperoval of $\PG(2,4)$ or the Lunelli--Sce hyperoval of $\PG(2,16)$. △ Less

Submitted 17 July, 2014; v1 submitted 24 June, 2014; originally announced June 2014.

Journal ref: J. Comb. Des. 24(4) (2016), 151--164

Writing representations over minimal fields

Authors: S. P. Glasby, R. B. Howlett

Abstract: The chief aim of this paper is to describe a procedure which, given a $d$-dimensional absolutely irreducible matrix representation of a finite group over a finite field $\mathbb{E}$, produces an equivalent representation such that all matrix entries lie in a subfield $\mathbb{F}$ of $\mathbb{E}$ which is as small as possible. The algorithm relies on a matrix version of Hilbert's Theorem 90, and is… ▽ More The chief aim of this paper is to describe a procedure which, given a $d$-dimensional absolutely irreducible matrix representation of a finite group over a finite field $\mathbb{E}$, produces an equivalent representation such that all matrix entries lie in a subfield $\mathbb{F}$ of $\mathbb{E}$ which is as small as possible. The algorithm relies on a matrix version of Hilbert's Theorem 90, and is probabilistic with expected running time ${\rm O}(|\mathbb{E}:\mathbb{F}|d^3)$ when $|\mathbb{F}|$ is bounded. Using similar methods we then describe an algorithm which takes as input a prime number and a power-conjugate presentation for a finite soluble group, and as output produces a full set of absolutely irreducible representations of the group over fields whose characteristic is the specified prime, each representation being written over its minimal field. △ Less

Submitted 28 May, 2014; originally announced May 2014.

Comments: 9 pages

MSC Class: 15B33

Journal ref: Comm. Algebra 25 (1997), 1703--1712

Extraspecial towers and Weil representations

Authors: S. P. Glasby, R. B. Howlett

Abstract: This paper was motivated by a remarkable group, the maximal subgroup $M=S_3\ltimes 2^{2+1}_{-}\ltimes3^{2+1}\ltimes2^{6+1}_{-}$ of the sporadic simple group ${\rm Fi}_{23}$, where $S_3$ is the symmetric group of degree 3, and $2^{2+1}_{-}$, $3^{2+1}$ and $2^{6+1}_{-}$ denote extraspecial groups. The representation $3^{2+1}\to{\rm GL}(3,\mathbb{F}_4)\to{\rm GL}(6,\mathbb{F}_2)$ extends (remarkably)… ▽ More This paper was motivated by a remarkable group, the maximal subgroup $M=S_3\ltimes 2^{2+1}_{-}\ltimes3^{2+1}\ltimes2^{6+1}_{-}$ of the sporadic simple group ${\rm Fi}_{23}$, where $S_3$ is the symmetric group of degree 3, and $2^{2+1}_{-}$, $3^{2+1}$ and $2^{6+1}_{-}$ denote extraspecial groups. The representation $3^{2+1}\to{\rm GL}(3,\mathbb{F}_4)\to{\rm GL}(6,\mathbb{F}_2)$ extends (remarkably) to $S_3\ltimes 2^{2+1}_{-}\ltimes3^{2+1}$ and preserves a quadratic form (of minus type) which allows the construction of $M$. The paper describes certain (Weil) representations of extraspecial groups which extend, and preserve various forms. Incidentally, $M$ is a remarkable solvable group with derived length 10, and composition length 24. △ Less

Submitted 28 May, 2014; originally announced May 2014.

Comments: 26 pages

MSC Class: 11F27

Journal ref: J. Algebra 151 (1992), 236--260

Proportion of cyclic matrices in maximal reducible matrix algebras

Authors: Scott Brown, Michael Giudici, S. P. Glasby, Cheryl E. Praeger

Abstract: Let ${\rm M}(V)={\rm M}(n,\mathbb{F}_q)$ denote the algebra of $n\times n$ matrices over $\mathbb{F}_q$, and let ${\rm M}(V)_U$ denote the (maximal reducible) subalgebra that normalizes a given $r$-dimensional subspace $U$ of $V=\mathbb{F}_q^n$ where $0<r<n$. We prove that the density of non-cyclic matrices in ${\rm M}(V)_U$ is at least $q^{-2}\left(1+c_1q^{-1}\right)$, and at most… ▽ More Let ${\rm M}(V)={\rm M}(n,\mathbb{F}_q)$ denote the algebra of $n\times n$ matrices over $\mathbb{F}_q$, and let ${\rm M}(V)_U$ denote the (maximal reducible) subalgebra that normalizes a given $r$-dimensional subspace $U$ of $V=\mathbb{F}_q^n$ where $0<r<n$. We prove that the density of non-cyclic matrices in ${\rm M}(V)_U$ is at least $q^{-2}\left(1+c_1q^{-1}\right)$, and at most $q^{-2}\left(1+c_2q^{-1}\right)$, where $c_1$ and $c_2$ are constants independent of $n,r$, and $q$. The constants $c_1=-\frac43$ and $c_2=\frac{35}3$ suffice. △ Less

Submitted 22 May, 2014; originally announced May 2014.

Comments: 11 pages

MSC Class: 15B52; 60B20; 68W40

Journal ref: Kyoto J. Math. 56, no. 3 (2016), 501-529

The density of uncyclic matrices

Authors: S. P. Glasby, Cheryl E. Praeger

Abstract: An element $X$ in the algebra ${\rm M}(n,\mathbb{F})$ of all $n\times n$ matrices over a field $\mathbb{F}$ is said to be $f$-cyclic if the underlying vector space considered as an $\mathbb{F}[X]$-module has at least one cyclic primary component. These are the matrices considered to be `good' in the Holt-Rees version of Norton's irreducibility test in the MeatAxe algorithm. We prove that, for any… ▽ More An element $X$ in the algebra ${\rm M}(n,\mathbb{F})$ of all $n\times n$ matrices over a field $\mathbb{F}$ is said to be $f$-cyclic if the underlying vector space considered as an $\mathbb{F}[X]$-module has at least one cyclic primary component. These are the matrices considered to be `good' in the Holt-Rees version of Norton's irreducibility test in the MeatAxe algorithm. We prove that, for any finite field $\mathbb{F}_q$, the proportion of matrices in ${\rm M}(n,\mathbb{F}_q)$ that are `not good' decays exponentially to zero as the dimension $n$ approaches infinity. Turning this around, we prove that the density of `good' matrices in ${\rm M}(n,\mathbb{F}_q)$ for the MeatAxe depends on the degree, showing that it is at least $1-\frac2q(\frac{1}{q}+\frac{1}{q^2}+\frac{2}{q^3})^n$ for $q\geq4$. We conjecture that the density is at least $1-\frac1q(\frac{1}{q}+\frac{1}{2q^2})^n$ for all $q$ and $n$, and confirm this conjecture for dimensions $n\leq 37$. Finally we give a one-sided Monte Carlo algorithm called IsfCyclic to test whether a matrix is `good', at a cost of ${\rm O}({\rm Mat}(n)\log n)$ field operations, where ${\rm Mat}(n)$ is an upper bound for the number of field operations required to multiply two matrices in ${\rm M}(n,\mathbb{F}_q)$. △ Less

Submitted 22 May, 2014; originally announced May 2014.

Comments: 30 pages, 1 figure

MSC Class: 15A52; 20C40

Journal ref: J. Algebra 322 (2009), 766--790

Distant parents in complete binary trees

Authors: S. P. Glasby

Abstract: There is a unique path from the root of a tree to any other vertex. Every vertex, except the root, has a parent: the adjoining vertex on this unique path. This is the conventional definition of the parent vertex. For complete binary trees, however, we show that it is useful to define another parent vertex, called a \emph{distant parent}. The study of distant parents leads to novel connections with… ▽ More There is a unique path from the root of a tree to any other vertex. Every vertex, except the root, has a parent: the adjoining vertex on this unique path. This is the conventional definition of the parent vertex. For complete binary trees, however, we show that it is useful to define another parent vertex, called a \emph{distant parent}. The study of distant parents leads to novel connections with dyadic rational numbers. Moreover, we apply the concepts of close and distant parent vertices to deduce an apparently new sense in which continued fractions are `best' rational approximations. △ Less

Submitted 21 May, 2014; originally announced May 2014.

Comments: 11 pages

MSC Class: 05C05; 20E08; 11A55; 13-01

Journal ref: Math. Scientist 38(1) (2013), 1--10

Using recurrence relations to count in symmetric groups

Authors: S. P. Glasby

Abstract: We use the fact that certain cosets of the stabilizer of points are pairwise conjugate in a symmetric group $S_n$ in order to construct recurrence relations for enumerating certain subsets of $S_n$. Occasionally one can find `closed form' solutions to such recurrence relations. For example, the probability that a random element of $S_n$ has no cycle of length divisible by $q$ is… ▽ More We use the fact that certain cosets of the stabilizer of points are pairwise conjugate in a symmetric group $S_n$ in order to construct recurrence relations for enumerating certain subsets of $S_n$. Occasionally one can find `closed form' solutions to such recurrence relations. For example, the probability that a random element of $S_n$ has no cycle of length divisible by $q$ is $\prod_{d=1}^{\lfloor n/q\rfloor} (1-\frac{1}{dq})$. △ Less

Submitted 21 May, 2014; originally announced May 2014.

Comments: 7 pages

MSC Class: 05A19; 20B30

Journal ref: European J. Combin. 22 (2001), 497--501

AS-configurations and skew-translation generalised quadrangles

Authors: John Bamberg, S. P. Glasby, Eric Swartz

Abstract: The only known skew-translation generalised quadrangles (STGQ) having order $(q,q)$, with $q$ even, are translation generalised quadrangles. Equivalently, the only known groups $G$ of order $q^3$, $q$ even, admitting an Ahrens-Szekeres (AS-)configuration are elementary abelian. In this paper we prove results in the theory of STGQ giving (i) new structural information for a group $G$ admitting an A… ▽ More The only known skew-translation generalised quadrangles (STGQ) having order $(q,q)$, with $q$ even, are translation generalised quadrangles. Equivalently, the only known groups $G$ of order $q^3$, $q$ even, admitting an Ahrens-Szekeres (AS-)configuration are elementary abelian. In this paper we prove results in the theory of STGQ giving (i) new structural information for a group $G$ admitting an AS-configuration, (ii) a classification of the STGQ of order $(8,8)$, and (iii) a classification of the STGQ of order $(q,q)$ for odd $q$ (using work of Ghinelli and Yoshiara). △ Less

Submitted 18 July, 2014; v1 submitted 20 May, 2014; originally announced May 2014.

Comments: A shorter version of this paper will appear in J. Algebra. This arXiv version includes our supporting GAP code in an Appendix. The structure of the proof was modified and Lemma 4.15 was inserted. Some other minor corrections were made

MSC Class: 51E12; 20D15; 05B25

Decomposing modular tensor products: `Jordan partitions', their parts and p-parts

Authors: S. P. Glasby, Cheryl E. Praeger, Binzhou Xia

Abstract: Determining the Jordan canonical form of the tensor product of Jordan blocks has many applications including to the representation theory of algebraic groups, and to tilting modules. Although there are several algorithms for computing this decomposition in literature, it is difficult to predict the output of these algorithms. We call a decomposition of the form… ▽ More Determining the Jordan canonical form of the tensor product of Jordan blocks has many applications including to the representation theory of algebraic groups, and to tilting modules. Although there are several algorithms for computing this decomposition in literature, it is difficult to predict the output of these algorithms. We call a decomposition of the form $J_r\otimes J_s=J_{λ_1}\oplus\cdots\oplus J_{λ_b}$ a `Jordan partition'. We prove several deep results concerning the $p$-parts of the $λ_i$ where $p$ is the characteristic of the underlying field. Our main results include the proof of two conjectures made by McFall in 1980, and the proof that ${\rm lcm}(r,s)$ and $\gcd(λ_1,\dots,λ_b)$ have equal $p$-parts. Finally, we establish some explicit formulas for Jordan partitions when $p=2$. △ Less

Submitted 19 May, 2014; v1 submitted 19 March, 2014; originally announced March 2014.

Comments: Old Theorems 14 and 16 in v1 have been shortened and combined using comments by M.J.J. Barry. A reference of Gow and Laffey added, and an additional ARC grant acknowledgement

MSC Class: 15A69; 15A21; 13C05

Journal ref: Israel J. Math. 209(1) (2015), 215--233

Decomposing modular tensor products, and periodicity of `Jordan partitions'

Authors: S. P. Glasby, Cheryl E. Praeger, Binzhou Xia

Abstract: Let $J_r$ denote an $r\times r$ matrix over a finite field $F$ with minimal and characteristic polynomials $(t-1)^r$. Suppose $r\leq s$. It is not hard to show that the Jordan canonical form of $J_r\otimes J_s$ is similar to $J_{λ_1}\oplus\cdots\oplus J_{λ_r}$ where $λ_1\geq\cdots\geqλ_r>0$ and $\sum_{i=1}^rλ_i=rs$. The partition $λ(r,s,p):=(λ_1,\dots,λ_r)$ of $rs$, which depends only on $r,s$ and… ▽ More Let $J_r$ denote an $r\times r$ matrix over a finite field $F$ with minimal and characteristic polynomials $(t-1)^r$. Suppose $r\leq s$. It is not hard to show that the Jordan canonical form of $J_r\otimes J_s$ is similar to $J_{λ_1}\oplus\cdots\oplus J_{λ_r}$ where $λ_1\geq\cdots\geqλ_r>0$ and $\sum_{i=1}^rλ_i=rs$. The partition $λ(r,s,p):=(λ_1,\dots,λ_r)$ of $rs$, which depends only on $r,s$ and the characteristic $p$ of $F$, has many applications including to the study of algebraic groups. We prove new periodicity and duality results for $λ(r,s,p)$ that depend on the smallest $p$-power exceeding $r$. This generalizes results of J. A. Green, B. Srinivasan, and others which depend on the smallest $p$-power exceeding the (potentially large) integer $s$. We show that for fixed $r$ we can construct a finite table allowing the computation of $λ(r,s,p)$ for all $s$ with $s\geq r$, and all primes $p$. This generalizes work of K-i. Iima and R. Iwamatsu. △ Less

Submitted 2 October, 2015; v1 submitted 13 January, 2014; originally announced January 2014.

Comments: 17 pages To appear J. Algebra

MSC Class: 15A69; 15A21; 13C05

Journal ref: J. Algebra 450 (2016), 570--587

Enumerating the rationals from left to right

Authors: S. P. Glasby

Abstract: Farey sequences, Stern-Brocot sequences, the Calkin-Wilf sequences are shown to be generated via almost identical second order recurrence relations. These sequences have combinatorial, computational, and geometric applications, and are useful for enumerating the rational numbers. Farey sequences, Stern-Brocot sequences, the Calkin-Wilf sequences are shown to be generated via almost identical second order recurrence relations. These sequences have combinatorial, computational, and geometric applications, and are useful for enumerating the rational numbers. △ Less

Submitted 11 November, 2010; originally announced November 2010.

Comments: 6 pages, 3 figures

MSC Class: 11B57; 11B83; 11B75

Journal ref: Amer. Math. Monthly 118 (2011), 830--835

p-groups having a unique proper non-trivial characteristic subgroup

Authors: S. P. Glasby, P. P. Palfy, Csaba Schneider

Abstract: We consider the structure of finite $p$-groups $G$ having precisely three characteristic subgroups, namely $1$, $Φ(G)$ and $G$. The structure of $G$ varies markedly depending on whether $G$ has exponent $p$ or $p^2$, and, in both cases, the study of such groups raises deep problems in representation theory. We present classification theorems for 3- and 4-generator groups, and we also study the exi… ▽ More We consider the structure of finite $p$-groups $G$ having precisely three characteristic subgroups, namely $1$, $Φ(G)$ and $G$. The structure of $G$ varies markedly depending on whether $G$ has exponent $p$ or $p^2$, and, in both cases, the study of such groups raises deep problems in representation theory. We present classification theorems for 3- and 4-generator groups, and we also study the existence of such $r$-generator groups with exponent $p^2$ for various values of $r$. The automorphism group induced on the Frattini quotient is, in various cases, related to a maximal linear group in Aschbacher's classification scheme. △ Less

Submitted 23 July, 2010; originally announced July 2010.

MSC Class: 20D15; 20C20; 20E15; 20F28

Journal ref: J. Algebra 348 (2011), 85--109

Writing representations over proper sub-division rings

Authors: S. P. Glasby

Abstract: Let E be a division ring and G a finite group of automorphisms of E whose elements are distinct modulo inner automorphisms of E. Given a representation ρ: B-> GL(d,E) of an F-algebra B, we give necessary and sufficient conditions for ρto be {\it writable} over F=E^G, i.e. whether or not there exists a matrix A in GL(d,E) that conjugates ρ(B) into GL(d,F). We give an algorithm for constructing an… ▽ More Let E be a division ring and G a finite group of automorphisms of E whose elements are distinct modulo inner automorphisms of E. Given a representation ρ: B-> GL(d,E) of an F-algebra B, we give necessary and sufficient conditions for ρto be {\it writable} over F=E^G, i.e. whether or not there exists a matrix A in GL(d,E) that conjugates ρ(B) into GL(d,F). We give an algorithm for constructing an A, or proving that no A exists. The case of particular interest to us is when E is a field, and ρis absolutely irreducible. The algorithm relies on an explicit formula for A, and a generalization of Hilbert's Theorem 90 (Theorem~3) that arises in Galois cohomology. The algorithm has applications to the construction of absolutely irreducible group representations (especially for solvable groups), and to the recognition of one of the classes in Aschbacher's matrix group classification scheme. △ Less

Submitted 2 December, 2003; originally announced December 2003.

Comments: 20 pages, 1 figure (LaTeX2e)

MSC Class: 20C40; 20C10

Journal ref: J. Algebra 319 (2008), 77--92

Solvable groups with a given solvable length, and minimal composition length

Authors: S. P. Glasby

Abstract: Let c(d) denote the minimal composition length of all finite solvable groups with solvable (or derived) length d. We prove that c(d) equals 0,1,2,4,5,7,8,13,15 when d=0,1,2,3,4,5,6,7,8. Let c(d) denote the minimal composition length of all finite solvable groups with solvable (or derived) length d. We prove that c(d) equals 0,1,2,4,5,7,8,13,15 when d=0,1,2,3,4,5,6,7,8. △ Less

Submitted 19 September, 2003; originally announced September 2003.

Comments: LaTeX; 13 pages; 0 figures

MSC Class: 20F16; 20F14

Journal ref: J. Group Theory 8 (2005), 339--350