Mathematica 9 is now available

Wolfram Library Archive


Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings
Title

Finding Intersection and Normalizers in Finitely Generated Nilpotent Groups
Author

E. Lo
Journal / Anthology

Journal of Symbolic Computation
Year: 1998
Volume: 25
Issue: 1
Page range: 45-59
Description

We consider algorithms for computing intersections and normalizers of subgroups in finitely generated nilpotent groups. In Glasby (1988a, b) and Glasby and Slattery (1990), algorithms for computing intersections and normalizers in finite solvable groups from AG-systems (see Laue et al, 1984) are described. In Baumslag et al. (1991), algorithms to find intersections and normalizers of subgroups in polycyclic-by-finite groups were described. However, the algorithms there are not practical for computer implementation. In this article, practical algorithms to compute intersections and normalizers of subgroups in finitely generated nilpotent groups from nilpotent presentations are developed. These ideas are extended to give practical algorithms to determine membership in products of subgroups and to determine conjugacy of subgroups. A test for nilpotency is also descried for polycyclic groups. A prototype Mathematica program has been written to test the efficency of some of the algorithms described here. The results are tabulated in the last section.
Subject

*Mathematics > Algebra > Group Theory