|
Какие выводы можно сделать о возможных индексах подгрупп группы, если известно что эта группа простая и неразрешимая? задан 18 Фев 2:26 
Ekleptik
показано 5 из 9
показать еще 4
|
Здравствуйте
Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
18 Фев 2:26
показан
67 раз
обновлен
20 Фев 22:45
Связанные вопросы
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Если в конечной группе есть подгруппа H индекса n > 1, то есть нормальная подгруппа N индекса <=n!, содержащаяся в H. Если при этом G проста, то N не может быть единичной. Отсюда вытекает ограничение на индексы. Скажем, в A5 нет подгрупп индекса n=2, 3, 4 ввиду того, что порядок A5 строго больше n!.
@falcao: А если, например, G бесконечна?
@Ekleptik: тогда подгрупп конечного индекса в простой группе быть не может по той же причине (нормальная подгруппа N конечного индекса <=n! будет бесконечной, а потому неединичной).
@falcao: напомните, пожалуйста, как устроена эта подгруппа N?
@Ekleptik: рассмотрим правые смежные классы по H. Группа G действует на их множестве умножениями справа, и как-то их переставляет, что даёт гомоморфизм в группу подстановок S_n. Его ядро -- это и есть N. Она нормальна в G, имеет индекс <=n!, и содержится в H. Это стандартная конструкция, которая здесь стоит как бы "за кадром".
@falcao: извините, почему N содержится в H?
@Ekleptik: элементы из N индуцируют тождественную подстановку. Каждый смежный класс остаётся на месте. В частности, это касается H, откуда Hg=H. Значит, элемент g из ядра принадлежит H. (Здесь можно было самому восстановить рассуждение -- это "одноходовка".)
@falcao: Да, точно) ещё вопрос: "N конечного индекса <=n! будет бесконечной, а потому неединичной" - почему бесконечной? Нельзя тут сказать просто, что гомоморфизм в группу подстановок - конечную - явно не инъективен в силу бесконечности G?
@Ekleptik: если группа бесконечна, то любая её подгруппа конечного индекса бесконечна. Это совсем простой факт: мощность G равна произведению мощностей H и G:H. Конечно, из рассмотрения гомоморфизма следует, что N неединична, но её бесконечность -- факт более сильный (и очевидный).