Use this URL to cite or link to this record in EThOS:
Title: Applications of Lie methods to computations with polycyclic groups
Author: Assmann, Björn
ISNI:       0000 0004 2716 323X
Awarding Body: University of St Andrews
Current Institution: University of St Andrews
Date of Award: 2007
Availability of Full Text:
Access from EThOS:
Access from Institution:
In this thesis we demonstrate the algorithmic usefulness of the so-called Mal'cev correspondence for computations with infinite polycyclic groups. This correspondence between Q-powered nilpotent groups and rational nilpotent Lie algebras was discovered by Anatoly Mal'cev in 1951. We show how the Mal'cev correspondence can be realized on a computer. We explore two possibilities for this purpose and compare them: the first one uses matrix embeddings and the second the Baker-Campbell-Hausdorff formula. Then, we describe a new collection algorithm for polycyclically presented groups, which we call Mal'cev collection. Algorithms for collection lie at the heart of most methods dealing with polycyclically presented groups. The current state of the art is "collection from the left" as recently studied by Gebhardt, Leedham-Green/Soicher and Vaughan-Lee. Mal'cev collection is in some cases dramatically faster than collection from the left, while using less memory. Further, we explore how the Mal'cev correspondence can be used to describe symbolically the collection process in polycyclically presented groups. In particular, we describe an algorithm that computes the collection functions for splittable polycyclic groups. This algorithm is based on work by du Sautoy. We apply it to the computation of pro-p-completions of polycyclic groups. Finally we describe a practical algorithm for testing polycyclicity of finitely generated rational matrix groups. Previously, not only did no such method exist but it was not clear whether this question was decidable at all. Most of the methods described in this thesis are implemented in the computer algebra system GAP and publicly available as part of the GAP packages Guarana and Polenta. Reports on the implementation including runtimes for some examples are given at the appropriate places.
Supervisor: Linton, Stephen Sponsor: Daimler Benz Stiftung ; Engineering and Physical Sciences Research Council
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: Collection ; Polycyclic groups ; Mal'cev correspondence ; Polycyclically presented groups