Professor of Mathematics
Teaching Responsibilities 2020/21:
Term 2: MA467 Presentations of Groups
Group theory, computational algebra
Selected recent publications:
Derek Holt, with B.Eick and E.A. O'Brien. Handbook of Computational Group Theory, CRC Press 2005.
D. Holt and S. Rees. Artin groups of large type are shortlex automatic with regular geodesics, Proc. London Math. Soc. 104 (2012), 486--512.
D. Holt and C. Roney-Dougal. Minimal and random generation of permutation and matrix groups. J. Algebra 387 (2013), 195--214.
J. Cannon and D. Holt. Computing projective indecomposable modules and higher cohomology groups, Experiment. Math. 22 (2013), 51--59.
H. Bäärnhielm, D. Holt, C. Leedham-Green and E. O'Brien. A practical model for computation with matrix groups, J. Symbolic Computation 68 (2015), 27--60.
D. Holt and S. Rees. Shortlex automaticity and geodesic regularity in Artin groups, Groups Complex. Cryptol. 05 (2013), 1--23.
L. Ciobanu, D. Holt and S. Rees. Sofic groups: graph products and graphs of groups, Pacific J. Math. 271, no 1 (2014), 53–-64
M. Brittenham, S. Hermiller and D. Holt. Algorithms and topology of Cayley graphs for groups, J. Algebra 415, no 1 (2014), 112--136.
John Bray, Derek Holt and Colva Roney-Dougal. The Maximal Subgroups of the Low-Dimensional Classical Groups, London Mathematical Society Lecture Notes 407, CUP, 2013.
D. Holt and S. Rees. Conjugacy in Artin groups of extra-large type, J. Algebra 434 (2015), 12--26.
L. Ciobanu, D. Holt and S. Rees. Rapid decay and Baum-Connes for large type Artin groups, Trans. Amer. Math. Soc. 368 (2016), 6103--6129
L. Ciobanu, S. Hermiller, D. Holt and S. Rees. Conjugacy languages in groups, Israel J. Math. 211 (2016), 311--348.
Derek Holt, Sarah Rees and Claas R\"over. Groups, Languages and Automata, London Mathematical Society Student Texts 88, CUP, 2017.
LMS, Visit of Prof S Hermiller (May 2006)
LMS, Visit of Prof E A O'Brien (July 2007)
LMS, Visit of Prof E A O'Brien (September 2011)
For more information and further publications see Derek Holt's homepage