BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Colva M. Roney-Dougal

Colva M. Roney-Dougal appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.GR

Catalog footprint

What is connected

7works
1topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

7 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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|}.$

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access