O‘zbekiston respublikasi oliy va o‘rta maxsus ta’lim vazirligi mirzo ulug‘bek nomidagi o‘zbekiston milliy universiteti

Yetarlilik. Endi, ixtiyoriy a, b ∈ H elementlar uchun a ∗ b⁻¹ ∈ H munosabat o‘rinli bo‘lsin. Agar b = a deb olsak, u holda a ∗ a⁻¹ = e ∈ H. Demak, e birlik

element H to‘plamga tegishli bo‘ladi. Endi a element o‘rniga e elementni olib, ixtiyoriy b ∈ H element uchun e ∗ b⁻¹ ∈ H, ya’ni b⁻¹ ∈ H munosabatni hosil qilamiz. Demak H to‘plamda yotuvchi ixtiyoriy elementning teskarisi ham H da yotadi. Endi a ∗ b⁻¹ ∈ H munosabatda, b ∈ H element o‘rniga b⁻¹ ∈ H elementni qo‘ysak, a ∗ (b⁻¹)⁻¹ = a ∗ b ∈ H ekanligi hosil bo‘ladi. Bundan esa, (H, ∗) qism gruppa ekanligi kelib chiqadi.

Berilgan H qism to‘plam chekli bo‘lgan holda quyidagi natijaga ega bo‘lamiz.
1.3.1-natija. (G, ∗) gruppa va uning bo‘sh bo‘lmagan H ⊂ G chekli qism to‘plami berilgan bo‘lsin. Agar ∀a, b ∈ H elementlar uchun a ∗ b ∈ H munosabat o‘rinli bo‘lsa, u holda (H, ∗) qism gruppa bo‘ladi.
Isbot. Natijaning shartidan ixtiyoriy a ∈ H element va ixtiyoriy n ∈ N uchun aⁿ ∈ H o‘rinli ekanligi hosil bo‘ladi, ya’ni a ∈ H elementning ixtiyoriy natural darajasi yana H ga tegishli. H to‘plam chekli to‘plam bo‘lganligi uchun
{a, a², . . . , a^k, . . . } elementlarning ichida o‘zaro tenglari mavjud, aks holda H ning
elementlari cheksiz ko‘p bo‘lar edi. Demak, qandaydir m va k (m > k) natural sonlar topilib, a^m = a^k tenglik o‘rinli bo‘ladi. Bu tenglikdan e = a^m−k ∈ H ekanligini, ya’ni gruppaning birlik elementi H to‘plamda yotishini hosil qilamiz.
Endi H dagi barcha elementlarning teskarisi ham H da yotishini ko‘rsatamiz. Ixtiyoriy a ∈ H element uchun a^m−k = e ekanligidan a ∗ a^m−k−1 = a^m−k−1 ∗ a = e tenglikka ega bo‘lamiz, ya’ni a elementning teskarisi a⁻¹ = a^m−k−1 ∈ H. Demak, (H, ∗) qism gruppa bo‘lar ekan.
1.3.2-ta’rif. (G, ∗) gruppaning markazi deb
Z(G) = {b ∈ G | a ∗ b = b ∗ a, ∀a ∈ G}

to‘plamga aytiladi.