$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
Другие вопросы по тегам