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

6.6.3-lemma. Ixtiyoriy t natural son uchun quyidagi munosabat o‘rinli
(ζ^t, α) ∈ K(β),

bu yerda β = (ζ, α) /= 0.

Isbot. Agar
(ζ^t, α) = α + ζ^t · ϕ(α) + ζ^2t · ϕ²(α) + · · · + ζ^(n−1)t · ϕⁿ⁻¹(α)

ifodaga ϕ avtomorfizmni qo‘llab, ϕ(ζ) = ζ ekanligini hisobga olsak, quyidagiga ega bo‘lamiz

ϕ(ζ^t, α) = ϕ(α) + ζ^t · ϕ²(α) + · · · + ζ^(n−2)t · ϕⁿ⁻¹(α) + ζ^(n−1)t · ϕⁿ(α) =

= ζ^−t ζ^tϕ(α) + ζ^2t · ϕ²(α) + · · · + ζ^(n−1)t · ϕⁿ⁻¹(α) + α) = ζ^−t(ζ^t, α).
Demak, ixtiyoriy t uchun

ϕ(ζ^t, α) = ζ^−t(ζ^t, α) (6.10)

tenglikka ega bo‘lamiz, xususan t = 1 bo‘lganda ϕ(ζ, α) = ζ⁻¹(ζ, α).

Ushbu tenglikning ikkala tomonini t darajaga oshirsak,

ϕ (ζ, α)^t = ζ^−t(ζ, α)^t. (6.11) Yuqoridagi (6.10) va (6.11) tengliklarni bo‘lsak,

(ζ^t, α)
^ϕ (ζ, α)^t
(ζ^t, α)
⁼ (ζ, α)^t

(ζ,α)^t

tenglikka ega bo‘lamiz, ya’ni ϕ avtomorfizm ^(ζt^,α)
elementni o‘zgarishsiz qoldiradi.

ϕ avtomorfizm Gal(F, K) siklik gruppaning hosil qiluvchi elementi ekanligidan

(ζ^t,α)

(ζ,α)^t
element ixtiyoriy avtomorfizmda ham o‘zgarishsiz qolishi kelib chiqadi. De-

mak,
(ζ^t,α)

(ζ,α)^t
∈ K, ya’ni ixtiyoriy t uchun shunday c_t
∈ K element topilib, _(ζ,α)t
= c_t.

(ζ^t,α)

Boshqacha qilib aytganda, (ζ^t, α) = c_t(ζ, α)^t = c_tβ^t, ya’ni (ζ^t, α) ∈ K(β)
6.6.4-lemma. Agar β = (ζ, α) /= 0 bo‘lsa, u holda F = K(β).

Σ
Isbot. Quyidagi yig‘indini qaraymiz

Σ
n−1

(ζ^t, α) =

n−1 n−1

ζ^jtϕ^j(α) =

_Σn−1

ϕ^j(α)

n−1
_ζjt! _.

t=0
t=0 j=0
j=0
t=0

Agar j = 0 da olsak,

n−1

Σ
t=0

_ζjt

Σ Σ
= n va j = 1 da

Σ
n−1
n−1

Σ
t=0

_ζjt ₌
^ζjn⁻¹ = 0 ekanligini hisobga
ζ^j −1

(ζ^t, α) = nα
t=0
tenglikka ega bo‘lamiz. 6.6.3-lemmaga ko‘ra, tenglikning chap tomonida turgan ifodalar K(β) maydonga tegishli bo‘lganligi uchun, o‘ng tomondagi ifoda ham shu maydonga tegishli bo‘ladi, ya’ni α ∈ K(β). 6.6.2-lemmaga ko‘ra K = K(α) ekanligidan, F ⊂ K(β) kelib chiqadi. Ikkinchi tomondan esa, β ∈ K bo‘lganligi uchun K(β) ⊂ F. Demak, biz F = K(β) ekanligiga ega bo‘ldik.
Endi siklik kengaytma bilan sodda radikal kengaytma orasidagi bog‘lanishni beruvchi asosiy teoremani keltiramiz.
6.6.1-teorema. Agar xarakteristikasi nolga teng bo‘lgan K maydon birning n- darajali boshlang‘ich ildizini o‘z ichiga olsa, u holda uning darajasi n ga teng bo‘lgan ixtiyoriy siklik kengaytmasi f (x) = xⁿ − c ko‘phad orqali aniqlanuvchi sodda radikal kengaytma bo‘ladi.


Isbot. Aytaylik, xarakteristikasi nolga teng bo‘lgan K maydonning darajasi n ga teng bo‘lgan K ⊂ F siklik kengaytmasi berilgan bo‘lib, ζ – birning n-darajali boshlang‘ich ildizi K maydonga tegishli va ϕ ∈ Gal(F, K) avtomorfizm siklik grup- paning hosil qiluvchi elementi bo‘lsin. U holda 6.6.1-lemmaga ko‘ra shunday α ∈ F
element topilib, (ζ, α) 0. Agar β = (ζ, α) va γ = βⁿ kabi belgilasak, u holda (6.11) tenglikka ko‘ra

ϕ(γ) = ϕ((ζ, α)ⁿ) = ζ⁻ⁿ(ζ, α)ⁿ = (ζ, α)ⁿ = γ.

Bundan esa, γ ∈ K ekanligi kelib chiqadi. Demak, β element xⁿ − γ keltirilmas ko‘phadning ildizi. 6.6.4-lemmaga ko‘ra F = K(β) bo‘lganligi uchun K ⊂ F kengaytmaning sodda radikal kengaytma ekanligini hosil qilamiz.
Endi Galua teoremasining yetarliligi isbotida foydalanilgan teoremani kelti- ramiz.
6.6.2-teorema. Agar xarakteristikasi nolga teng bo‘lgan maydonda K ⊂ L normal kengaytmaning Gal(L, K) Galua gruppasi yechiluvchan bo‘lsa, u holda L maydon K maydonning qandaydir normal radikal kengaytmasining ichida yotadi.

Isbot. Dastlab, Galua gruppasi siklik bo‘lgan holni qaraymiz, ya’ni K ⊂ L kengaytma normal bo‘lib, uning darajasi m ga teng hamda Gal(L, K) gruppa siklik gruppa bo‘lsin. U holda birning m-darajali boshlang‘ich ildizi ξ uchun F = L(ξ) maydonni qaraymiz.
Ushbu F maydon K maydonning normal kengaytmasi hamda L va K(ξ) maydonlarni o‘z ichiga olivchi eng kichik maydon bo‘lib, 6.6.3-natijaga ko‘ra Gal(F, K(ξ)) gruppa Gal(L, K) gruppaning qandaydir qism gruppasiga izomorf bo‘ladi. Bundan esa Gal(L, K) gruppa siklik bo‘lganligi uchun Gal(F, K(ξ)) grup- paning ham siklikligi kelib chiqadi.
Agar |Gal(F, K(ξ))| = n, ya’ni [F : K(ξ)] = n bo‘lsa, u holda n | m bo‘lib,
birning n-darajali boshlang‘ich ildizi ζ birning m-darajali boshlang‘ich ildizi ξ ning qandaydir darajasidan iborat bo‘ladi. Bu esa, ζ ∈ K(ξ) ekanligini bildiradi. Shunday qilib, biz K(ξ) ⊂ F kengaytma siklik kengaytma bo‘lib, birning n- darajali boshlang‘ich ildizi ζ uchun ζ ∈ K(ξ) ekanligini ko‘rsatdik. U holda 6.6.1- teoremaga ko‘ra ushbu K(ξ) ⊂ F kengaytma sodda radikal kengaytma bo‘lib, K ⊂ K(ξ) ⊂ F bo‘lganligi uchun F maydon K maydoning radikal kengaytmasi bo‘ladi. Ushbu kengaytmaning normal ekanligi va L ⊂ F bo‘lishi F maydon- ning qurilishidan kelib chiqadi. Demak, Galua gruppasi siklik bo‘lgan hol uchun
teorema isbotlandi.
Endi umumiy holga o‘tamiz, ya’ni K ⊂ L normal kengaytma berilgan bo‘lib, Gal(L, K) Galua gruppasi yechiluvchan bo‘lsin. U holda quyidagicha yechiluvchan qator mavjud
Gal(L, K) = H₀ ⊃ H₁ ⊃ · · · ⊃ H_i−1 ⊃ H_i ⊃ · · · ⊃ H_s ⊃ E.
Isbotni s bo‘yicha induksiya orqali amalga oshiramiz. Agar s = 1 bo‘lsa, u holda Gal(L, K) gruppa siklik bo‘lib, yuqorida isbotlangan holga kelamiz. Demak, s = 1 uchun teorema o‘rinli. Endi Galua gruppasi uzunligi s − 1 ga teng bo‘lgan yechiluvchan qatorga ega bo‘lgan maydonlar uchun teorema o‘rinli deb faraz qilib, L maydonning Galua gruppasi yechiluvchan qatorining uzunligi s ga teng bo‘lsin deb olamiz. Ushbu qatordagi H₁ normal qism gruppaga mos keluvchi L_H1 may- donni qarasak, K ⊂ L_H1 kengaytma ham normal bo‘lib, Gal(L_H1 , K) Galua grup- pasi Gal(L, K)/H₁ faktor gruppaga izomorf bo‘ladi. Bundan esa Gal(L_H1 , K) gruppaning siklik ekanligi kelib chiqadi. U holda L_H1 maydon qandaydir normal radikal kengaytmaning ichida yotadi.
Aytaylik, L_H1 maydonni o‘z ichiga oluvchi normal radikal kengaytma P bo‘lsin. L va P maydonlarni o‘z ichiga oluvchi eng kichik maydonni L kabi belgilasak, 6.6.3-natijaga ko‘ra Gal(L, P) gruppa Gal(L, L_H1 ) gruppaning qandaydir qism gruppasiga izomorf bo‘ladi. Endi Gal(L, L_H1 ) = H₁ ekanligini hisobga olsak, H₁ gruppa uzunligi s − 1 ga teng bo‘lgan yechiluvchan qatorga ega bo‘lganligi uchun uning ixtiyoriy qism gruppasi ham, xususan Gal(L, P) gruppa ham uzunligi s − 1
6.7. MUSTAQIL ISHLASH UCHUN MISOL VA MASALALAR 243
ga teng bo‘lgan yechiluvchan qatorga egaligi kelib chiqadi. Bundan esa, induksiya faraziga ko‘ra, L maydon P maydonning qandaydir normal radikal kengaytmasi- ning ichida yotishi kelib chiqadi. L maydonni o‘z ichiga olib, P maydonning nor- mal radikal kengaytmasi bo‘lgan ushbu maydonni F kabi belgilasak, K ⊂ P ⊂ F ketma-ketlikdagi har bir kengaytma radikal kengaytma bo‘lganligi uchun F may- don K maydonning radikal kengaytmasi bo‘ladi. 6.5.3-teoremaga ko‘ra esa K ⊂ F radikal kengaytmani o‘z ichiga oluvchi F normal radikal kengaytma mavjud.
Shunday qilib, biz L maydonni o‘z ichiga oluvchi K ⊂ F normal radikal ken- gaytma mavjudligini ko‘rsatdik.

7.