| 9:37p |
Абелевость подгруппы конечно представленной группы
Имеется конечно представленная группа G (исходно - фундаментальная группа конечного CW-комплекса), и в ней конечно порожденная подгруппа H. Существует ли алгоритм, позволяющий установить абелевость/неабелевость H?
Пытался спрашивать GAP для конкретно интересующего примера, тот исчерпывает ресурсы и отваливается (но я не очень умею им пользоваться). |