an:01136612
Zbl 0930.20037
Lo, Eddie H.
A polycyclic quotient algorithm
EN
J. Symb. Comput. 25, No. 1, 61-97 (1998).
0747-7171
1998
j
20F14 20-04 20F05 20C07 68W30
algorithms; polycyclic quotients; finite presentations; Gröbner bases; integral group rings; polycyclic groups
An algorithm to compute polycyclic quotients of a group given by a finite presentation is discussed. The algorithm is based on a generalization of the Gröbner basis method to the integral group ring of a polycyclic group. Most of this material can be found in the author's thesis (Rutgers Univ., 1996). A simplified version of this paper is also available [in DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 28, 159-167 (1997; Zbl 0874.20020)].
0874.20020