4 papers
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…
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…