Листок 18. Гомоморфизм.

Выдан 21.03.85. Закрытие 13.04-85.

"...И ядрам пролетать мешала гора кровавый тел..."

Опр. 1. Гомоморфизмом группы G в группу F ⇐def⇒ отображение f:G→F такое, что f(ab) = f(a)*f(b) для люб. а,b∈G. При гомоморфизме, в отличии от изоморфизма, не требуется взаимооднозначности.
Множество Ker f = {g∈G | f(g)=э} -def- ядро гомоморфизма.

1. Проверить св-ва гомоморфизмов, аналогичные св-вам изоморфизмов из л 16 N4,5.

2. Н⊳G. f сопостовляет каждому элементу g из G смежный класс по подгруппе Н, который содержит g.
Доказать, что f:G→G/H -гомоморфизм G НА G/H.

Опр. 2. Этот гомоморфизм называется естественным.

ТЕОРЕМА 0 ГОМОМОРФИЗМЕ.

3. f: G→F - гомоморфизм ⇒
a) Ker f - подгруппа G
b) Ker f ⊳ G
c) r∈ g*Ker f .AND. s ∈ g*Ker f ⇔ f(r) =f(s)
Формулировка теоремы: "Отображение ф:G/Ker f → F, сопостовляюшее каждому смежному классу g*Ker f → f(g), является изоморфизмом. Для док-ва:
d) ф - отображение на
e) ф - взаимооднозначное
f) ф - изоморфизм
h)?? Расшифруйте: "Гомоморфизм изоморфен некоторому естественному гомоморфизму".

ПРИМЕРЫ НА ТЕОРЕМУ О ГОМОМОРФИЗМЕ.

4. В группе симметрии тетраэдра подмножество H = {(1), (12)(34), (13)(24), (14)(23)} образует нормальную подгруппу.

5. В группе вращений куба подмножество Н = {(1), (13)(24)(1'3')(2'4'), (12')(21')(34')(43'), (14')(41')(23')(32') } образует нормальную подгруппу.

6а) Dn⊳R. ( R - повороты плоскости отн. центра многоугольника)
b) R/Dn изоморфна R.

В дальнейшем "=" для групп обозначать изоморфизм.

7. H1⊳G1 .AND. H2⊳G2 ⇒ (G1⊗G2)/(H1⊗H2) = (G1/H1)⊗(G2/H2)
(Если вам доставляет эстетическое удивольствие формулировка задачи, то из вас может получиться математик)

8. Три качественых вопроса.
∀ G1, G2, H1, H2 H1⊳G1 .AND. H2⊳G2:
a) (G1≠G2) .AND. (H1=H2).AND. G1/H1=G2/H2
b) (G1=G2) .AND. (H1≠H2).AND. G1/H1=G2/H2
a) (G1=G2) .AND. (H1=H2).AND. G1/H1≠G2/H2

Опр. 3. Пусть f:G→F - гомоморфизм. Тогда
M⊂G ⇒ f(M) -def- мн-во образов при гомоморфизме всех элементов M
P⊂F ⇒ f'(P) -def- мн-во прообразов при гомоморфизме всех элементов P

9! f(f'(M))≠М

10. Н -подгруппа G .AND. f:G→F - гомоморфизм ⇒ f(H) -подгруппа F.

11. P -подгруппа F .AND. f:G→F - гомоморфизм ⇒ f'(P) -подгруппа G.

АД.МИНИСТРация приветствует решающих 12-28 задачи

ЦЕНТР И ЦЕНТРАЛИЗАТОР

Опр. 4. Пусть g∈G. Централизатор g Ц(g)=def= {x∈G |xgx' = g}.

12. а) Ц(g) - подгруппа G
b) |G|/|Ц(g)| = числу элементов в подмножестве G, все x из которого сопряжены g (x≅g)

13. Найти Ц(g) в группе подстановок длины 6, если
а) g=(1 2 3 4)
b) g=(1 2 3)(4 5 6)
Выразить порядок Ц(g) через длины циклов в разложении g.

Опр. 5. Центр группы Ц(G) - мн-во элементов G, коммутирующих со всеми элементами.

14. а) Выберем из G все элементы имеющие сопряженые ⇒ Ц(G) - пересечение централизаторов этик элементов.
b) Ц(G)⊳G

15. Может ли G/Ц(G) быть а) абелевой b) циклической?

КОММУТАНТ И КОММУТАТОР

0пр.6. Элемент a*b*a'*b' называется коммутатором элементов а и b. Подгруппа , порожденная всеми коммутаторами элементов из G называется коммутантом G'.

16. а) G'⊳G
b) G/G' - абелева.

17. Н⊳G .AND. G/Н -абелева ⇔ G' ⊂ H

18. Указать, каким известным группам изоморфны центр и коммутант в группам:
a) Zn, Dn
b) вращений куба, тетраэдра.

РАЗРЕШИМЫЕ ГРУППЫ

0пр. 7. G1= G'; Gn+1=Gn'. Gn - называется n-коммутантом. Если некоторый n-коммутант равен {e}, то группа называется разрешимой.

19. G - неабелева и не имеет нормальных подгрупп, кроме {e} и G ⇒ G - неразрешима.

20. Группа вращений додекаэдра неразрешима.

21. H⊳G .AND. H и G/H - разрешимы ⇒ G - разрешима.

22. |G|=pk ⇒ а) Ц(G)≠{e}
b) G - разрешима

23. |G|=р2 ⇒ G - абелева.

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

24* Сколько существует неабелевых групп порядка р3?

25* |G|=p*q (p,q - простые) ⇒ G содержит подгруппу порядка р (использовать 12)

26*!! G - разрешима ⇔ ∃ G1,G2,...,Gn:
         1) Gn⊳... ⊳G2⊳G1⊳G0=G
.AND. 2) ∀i Gi/Gi-1 - абелева
.AND. 3) Gn - абелева

27* Условие 2) из задачи 26 можно записать иначе:
"Каждая Gi содержит абелеву Ni такую, что Ni⊳Gi .AND. Gi/Ni изоморфна Gi+1.

28**. Задача - исследование.
Группа Hn подстановок с n > 4 - неразрешима.