34 citations · 34 across the 5 of their papers we have counts for
5 papers
Rewriting in Artin groups without A_3 or B_3 subdiagrams
Rubén Blasco-García, María Cumplido, Derek F. Holt +2
We prove that the word problem in an Artin group G based on a diagram without A_3 or B_3 subdiagrams can be solved using a system of length preserving rewrite rules which, together…
Groups with ET0L co-word problem
Raad Al Kohli, Derek F. Holt, Sarah Rees
We study groups whose co-word problems are ET0L languages, which we call coET0L groups, using an automaton based model due to van Leeuwen, and recently studied by Bishop and Elder.…
Quotients of permutation groups by nonabelian minimal normal subgroups
Derek Holt
We prove that a quotient G/N of a subgroup G of Sym(n) by a nonabelian minimal normal subgroup N of G embeds into Sym(m) for some . This result was proved previously by Robert…
Minimal sized generating sets of permutation groups
Derek F. Holt, Gareth Tracey
We present a randomised variant of an algorithm of Lucchini and Thakkar for finding a smallest sized generating set in a finite group, which has polynomial time expected running ti…
Artin groups of large type are shortlex automatic with regular geodesics
Derek F Holt, Sarah Rees
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 s…