Реферат Курсовая Конспект
Основы теории групп - раздел Образование, Основы Теории Групп ...
|
Основы теории групп
Классы смежности.
Определение. Множество , где - подгруппа группы , - некоторый элемент из , называется левым классом смежности группы по подгруппе .
Между элементами подгруппы и элементами левого класса смежности имеется взаимно однозначное соответствие: , . Если подгруппа конечна, то число элементов в каждом левом классе смежности равно порядку .
Теорема 1. Два левых класса смежности группы по подгруппе либо совпадают, либо не имеют общих элементов.
Доказательство. Сначала докажем, что если два левых класса смежности имеют общий элемент, то они совпадают. Пусть и . Рассмотрим класс смежности . Так как , то при некотором выполняется равенство и . Но , поэтому . Следовательно, . Аналогично , так что . Теорема доказана.
При доказательстве этой теоремы выяснилось, что при любом , т. е. в качестве элемента, порождающего как правый множитель класс смежности, можно взять любой элемент из этого класса.
Определение. Дизъюнктивным объединением называется объединение множеств, попарно не имеющих общих элементов.
Теорема 2. Группа является дизъюнктивным объединением классов смежности по подгруппе.
Доказательство. Любой элемент группы принадлежит некоторому классу смежности, именно , а различные классы не имеют общих элементов. Теорема доказана.
Определение. Разбиение группы на левые классы смежности, не имеющие общих элементов, называется разложением группы по подгруппе.
Если число левых классов смежности в разложении группы по подгруппе конечно, то это число называется индексом подгруппы в группе и обозначается . Очевидно, что если группа конечна, то индекс любой ее подгруппы конечен.
Теорема 3. Пусть , причем и - подгруппы в . Если в имеет конечный индекс и в имеет конечный индекс, то в имеет конечный индекс и .
Доказательство. Пусть индекс подгруппы в группе равен , т. е. разложение по имеет вид: , и , . Тогда . Нужно показать, что классы смежности попарно не имеют общих элементов. Если и содержат общий элемент, то и , потому что и содержатся в . Следовательно, . Но в этом случае =, что возможно только при . Итак, есть дизъюнктивное объединение классов смежности . Их число равно =, т. е. . Теорема доказана.
Если подгруппа состоит только из одного единичного элемента, то классами смежности являются одноэлементные множества из элементов группы, поэтому индекс равен порядку группы .
Теорема Лагранжа. Во всякой конечной группе порядок ее подгруппы является делителем порядка самой группы.
Доказательство. Доказательство следует непосредственно из предыдущей теоремы, если рассмотреть: , то . Таким образом, порядок группы делится на порядок ее подгруппы и частное от их деления равно индексу в . Теорема доказана.
Наряду с левыми классами смежности можно рассматривать правые классы смежности . Для них также справедлива теорема о разложении группы по подгруппе.
Между левыми и правыми классами смежности имеется взаимно однозначное соответствие: отображение есть взаимно однозначное отображение группы на себя и это отображение переводит левые классы смежности в правые. Действительно, левый класс смежности состоит из элементов () и обратные элементы заполняют правый класс смежности . Поэтому если для группы имеется конечное число левых классов смежности, то столько же будет и правых, так что определение индекса подгруппы при помощи левых и правых классов смежности дает одно и то же.
Классы смежности по нормальной подгруппе и факторгруппа.
Предложение 1. Пусть - нормальная подгруппа группы и -какой-либо элемент . Тогда .
Доказательство. По определению нормальной подгруппы . Тогда и . Поэтому и, следовательно, .
Предложение 2. Если - нормальная подгруппа группы и , то .
Доказательство. Согласно предыдущему предложению . Умножив это равенство слева на , получим требуемое равенство.
Предложение 3. Классы смежности по нормальной подгруппе образуют группу относительно умножения подмножеств группы. Единицей этой группы является сама подгруппа.
Доказательство. Пусть - группа и - ее нормальная подгруппа. Рассмотрим произведение двух классов смежности и . Воспользуемся ассоциативностью умножения подмножеств и предложением 2. Имеем: , т. е. произведение двух классов смежности оказалось классом смежности. Далее, и , так что есть единица при этом умножении. Осталось рассмотреть наличие обратного элемента: и . Следовательно, есть обратный элемент для .
Определение. Группа, образованная классами смежности группы по нормальной подгруппе называется факторгруппой по и обозначается .
Определение факторгруппы можно сформулировать в терминах сравнения. Назовем два элемента и сравнимыми по нормальной подгруппе , если или, что то же самое, , т. е. и принадлежат одному классу смежности по . Тогда, если и , то , так как , и при , т. е. .Поэтому, если определить произведение классов как класс, содержащий произведение каких-либо представителей этих классов, определение будет корректным. Оно совпадает с определением произведения классов смежности как элементов факторгруппы.
– Конец работы –
Используемые теги: основы, Теории, групп0.062
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Основы теории групп
Если этот материал оказался полезным для Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Твитнуть |
Новости и инфо для студентов