|
4.3.7-misol. Tartibi 255 ga teng bo‘lgan gruppaning siklik ekanligini isbotlang.
Yechish. 255 = 3 · 5 · 17 bo‘lganligi uchun, uning Silov 17, 5 va 3-qism gruppalari mavjud. Ularning sonini mos ravishda n17, n5 va n3 kabi belgilasak, n17 = 1 + 17m va n17 | 15 ekanligidan n17 = 1 bo‘lishi kelib chiqadi. Demak, grup- paning Silov 17-qism gruppasi normal bo‘ladi. Gruppaning Silov 5-qism grup- palari soni uchun n5 = 1 + 5k va n5 | 51 bo‘lib, bundan n5 = 1 yoki n5 = 51 ekanligi kelib chiqadi. O‘z navbatida n3 = 1 + 3l va n3 | 85 ekanligidan n3 = 1 yoki n3 = 85 hosil bo‘ladi.
Agar n5 = 51 va n3 = 85 bo‘lsa, u holda 51 ta Silov 5-qism gruppalarning birlashmasida tartibi 5 ga teng bo‘lgan jami 204 ta element yotadi. Xuddi shun- day, 85 ta Silov 3-qism gruppalarning birlashmasida esa tartibi 3 ga teng bo‘lgan 170 ta element mavjudligi kelib chiqadi. Bu esa gruppaning elementlari 255 ta ekanligiga zid. Demak, n5 = 1 yoki n3 = 1 tengliklardan hech bo‘lmaganda bittasi o‘rinli bo‘lishi shart.
Aytaylik, n5 = 1 bo‘lsin, u holda K Silov 5-qism gruppasi ham normal bo‘lib, H∩K = {e} bo‘ladi. Bundan esa, ∀h ∈ H va ∀k ∈ K uchun hk = kh ekanligi kelib chiqadi. Avvalgi misolning 5) bandiga (4.3.6-misol) o‘xshab G/K faktor gruppani
qaragan holda H ⊆ Z(G) ekanligini hosil qilish mumkin. Bundan esa, |Z(G)| = 17, 51, 85 yoki 255 ekanligi, o‘z navbatida |G/Z(G)| = 15, 5, 3 yoki 1 bo‘lishi kelib chiqadi. Tartibi 15, 5, 3 va 1 bo‘lgan gruppalar siklik bo‘lganligi uchun G/Z(G) faktor gruppa siklik, ya’ni G kommutativ bo‘ladi. Bu esa, gruppaning Silov 3-qism gruppasi ham yagona ekanligini anglatadi, ya’ni n3 = 1. Demak, tartibi 255 ga teng bo‘lgan gruppa tartiblari 17, 5 va 3 bo‘lgan siklik qism gruppalarning to‘g‘ri ko‘paytmasidan iborat bo‘ladi. 17, 5 va 3 sonlarining o‘zaro tub ekanligidan esa, gruppaning siklik ekanligi kelib chiqadi.
Agar n3 = 1 deb faraz qilinsa ham, xuddi yuqoridagi mulohazalar kabi n5 = 1 ekanligini hosil qilish mumkin. Q
Dostları ilə paylaş: |
