Доброго времени суток.
Я из интереса занимаюсь созданием программы на Delphi7 для выполнения операций с подстановками и группами подстановок, подобных тем которые есть в мат.пакетах Maple, GAP и т.п.
С подстановками и группами заданными подстановками все получилось, но не могу найти информацию о том, как происходит представление групп, заданных образующими и оределяющими соотношениями.
Также есть проблема с алгоритмом нахождения Силовских подгрупп.
Вот список функций:
-----------------------------------------------------------
mul- произведение нескольких подстановок {Кроме операции произведения можно производить возведение в положительную и отрицательные степени}
gr - вычисление группы порожденной заданными подстановками.
find - пойск подстановоки в группе или множестве.
findord - пойск подстановок данного порядка в группе или множестве.
centralizer - вычисление централизатора подмножества группы.
comutant - вычисление коммутанта группы.
normalizer - вычисление нормализатора подмножества
ismulclosed - определяет замкнутость множества
isabelian - определяет является ли группа абелевой.
issubset - определяет содержит ли множество1 множество2.
issubgroup - определяет является ли группа2 подгруппой группы1, и если да то нормальной или нет.
intersection - пересечение множества1 и множества2.
rightclass - выдает представителей правых смежных классов группы
по подгруппе.
generators - выдает какие-нибудь образующие группы.
conjugclass - выдает представителей классов сопряженных элементов.
conjugorbit - выдает все элементы сопряженные данному.
sylow - вычисление силовской P подгруппы.
-----------------------------------------------------------
Программу(формат rar; ~200KB)можно скачать тут:
http://www.silchenko-evg.narod.ru
Буду рад услышать любые соображения, а также отзывы и пожелания по программе.
Спасибо за внимание. |
» Общий форум