Предыдущая страница реферата | 11  12  13  14  15  16  17  18  19  20  21 | Следующая страница реферата

Проверим, выполняется ли для данного множества условие теоремы о подгруппах для конечных групп (замкнутость множества относительно операции умножения). Оказывается, что данное условие не выполняется, так как [pic].

Следовательно, множество Н не является подгруппой группы S4.

Для нахождения подгрупп некоторой группы удобно пользоваться теоремой
Лагранжа, которая устанавливает связь между порядками групп и подгрупп.

Теорема Лагранжа: если Н – подгруппа группы G, то ее порядок является делителем порядка G.

Теорема Лагранжа позволяет существенно упростить решение задач, связанных с описанием всех подгрупп некоторой группы.

Рассмотрим, например, симметрическую группу S3, порядок этой группы равен 3!=6. По теореме Лагранжа мы можем утверждать, что подгруппы из S3 могут состоять из 2 или 3 перестановок, так как 2 и 3 являются делителями числа 6. Поэтому нам не нужно проверять являются ли подгруппами группы S3 подмножества, состоящие из 4 или 5 перестановок.

Даже на одном этом примере видно, насколько существенным может быть применение теоремы Лагранжа.

Следует отметить, что утверждение, обратное к теореме Лагранжа не верно. Например, знакомая вам знакопеременная группа А4 имеет порядок 12, но в ней нет подгрупп порядка 6.

Кроме того, в теории групп существует теорема Силова, которая также облегчает процесс нахождения подгрупп некоторой группы.

Теорема Силова: пусть G – группа порядка g и h - делитель числа g; если h=pn, где р – простое число, а n – положительное целое число, то группа G содержит подгруппу порядка h.

Рассмотрим, например, знакопеременную группу A4, порядок этой группы равен 12. По теореме Силова мы можем точно утверждать, что группа А4 содержит подгруппы порядка 2, 3 и 4, так как 2=21, 3=31, 4=22.

Теорема Лагранжа и теорема Силова играют важную роль в теории групп.
Данные теоремы позволяют существенно упростить решение задачи описания всех подгрупп симметрической группы Sn.

Сейчас я познакомлю вас с методом нахождения подгрупп симметрических групп. Для этого рассмотрим следующую задачу.

Задачи: опишите все подгруппы симметрической группы S3.

Мы знаем, что порядок группы S3 равен 6. Из теоремы Лагранжа следует, что подгруппы из S3 могут состоять из 2 или 3 перестановок, а по теореме
Силова такие подгруппы точно существуют.

Опишем сначала подгруппы, которые состоят из 2 перестановок. Если Н – такая подгруппа, то в нее входит элемент Е и еще какой-то другой элемент
[pic], то есть [pic].

Так как элемент обратный к [pic] не может совпадать с Е, то [pic].
Последнее равенство можно записать так: [pic], то есть Е=[pic].
Следовательно, [pic] - перестановка второго порядка.

Подгруппы легко находить с помощью таблицы Кэли. Из таблицы умножения группы S3 (Приложение 1) видно, что подгруппами группы S3 будут следующие подмножества:

1) [pic]

2) [pic]

3) [pic]

Это следует из того, что [pic], [pic], [pic].

Опишем теперь подгруппы, состоящие из 3 перестановки. Если G – такая подгруппа, то в нее входит элемент Е и два различных элемента [pic] и
[pic], то есть [pic].

Перестановки [pic] и [pic] должны иметь порядок 3, так как если одна из них, например [pic], имеет порядок 2, то перестановка [pic] также будет иметь порядок 2. но легко проверить, что произведением любых двух перестановок второго порядка является перестановка третьего порядка. Это видно из таблицы умножения группы S3 (Приложение 1). Так как, например,
[pic]. Следовательно, перестановки [pic] и [pic] должны иметь порядок 3, то есть [pic], [pic].

Из таблицы Кэли видно, что [pic], так как [pic] и [pic]. Кроме того из таблицы следует, что произведение каждых элементов множества G является элементом из G, то есть выполняется условие теоремы о подгруппах для конечных групп. Значит, множество G группы S3 является подгруппой симметрической группы S3.

Рекомендуем скачать другие рефераты по теме: деловое общение реферат, решебник 9 класс.



Предыдущая страница реферата | 11  12  13  14  15  16  17  18  19  20  21 | Следующая страница реферата

Поделитесь этой записью или добавьте в закладки