BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Sarah Rees 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
We investigate the solution sets to equations in the solvable Baumslag-Solitar groups $BS(1,k)$, $k\geq2$, and show that these sets are represented by EDT0L languages in some cases. In particular, we prove that the multiplication table of such a group forms an EDT0L language with respect to a specific natural normal form for group elements.
We derive presentations of the interval groups related to all quasi-Coxeter elements in the Coxeter group of type $D_n$. Type $D_n$ is the only infinite family of finite Coxeter groups that admits proper quasi-Coxeter elements. The presentations we obtain are over a set of generators in bijection with what we call a Carter generating set, and the relations are those defined by the related Carter diagram together with a twisted or a cycle commutator relator, depending on whether the quasi-Coxeter element is a Coxeter element or not. The proof is based on the description of two combinatorial techniques related to the intervals of quasi-Coxeter elements. In a subsequent work [4], we complete our analysis to cover all the exceptional cases of finite Coxeter groups, and establish that almost all the interval groups related to proper quasi-Coxeter elements are not isomorphic to the related Artin groups, hence establishing a new family of interval groups with nice presentations. Alongside the proof of the main results, we establish important properties related to the dual approach to Coxeter and Artin groups.
We describe the development of the theory of automatic groups. We begin with a historical introduction, define the concepts of automatic, biautomatic and combable groups, derive basic properties, then explain how hyperbolic groups and the groups of compact 3-manifolds based on six of Thurston's eight geometries can be proved automatic. We describe software developed in Warwick to compute automatic structures, as well as the development of practical algorithms that use those structures. We explain how actions of groups on spaces displaying various notions of negative curvature can be used to prove automaticity or biautomaticity, and show how these results have been used to derive these properties for groups in some infinite families (braid groups, mapping class groups, families of Artin groups, and Coxeter groups). Throughout the text we flag up open problems as well as problems that remained open for some time but have now been resolved.
In this article we construct asynchronous and sometimes synchronous automatic structures for amalgamated products and HNN extensions of groups that are strongly asynchronously (or synchronously) coset automatic with respect to the associated automatic subgroups, subject to further geometric conditions. These results are proved in the general context of fundamental groups of graphs of groups. The hypotheses of our closure results are satisfied in a variety of examples such as Artin groups of sufficiently large type, Coxeter groups, virtually abelian groups, and groups that are hyperbolic relative to virtually abelian subgroups.
We design an algorithm to find certain partial permutation representations of a finitely presented group $G$ (the bricks) that may be combined to a transitive permutation representation of $G$ (the mosaic) on the disjoint union.
A conjecture of Dehornoy claims that, given a presentation of an Artin-Tits group, every word that represents the identity can be transformed into the trivial word using the braid relations, together with certain rules (between pairs of words that are not both positive) that can be derived directly from the braid relations, as well as free reduction, but without introducing trivial factors $ss^{-1} $ or $s^{-1} s$. This conjecture is known to be true for Artin-Tits groups of spherical type or of FC type. We prove the conjecture for Artin--Tits groups of sufficiently large type.
We prove that, for a finitely generated group hyperbolic relative to virtually abelian subgroups, the generalised word problem for a parabolic subgroup is the language of a real-time Turing machine. Then, for a hyperbolic group, we show that the generalised word problem for a quasiconvex subgroup is a real-time language under either of two additional hypotheses on the subgroup. By extending the Muller-Schupp theorem we show that the generalised word problem for a finitely generated subgroup of a finitely generated virtually free group is context-free. Conversely, we prove that a hyperbolic group must be virtually free if it has a torsion-free quasiconvex subgroup of infinite index with context-free generalised word problem.
We prove that the generalised word problem of a finitely generated subgroup of a finitely generated virtually free group is context-free, that a hyperbolic group must be virtually free if it has a torsion-free quasiconvex subgroup of infinite index with context-free generalised word problem, and that, for any hyperbolic group, the generalised word problem of a torsion-free quasiconvex subgroup is recognised by a real-time Turing machine.
We study the regularity of several languages derived from conjugacy classes in a finitely generated group G for a variety of examples including word hyperbolic, virtually abelian, Artin, and Garside groups. We also determine the rationality of the growth series of the shortlex conjugacy language in virtually cyclic groups, proving one direction of a conjecture of Rivin.
We prove that many Artin groups of large type satisfy the rapid decay property, including all those of extra-large type. For many of these, including all 3-generator groups of extra-large type, a result of Lafforgue applies to show that the groups satisfy the Baum-Connes conjecture without coefficients. Our proof of rapid decay combines elementary analysis with combinatorial techniques, and relies on properties of geodesic words in Artin groups of large type that were observed in an earlier publication by two of the authors of this current article.
We describe a constructive, cubic time solution to the conjugacy problem in Artin groups of extra-large type, which was proved solvable in those groups by Appel and Schupp. We use results from two of our previous papers that characterise geodesic words in those groups, as well as the description of conjugacy between elements involving three or more generators that is given by Appel and Schupp.
We prove that graph products of sofic groups are sofic, as are graphs of groups for which vertex groups are sofic and edge groups are amenable.
We prove that a finitely generated group $G$ is virtually free if and only if there exists a generating set for $G$ and $k > 0$ such that all $k$-locally geodesic words with respect to that generating set are geodesic.
We prove three results about the graph product $G=\G(Γ;G_v, v \in V(Γ))$ of groups $G_v$ over a graph $Γ$. The first result generalises a result of Servatius, Droms and Servatius, proved by them for right-angled Artin groups; we prove a necessary and sufficient condition on a finite graph $Γ$ for the kernel of the map from $G$ to the associated direct product to be free (one part of this result already follows from a result in S. Kim's Ph.D. thesis). The second result generalises a result of Hermiller and Sunic, again from right-angled Artin groups; we prove that for a graph $Γ$ with finite chromatic number, $G$ has a series in which every factor is a free product of vertex groups. The third result provides an alternative proof of a theorem due to Meier, which provides necessary and sufficient conditions on a finite graph $Γ$ for $G$ to be hyperbolic.
A regular set of words is ($k$-)locally testable if membership of a word in the set is determined by the nature of its subwords of some bounded length $k$. In this article we study groups for which the set of all geodesic words with respect to some generating set is ($k$-)locally testable, and we call such groups ($k$-)locally testable. We show that a group is \klt{1} if and only if it is free abelian. We show that the class of ($k$-)locally testable groups is closed under taking finite direct products. We show also that a locally testable group has finitely many conjugacy classes of torsion elements. Our work involved computer investigations of specific groups, for which purpose we implemented an algorithm in \GAP\ to compute a finite state automaton with language equal to the set of all geodesics of a group (assuming that this language is regular), starting from a shortlex automatic structure. We provide a brief description of that algorithm.
We prove that the rapid decay property (RD) of groups is preserved by graph products defined on finite simplicial graphs.
In this article we show that every group with a finite presentation satisfying one or both of the small cancellation conditions $C'(1/6)$ and $C'(1/4)-T(4)$ has the property that the set of all geodesics (over the same generating set) is a star-free regular language. Star-free regularity of the geodesic set is shown to be dependent on the generating set chosen, even for free groups. We also show that the class of groups whose geodesic sets are star-free with respect to some generating set is closed under taking graph (and hence free and direct) products, and includes all virtually abelian groups.
We prove that any Artin group of large type is shortlex automatic with respect to its standard generating set, and that the set of all geodesic words over the same generating set satisfies the Falsification by Fellow-Traveller Property (FFTP) and hence is regular.