You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Osnovni pojmovi teorije Galoa<br />
Milan Ružić<br />
Matematički fakultet, Beograd<br />
4. jun 2004.<br />
Uvod<br />
U algebri je dugo bilo otvoreno pitanje rešivosti algebarskih jednačina<br />
a n x n + . . . + a 1 x + a 0 = 0<br />
preko radikala, tj. primenom neke formule u kojoj učestvuju jedino elementarne<br />
operacije polja i korenovanje proizvoljnog stepena. Ova jednačina invarijantna<br />
je u odnosu na odredjene automorfizme koji permutuju njene korene.<br />
Videćemo da ta preslikavanja obrazuju tzv. Galoaovu grupu jednačine,<br />
o čemu i piše Evarist Galoa 1 u svom poslednjem pismu: “U teoriji jednačina<br />
ispitivao sam uslove pod kojim je neka jednačina rešiva preko radikala, to mi<br />
je dalo priliku da produbim ovu teoriju, i opišem sve moguće transformacije<br />
na nekoj jednačnini, pa i na onim koje nisu rešive radikalima...”.<br />
Počeci ove teorije javljaju se i kod drugih matematičara. Abel je čak pre<br />
Galoa pokazao da se jednačina 5. stepena ne može rešiti pomoću radikala.<br />
Medjutim, Galoa je imao opštiji pristup – on je taj koji je definisao i shvatio<br />
značaj pojma grupe. Njegov rad objavio je Liuvil 14 godina posle čuvenog<br />
dvoboja.<br />
Ovaj članak ima za cilj da objasni osnovne pojmove i tvrdjenja teorije<br />
Galoa i algebarskih raširenja polja. Neke navedene stvari razvile su se i<br />
izkristalisale tek posle objavljivanja Galoaovog rada, te ih on nije poznavao.<br />
Članak može služiti za podsećanje, ali i prvo upoznavanje sa materijom,<br />
ne ulazeći u detalje dokaza. Za čitanje je potrebno neveliko predznanje iz<br />
teorije grupa i osnove teorije polja. Dakle, gradivo kursa Algebra 1 je sasvim<br />
dovoljno.<br />
1 Algebarska raširenja<br />
Neka su F i E polja. F je potpolje polja E, odnosno E je ekstenzija polja F<br />
akko je F algebarska potstruktrura polja E. U tom slučaju pišemo F ⊆ E.<br />
Dakle, ako F ⊆ E onda 0 F = 0 E , x + F y = x + E y, itd.<br />
1 Évariste Galois(1811-1832), francuski matematičar.<br />
1
Tako je Q ⊆ R ⊆ C. Svako potpolje od C naziva se brojevnim poljem.<br />
Na primer, Q (√ 2 ) = {x + y √ 2 | x, y ∈ Q} je jedno brojevno polje.<br />
Neka je F ⊆ E. Onda E F = ((E, +, 0), F, ◦), gde definišemo α ◦ x =<br />
αx za α ∈ F i x ∈ E, obrazuje strukturu vektorskog prostora. Uvedimo<br />
oznaku za stepen raširenja: |E : F| = dim E F . Ako je stepen konačan tada i<br />
rašiernje nazivamo konačnim. Sledeće tvrdjenje važi za proizvoljna, dakle i<br />
beskonačna raširenja.<br />
Teorema 1 Neka su E, F, K polja takva da važi F ⊆ E ⊆ K. Tada je<br />
<br />
|K : F| = |K : E||E : F| .<br />
Ako je polje beskonačne karakteristike (kaže se i karakteristike 0) ono će biti<br />
i vetorski prostor nad Q. Polje proste karakteristike p (ako je karakteristika<br />
konačna ona mora biti prosta) je i vektorski prostor nad Z p . Koristeći<br />
dosadašnja saznanja pokazuje sa da važi<br />
Teorema 2 Neka je F konačno polje. Tada je |F | = p k , za neki prost broj<br />
p i k ∈ N + . <br />
Prsten polinoma F[X] je komutativan i nema pravih delitelja nule.<br />
2<br />
Polje racionalnih izraza nad tim prstenom označavamo sa<br />
{ }<br />
p<br />
F(X) =<br />
q | p, q ∈ F[X], q ≠ 0 .<br />
Ono je raširenje polja F, ali ne i konačno jer sadrži, na primer, beskonačnu<br />
linearno nezavisnu familiju [1, X, X 2 , . . .].<br />
Neka je sada a fiksiran element polja E i F ⊆ E. Sa F(a) označavamo<br />
polje razlomaka nad F[a] (tu je, očekivano, F[a] = {p(a) | p ∈ F[X]}). F(a) je<br />
minimalno potpolje od E koje sadrži F i a. Ono sadrži i familiju [1, a, a 2 , . . .]<br />
koja je linearno zavisna ako postoji ne-nula p ∈ F[X] za koji je p(a) = 0. U<br />
tom slučaju kažemo da je a algebarski element nad F.<br />
U suprotnom, ako a poništava samo nula polinom iz F[X] zovemo ga<br />
transcedentnim nad F. Jasno je da je tada F(a) ∼ = F(X).<br />
E ⊇ F je algebarsko raširenje polja F ako je svaki a ∈ E algebarski<br />
element nad F.<br />
Na primer, √ 2 je algebarski nad Q i Q( √ 2) je algebarsko raširenje polja<br />
Q. R nije algebarsko raširenje polja Q jer su, na primer, π i e transcedentni<br />
nad Q.<br />
Lako je videti da je svako konačno raširenje i algebarsko. Zato mora biti<br />
|R : Q| = ∞.<br />
Pretpostavimo da je a ∈ E algebarski nad F. Prema principu najmanjeg<br />
elementa za N postoji polinom m ∈ F[X] najmanjeg stepena za koji je<br />
m(a) = 0. Možemo uzeti da je m moničan; zovemo ga minimalni polinom<br />
za a nad F.<br />
2 Element X prstena polinoma, označavaćemo nekad i sa x.<br />
2
Teorema 3 Neka je F ⊆ E, a ∈ E algebarski nad F i m(x) minimalni<br />
polinom od a nad F. Tada važi:<br />
<br />
1. m je nesvodljiv nad F.<br />
2. Ako je p(a) = 0 za p ∈ F[X], onda m(x)|p(x).<br />
3. Ako je n = deg m, onda je<br />
F(a) = { b 0 + b 1 a + . . . + b n−1 a n−1 | b k ∈ F, 0 ≤ k < n } .<br />
4. |F(a) : F| = n = deg m.<br />
Za n ≥ 2, x n −2 je nesvodljiv nad Q prema Ajzenštajnovom kriterijumu.<br />
Onda je on i minimalni polinom za n√ 2 i |Q ( n √ 2 ) : Q| = n.<br />
2 Korensko polje i normalna raširenja<br />
Neka su F ⊆ E polja i f ∈ F[X], deg f ≥ 1.<br />
polinoma f nad F akko:<br />
Polje E je korensko polje<br />
• f ima faktorizaciju na linearne faktore tj. za neke a 1 , . . . , a n ∈ E i<br />
c ∈ F je f(x) = c(x − a 1 ) · · · (x − a n ).<br />
• Ni u jednom medjupolju K (takvom da je F ⊆ K E) f nema linearnu<br />
faktorizaciju.<br />
Teorema 4 Ako je F polje i f ∈ F[X], deg f ≥ 1, tada f ima korensko<br />
polje. Uz to, korensko raširenje je jedinstveno do na izomorfizam. <br />
Algebarsko raširenje E ⊇ F je normalno ukoliko za svaki f ∈ F[X] koji<br />
je nesvodljiv važi: ako f ima jedan koren u E onda E sadrži sve korene<br />
polinoma f. Drugim rečima, ako E sadrži jedan koren od f, onda ono sadrži<br />
i korensko polje od f.<br />
Na primer, Q ( √ 3<br />
2 ) ne sadrži korensko polje polinoma x 3 −<br />
(<br />
2 (nad Q)<br />
jer ne obuhvata preostala dva, kompleksna korena. Medjutim, Q<br />
3√ 2π<br />
2, e i) 3<br />
jeste korensko polje polinoma x 3 − 2. Ono je i normalno raširenje polja Q<br />
na osnovu sledeće teoreme.<br />
Teorema 5 Konačno rašiernje E ⊇ F je i normalno akko E sadrži korensko<br />
polje nekog polinoma nad F. <br />
3 Separabilna raširenja<br />
Nerastavljiv polinom f ∈ F[X] je separabilan nad F akko su svi koreni od<br />
f u njegovom korenskom polju medjusobno različiti. Proizvoljan polinom<br />
f ∈ F[X] je separabilan nad F akko su svi njegovi nerastavljivi faktori iz<br />
F[X] separabilni.<br />
3
Teorema 6 Neka f ∈ F[X] i deg f > 0 (tj. f je pravi polinom). Tada f<br />
ima sve proste nule (reda 1) u njegovom korenskom polju akko (f, f ′ ) = 1 tj.<br />
akko je uzajamno prost sa svojim izvodom. Specijalno, nesvodljiv polinom f<br />
je separabilan akko je f ′ ≠ 0.<br />
U poljima proste karakteristike postoje polinomi za koje je deg f > 0<br />
i f ′ = 0. Na primer, to je slučaj sa polinomom x p2 + x p nad Z p , gde je<br />
p prost broj (dati polinom je rastavljiv nad Z p ). Medjutim, ako je polje<br />
karakteristike 0 onda za deg f > 0 uvek važi deg f ′ = deg f − 1. Posledica<br />
je da nesvodljiv polinom nad brojevnim poljem nema višestruke kompleksne<br />
korene.<br />
Neka su E ⊇ F polja. Za element a ∈ E kažemo da je separabilan ako<br />
je koren nekog separabilnog polinoma nad F. Uz to, za samo raširenje E<br />
kažemo da je separabilno ako je to svaki od njegovih elemenata.<br />
Primetimo da je separabilno raširenje i algebarsko. Ako je E separabilno<br />
raširenje polja F i m(x) minimalni polinom za a ∈ E, tada je m(x) nesvodljiv<br />
i separabilan. Delom smo videli da važi i<br />
Teorema 7 Ako je polje F konačno ili karakteristike 0, svako od njegovih<br />
konačnih raširenja E je i separabilno.<br />
Ako za polja E ⊇ F postoji α ∈ E za koji važi E = F(α), tada kažemo da<br />
je E prosto raširenje polja F. Takodje α se naziva primitivnim elementom<br />
polja E. Na primer, Q( √ 2, √ 3) = Q( √ 2 + √ 3).<br />
Teorema 8 Neka je E konačno i separabilno raširenje polja F. E je onda i<br />
posto raširenje polja F.<br />
4 Automorfizmi i konjugacija<br />
Svaki homomorfizam h : E → K polja E u polje K je i monomorfizam.<br />
Naime, ako je a bilo koji ne-nula elment E, iz a −1 a = 1 i h(1) = 1 sledi da<br />
je h(a −1 )h(a) = 1, pa je tada i h(a) ≠ 0. Otuda je Ker h = {0}, što znači<br />
da je taj homomorfizam i injektivan.<br />
Kod polja E ⊇ F ⊆ K, od posebnog značaja su homomorfizmi iz E<br />
u K koji fiksiraju zajedničko potpolje F. Videli smo da je svaki takav<br />
homomorfizam i injektivan (utapanje). On će biti i izomorfizam ako je<br />
|E : F| = |K : F|.<br />
Za raširenja E i K polja F kažemo da su konjugovana nad F ako postoji<br />
izomorfizam f : E → K takav da je f|F = i F (sa i F označavamo identičko<br />
preslikavanje). Dodatno, za neke α ∈ E i β ∈ K kažemo da su konjugovani<br />
F ako postoji izomorfizam f : F(α) ↦→ F(β), f|F = i F i f(α) = β.<br />
Teorema 9 Ako su E i K raširenja polja F, njihovi elementi α i β su konjugovani<br />
akko su, ili transcendentni, ili imaju isti minimalni polinom nad<br />
F.<br />
Neka su E ⊇ F polja. Skup Aut E svih automorfizama polja E obrazuje<br />
grupu u odnosu na njihovo slaganje. Nije teško proveriti da je<br />
G = {σ ∈ Aut E : σ|F = i F }<br />
4
jedna podgrupa te grupe. Obeležavamo je sa G E:F ili G(E|F).<br />
Tako, na primer, ako su a i b ≠ 0 bilo koji realni brojevi, minimalni<br />
polinom kompleksnog broja z = a + bi nad R je X 2 − 2aX + a 2 + b 2 , pa<br />
su jedini konjugati od z u C upravo ¯z = a − bi i samo z. Ovo proizilazi<br />
iz činjenice da homomorfizmi slikaju nule polinoma u nule korespodentnog<br />
polinoma, što ograničava broj različitih homomorfizama koji fiksiraju R.<br />
Kako je C = R(i) i svaki σ ∈ G C:R ⊂ Aut C potpuno odredjen sa σ(i), sledi<br />
da je G C:R = {z ↦→ z, z ↦→ ¯z}. Zanimljivo je pomenuti da je |Aut C| =<br />
2 2ℵ 0<br />
. Lako se pokazuje da automorfizmi svakog raširenja polja Q moraju<br />
da fiksiraju Q. Medjutim, osim dva pomenuta, ostali elementi Aut C ne<br />
fiksiraju celo R.<br />
5 Galoaova rašiernja<br />
Za polja E ⊇ F, grupu Γ = G E:F zovemo Galoaovom grupom od E nad<br />
F. Značaj te grupe je u tome što postoji odredjena veza izmedju njenih<br />
podgrupa i potpolja od E koja sadrže F. Naime, ako je Π bilo koja od tih<br />
podgrupa, lako se proveri da je skup<br />
Π ◦ = {a ∈ E : (∀π ∈ Π)(π(a) = a)}<br />
i jedno potpolje polja E koje sadrži F; zovemo ga fiksnim poljem te podgrupe<br />
Π. S druge strane, svakom medjupolju L, F ⊆ L ⊆ E odgovara jedna<br />
podgrupa<br />
L ◦ = {π ∈ Γ : (∀ a ∈ L)(π(a) = a)}<br />
grupe Γ. To je upravo grupa svih automorfizama polja E koji fiksiraju L.<br />
Posebno je F ◦ = Γ, kao i E ◦ = i E . Pridruživanja Π ↦→ Π ◦ i L ↦→ L ◦<br />
nazivamo Galoaovim vezama ili koneksijama izmedju skupa P = P(E, F)<br />
svih podgrupa grupa Γ i skupa F = F(E, F) svih polja izmedju F i E. Uz<br />
to, za svake Π, Σ ∈ P i svake L, K ∈ F važi<br />
Π ⊂ Σ ⇒ Π ◦ ⊃ Σ ◦ , L ⊂ K ⇒ L ◦ ⊃ K ◦ ,<br />
pa su ta pridruživanja monotono opadajuća u odnosu na inkluziju. Takodje<br />
je Π ⊂ Π ◦◦ , kao i L ⊂ L ◦◦ .<br />
No, u opštem slučaju, ne mora biti i L = L ◦◦ , čak ni za L = F. Kako je<br />
Γ = F ◦ , to ne mora biti Γ ◦ = F. Za ilustraciju, raširenje E = Q ( 3 √ 2 ) polja<br />
Q ima tačno jedan automorfizam i E , i za odgovarajuću grupu Γ = G E:Q<br />
važi Γ ◦ = E ≠ Q.<br />
U slučaju kada važi Γ ◦ = F i kada je raširenje E konačno, zovemo ga<br />
Galoaovim raširenjem. Drugim rečima, raširenje je Galoaovo ako osim elemenata<br />
F nema drugih koji su nepokretni u odnosu na svaki σ ∈ Γ.<br />
Teorema 10 Konačno raširenje E polja F je Galoaovo akko je normalno i<br />
separabilno. Onda je |Γ| = |E : F|. 3<br />
Sledeća teorema dobila je naziv vodeća teorema teorije Galoa.<br />
3 Negde se Galoaovo raširenje definiše kao konačno, normalno i separabilno raširenje.<br />
5
Teorema 11 Ako je E bilo koje Galoaovo raširenje polja F, tada važi:<br />
1. Galoaove veze Π ↦→ Π ◦ i L ↦→ L ◦ izmedju skupova P i F su bijektivne,<br />
uzajamno inverzene i opadajuće u odnosu na relaciju ⊂.<br />
2. E je Galoaovo raširenje svakog polja L izmedju F i E. Red grupe<br />
G E:L = L ◦ je |E : L|.<br />
3. Medjupolje L je Galoaovo raširenje polja F akko je odgovarajuća podgrupa<br />
L ◦ normalna u grupi Γ. Tada je grupa G L:F izomorfna grupi<br />
Γ/L ◦ .<br />
6 Algebarske jednačnine<br />
Algebarske jednačine sa jednom nepoznatom nad poljem F su oblika f(x) =<br />
0, za f ∈ F[X]. Nule polinoma f zovemo rešenjima ili korenima jednačine.<br />
Dovoljno je ograničiti se na monične polinome.<br />
Teorema 12 Ako je polinom f nad poljem F separabilan, tada je njegovo<br />
korensko polje K separabilno, a samim tim i jedno Galoaovo raširenje polja<br />
F.<br />
U slučaju separabilnog polinoma f, grupu G K:F nazivamo Galoaovom<br />
grupom polinoma f; označavamo je i sa G f:F = Γ f . Jasno je da ona zavisi<br />
od polja F, jer je se f može posmatrati i kao polinom nad svakim E ⊇ F, pa<br />
možemo razmatrati i odgovarajuću grupu G f:E .<br />
Svaki automorfizam σ ∈ Γ f indukuje permutaciju skupa svih nula tog<br />
polinoma. Stoga je njegova Galoaova grupa izomorfna nekoj podgrupi simetrične<br />
grupe S n , gde je n stepen polinoma f. Kao posledicu imamo da |Γ f |<br />
deli n!.<br />
7 Rešive grupe<br />
Skrenućemo sa glavnog toka izlaganja i, kompletnosti radi, uvesti pojam<br />
rešive grupe. Naziv potiče upravo zbog uticaja na rešivost algebarskih<br />
jednačina.<br />
Neka je G grupa. Komutator elemenata a, b ∈ G je [a, b] = a −1 b −1 ab.<br />
Zbog ab = ba[a, b], možemo ga shvatiti kao odstupanje proizvoda ab od ba.<br />
Izvod grupe G je grupa<br />
G ′ = 〈[a, b] : a, b ∈ G〉<br />
generisana svim komutatorima grupe G. Jasno je da je G Abelova akko<br />
G ′ = {1}. Nije teško proveriti da važe i sledeća tvrdjenja:<br />
• (∀H < G)(G ′ ≤ H ⇒ H ⊳ G). Specijalno, G ′ ⊳ G.<br />
• G/H je Abelova akko je G ′ < H.<br />
• Neka je h homomorfizam grupe G na grupu A, tj. A = h(G). Tada je<br />
A ′ = h(G ′ ).<br />
6
n-ti izvod definišemo induktivno: G (n) = ( G (n−1)) ′<br />
. Svaki izvod je normalna<br />
podgrupa prethodnog izvoda tako da imamo jedan opadajući lanac.<br />
Najzad, G je rešiva akko je G (m) = {1} za neko m ∈ N.<br />
Teorema 13 Simetrična grupa S n i alternirajuća grupa A n , su rešive akko<br />
je n ≤ 4.<br />
8 Rešivost jednačine radikalima<br />
Pri rešavanju algebarske jednačine f(x) = 0, prirodno se nameće ideja da se<br />
ona svede na rešavanje konačno mnogo binomnih jednačina, tj. jednačina<br />
oblika x s = a. Tu je a ∈ K neka vrednost dobijena u prethodnom delu<br />
procesa. Rešenja binomne jednačine zovemo s-tim korenima ili radikalima<br />
elementa a.<br />
Neka je F polje i s prirodan broj koji nije deljiv karakteristikom polja<br />
F. Tada za raširenje E polja F kažemo da je radikalsko akko postoji a ∈ F i<br />
bar jedan nerastavljiv polinom oblika x s − a, tako da za neku njegovu nulu<br />
α vazi E = F[α]. Podsetimo se da je s = |E : F|.<br />
Za algebarsku jednačinu f(x) = 0 nad poljem F kazžemo da je rešiva<br />
radikalima ako je njeno korensko polje K sadržano u poslednjem članu nekog<br />
radikalskog lanca sa početkom u F. Dakle, ako je svaki član lanca<br />
F = L 0 ⊆ L 1 ⊆ · · · ⊆ L m<br />
radikalsko raširenje prethodnog, i K ⊆ L m , jednačina f(x) = 0 je rešiva<br />
radikalima.<br />
Teorema 14 Algebarska jednačina f(x) = 0, deg f > 0, nad poljem F<br />
karakteristike 0 je rešiva pomoću radikala akko je rešiva njena Galoaova<br />
grupa G f:F .<br />
Za n = deg f ≤ 4, poznate su formule za izražavanje rešenja jednačine<br />
preko njenih koeficijenata, naravno korišćenjem samo operacija njenog korenskog<br />
polja i korenovanja. Da to nije slučaj sa većim stepenima pokazuje<br />
Teorema 15 Za svako n > 4, nad poljem Q postoji algebarska jednačina<br />
stepena n koja nije rešiva radikalima.<br />
Literatura<br />
1. G. Kalajdžić: Algebra, Beograd, 1988.<br />
2. N. Božović,<br />
Ž. Mijajlović: Uvod u teoriju grupa, Beograd, 1983.<br />
3. Ž. Mijajlović: Beleške sa predavanja iz Algebre 2,<br />
http://www.matf.bg.ac.yu/nastavno/zmijaj.html .<br />
7