$S_{10}$, симметрическая группа и GAP
Здесь вопрос. Как видите, проблема установлена при поиске элемента определенного порядка в $S_{10}$. Я пытался сделать этот вопрос с помощью GAP. Но GAP не может обработать симметричную группу $S_{10}$. Что мы можем сделать в этой ситуации? Есть ли способ определения этой большой конечной группы для GAP? Спасибо за ваше время.
1 ответ
Решение
Мне было бы очень интересно посмотреть, что ты попробовал. Во всяком случае, и в частности, для симметричной группы, где классы сопряженности хорошо известны, вы можете легко проверить порядки их представителей:
gap> 15 in List(ConjugacyClasses(SymmetricGroup(10)),c->Order(Representative(c)));
true
Более того, вы можете использовать библиотеку таблиц символов, даже не создавая саму группу:
gap> 15 in OrdersClassRepresentatives(CharacterTable("S10"));
true