Группы

Добавлено: Вс Окт 21, 2007 12:24 pm

Всем доброго времени суток.

Я пытаюсь воспроизвести алгоритмы функций для работы с группами известных мат. пакетов Maple, GAP.
Для функций с перестановками и группами перестановок уже что-то получилось, но не могу понять как можно представить группу заданную образующими и определяющими соотношениями, в виде группы перестановок или группы заданной таблицей Кэли?

Например, группа S3={a,b|aaa=bb=abab=1} может быть представлена, как группа порожденная перестановками A=(1,2,3) B=(1,2)
Но каков алгоритм получения этого передставления?

PS: Кому интересно могу дать ссылку на мою программу.