BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
S. P. Glasby appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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$.
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)$.
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.
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.
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$.
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.)
We explore when it is legal to differentiate a polynomial evaluated at a root of unity using modular arithmetic.
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.
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.
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.
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).
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$.
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.
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.
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.
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.
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.
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)$.
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})$.
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.
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.
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.
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 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.