Details:
Title | Computing polycyclic quotients of finitely ($L$-)presented groups via Groebner bases. | Author(s) | Bettina Eick, Max Horn | Type | Book, Chapter in Book, Conference Proceeding | Abstract | We announce the development and implementation of a new GAP package PCQL. This facilitates the computation of consistent polycyclic presentations for polycyclic quotients of groups defined by a so-called finite L-presentation. This type of presentation incorporates all finite presentations as well as certain infinite presentations. The algorithm allows a variety of polycyclic quotients ranging from maximal nilpotent quotients of a given class to the maximal solvable quotients of a given derived length. The algorithm uses Groebner bases over integral group rings of polycyclic groups as main means of its computation. | Keywords | Polycyclic quotient, nilpotent quotient, finitely presented group, L-presented group, Groebner bases | ISBN | 978-3-642-15581-9/pbk |
URL |
http://link.springer.com/chapter/10.1007%2F978-3-642-15582-6_10 |
Language | English | Pages | 50--53 | Publisher | Berlin: Springer | Year | 2010 | Edition | 0 | Translation |
No | Refereed |
No |
|