Изучение элементов современной алгебры, на примере подгрупп симметрических групп, на факультативных занятиях по математике - (диплом)
p>познакомить учащихся с понятием подгруппы, рассмотреть критерий подгрупп, теорему о подгруппах для конечных групп, разобрать примеры различных подгрупп; продолжить развитие абстрактного мышления учащихся;формировать у учащихся внимание, наблюдательность.
Ход занятия.
На предыдущих занятиях вы познакомились с понятием группы, а понятие группы тесно связано с таким понятием, как“подгруппа”. Подгруппы играют особую роль в развитии и применении теории групп. Поэтому сегодня на занятии вы познакомитесь с понятием“подгруппа”.
Для начала, давайте рассмотрим с вами множество целых чисел. Из предыдущих занятий вам известно, что множество целых чисел образует группу по сложению. Выделим во множестве целых чисел два подмножества: подмножество четных целых чисел и подмножество нечетных целых чисел. Теперь попробуем выяснить, являются ли выбранные нами подмножества группами по сложению. Для этого надо проверить выполнимость всех аксиом группы (ассоциативность операции, существование нейтрального и обратного элементов, наличие бинарной операции). Сначала рассмотрим подмножество четных целых чисел. Сложение является бинарной операцией на подмножестве четных чисел, так как если сложить два четных числа, то в результате снова получится четное число. Сложение ассоциативно, нейтральным элементом является нуль, у каждого элемента есть обратный (так как число, обратное четному числу, также четно). Значит, подмножество четных целых чисел является группой по сложению.
Теперь рассмотрим подмножество нечетных целых чисел. Сложение не является бинарной операцией на подмножестве нечетных чисел, так как если сложить два нечетных числа, то в результате не всегда получится нечетное число. Например, числа 3 и 5 являются нечетными, а их сумма является четным числом. Следовательно, данное подмножество не является группой.
Таким образом, в том случае, когда для подмножества данного множества, являющегося группой, выполняются все аксиомы группы, то говорят, что это подмножество называется подгруппой данной группы.
Запишем определение: подмножество группы называется подгруппой этой группы, если оно само является группой относительно операции, переделенной в группе.
Следовательно, из рассмотренного нами примера следует, что подмножество четных чисел является подгруппой группы целых чисел относительно сложения. А подмножество нечетных чисел не является подгруппой группы целых чисел относительно сложения.
Но для того, чтобы каждый раз при нахождении подгруппы не проверять все аксиомы группы, принято пользоваться следующим критерием подгруппы. Теорема: для того, чтобы непустое подмножество Н группы было подгруппой, необходимо и достаточно выполнение следующих двух условий:
множество замкнуто относительно операции, определенной в группе, то есть для любых элементов h1, h2 и ;
множество содержит вместе с каждым своим элементом и обратный к нему элемент, то есть для любого элемента и .
Данная теорема справедлива для бесконечных групп. В случае конечных групп проверка 2) условия является излишней, то есть для конечных групп справедлива следующая теорема о подгруппах.
Теорема: пусть - группа, Н – конечное пустое подмножество G, замкнутое относительно операции “*”, тогда Н является подгруппой группы G. Следует также отметить, что каждая группа имеет две особые подгруппы: все группы содержат в качестве подгруппы множество, состоящее только из одного нейтрального элемента;
любая группа содержит себя в качестве подгруппы.
Обычно нас будут интересовать подгруппы, отличные от этих особых подгрупп. Такие подгруппы называются собственными, а две особые группы– несобственными. Давайте выполним следующее задание:
I. Дана группа действительных чисел, отличных от нуля относительно умножения, то есть . Требуется проверить, являются ли подгруппами этой группы следующие множества:
множество положительных действительных чисел;
множество рациональных чисел, отличных от нуля.
Первый пункт данного задания давайте рассмотрим вместе, а второй пункт вы попробуете решить самостоятельно.
Так как группа действительных чисел, отличных от нуля относительно умножения является бесконечной группой, то для отыскания подгрупп этой группы будем пользоваться критерием подгрупп. Нам надо проверить выполнимость двух условий критерия. Первое условие выполняется, так как произведение двух положительных действительных чисел положительно и действительно (например, ). Второе условие критерия также выполняется, так как число, обратное положительному, также положительно. Следовательно, является подгруппой группы . Попробуйте теперь сами привести примеры подгрупп (учащиеся приводят различные примеры подгрупп).
Далее выполним следующие задания:
II. Покажите, что множество всех чисел, кратных 5, образует подгруппу группы целых чисел по сложению.
III. Является ли множество, состоящее из чисел 1 и –1 подгруппой группы . В качестве домашнего задания запишите следующие упражнения: I. Поверьте, является ли множество целых чисел подгруппой группы . II. Является ли множество целых чисел подгруппой группы . Занятие 2.
Тема: “Подгруппы симметрических групп”.
Цели:
познакомить учащихся с теоремой Лагранжа и с теоремой Силова, с методом нахождения подгрупп симметрических групп;
продолжить развитие абстрактного мышления школьников;
способствовать воспитанию у учащихся наблюдательности.
Ход занятия.
Вы уже знакомы с симметрической группой Sn. Внутреннюю структуру симметрической группы Snможно описать с помощью ее подгрупп. Изучение внутренней структуры симметрической группы позволяет установить ее многие свойства. Поэтому сегодня на занятии мы с вами будем рассматривать подгруппы некоторых симметрических групп, познакомимся с методом отыскания подгрупп.
Для начала следует отметить то, что симметрическая группа Snимеет много разных подгрупп, причем их число очень быстро возрастает с увеличением числа n. Полностью описать все подгруппы группы Snудается лишь для небольших n, а для больших n изучаются общие свойства таких подгрупп.
Нам известно, что симметрическая группа Sn конечна. Поэтому для того, чтобы подмножество Н группы Sn являлось подгруппой группы Sn, достаточно чтобы произведение каждых двух элементов из Н также принадлежало Н.
Рассмотрим следующий пример: пусть Н – множество перестановок . Проверим, является ли Н подгруппой группы S4.
Проверим, выполняется ли для данного множества условие теоремы о подгруппах для конечных групп (замкнутость множества относительно операции умножения). Оказывается, что данное условие не выполняется, так как.
Следовательно, множество Н не является подгруппой группы 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 перестановок. Если Н – такая подгруппа, то в нее входит элемент Е и еще какой-то другой элемент , то есть . Так как элемент обратный к не может совпадать с Е, то . Последнее равенство можно записать так: , то есть Е=. Следовательно, - перестановка второго порядка. Подгруппы легко находить с помощью таблицы Кэли. Из таблицы умножения группы S3 (Приложение 1) видно, что подгруппами группы S3 будут следующие подмножества: 1)
2)
3)
Это следует из того, что , , .
Опишем теперь подгруппы, состоящие из 3 перестановки. Если G – такая подгруппа, то в нее входит элемент Е и два различных элемента и , то есть . Перестановки и должны иметь порядок 3, так как если одна из них, например , имеет порядок 2, то перестановка также будет иметь порядок 2. но легко проверить, что произведением любых двух перестановок второго порядка является перестановка третьего порядка. Это видно из таблицы умножения группы S3 (Приложение 1). Так как, например, . Следовательно, перестановки и должны иметь порядок 3, то есть , . Из таблицы Кэли видно, что , так как и . Кроме того из таблицы следует, что произведение каждых элементов множества G является элементом из G, то есть выполняется условие теоремы о подгруппах для конечных групп. Значит, множество G группы S3 является подгруппой симметрической группы S3. Таким образом, мы получили, что группа S3 имеет 6 различных подгрупп: 1)
2)
3)
4)
5)
6)
Страницы: 1, 2, 3, 4, 5, 6, 7, 8, 9
