Björn Assmann, Bettina Eick
We describe practical algorithms for computing a polycyclic presentation and for facilitating a membership test for a polycyclic subgroup of . A variation of this method can be used to check whether a finitely generated subgroup of is solvable or solvable-by-finite. We report on our implementations of the algorithms for determining a polycyclic presentation and checking solvability.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados