4.2.5-teorema (Silovning ikkinchi teoremasi). Aytaylik, G chekli gruppa bo‘lib, |G| = pk · m bo‘lsin, bu yerda k ≥ 1 va (m, p) = 1. U holda G gruppaning ixtiyoriy p-qism gruppasi qandaydir Silov p-qism gruppasida yotadi. Barcha Silov p-qism gruppalari o‘zaro qo‘shma bo‘ladi.
Isbot. |G| = pk · m bo‘lganligi uchun uning S− Silov p-qism gruppasi mavjud bo‘ladi, ya’ni |S| = pk. Quyidagi chap qo‘shni sinflar oilasini qaraymiz
LS = {xS | x ∈ G}.
= ·
Aytaylik, H to‘plam G gruppaning p-qism gruppasi bo‘lsin. H gruppadan LS to‘plamga chap ta’sirni quyidagicha aniqlaymiz. ∀h ∈ H va xS ∈ LS uchun h ∗ xS = (h · x)S. Ta’kidlash joizki, bu ta’sir to‘g‘ri aniqlangan, chunki xS = x′S ekanligidan x′ = x · s, s ∈ S, bundan esa h · x′ = (h · x) · s, ya’ni h ∗ x′S = (h · x)S kelib chiqadi.
Ma’lumki, |LS
= |G|
|
|S|
pkmpk = m, ya’ni o‘ng qo‘shni sinflar oilasi elementlari
soni p ga bo‘linmaydi. Hgruppaning LS to‘plamga ta’siri esa ushbu to‘plamni
kesishmaydigan orbitalarga ajratib, bu orbitalarning elementlari soni
| |
orb(y) = |H|
|St(y)|
bo‘ladi, bu yerda y ∈ LS va St(y) statsionar qism gruppa. Demak,
|LS
| = Σ |H| = Σ |orb(y)|,
y |St(y)| y bu yerda yig‘indi har bir orbitadan bittadan tanlangan y element bo‘yicha olinadi. Ma’lumki, har bir orbitalardagi elementlar soni p ning qandaydir darajasi ko‘rinishida bo‘lib, bittadan ko‘p elementga ega bo‘lgan orbitalar elementlari soni p ga bo‘linadi.
Tenglikning chap tomonida turgan |LS| soni p ga bo‘linmaganligi uchun bitta elementli orbitalar mavjud. Demak, xS ∈ LS element mavjud bo‘lib, orb(xS) =
{xS}, ya’ni ∀h ∈ H uchun (h·x)S = xS. Bundan esa, Hx ⊂ xS, ya’ni H ⊂ xSx−1 kelib chiqadi. |xSx−1| = |S| = pkekanligi uchun xSx−1 ham Silov p-qism gruppasi bo‘lib, u H qism gruppani o‘z ichiga oladi.
| |
Agar H qism gruppa Silov p-qism gruppasi bo‘lsa, u holda H = pk ekanligidan H = xSx−1 bo‘ladi, ya’ni H gruppa berilgan S Silov p-qism gruppasiga qo‘shma bo‘ladi. Bundan esa, G gruppaning barcha Silov p-qism gruppalari o‘zaro qo‘shma ekanligi kelib chiqadi.
∀ ∈
Agar G gruppaning yagona Silov p-qism gruppasi mavjud bo‘lsa, u holda Silovning ikkinchi teoremasidan uning normal qism gruppa ekanligi kelib chiqadi. Chunki, agar H yagona Silov p-qism gruppasi bo‘lsa, u holda unga qo‘shma bo‘lgan barcha qism gruppalar H bilan ustma-ust tushadi, ya’ni g G uchun gHg−1 = H bo‘ladi. Bu esa H qism gruppaning normal ekanligini anglatadi.
Endi Silovning uchinchi teoremasini, ya’ni chekli gruppaning Silov p-qism grup- palari soni bilan bog‘liq bo‘lgan teoremani keltiramiz.