Polycyclic : a GAP 4 package - References

[BCRS91]

G. Baumslag, F.B. Cannonito, D.J.S. Robinson, and D. Segal.
The algorithmic theory of polycyclic-by-finite groups.
J. Alg., 142:118 -- 149, 1991.

[B-K00]

James R. Beuerle and Luise-Charlotte Kappe.
Infinite metacyclic groups and their non-abelian tensor squares.
Proc. Edinburgh Math. Soc. (2), 43(3):651--662, 2000.

[dGN02]

Willem A. de Graaf and Werner Nickel.
Constructing faithful representations of finitely-generated torsion-free nilpotent groups.
J. Symbolic Comput., 33(1):31--41, 2002.

[Eic00]

Bettina Eick.
Computing with infinite polycyclic groups.
In Groups and Computation III, Amer. Math. Soc. DIMACS Series. (DIMACS, 1999), 2000.

[Eic01b]

Bettina Eick.
Computations with polycyclic groups.
Habilitationsschrift, Kassel, 2001.

[Eic01]

Bettina Eick.
On the Fitting subgroup of a polycyclic-by-finite group and its applications.
J. Alg., 242:176 -- 187, 2001.

[Eic02]

Bettina Eick.
Orbit-stabilizer problems and computing normalizers for polycyclic groups.
J. Symb. Comp., 34:1 -- 19, 2002.

[EickNickel07]

Bettina Eick and Werner Nickel.
Computing the schur multiplicator and the non-abelian tensor square of a polycyclic group.
submitted, 2007.

[EOs01]

Bettina Eick and Gretchen Ostheimer.
On the orbit stabilizer problem for integral matrix actions of polycyclic groups.
Accepted by Math. Comp, 2002.

[Hir38b]

K.A. Hirsch.
On infinite soluble groups (I).
Proc. London Math. Soc., 44(2):53--60, 1938.

[Hir38a]

K.A. Hirsch.
On infinite soluble groups (II).
Proc. London Math. Soc., 44(2):336--414, 1938.

[Hir46]

K.A. Hirsch.
On infinite soluble groups (III).
J. London Math. Soc., 49(2):184--94, 1946.

[Hir52]

K.A. Hirsch.
On infinite soluble groups (IV).
J. London Math. Soc., 27:81--85, 1952.

[Hir54]

K.A. Hirsch.
On infinite soluble groups (V).
J. London Math. Soc., 29:250--251, 1954.

[LGS90]

C. R. Leedham-Green and L. H. Soicher.
Collection from the left and other strategies.
J. Symbolic Comput., 9(5-6):665--675, 1990.

[LGS98]

C. R. Leedham-Green and Leonard H. Soicher.
Symbolic collection using Deep Thought.
LMS J. Comput. Math., 1:9--24 (electronic), 1998.

[Lo98]

E. H. Lo.
Finding intersection and normalizer in finitely generated nilpotent groups.
J. Symbol. Comput., 25:45 -- 59, 1998.

[Lo99]

Eddie H. Lo.
Enumerating finite index subgroups of polycyclic groups.
Unpublished report, 1998.

[WWM97]

Wolfgang W. Merkwitz.
Symbolische Multiplikation in nilpotenten Gruppen mit Deep Thought.
Diplomarbeit, RWTH Aachen, 1997.

[Rob82]

D.J. Robinson.
A Course in the Theory of Groups, volume 80 of Graduate Texts in Math.
Springer-Verlag, New York, Heidelberg, Berlin, 1982.

[Seg83]

D. Segal.
Polycyclic Groups.
Cambridge University Press, Cambridge, 1983.

[Seg90]

D. Segal.
Decidable properties of polycyclic groups.
Proc. London Math. Soc. (3), 61:497--528, 1990.

[Sims94]

Charles C. Sims.
Computation with finitely presented groups, volume 48 of Encyclopedia of Mathematics and its Applications.
Cambridge University Press, Cambridge, 1994.

[MVL90]

M. R. Vaughan-Lee.
Collection from the left.
J. Symbolic Comput., 9(5-6):725--733, 1990.

[Up]