Опр. 1. Пусть имеются две группы G и Q. Они называются изоморфными, если существует взаимно-однозначное отображение f:G→Q, при котором для ∀ a,b из G:f(a*b)=f(a)*f(b). Такое отображение называется изоморфизмом.
1.Какие из следующих групп изоморфны:
1) вращений квадрата
2) симметрии ромба
3) симметрии прямоугольника
4) PSV mod 4 по сложению
5) группы вращений многограников
6) подгруппы из задачи 8,9 листка 14.
2. Привести примеры двух групп одного порядка и не изоморфных.
3** Группа R по сложению изоморфна R>0 no умножению
4. Свойства как отображений
a) f:G→Q - изоморфизм ⇒ f':Q→G - также изоморфизм
6) f:G→Q .AND. - ф:Q→H - изоморфизмы
⇒ fф:G→H - также изоморфизм.
5. Отображения единичного и обратного элементов.
a) е - единица G, э - единица Q; f:G→Q - изоморфизм ⇒ f(e)=э
б) f:G→Q - изоморфизм; ⇒ ∀g∈G: f(g') = (f(g))'
6. Порядки элементов в изоморфных группах:
f:G→Q - изоморфизм; ⇒ |f(g)| = |g|, где g∈G
7. Циклические группы изоморфны соответственно:
a) Zk - конечного порядка изоморфна PSV mod k
б) Z∞ - бесконечного порядка изоморфна группе целых по +.
8!(Теорема Кэли)!! Любая группа порядка n изоморфна некоторой подгруппе Sn, (Sn - группа подстановок длины n).
9. Найти все (с точностью до изоморфизма) группы порядка 2, 3, 4
b) 5, 6, 7
с)*** n > 7
10. Пусть a - произвольный элемент группы G. Элементом множества Q, соответствующим a, является отображение группы G в себя фа ( фа = а*х для ∀ x из G ). Доказать, что Q с операцией композиция - группа, изоморфная G.
Опр 2. Прямым произведение двух групп G⊗H называется множество G⊗H со следующей бинарной операцией: (g1,h1)*(g2,h2) = (g1g2,h1h2) произведение g1g2 берется в группе G, a h1h2 - H.
11. Доказать,что G⊗H - группа.
12. Группа симметрии ромба изоморфна Z2⊗Z2.
13. G⊗H изоморфна H⊗G.
14. G, Н - абелевы ⇒ G⊗H - тоже абелева.
15. G1- подгруппа G и H1 - подгруппа Н ⇒ G1⊗H1 - подгруппа G⊗H.
16. K - подгруппа G⊗H ⇒ ∃G1 - подгуппа G .AND. H1 - подгруппа Н: K=G1⊗H1.
17. Zm⊗Zn - изоморфна Zm*n ⇔ Н0Д(m, n) = 1.
Опр.З. Пусть g - фиксированный элемент группы G. Отображение f:G→G(в себя), определяемое правилом: ∀ х∈G: f(x) = g*x*g' - называется внутреним автоморфизмом группы, порожденным g (автоморфизмом)
18. f - автоморфизм ⇒ f - изоморфизм группы на себя.
19. Во что переходят при всевозможных автоморфизмах группа
симметрии вашего многоугольника
а) группа отображений относительно одной из осей симметрии
б) группа вращений
**. Какие 2 элемента группы симметрии многограника можно
перевести друг в друга автоморфизмами. Тот же вопрос для
группы вращений.