Source author record

Colva M. Roney-Dougal

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GR

Catalog footprint

Research overview

7works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

On relational complexity and base size of finite primitive groups

In this paper we show that if $G$ is a primitive subgroup of $S_{n}$ that is not large base, then any irredundant base for $G$ has size at most $5 \log n$ . This is the first logarithmic bound on the size of an irredundant base for such groups, and is best possible up to a small constant. As a corollary, the relational complexity of $G$ is at most $5 \log n+1$ , and the maximal size of a minimal base and the height are both at most $5 \log n.$ Furthermore, we deduce that a base for $G$ of size at most $5 \log n$ can be computed in polynomial time.

preprint2020arXiv

Maximal Cocliques in the Generating Graphs of the Alternating and Symmetric Groups

The generating graph $Γ(G)$ of a finite group $G$ has vertex set the non-identity elements of $G$ , with two elements connected exactly when they generate $G$ . A coclique in a graph is an empty induced subgraph, so a coclique in $Γ(G)$ is a subset of $G$ such that no pair of elements generate $G$ . A coclique is maximal if it is contained in no larger coclique. It is easy to see that the non-identity elements of a maximal subgroup of $G$ form a coclique in $Γ(G)$ , but this coclique need not be maximal. In this paper we determine when the intransitive maximal subgroups of $\textrm{S}_n$ and $\textrm{A}_n$ are maximal cocliques in the generating graph. In addition, we prove a conjecture of Cameron, Lucchini, and Roney-Dougal [3] in the case of $G = \textrm{A}_n$ and $\textrm{S}_n$ , when n is prime and $n \neq \frac{(q^d -1)}{(q-1)}$ for all prime powers $q$ and $d \geq 2$ . Namely, we show that two elements of $G$ have identical sets of neighbours in $Γ(G)$ if and only if they belong to exactly the same maximal subgroups.

preprint2020arXiv

Polynomial-time proofs that groups are hyperbolic

It is undecidable in general whether a given finitely presented group is word hyperbolic. We use the concept of pregroups, introduced by Stallings, to define a new class of van Kampen diagrams, which represent groups as quotients of virtually free groups. We then present a polynomial-time procedure which analyses these diagrams, and either returns an explicit linear Dehn function for the presentation, or returns fail, together with its reasons for failure. Furthermore, if our procedure succeeds we are often able to produce in polynomial time a word problem solver for the presentation that runs in linear time. Our algorithms have been implemented, and are often many orders of magnitude faster than KBMAG, the only comparable publicly available software.

preprint2020arXiv

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

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.

preprint2015arXiv

A note on the probability of generating alternating or symmetric groups

We improve on recent estimates for the probability of generating the alternating and symmetric groups $\mathrm{Alt}(n)$ and $\mathrm{Sym}(n)$ . In particular we find the sharp lower bound, if the probability is given by a quadratic in $n^{-1}$ . This leads to improved bounds on the largest number $h(\mathrm{Alt}(n))$ such that a direct product of $h(\mathrm{Alt}(n))$ copies of $\mathrm{Alt}(n)$ can be generated by two elements.

preprint2014arXiv

Coprime invariable generation and minimal-exponent groups

A finite group $G$ is \emph{coprimely-invariably generated} if there exists a set of generators $\{g_1, ..., g_u\}$ of $G$ with the property that the orders $|g_1|, ..., |g_u|$ are pairwise coprime and that for all $x_1, ..., x_u \in G$ the set $\{g_1^{x_1}, ..., g_u^{x_u}\}$ generates $G$ . We show that if $G$ is coprimely-invariably generated, then $G$ can be generated with three elements, or two if $G$ is soluble, and that $G$ has zero presentation rank. As a corollary, we show that if $G$ is any finite group such that no proper subgroup has the same exponent as $G$ , then $G$ has zero presentation rank. Furthermore, we show that every finite simple group is coprimely-invariably generated. Along the way, we show that for each finite simple group $S$ , and for each partition $π_1, ..., π_u$ of the primes dividing $|S|$ , the product of the number $k_{π_i}(S)$ of conjugacy classes of $π_i$ -elements satisfies $\prod_{i=1}^u k_{π_i}(S) \leq \frac{|S|}{2| Out S|}.$

preprint2010arXiv

Constructive homomorphisms for classical groups

Let Omega be a quasisimple classical group in its natural representation over a finite vector space V, and let Delta be its normaliser in the general linear group. We construct the projection from Delta to Delta/Omega and provide fast, polynomial-time algorithms for computing the image of an element. Given a discrete logarithm oracle, we also represent Delta/Omega as a group with at most 3 generators and 6 relations. We then compute canonical representatives for the cosets of Omega. A key ingredient of our algorithms is a new, asymptotically fast method for constructing isometries between spaces with forms. Our results are useful for the matrix group recognition project, can be used to solve element conjugacy problems, and can improve algorithms to construct maximal subgroups.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Colva M. Roney-Dougal

Research overview

Is this your work?

7 publications

On relational complexity and base size of finite primitive groups

Maximal Cocliques in the Generating Graphs of the Alternating and Symmetric Groups

Polynomial-time proofs that groups are hyperbolic

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

A note on the probability of generating alternating or symmetric groups

Coprime invariable generation and minimal-exponent groups

Constructive homomorphisms for classical groups

See the researcher in context

Building this map preview