4.1.9-misol. Tartibi 2m (m toq son) ga teng gruppa tartibi m ga teng normal qism gruppaga ega ekanligini ko‘rsating.
Yechish. Keli teoremasiga ko‘ra G gruppa S(G) gruppaning biror H qism gruppasiga izomorf bo‘lib, ψ : G → H ⊆ A(G) izomorfizm esa quyidagicha aniqlanadi
ψ(g) = τg bu yerda τg(a) = g · a. G gruppaning tartibi juft bo‘lganligi uchun g ∈ G element topilib, ord(g) =
bo‘ladi. U holda τg(τg(a)) = g2a = a ekanligidan τg o‘rin almashtirish (a, ga) ko‘rinishidagi transpozitsiyalarning ko‘paytmasi ko‘rinishida ekanligi kelib chiqadi. |G| = 2m bo‘lganligi uchun τg o‘rin almashtirish orqali hosil bo‘ladigan (a, ga) transpozitsiyalar soni m ta bo‘ladi, ya’ni τg toq o‘rin almashtirish bo‘ladi. Bundan esa, H qism gruppada toq o‘rin almashtirishlar ham mavjudligi kelib chiqadi (chunki τg ∈ H).
Endi H gruppadan {−1, 1} gruppaga f : H → {−1, 1} akslantirishni aniqlaymiz
(
f (σ) = 1 agar σ juft o‘rin almashtirish bo‘lsa
−1 agar σ toq o‘rin almashtirish bo‘lsa
Ushbu akslantirish epimorfizm bo‘lib, H/Kerf ∼= {−1, 1} bo‘ladi. Bundan esa,
| |
Kerf = |H| = 2m= m
|{−1, 1}| 2
kelib chiqadi. Demak, H gruppa tartibi m ga teng bo‘lgan normal qism gruppaga ega. H gruppa G ga izomorf bo‘lganligi uchun G ham tartibi m ga teng bo‘lgan normal qism gruppaga ega bo‘ladi. Q
Mustaqil ishlash uchun misol va masalalar
S4 o‘rin almashtirishlar gruppasining I3 = {1, 2, 3, 4} to‘plamga quyidagi ko‘rinishda aniqlangan π ٨a = π(a) ta’sirining barcha orbitalari va statsionar qism gruppalarni toping.
n-o‘lchamli V chiziqli fazodagi barcha teskarilanuvchi chiziqli almashtirishlar gruppasining V to‘plamga ta‘siri orbitasini toping.
Uch o‘lchamli V chiziqli fazodagi barcha ortogonal chiziqli almashtirishlar gruppasining statsionar qism gruppalari va orbitalarini aniqlang.
•
I10 = {1, 2, . . . , 10} to‘plamga S10 gruppaning quyidagi siklik qism gruppalari ta’siri barcha statsionar qism gruppalari va orbitalarini toping:
5
8
3
9
4
1
2
3
4
5
7
4
6
1
8
G = 1 2 3 4 5 6 7 8 9 10 .
10 6 2 1 7
G =
6 7 8 9 10 . 3 2 9 5 10
G = ⟨(1 6 9)(2 10)(3 4 5 7 8 )⟩ .
Agar G gruppaning H qism gruppasi berilgan bo‘lib, |H| = 11 va [G : H] = 4 bo‘lsa u holda H a G ekanligini isbotlang.
Agar G gruppaning H qism gruppasi berilgan bo‘lib, [G : H] = n va H qism gruppa G ning notrivial normal qism gruppasini o‘z ichiga olmasa, ψ : H → Sn monomorfizm mavjudligini isbotlang.
G = GL2(R) gruppa va S = R2 to‘plam berilgan bo‘lsin. U holda S ning
G-to‘plam ekanligini ko‘rsating, bu yerda
a b (x, y) = (ax + by, cx + dy). c d
Agar G gruppadan X to‘plamga ta’sir aniqlangan bo‘lib, |G| = 77 va |X| = 20 bo‘lsa, u holda qo‘zg‘almas nuqta mavjudligini ko‘rsating.
Tartibi 80 ga teng bo‘lgan gruppaning tartibi 16 ga teng qism gruppasi mavjud bo‘lsa, u holda bu gruppaning sodda emasligini ko‘rsating.
Tartibi 70 ga teng bo‘lgan gruppaning tartibi 14 ga teng qism gruppasi mavjud bo‘lsa, u holda bu gruppaning sodda emasligini ko‘rsating.
Tartibi 6, 10, 14, 22, 26, 34 va 58 ga teng bo‘lgan gruppalar sodda emasligini isbotlang.
Tartibi 8 ga teng bo‘lgan gruppaning sodda emasligini ko‘rsating.
Tartibi 63 ga teng bo‘lgan sodda gruppaning tartibi 21 bo‘lgan qism gruppasi mavjud emasligini isbotlang.
Isbotlang: N (aHa−1) = aN (H)a−1.
G gruppaning H va K qism gruppalari berilgan bo‘lsin. H a K bo‘lishi uchun H ⊆ K ⊆ N (K) bo‘lishi zarur va yetarli ekanligini isbotlang.
Agar G gruppaning H va K qism gruppalari qo‘shma bo‘lsa, u holda N (H) va N (K) qism gruppalar ham qo‘shma ekanligini isbotlang.
Silov teoremalari
Lagranj teoremasidan ma’lumki, chekli gruppaning ixtiyoriy qism gruppasining tartibi, gruppaning bo‘luvchisi bo‘ladi. Lekin ushbu teoremaning teskarisi o‘rinli emas, ya’ni tartibi gruppa tartibining bo‘luvchisiga teng bo‘lgan qism gruppa har doim ham mavjud bo‘lavermaydi. Masalan, tartibi 12 ga teng bo‘lgan A4 gruppaning tartibi 6 ga teng bo‘lgan qism gruppasi mavjud emas. Haqiqatdan ham, agar A4 gruppaning tartibi 6 ga teng qism gruppasi mavjud bo‘lganida, u Z6 va S3 gruppalardan biriga izomorf bo‘lar edi. A4 gruppada tartibi 6 ga teng element bo‘lmaganligi uchun, uning Z6 gruppaga izomorf qism gruppasi mavjud emas. S3 gruppada tartibi 2 ga teng bo‘lib, o‘zaro o‘rin almashmaydigan (12) va (13) elementlar mavjud. Lekin A4 gruppada bunday elementlar mavjud emas, ya’ni uning tartibi 2 ga teng bo‘lgan (12)(34), (13)(24), (14)(23) elementlarining barchasi o‘zaro o‘rin almashinuvchi bo‘ladi. Demak, A4 gruppaning S3 ga izomorf bo‘lgan qism gruppasi ham mavjud emas.
Ushbu paragrafda biz tartibi pk( p – tub) soniga bo‘lingan har qanday gruppa tartibi pk ga teng bo‘lgan qism gruppaga ega ekanligi va bunday qism gruppalarn- ing o‘zaro qo‘shmaligi hamda ularning soni haqida malumot beruvchi teoremalarni o‘rganamiz. Ushbu teoremalar norvegiyalik matematik L.Silov tomonidan 1872 yilda isbotlangan bo‘lib, uning sharafiga Silov teoremalari deb nomlanadi.
Quyidagi lemmada kommutativ gruppalar uchun Lagranj teoremasining teskarisi p tub son uchun o‘rinli ekanligini ko‘rsatamiz.