Derek Holt - Recent Publications and Preprints

This page provides access to .dvi and .ps files for a number of papers by Derek Holt (often as co-author). Each paper is in a separate sub-directory. The list below gives, for each paper, the name of the sub-directory, and bibliographical details. The order is roughly reverse chronological.

capprox
	(with Sarah Rees) Some closure results for ${\mathcal C}$-approximable groups, 15 pages,
to appear in {\it Pacific J. Math.}, 2017,

pcfin
	(with Shavak Sinanan) Algorithms for polycyclic-by-finite groups,
J. Symbolic Computation 79 (2017), 269--284.

conjlang
	(with Laura Ciobanu, Susan Hermiller and Sarah Rees) Conjugacy languages in groups, 
Israel J. Math. 211 (2016), 311--348.

artconj
        (with Sarah Rees) Conjugacy in Artin groups of extra-large type,
J. Algebra 434 (2015), 12--26.

sofic
	(with Laura Ciobanu and Sarah Rees) Sofic groups: graph products and graphs of groups,
Pacific J. Math.  271, no 1 (2014), 53–-64.

artin2
	(with Sarah Rees) Shortlex automaticity and geodesic regularity in Artin groups,
Groups Complex. Cryptol. 05 (2013), 1--23.

autostack
	(with M. Brittenham and S. Hermiller) Algorithms and topology of Cayley graphs for groups.
J. Algebra 415, no 1 (2014), 112--136.

graphprodRD
	(with Laura Ciobanu and Sarah Rees) Rapid decay is preserved by graph products.
J. Topol. Anal. 05 (2013), 225--237.

comptree
	(with H. Bäärnhielm, C.R. Leedham-Green, E.A. O'Brien) A practical model for computation with matrix groups.
J. Symbolic Computation 68 (2015), 27--60.

hypconjlists
	(with D.J. Buckley) The conjugacy problem in hyperbolic groups for finite lists of group elements.
Internat. J. Algebra Comput. 23 (2013), 1127--1150.

lingens
	(with C.M. Roney-Dougal) Minimal and random generation of permutation and matrix groups.
Journal of Algebra  387 (2013), 195--214.

projindec
	(with J.Cannon) Computing projective indecomposable modules and higher cohomology groups.
Experimental Mathematics 22 (2013), 51--59.

solsubs
	(with Tara Brough) Finitely generated soluble groups and their subgroups.
Comm. Algebra. 41 (2013), 1790--1799.

graphprod
	(with Sarah Rees) Generalising some results about right-angled Artin groups to graph products of groups.
J. of Algebra 371 (2012), 94--104.

artin
	(with Sarah Rees) Artin groups of large type are shortlex automatic with regular geodesics.
Proc. London Math. Soc. 104 (2012), 486--512

csconj
	(with C. Röver and Sarah Rees) Groups with context-free conjugacy problems.
Internat. J. Algebra Comput. 21 (2011), 193--216.

fftp
	Garside groups have the falsification by fellow-traveller property,
Groups Geom. Dyn. 4 (2010), 777--784.

coxpres
    (with G. Havas) On Coxeter's families of group presentations,
Journal of Algebra 324 (2010), 1076--1082.

symsubs
    Enumerating subgroups of the symmetric group.
Computational Group Theory and the Theory of Groups, II, edited by L-C Kappe, A. Magidin and R. Morse.
AMS Contemporary Mathematics book series vol 511, pp 33--37.

maxorthoggps
    (with C.M. Roney-Dougal) Constructing maximal subgroups of orthogonal groups (29 pages),
L.M.S. electronic journal of computation and mathematics 13 (2010),  164--191.

psigmau
    (with John N. Bray and Colva M. Roney-Dougal) Certain classical groups are not well-defined
J. Group Theory 12 (2009), 171--180.

growingcwsp
    (with Sarah Rees and Michael Shapiro) Groups that do and do not have growing context-sensitive word problem
Internat. J. Algebra Comput. 18 (2008), 1179--1191.

onecounter
    (with M.D. Owens and R.M. Thomas) Groups and semigroups with a one-counter word problem,
J. Australian Math. Soc. 85 (2008), 197--209.

csmatgp
    (with M.J. Stather) Computing a chief series and the soluble radical of a matrix group over a finite field,
L.M.S. electronic journal of computation and mathematics 11 (2008), 223 -- 251.

trans32
    (with J.Cannon) The transitive groups of degree 32,
Experimental Mathematics 17 (2008), 307--314.

loctest
    (with Susan Hermiller and Sarah Rees) Groups whose geodesics are locally testable,
Internat. J. Algebra Comput. 18 (2008), 911--923.

locexclud
    (With R.H. Gilman, Susan Hermiller and Sarah Rees) A characterization of virtually free groups.
    Arch. Math. 89 (2007), 289--295.

matgps
    (With E.A. O'Brien) A computer assisted analysis of some matrix groups.
    J. Algebra 300 (2006), 199--212.

classes
    (With J. Cannon) Computing conjugacy class representatives in permutation groups.
    J. Algebra 300 (2006), 213--222.

starfree
    (With Susan Hermiller and Sarah Rees) Star-free geodesic languages for groups (19 pages).
Internat. J. Algebra Comput. 17 (2007),
329--345.

coindex
    (With C. Röver) Groups with indexed co-word problem.
    Internat. J. Algebra Comput. 16 (2006), 985--1014.

maxclassgps
    (With Colva M. Roney-Dougal) Constructing maximal subgroups of classical groups.
    LMS J. Comput. Math. 8 (2005) 46--79.
    http://www.lms.ac.uk/jcm/8/lms2004-008

lowindex
    (With J. Cannon, M. Slattery, A.K. Steel) Computing subgroups of low index in a finite group.
    J. Symbolic Computation 40 (2005), 1013--1022.

hypconj
    (With D.B.A. Epstein) The linearity of the conjugacy problem in word hyperbolic groups.
    Internat. J. Algebra Comput. 16 (2006), 287--305.

cocofree
    (With C. Röver, S. Rees and R. Thomas) Groups with context-free co-word problem.
    J. London Math. Soc. 71 (2005), 643--657.

maxsub
    (With J. Cannon) Computing maximal subgroups of finite groups.
    J. Symbolic Computation 37, 589-609 (2004).

nilpdehn
    (With S. Gersten and T. Riley) Isometric inequalities for nilpotent groups.
    Geometric And Functional Analysis} 13, 795-814 (2003).

realtimewp3
    (With C. Röver) On real-time word problems.
    J. London Math. Soc. 67, 289-301 (2003).

permquot2
    (With J. Walton) Representing the quotient groups of a finite permutation group.
    J. Algebra 248, 307-333 (2002).

metab
    (With G. Baumslag, M.R. Bridson & C.F. Miller III) Fibre products of metabelian groups.
    J. Pure Appl. Algebra  181, 15-22  (2003).

autgp
    (With J. Cannon) Automorphism group computation and isomorphism testing in finite groups.
    J. Symbolic Computation 35, 241-267 (2003).

quasigeodesics
    (With S. Rees) Regularity of quasigeodesics in a hyperbolic group.
    Internat. J. Algebra Comput. 13, 585-596 (2004).

cycpresinf
    (With G. Havas & M.F. Newman) Certain cyclically presented groups are infinite.
    Comm. Alg. 29, 5175-5178 (2001).

realtimewp2
    (With S. Rees) Solving the word problem in real time,
    J. London Math. Soc. 63, 623-639 (2001).

autgp_ohio99
    Computing automorphism groups of finite groups
    In Proceedings of Conference ``Groups and Computation III'',
    W. M. Kantor & A.Seress (eds.),
    de Gruyter 2001, 201-208.

KBCE
    (With G. Havas, P.E. Kenne & S. Rees) Some challenging group presentations (7 pages),
    J. Australian Math. Soc. 67, 206-213, (1999).

hyperbolic_ed98
    (With D.B.A. Epstein) Efficient computation in word-hyperbolic groups.
    In ``Computational and Geometric Aspects of Modern Algebra'',
    M. Atkinson, N. Gilbert, J. Howie, S. Linton \& E. Robertson (eds.),
    CUP 2000, 66-77.

realtimewp
    Word-hyperbolic groups have real-time word problem.
    Internat. J. Algebra Comput. 10, 221-227 (2000).

combings
    (With R.H. Gilman & S. Rees) Combing nilpotent and polycyclic groups.
    Internat. J. Algebra Comput. 9, 135-155 (1999).

subgps
    (With B. Cox & J. Cannon) Computing the subgroup lattice of a permutation group.
    J. Symbolic Computation 31, 149-161 (2001).

quotpic2
    (With S. Rees) Computing with abelian sections of finitely presented groups.
    J. Algebra 214, 714-728 (1999).

essen_97
    Decision problems in finitely presented groups.
    Proceedings of the EUROCONFERENCE `Computational
    Methods for Representations of Groups and Algebras', Essen, April 1997.
    Published by Birkhauser Verlag (1999), 259-265.

epstein_97
    Automatic groups, subgroups and cosets.
    In "The Epstein Birthday Schrift",
    I. Rivin, C. Rourke and C. Series (eds.),
    Geometry and Topology Monographs, Volume 1, 249-260 (1998).

autcos
    (With D.F. Hurt) Computing automatic coset systems and subgroup presentations.
    J. Symbolic Computation 27, 1-19 (1999).

permquot
    Representing quotients of permutation groups,
    Quar. J. Maths (Oxford) 48, 347-350 (1997).

bham_95
    The Meataxe as a tool in computational group theory.
    In "The Atlas ten years on: Proceedings",  R. Curtis & R. Wilson (eds.),
    CUP 74-81 (1998).

primitive
    (With C.R. Leedham-Green, E.O'Brien & S.Rees) Testing matrix groups for imprimitivity.
    J. Algebra 184, 795-817 (1996).

smash
    (With C.R. Leedham-Green, E.O'Brien & S.Rees) Computing matrix group decompositions with respect to a normal subgroup.
    J. Algebra 184, 818-838 (1996).

meataxe
    (With S. Rees.) Testing modules for irreducibility.
    J. Australian Math. Soc. 57 (1994), 1-16.
    J. Algebra 184, 795-817 (1996).

aut_soft
    The Warwick Automatic groups software.
    In: "Geometric and Computational Perspectives on Infinite Groups",
    Gilbert Baumslag, David Epstein, Robert Gilman, Hamish Short,
    Charles Sims (eds.), DIMACS Series in
    Discrete Mathematics and Theoretical Computer Science 25, AMS 1995, 69-82.

p_adic
    (With W. Plesken & B. Souvignier) Constructing a representation of the group (2,3,7;11).
    J. Symbolic Computation 24, 1997, 489-492.
    (Two related papers by Plesken and Souvignier are also there.)

f29
    An alternative proof that the Fibonacci group F(2,9) is infinite.
    Experimental Mathematics 4, 1995, 97-100.

sylowprod
    (With P. Rowley) On products of Sylow subgroups in finite groups.
    Arch. Math. 60 (1993), 105-107.

bad_Zmod
    (With G. Havas & S. Rees) Recognizing badly presented Z-modules.
    Linear Algebra and its Applications 192 (1993), 137-163.

quotpic
    (With S. Rees) A graphics system for displaying finite quotients of finitely presented groups.
    in: "Groups and Computation", Larry Finkelstein and
    William M. Kantor (eds.), DIMACS Series in Discrete Mathematics
    and Theoretical Computer Science 11, AMS 1993, 113-126.

software
    (With S. Rees) Software for automatic groups, isomorphism testing and finitely presented groups.
    in: "Geometric Group Theory, Vol. 1", G.A. Niblo &
    M.A. Roller (eds.), CUP 1993, 120-125.

coclass
    (With W. Plesken) The p-coclass of a group.
    J. Algebra 162 (1993), 335-342.

SLIdentify
    (With S. Rees) An implementation of the Neumann-Praeger algorithm for the recognition of special linear groups.
    Experimental Mathematics, 1 (1992), 237-242.

isomtest
    (With S. Rees) Testing for isomorphism between finitely presented groups.  In "Groups, Combinatorics and Geometry",
    ed. M.W. Liebeck & J. Saxl, CUP 1992, 459-475

coho_crit
    (With W. Plesken) A cohomological criterion for a finitely presented group to be infinite.
    J. Lon. Math. Soc.  45 (1992), 469-480.