MW> Ja, aber in der Regel ist es doch so, dass man irgendeine
MW> Praesentation einer (aufloesbaren) Gruppe hat. Bei groesseren
MW> Gruppen kann es ziemlich muehsam sein, sie von Hand in eine
MW> Potenz/Kommutator oder Potenz/Konjugierten Praesentation
MW> umzurechnen. Wird es Routinen fuer diese Aufgabe geben ?

Es wird in absehbarer Zeit Routinen geben, um eine (aufl"osbare)
Permutationsgruppe in eine Ag-Gruppe umzuwandeln. Wenn man mit dem TC
eine (treue) Permutationsdarstellung f"ur die endlich pr"asentierte
Gruppe findet, kann man diese Routine anwenden. Allgemeine Routinen
(ausser den PQ f"ur p-Gruppen) f"ur endlich pr"asentierte Gruppen wird
es nicht geben.

mfg Frank Celler