Элементы теории классов групп

Глава 1. Определения, обозначения и известные результаты, используемые в работе.

Элементы теории групп.

Определение 1. Под множеством понимают совокупность объектов, рассматриваемых как единое целое.

Определение 2. Множество, содержащее хотя бы один элемент, называется непустым.

Определение 3. Множество М называется конечным, если оно содержит конечное число элементов.

Определение 4. Пересечением множеств А и В называется множество, состоящие из всех элементов принадлежащих и множеству А и множеству В одновременно. Обозначается АÇВ, т.е. АÇВ={x | xÎА и xÎВ}.

Определение 5. Бинарное отношение f между множествами A и B называется функциональным отношением, если из (a,b) Элементы теории классов групп - student2.ru f и (a,c) Элементы теории классов групп - student2.ru f следует, что b=c Элементы теории классов групп - student2.ru .

Определение 6. Функциональное отношение f между множествами A и B называется функцией или отображением A в B, если Dom f=A, и обозначается f : A Элементы теории классов групп - student2.ru B или A Элементы теории классов групп - student2.ru B.

Замечание. Если f: A Элементы теории классов групп - student2.ru B – функция, то каждому элементу a Элементы теории классов групп - student2.ru A соответствует единственный элемент b Элементы теории классов групп - student2.ru B и записывается f(a)=b Элементы теории классов групп - student2.ru (a,b) Элементы теории классов групп - student2.ru f Элементы теории классов групп - student2.ru afb.

Определение 7. Пусть Элементы теории классов групп - student2.ru – отображение. Отображение Элементы теории классов групп - student2.ru называется сюрьективным, если Элементы теории классов групп - student2.ru , то есть Элементы теории классов групп - student2.ru .

Определение 8. Отображение f : A Элементы теории классов групп - student2.ru B называется инъективным, если из Элементы теории классов групп - student2.ru всегда следует, что Элементы теории классов групп - student2.ru .

Определение 9. Отображение f : A Элементы теории классов групп - student2.ru B называется биективным, если оно сюрьективно и инъективно.

Определение 10. Пусть f : A Элементы теории классов групп - student2.ru B – отображение. Если Элементы теории классов групп - student2.ru Элементы теории классов групп - student2.ru , то f называется гомоморфным отображением множества Элементы теории классов групп - student2.ru в Элементы теории классов групп - student2.ru .

Если Элементы теории классов групп - student2.ru подмножество группы A, то Элементы теории классов групп - student2.ru образ Элементы теории классов групп - student2.ru при гомоморфизме Элементы теории классов групп - student2.ru , а Элементы теории классов групп - student2.ru образ гомоморфизма Элементы теории классов групп - student2.ru , который обозначают через Элементы теории классов групп - student2.ru .

Ядром гомоморфизма Элементы теории классов групп - student2.ru называется множество Элементы теории классов групп - student2.ru , где Элементы теории классов групп - student2.ru единичный элемент группы B.

Через Элементы теории классов групп - student2.ru обозначают множество всех гомоморфизмов группы Элементы теории классов групп - student2.ru на группу Элементы теории классов групп - student2.ru .

Определение 11. Гомоморфное отображение f множества Элементы теории классов групп - student2.ru в Элементы теории классов групп - student2.ru называется изоморфизмом, если f – биекция.

Теорема 1 (основная о гомоморфизмах).

Пусть Элементы теории классов групп - student2.ru . Тогда Элементы теории классов групп - student2.ru .

Теорема 2. Пусть Элементы теории классов групп - student2.ru . Тогда Элементы теории классов групп - student2.ru .

Теорема 3. Пусть Элементы теории классов групп - student2.ru , Элементы теории классов групп - student2.ru . Тогда Элементы теории классов групп - student2.ru .

Теорема 4 (об естественном гомоморфизме).

Пусть Элементы теории классов групп - student2.ru группа, Элементы теории классов групп - student2.ru . Тогда существует гомоморфизм Элементы теории классов групп - student2.ru такой, что Элементы теории классов групп - student2.ru , который называется естественным гомоморфизмом.

Определение 12. Бинарной алгебраической операцией на множестве М называется отображение Элементы теории классов групп - student2.ru .

Определение 13. Бинарной алгебраической операцией на непустом множестве М называется закон или правило, по которому любым двум элементам множества М, не обязательно различным, взятым в определенном порядке, ставится в соответствие единственный элемент множества М. Обозначается: φ(a, b)=c.

Замечание. Если на множестве М задана бинарная алгебраическая операция «∗», то для любых Элементы теории классов групп - student2.ru существует единственный элемент Элементы теории классов групп - student2.ru . В этом случае говорят, что множество М замкнуто относительно операции «∗».

Говорят, что на множестве Элементы теории классов групп - student2.ru определена бинарная алгебраическая операция (умножение), если Элементы теории классов групп - student2.ru для всех Элементы теории классов групп - student2.ru .

Определение 14. Пусть «∗» – бинарная алгебраическая операция на непустом множестве М. Элемент Элементы теории классов групп - student2.ru называется правым (левым) симметричным элементом для элемента Элементы теории классов групп - student2.ru относительно операции «∗», если Элементы теории классов групп - student2.ruЭлементы теории классов групп - student2.ru ( Элементы теории классов групп - student2.ruЭлементы теории классов групп - student2.ru Элементы теории классов групп - student2.ru ), где Элементы теории классов групп - student2.ru - правый (левый) нейтральный элемент множества М относительно операции «∗».

Определение 15. Если правый симметричный элемент Элементы теории классов групп - student2.ru для элемента Элементы теории классов групп - student2.ru относительно операции «∗» является и левым симметричным элементом, то Элементы теории классов групп - student2.ru называется симметричным для Элементы теории классов групп - student2.ru элементом, причем Элементы теории классов групп - student2.ruЭлементы теории классов групп - student2.ruЭлементы теории классов групп - student2.ru .

Определение 16. Пусть «∗» – бинарная алгебраическая операция на непустом множестве М. Элемент Элементы теории классов групп - student2.ru называется правым (левым) нейтральным элементом относительно операции «∗», если Элементы теории классов групп - student2.ruЭлементы теории классов групп - student2.ru ( Элементы теории классов групп - student2.ruЭлементы теории классов групп - student2.ru Элементы теории классов групп - student2.ru ) для любого Элементы теории классов групп - student2.ru .

Определение 17. Если элемент Элементы теории классов групп - student2.ru является правым и левым нейтральным элементом относительно операции «∗», то он называется нейтральным элементом в М относительно операции «∗», причем для любого Элементы теории классов групп - student2.ru Элементы теории классов групп - student2.ruЭлементы теории классов групп - student2.ruЭлементы теории классов групп - student2.ru .

Замечание. Правый (левый) нейтральный элемент относительно операции «⋅» называется правым (левым) единичным элементом, а правый (левый) симметричный элемент для элемента а - правым (левым) обратным к а и обозначается а-1.

Определение 18. Пусть «∗» – бинарная алгебраическая операция на непустом множестве М. Операция «∗» называется

· коммутативной на множестве М, если Элементы теории классов групп - student2.ru a,b Элементы теории классов групп - student2.ru М: a∗b = b∗a.

· ассоциативной на множестве М, если Элементы теории классов групп - student2.ru a, b, c Элементы теории классов групп - student2.ru М:

(a∗b)∗c =a∗(b∗c).

Определение 19. Непустое множество Элементы теории классов групп - student2.ru , замкнутое относительно бинарной алгебраической операции «∗» называется группой, если выполняются следующие аксиомы (аксиомы группы):

1) операция «∗» ассоциативна на Элементы теории классов групп - student2.ru ,т. е. а∗(b∗c) = (a∗b)∗c для любых a, b, c∈ Элементы теории классов групп - student2.ru .

2) в Элементы теории классов групп - student2.ru существует нейтральный элемент относительно операции «∗», т. е. ∃e∈ Элементы теории классов групп - student2.ru : a∗e=e∗a=a, для любого a∈ Элементы теории классов групп - student2.ru .

3) в Элементы теории классов групп - student2.ru для любого элемента существует симметричный ему элемент, т. е. для любого a∈ Элементы теории классов групп - student2.ru ∃a'∈ Элементы теории классов групп - student2.ru : a∗a'=a'∗a=e.

Определение 20. Группа Элементы теории классов групп - student2.ru относительно операции «∗» называется абелевой, если операция «∗» коммутативна на Элементы теории классов групп - student2.ru , то есть a∗b=b∗a для любых a, b∈ Элементы теории классов групп - student2.ru .

Определение 21. Группа относительно операции умножения называется мультипликативной.

Определение 22. Если Элементы теории классов групп - student2.ru – конечное множество, являющееся группой, то Элементы теории классов групп - student2.ru называется конечной группой, а число Элементы теории классов групп - student2.ru элементов в Элементы теории классов групп - student2.ru – порядком группы Элементы теории классов групп - student2.ru .

Определение 23. Непустое подмножество Элементы теории классов групп - student2.ru группы Элементы теории классов групп - student2.ru называется подгруппой группы Элементы теории классов групп - student2.ru ,если Элементы теории классов групп - student2.ru является группой относительно тех же операций, что и Элементы теории классов групп - student2.ru .

Обозначение: Элементы теории классов групп - student2.ru .

Теорема 5 (критерий подгруппы). Пусть Элементы теории классов групп - student2.ru группа, Элементы теории классов групп - student2.ru . Следовательно, Элементы теории классов групп - student2.ru тогда и только тогда, когда

1) Элементы теории классов групп - student2.ru ;

2) Элементы теории классов групп - student2.ru .

Лемма 1. Пусть Элементы теории классов групп - student2.ru группа.

1) если Элементы теории классов групп - student2.ru , то Элементы теории классов групп - student2.ru .

2) если Элементы теории классов групп - student2.ru , то Элементы теории классов групп - student2.ru .

Определение 24. Пусть Элементы теории классов групп - student2.ru группа, Элементы теории классов групп - student2.ru , Элементы теории классов групп - student2.ru . Правым (левым) смежным классом группы Элементы теории классов групп - student2.ru по подгруппе Элементы теории классов групп - student2.ru с представителем Элементы теории классов групп - student2.ru называется множество Элементы теории классов групп - student2.ru .

Определение 25. Пусть Элементы теории классов групп - student2.ru группа, Элементы теории классов групп - student2.ru , Элементы теории классов групп - student2.ru все правые смежные классы группы Элементы теории классов групп - student2.ru по подгруппе Элементы теории классов групп - student2.ru . Равенство Элементы теории классов групп - student2.ru называется разложением группы Элементы теории классов групп - student2.ru по подгруппе Элементы теории классов групп - student2.ru .

Определение 26. Число смежных классов в разложении группы Элементы теории классов групп - student2.ru по подгруппе Элементы теории классов групп - student2.ru называется индексом подгруппы Элементы теории классов групп - student2.ru в группе Элементы теории классов групп - student2.ru и обозначается Элементы теории классов групп - student2.ru .

Теорема 6 (Лагранжа). Если Элементы теории классов групп - student2.ru подгруппа конечной группы Элементы теории классов групп - student2.ru , то

Элементы теории классов групп - student2.ru .

В частности, порядок конечной группы делится на порядок каждой своей подгруппы.

Лемма 2. Пусть Элементы теории классов групп - student2.ru группа, Элементы теории классов групп - student2.ru , Элементы теории классов групп - student2.ru . Множество Элементы теории классов групп - student2.ru является мультипликативной группой относительно операции, заданной по правилу: Элементы теории классов групп - student2.ru Элементы теории классов групп - student2.ru , которая называется факторгруппой группы Элементы теории классов групп - student2.ru по подгруппе Элементы теории классов групп - student2.ru .

Определение 27. Группа Элементы теории классов групп - student2.ru называется гомоморфным образом группы Элементы теории классов групп - student2.ru , если Элементы теории классов групп - student2.ru , где Элементы теории классов групп - student2.ru .

Определение 28. Подгруппа Элементы теории классов групп - student2.ru группы Элементы теории классов групп - student2.ru называется нормальной в группе Элементы теории классов групп - student2.ru и обозначается Элементы теории классов групп - student2.ru , если Элементы теории классов групп - student2.ru .

Определение 29. Группа Элементы теории классов групп - student2.ru называется простой, если она не имеет нетривиальных нормальных подгрупп.

Определение 30. Пусть Элементы теории классов групп - student2.ru группа, Элементы теории классов групп - student2.ru ее подгруппы. Произведение Элементы теории классов групп - student2.ru определяется как множество элементов Элементы теории классов групп - student2.ru , где Элементы теории классов групп - student2.ru . Если Элементы теории классов групп - student2.ru , то говорят, что группа Элементы теории классов групп - student2.ru является произведением своих подгрупп Элементы теории классов групп - student2.ru .

Теорема 7. Пусть Элементы теории классов групп - student2.ru группа, Элементы теории классов групп - student2.ru ее подгруппы. Элементы теории классов групп - student2.ru тогда и только тогда, когда Элементы теории классов групп - student2.ru .

Теорема 8. Пусть Элементы теории классов групп - student2.ru группа, Элементы теории классов групп - student2.ru . Тогда

1) если Элементы теории классов групп - student2.ru , то Элементы теории классов групп - student2.ru ;

2) если Элементы теории классов групп - student2.ru , то Элементы теории классов групп - student2.ru .

Определение 31. Группа Элементы теории классов групп - student2.ru называется внутренним прямым произведением своих подгрупп Элементы теории классов групп - student2.ru , если:

1) Элементы теории классов групп - student2.ru ;

2) Элементы теории классов групп - student2.ru ;

3) Элементы теории классов групп - student2.ru .

Определение 32. Наименьшее натуральное число Элементы теории классов групп - student2.ru , при котором

Элементы теории классов групп - student2.ru , называют порядком элемента Элементы теории классов групп - student2.ru и обозначают Элементы теории классов групп - student2.ru .

Определение 33. Элемент Элементы теории классов групп - student2.ru называется Элементы теории классов групп - student2.ru элементом, если Элементы теории классов групп - student2.ru , Элементы теории классов групп - student2.ru .

Определение 34. Группа Элементы теории классов групп - student2.ru называется Элементы теории классов групп - student2.ru группой, если всякий ее элемент является Элементы теории классов групп - student2.ru - элементом.

Определение 35. Силовской Элементы теории классов групп - student2.ru подгруппой конечной группы Элементы теории классов групп - student2.ru называют такую Элементы теории классов групп - student2.ru подгруппу, индекс которой не делится на Элементы теории классов групп - student2.ru .

Определение 36. Группа Элементы теории классов групп - student2.ru называется нильпотентной, если все ее силовские подгруппы нормальны.

Лемма 3. Нильпотентная группа является прямым произведением своих силовских подгрупп.

Лемма 4. 1) Подгруппа и факторгруппа нильпотентной группы нильпотентны.

2) Прямое произведение нильпотентных групп является нильпотентной группой.

Определение 37. Пусть Элементы теории классов групп - student2.ru группа. Цепью подгрупп называется последовательность подгрупп Элементы теории классов групп - student2.ru , соединяющих подгруппы Элементы теории классов групп - student2.ru и Элементы теории классов групп - student2.ru .

Определение 38. Пусть Элементы теории классов групп - student2.ru группа. Цепь подгрупп вида Элементы теории классов групп - student2.ru называется рядом группы Элементы теории классов групп - student2.ru .

Определение 39. Ряд Элементы теории классов групп - student2.ru группы Элементы теории классов групп - student2.ru называется 1) субнормальным, если Элементы теории классов групп - student2.ru ;

3) нормальным, если Элементы теории классов групп - student2.ru Элементы теории классов групп - student2.ru .

Определение 40. Пусть Элементы теории классов групп - student2.ru - субнормальный ряд конечной группы Элементы теории классов групп - student2.ru ( Элементы теории классов групп - student2.ru ). Факторгруппа Элементы теории классов групп - student2.ru называется фактором группы Элементы теории классов групп - student2.ru .

Определение 41. Субнормальный ряд Элементы теории классов групп - student2.ru группы Элементы теории классов групп - student2.ru , не допускающий уплотнения без повторения членов ряда, называется композиционным рядом.

Определение 42. Нормальный ряд Элементы теории классов групп - student2.ru группы Элементы теории классов групп - student2.ru , не допускающий уплотнения без повторения членов ряда, называется главным рядом.

Определение 43. Факторы композиционного ряда называются композиционными факторами.

Факторы главного ряда называются главными факторами.

Определение 44. Подгруппа Элементы теории классов групп - student2.ru называется субнормальной подгруппой группы Элементы теории классов групп - student2.ru , если существуют подгруппы Элементы теории классов групп - student2.ru такие, что Элементы теории классов групп - student2.ru .

Запись Элементы теории классов групп - student2.ru означает, что Элементы теории классов групп - student2.ru субнормальная подгруппа группы Элементы теории классов групп - student2.ru .

Определение 45. Группа Элементы теории классов групп - student2.ru называется расширением Элементы теории классов групп - student2.ru группы с помощью Элементы теории классов групп - student2.ru группы, если Элементы теории классов групп - student2.ru Элементы теории классов групп - student2.ru .

Определение 46. Пусть Элементы теории классов групп - student2.ru подмножество группы Элементы теории классов групп - student2.ru . Пересечение всех подгрупп группы Элементы теории классов групп - student2.ru , содержащих подмножество Элементы теории классов групп - student2.ru , называется подгруппой, порожденной подмножеством Элементы теории классов групп - student2.ru , и обозначается Элементы теории классов групп - student2.ru .

Теорема 9 (о соответствии). Пусть Элементы теории классов групп - student2.ru группа, Элементы теории классов групп - student2.ru . Тогда

1) если Элементы теории классов групп - student2.ru и Элементы теории классов групп - student2.ru , то Элементы теории классов групп - student2.ru ;

2) каждая подгруппа факторгруппы Элементы теории классов групп - student2.ru имеет вид Элементы теории классов групп - student2.ru , где Элементы теории классов групп - student2.ru подгруппа группы Элементы теории классов групп - student2.ru и Элементы теории классов групп - student2.ru ;

3) отображение Элементы теории классов групп - student2.ru является биекцией множества Элементы теории классов групп - student2.ru на множество Элементы теории классов групп - student2.ru , где Элементы теории классов групп - student2.ru совокупность всех подгрупп группы Элементы теории классов групп - student2.ru , содержащих подгруппу Элементы теории классов групп - student2.ru ; Элементы теории классов групп - student2.ru совокупность всех подгрупп группы Элементы теории классов групп - student2.ru ;

4) если Элементы теории классов групп - student2.ru , то Элементы теории классов групп - student2.ru нормальная подгруппа группы Элементы теории классов групп - student2.ru тогда и только тогда, когда Элементы теории классов групп - student2.ru нормальная подгруппа факторгруппы Элементы теории классов групп - student2.ru .

Определение 47. Группа Элементы теории классов групп - student2.ru называется комонолитической, если она содержит единственную максимальную нормальную подгруппу (комонолит).

Определение 48. Нормальная подгруппа Элементы теории классов групп - student2.ru группы Элементы теории классов групп - student2.ru называется максимальной нормальной подгруппой группы Элементы теории классов групп - student2.ru , если Элементы теории классов групп - student2.ru следует, что Элементы теории классов групп - student2.ru или Элементы теории классов групп - student2.ru .

Элементы теории классов групп.

Определение 49. Классом групп называется всякое множество групп, которое вместе с каждой своей группой Элементы теории классов групп - student2.ru содержит и все группы, изоморфные ей.

Если группа (подгруппа) Элементы теории классов групп - student2.ru принадлежит классу групп Элементы теории классов групп - student2.ru , то Элементы теории классов групп - student2.ru называют Элементы теории классов групп - student2.ru - группой (подгруппой).

Определение 50. Операцией на классах групп называется отображение Элементы теории классов групп - student2.ru множества классов групп в себя.

Произведение операций определяется следующим образом:

Элементы теории классов групп - student2.ru . И вообще: Элементы теории классов групп - student2.ru .

Рассмотрим следующие операции на классах групп:

Элементы теории классов групп - student2.ru когда Элементы теории классов групп - student2.ru является подгруппой некоторой Элементы теории классов групп - student2.ru группы, то есть Элементы теории классов групп - student2.ru отображение, которое ставит в соответствие классу групп Элементы теории классов групп - student2.ru класс групп, состоящий из всех подгрупп всех Элементы теории классов групп - student2.ru групп;

Элементы теории классов групп - student2.ru когда Элементы теории классов групп - student2.ru является нормальной подгруппой Элементы теории классов групп - student2.ru группы;

Элементы теории классов групп - student2.ru когда Элементы теории классов групп - student2.ru является гомоморфным образом некоторой Элементы теории классов групп - student2.ru группы;

Элементы теории классов групп - student2.ru когда Элементы теории классов групп - student2.ru является произведением конечного числа своих нормальных Элементы теории классов групп - student2.ru подгрупп;

Элементы теории классов групп - student2.ru когда Элементы теории классов групп - student2.ru является прямым произведением своих нормальных Элементы теории классов групп - student2.ru подгрупп;

Определение 51. Класс групп Элементы теории классов групп - student2.ru называется замкнутым относительно операции Элементы теории классов групп - student2.ru или Элементы теории классов групп - student2.ru замкнутым, если Элементы теории классов групп - student2.ru .

Определение 52. Класс групп Элементы теории классов групп - student2.ru называется:

1) Элементы теории классов групп - student2.ru замкнутым или наследственным, если Элементы теории классов групп - student2.ru , то есть Элементы теории классов групп - student2.ru всегда Элементы теории классов групп - student2.ru ;

2) Элементы теории классов групп - student2.ru замкнутым или нормально наследственным, если Элементы теории классов групп - student2.ru , то есть Элементы теории классов групп - student2.ru всегда Элементы теории классов групп - student2.ru ;

3) Элементы теории классов групп - student2.ru замкнутым или гомоморфом, если Элементы теории классов групп - student2.ru , то есть Элементы теории классов групп - student2.ru всегда Элементы теории классов групп - student2.ru ;

4) Элементы теории классов групп - student2.ru замкнутым, если Элементы теории классов групп - student2.ru , то есть если Элементы теории классов групп - student2.ru , то Элементы теории классов групп - student2.ru ;

5) Элементы теории классов групп - student2.ru замкнутым, если Элементы теории классов групп - student2.ru , то есть если Элементы теории классов групп - student2.ru

Элементы теории классов групп - student2.ru то Элементы теории классов групп - student2.ru .

Лемма 5. Для произвольного класса групп Элементы теории классов групп - student2.ru справедливо:

1) Элементы теории классов групп - student2.ru , то есть Элементы теории классов групп - student2.ru ;

2) Элементы теории классов групп - student2.ru , то есть Элементы теории классов групп - student2.ru ;

3) Элементы теории классов групп - student2.ru , то есть Элементы теории классов групп - student2.ru ;

4) Элементы теории классов групп - student2.ru ;

5) Элементы теории классов групп - student2.ru .

Теорема 9. Если класс Элементы теории классов групп - student2.ru замкнут относительно произведений нормальных Элементы теории классов групп - student2.ru подгрупп, то каждая субнормальная Элементы теории классов групп - student2.ru подгруппа группы Элементы теории классов групп - student2.ru содержится в некоторой нормальной Элементы теории классов групп - student2.ru подгруппе группы Элементы теории классов групп - student2.ru .

Следствие 1. Пусть класс Элементы теории классов групп - student2.ru замкнут относительно произведений нормальных Элементы теории классов групп - student2.ru подгрупп. Если Элементы теории классов групп - student2.ru и Элементы теории классов групп - student2.ru субнормальные Элементы теории классов групп - student2.ru подгруппы группы Элементы теории классов групп - student2.ru , то Элементы теории классов групп - student2.ru субнормальная Элементы теории классов групп - student2.ru .

Наши рекомендации