Biz endi G[i] ⊆ Gn−i+1, 1 ≤ i ≤ n + 1 ekanligini ko‘rsatamiz. Buning uchun i
ga nisbatan induksiya metodidan foydalanamiz.
G[1] =
G =
Gn ekanligidan ushbu munosabatning
i = 1 da o‘rinli ekanligi kelib chiqadi. Faraz qilaylik,
G[j] ⊆
Gn−j+1 munosabat o‘rinli bo‘lsin. U holda
G[j+1] = [
G[j], G] ⊆ [
Gn−j+1, G] ⊆
Gn−j.
Demak,
G[i] ⊆
Gn−i+1 munosabat
i = 1
, 2
, . . . , n + 1 lar uchun o‘rinli. Demak,
G[n+1] ⊆
G0 = {
e} bo‘ladi.
Yuqoridagi teoremadan foydalanib, nilpotent gruppaning ixtiyoriy qism grup- pasi ham nilpotent bo‘lishini ko‘rsatish qiyin emas. Chunki, agar
G gruppa nilpo- tent bo‘lsa, u holda qandaydir
n soni uchun
G[n] = {
e} bo‘ladi. Gruppaning ixtiyoriy
H qism gruppasi uchun
H[i] ⊆
G[i] ekanligidan
H[n] = {
e} bo‘lishi, ya’ni qism gruppaning ham nilpotentligi kelib chiqadi.
Endi gruppa uchun yuqori markaziy qator tushunchasini kiritamiz. Beril- gan
G gruppa uchun
Z0(
G) = {
e} va
Z1(
G) =
Z(
G) kabi belgilashlarni kirita- miz.
Z1(
G) qism gruppa
G da normal bo‘lganligi uchun
G/Z1(
G) faktor grup- pani qarash mumkin, hamda
Z(
G/Z1(
G)) ham o‘z navbatida faktor gruppa- ning normal qism gruppasi bo‘ladi. U holda
G gruppaning
Z1(
G) ⊆
Z2(
G) va
Z2(
G)
/Z1(
G) =
Z(
G/Z1(
G)) shartlarni qanoatlantiruvchi yagona
Z2(
G) normal qism gruppasi mavjud.
Ushbu jarayonni davom ettirgan holda,
Zi(
G) ⊆
Zi+1(
G) va
Zi+1(
G)
/Zi(
G) =
Z(
G/Zi(
G)) shartlarni qanoatlantiruvchi
{
e} =
Z0(
G) ⊆
Z1(
G) ⊆
Z2(
G) ⊆ · · · ⊆
Zn(
G) ⊆
. . .