06.11.2014 Views

pdf - Alas

pdf - Alas

pdf - Alas

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!