Articles

the Revolutionary Galois Theory

Evariste Galois

31.toukokuuta 1832 Ranskalainen tasavaltalainen vallankumouksellinen Évariste Galois kuoli laukaukseen. Hän oli 20-vuotias. Edellisenä iltana, peläten omaa kuolemaansa, Galois oli kirjoittanut monia kirjeitä, kiihkeästi scribbling ”minulla ei ole aikaa; minulla ei ole aikaa”. Yksi kirjain on erityisen arvokas historiallisista syistä. Kirjeessä Galois väittää itse asiassa käynnistäneensä vallankumouksen. Ei poliittinen. Mutta matemaattinen sellainen.

Had he?

Galois ’ n aloittama vallankumous osoittautui suuremmaksi ja syvällisemmäksi kuin hän olisi voinut kuvitella! Galois’ n visio on vaikuttanut suuresti matematiikan maisemaan, sillä sen jälkeläiset ovat nousseet ja ottaneet matemaattisen maailman haltuunsa. Tämä jälkeläinen on nyt kaikkialla läsnä ja hallitsee rajatonta maata. Se kulkee nimellä puhdas algebra.

romantisoidakseni edes hieman enemmän Galois’ n dramaattisen elämän tarinaa, tässä tiivistelmä algebrasta tekemästäni dokumentista:

Waw! Galois varmasti kuulostaa ainutlaatuinen nero!

Galois ' n käsikirjoitus

hän ehdottomasti on! Hänen matemaattinen vallankumouksensa ei kuitenkaan sujunut ongelmitta. Kuten muillakin vallankumousjohtajilla, hänellä oli aluksi mitä suurimmat vaikeudet. En kuvitellakseni vallankumousta. Mutta vakuuttaa muut liittymään hänen peli-muuttuva lähestymistapa matematiikkaan. Kun Galois oli vielä elossa, hänen vallankumouksellinen ideoita sai hylättiin useita kertoja, jonka Ranskan tiedeakatemia … koska paras Ranska matemaatikot, että aika kuten Siméon Denis Poisson vain voinut saada sitä! Osittain siksi, että Galois ’lukukelvoton käsiala näkyy oikealla …

miten Galois’ n teoria vielä onnistui olemaan tunnettu?

vuonna 1843, 10 vuotta Galois’ n kuoleman jälkeen, nerokas ranskalainen matemaatikko Joseph Liouville onnistui lopulta käsittämään joitakin Galois’ n ajatuksia. Kun 3 vuotta työtä, Liouville julkaisi artikkelin selittää niitä. Mutta Liouville artikkeli oli vielä liian kaukaa haettu muiden matemaatikot nauttia ja ymmärtää. Kesti vielä 24 vuotta löytää ranskalainen matemaatikko jäljellä tarpeeksi paremmin ymmärtää Galois ja tehdä hänen ajatuksiaan ontuva. Tämä erinomainen matemaatikko on Camille Jordania. Jordanin vuonna 1870 julkaisema kirja Galois ’ n teoriasta oli niin hyvin kirjoitettu, että saksalainen matemaatikko Felix Klein piti sitä yhtä luettavana kuin saksalaista kirjaa!

Haha! Luulen, että tämä todella laukaisi Galois ’ vallankumous!

se oli ehdottomasti valtava piristysruiske. Mutta se veisi vielä 82 vuotta, että suuri itävaltalainen matemaatikko Emil Artin vihdoin antaa Galois teoria sen moderni muoto, vuonna 1942. Artin ansaitsee paljon kiitosta. Vaikka Galois oli visionary jotka ennakoida tämän vallankumouksen, Artin, monissa aisteissa, on yksi, jotka todella sitoutui vallankumouksen ja kumottiin matematiikka. Kiitos Artin, ja muutama muu, tänään, Galois teoria on tullut väistämätön kulmakivi tutkimuksen matematiikan, runsaasti yllättäviä ja uskomattomia saavutuksia (kuten Wiles ”todiste Fermat’ n suuri lause), sekä valtava säiliö avoimia kysymyksiä ja mysteereitä!

tämä artikkeli tönii sinua yhä enemmän älyllisesti. Lineaarialgebran, kompleksilukujen ja ryhmäteorian tuntemus voi olla hyödyllinen, jotta voidaan helpommin lukea vastaavasti 2, 4 ja 5. Mutta Ole rohkea, sillä palkinto on saada hyvä yleiskuva yksi kauneimmista ja oivaltavia teorioita matematiikan!

kentät puhtaassa algebrassa

Galois ’ n teoria käsittelee lukujen symmetrioita. Mutta ennen kuin pääsen sinne, minun täytyy esitellä, että saan sinut aseistettua kertomalla sinulle salaisuuden numeroista. Olet varmasti kuullut siitä! Lukiossa sinua luultavasti opetettiin olemaan jättämättä juuria nimittäjiin.

Mitä tarkoitat?

tarkoitan, että $1 / (\sqrt{2}-1)$ ei ollut oikea vastaus. Voitteko auttaa pääsemään eroon neliöjuuri 2 nimittäjä?

Oh yeah! Tämä soi minulle kello … mutta en muista, mitä meidän piti tehdä …

Hehe … meitä opetettiin moninkertaistamaan ylös ja alas, jonka konjugaatti, nimittäjä. Tämä konjugaatti saadaan korvaamalla $ – $ nimittäjässä $ + $ (tai päinvastoin):

juuret osoittajassa

käytin identiteettiä $(a+b) (a-b)=a^2-b^2$. Jos et tiedä tätä kaavaa, tarkista minuutin fysiikan video, joka selittää miksi $(a+b)(c+d) = ac+ad+bc+bd$. Kun korvasit $c$: N $a$: lla ja $d$: n $-b$: lla, sinun pitäisi hankkia antamani henkilöllisyys.
joten, meillä on $1 / (\sqrt{2}-1) = \sqrt{2}+1$? Yllättävää!

tiedän! Monimutkainen lauseke $1 / (\sqrt{2}-1)$ edustaa samaa lukua kuin $\sqrt{2}+1$. Ja tämä selittää sen, miksi opettajamme halusivat meidän kirjoittavan tulokset tavalla eikä toisella: kun kaikki on kirjoitettu samalla tavalla, kokeet on paljon helpompi korjata!

Haha! Näen heidän pointtinsa!

mutta entä $1 / (\sqrt{2}-1)$? Pääsetkö eroon nimittäjän juuresta? Voiko sitä edes tehdä?

Kuutiojuuri nimittäjässä

anna minun yrittää… jos korvaamme $ – $ $ $ + $nimittäjässä, saamme$\sqrt{2}+1$. Kertomalla nimittäjä saadaan $(\sqrt{2}-1) \times (\sqrt{2}+1) = \sqrt{2}^2-1$. ARG, täällä on vielä Kuutiojuuri!

tiedän!

Joten miten kuution juuret voidaan poistaa nimittäjästä?

kerro minulle!

Hummm…

Any luck?

onko apua?

Hehe… mielenkiintoista on, että mikä tahansa potenssi $\sqrt{2}-1$ voidaan kirjoittaa potenssien summana $\sqrt{2}$. Itse asiassa sinun tarvitsee vain jakaa tuotteet:

potenssit Kuutiojuuresta 2 miinus 1

odota… eikö $\sqrt{2}^3$ ole yhtä kuin 2?

kyllä se on! Tekemällä tämän korvaamisen kolmannessa yhtälössä, olemme osoittaneet, että kolme ensimmäistä potenssia $\sqrt{2}-1$ voidaan kirjoittaa summa Rationaaliluku, $\sqrt{2}$ ja $\sqrt{2}^2$!

OK … niin?

joten meillä on nyt 3 yhtälöä, joissa on 2 juurilauseketta haluamme päästä eroon! Näin voimme yhdistää yhtälöt poistaa kaikki root lausekkeet oikealla!

Hump… miten?

kerrotaan 2 ensimmäistä riviä 3: lla ja lasketaan yhteen kaikki 3 yhtälöä:

polynomi on yhtä kuin rationaalinen

huomaa, miten kolmas rivi on saatu korvaamalla $\sqrt{2}^3$ 2: lla.
kai se on mukavaa… mutta se ei kerro minulle, miten saada $\sqrt{2}$ osoittajalle!

Hehe… siistiä on, että saamamme vasen termi voidaan nyt factorized by $\sqrt{2}-1$! Anna minun ohittaa joitakin tylsiä laskelmia… ja päästä tulokseen $(\sqrt{2}-1)$ $(\sqrt{2}^2 + \sqrt{2} + 1)$ $= 1$. Joten, päästä eroon juuret nimittäjä, voimme kertoa ylös ja alas $\sqrt{2}^2 + \sqrt{2} + 1$! Lopuksi saadaan seuraava yllättävä ja kaunis kaava:

Kuutiojuuri Nimittäjäratkaisussa

Waw! Aika siistiä!

tiedän! Mutta vielä siistimpää on se, että käyttämämme menetelmä on hyvin yleinen! Samanlaisilla tekniikoilla voimme nyt poistaa kaikki radikaalit nimittäjistä!

Awesome!

nyt Galois ’ ta kiinnosti erityisesti se, että menetelmä mahdollisti radikaalien poistamisen nimittäjistä. Vaan, että mikä tahansa määrä radikaaleja nimittäjät vastasi useita radikaaleja päälle. Tämä tarkoitti, että numerot radikaalit päällä olivat stabiileja jako.

Mitä tarkoitat?

on tavallista merkitä $\mathbb Q{2}]$ lukujoukkoa, joka voidaan kirjoittaa potenssien summana $\sqrt{2}$. Koska $\sqrt{2}^3 = 2$ on Rationaaliluku, mikä tahansa potenssien summa $\sqrt{2}$ voidaan itse asiassa kirjoittaa vakiomuodossa $a\sqrt{2}^2 + b\sqrt{2} + c$. Nyt, jos lisäät, vähennät tai kerrot mitkä tahansa kaksi tällaista numeroa, niin ei ole vaikea nähdä, että saamme numeroita, jotka voidaan silti laittaa vakiomuotoon $a\sqrt{2}^2 + b\sqrt{2} + c$. Lisäksi olemme juuri osoittaneet, että kaikkien lukujen käänteisarvo $a\sqrt{2}^2 + b\sqrt{2} + C$ voidaan kirjoittaa myös vakiomuodossa. Tämä osoittaa, että mikä tahansa yhteen -, vähennys -, kerto-ja jakolasku luvuissa $\mathbb Q{2}]$ tuottaa luvun, joka voidaan kirjoittaa vakiomuodossa… ja siten kuuluu $\mathbb Q{2}]$. Puhtaan algebran termein ilmaistuna $\mathbb Q{2}]$ on siis stabiili neljällä klassisella aritmeettisella operaatiolla. Tästä syystä kutsumme sitä pelloksi.

tätä kenttää ei tule sekoittaa fysiikan kenttiin, jotka kartoittavat sijainnit luvuiksi tai vektoreiksi. Voit oppia lisää tällaisista skalaari-tai vektorikentistä kvanttimekaniikkaa käsittelevässä artikkelissani. Tässä kenttä on joukko objekteja, jotka voidaan lisätä, vähentää, kertoa ja jakaa, jolloin saadaan objekteja, jotka vielä kuuluvat kenttään.

Kenttälaajennusten geometria

kenttä, jonka tunnet parhaiten, on luultavasti rationaalilukujen joukko $\mathbb Q$. Muita esimerkkejä kentistä ovat reaalilukujen joukko $\mathbb R$ ja kompleksilukujen joukko $\mathbb C$. Ja nyt meillä on myös $ \mathbb Q{2}]$. Koska $\mathbb Q{2}]$ on kenttä, joka sisältää kentän $\mathbb Q$, sanomme, että $\mathbb Q{2}] / \mathbb Q$ on kentän laajennus.

itse asiassa voidaan osoittaa, että jos kenttä $k$ täyttää $x+x+ \ldots+x \neq 0$ kaikille äärellisille summille ja mille tahansa $x \neq 0$, niin $k$ täytyy sisältää $\mathbb Q$. Muuten kenttä $k$ rakentuu väistämättä äärellisille kentille $\mathbb Z / p\mathbb Z$, joka tunnetaan myös nimellä $\mathbb F_p$, jossa $p$ on alkuluku. Näissä kentissä $p$ alkuaineiden $x$ summa on aina 0. Itse asiassa kaikki äärelliset kentät ovat $\mathbb F_{p^n} \cong \mathbb F_p^n$ missä $n$ on kokonaisluku ja $p$ on alkuluku. Nämä äärelliset kentät ovat välttämättömiä tietojenkäsittelytieteessä ja kryptografiassa!

se, että $\mathbb Q{2}] / \mathbb Q$ on kentän laajennus, tuottaa hyvin luonnollisen yhteyden kahden kentän välille. Nimittäin $\mathbb Q{2}]$ voidaan nähdä vektoriavaruutena, jossa $\mathbb Q$ on skalaarikenttä. Erityisesti se, että mikä tahansa luku $\mathbb Q{2}]$ voidaan kirjoittaa $\sqrt{2}^2 + b\sqrt{2} + c$ tarkoittaa, että $(1, \sqrt{2}, \sqrt{2}^2)$ muodostaa perustan $\mathbb Q{2}]$: lle $\mathbb Q$-vektoriavaruutena. Ja tämä tarkoittaa, että voimme esittää sen geometrisesti 3-ulottuvuuden avaruutena!

Kenttälaajennus vektoriavaruutena

tässä vaiheessa, jos et tunne vektoriavaruuksia, suosittelen lukemaan artikkelini lineaarialgebrasta.

yllä olevan vektoriavaruuden dimensio on kiinnostava kenttälaajennusten ominaisuus. Se tunnetaan aste, ja se on yleisesti merkitty $\big{2}] : \mathbb Q\big] = 3$ esimerkiksi.

onko $\mathbb Q{2}]$kenttälaajennuksia?

Yes! Tähän on itse asiassa melko helppo luoda kenttälaajennus: lisää vain jokin radikaali luku, joka ei kuulu $\mathbb Q{2}]$!

Like, I could add $\sqrt{2}$?

Yes! Tämä loisi kentän $(\mathbb Q{2}]) = \mathbb Q{2},\sqrt{2}]$. Tämä kenttä sisältää kaikki numerot, jotka ovat tuotteita ja summia $\sqrt{2}$ ja $\sqrt{2}$. Nämä ovat muotoa $a\sqrt{2}^2$+$b\sqrt{2}+c$+$ d\sqrt{2}^2\sqrt{2}$ +$ e \sqrt{2} \sqrt{2} $+$ f \sqrt{2}$. Mikä on aste $\big{2}, \sqrt{2}]: \mathbb Q{2}]\big]$?

Hummm… 2?

Yes! Meillä on todellakin $a\sqrt{2}^2$+$b\sqrt{2}$+$c $+$ d\sqrt{2}^2\sqrt{2} $+$ e \sqrt{2} \sqrt{2} $+$ f \sqrt{2}^2+b\sqrt{2}+c) $ + $ (d\sqrt{2}^2 + e\sqrt{2} ^ 2 + e \sqrt{2} + F) \sqrt{2}$. Täten mikä tahansa luku $\mathbb Q{2},\sqrt{2}]$ voidaan kirjoittaa $A+B\sqrt{2}$, Missä $A$ ja $b$ kuuluvat $\mathbb Q{2}]$. Siten 2 skalaaria $\mathbb Q{2}]$ määrittää luvun $\mathbb Q{2},\sqrt{2}]$. Tämä tarkoittaa, että kentän laajennuksen $\mathbb Q{2}, \sqrt{2}] / \mathbb Q{2}]$ aste on 2. Itse asiassa meillä on Chaslesin suhde $\big{2}, \sqrt{2}]: \mathbb Q \big] $ = $ \big{2}, \sqrt{2}] : \mathbb Q{2}] \big] \big{2}]: \mathbb Q \big] $ = $ 2 \times 3 = 6$.

voidaanko $\mathbb Q$: n kenttälaajennusta kirjoittaa $\mathbb Q$?

It ’ s better than that! Jokainen äärellisen asteen kenttälaajennus, jota kutsutaan äärelliseksi kenttälaajennukseksi, ulottuu yhdellä numerolla. Esimerkiksi $\mathbb Q{2}, \sqrt{2}] $=$ \mathbb Q{2} + \sqrt{2}]$, mikä tarkoittaa, että kaikki numerot, jotka ovat summia potensseista $\sqrt{2}$ ja $\sqrt{2}$, ovat myös summia potensseista $\sqrt{2} + \sqrt{2}$. Eikö ole yllättävän mahtavaa?

äärelliset Kenttälaajennukset

yleisemmin mikä tahansa rajallinen kenttälaajennus $\mathbb Q$ voidaan kirjoittaa $\mathbb Q$ jollakin $x$, joka lisätään $\mathbb Q$.

voivatko kenttälaajennusten asteet olla äärettömiä?

Kyllä. Kyseessä on kentän laajennus $\mathbb R / \mathbb Q$. Ja, niin on tärkein alan laajennus Galois teoriassa! Tämä kentän laajennus on $\bar {\mathbb Q} / \mathbb Q$, jossa $\bar {\mathbb Q}$ on algebrallisten lukujen joukko. Nämä ovat kaikki ratkaisuja polynomiyhtälöille, jotka ovat muotoa $a_n x^n $ + $ a_{n-1} x^{n-1} $+$ … $+$ a_1 x $+$ a_0 = 0$. Esimerkiksi $\sqrt{2}$ on algebrallinen luku, koska se on ratkaisu $x^4 – 2x = 0$. Täten $\bar {\mathbb Q}$ on kenttälaajennus kaikille $\mathbb Q$: n äärellisille kenttälaajennuksille.

Lue lisää algebrallisista luvuista numeroista ja konstruktiosta kertovalla artikkelillani. Haluan myös mainita, että $\bar {\mathbb Q}$ kutsutaan algebrallinen sulkeminen $\mathbb Q$ koska se koostuu lisäämällä kaikki ratkaisut algebrallinen yhtälöt. Se oli osoittautunut Ernst Steinitz, että tämä algebrallinen sulkeminen on olemassa ja on ainutlaatuinen jopa isomorphism. Tämä ainutlaatuisuus on tärkeää Galois ’ n teoriassa, koska se takaa, että kaikilla algebrallisilla sulkemisilla on samat symmetriat. Kumma kyllä, ainutlaatuisuus vaatii kiistanalaisen aksiooman valinnan, jota ilman algebralliset sulkemiset eivät välttämättä ole isomorfisia!

Konjugaattiluvut

olemme melkein perillä! Tarvitsemme lopullisen kiertotien polynomiyhtälöiden avulla.

Euklidinen jako

kuten $x^4-2x=0$?

täsmälleen! Galois huomasi, että joitakin yhtälöitä voitiin yksinkertaistaa. Esimerkiksi $x^4-2x=0$ voidaan factorized as $x(x^3-2)=0$, joka vastaa $x=0$ tai $X^3-2=0$. Yhtälö $x^4-2x=0$ voidaan siis pienentää yhtälöihin $x=0$ ja $X^3-2=0$. Ja itse asiassa, tämä vähennys on hyvin samanlainen kuin miten numerot kuten 35 voidaan vähentää 5 ja 7, koska $5 \kertaa 7 = 35$. Yhtälöiden ja kokonaislukujen yhtäläisyys on niin vahva, että voimme tehdä jopa Euklidisia jakoja polynomeista, aivan kuten sinä olet oppinut tekemään sen luvuille! Oikealla on esimerkki tällaisesta jaosta (älä huoli, jos et ymmärrä sitä, se ei ole tärkeää jatko-osalle).

niin kai Galois tutki alkulukujen ekvivalenttia …

täsmälleen! Näitä kutsutaan irreduktiivisiksi polynomiyhtälöiksi. Yhtälö $x^3-2=0$ on esimerkki irreducible polynomiyhtälöstä.

odota… olet juuri jakanut sen muotoon $X^3-2$=$(x-\sqrt{2})$ $(x^2+\sqrt{2}x+\sqrt{2}^2)$!

Yes! Mutta ratkaisevasti, Galois halusi keskittyä yhtälöt järkevä kertoimia. Tai pikemminkin polynomit, joiden kertoimet kuuluvat peruskenttään. Niin, mitä tarkoitin, että $\mathbb Q$ peruskenttänä, $X^3-2=0$ on irreducible.

tarpeeksi Fair enough… Joten mitä mielenkiintoista on irreducible polynomiyhtälöt?

tarkastellaan $x^2 – 2x -1=0$, jotta saadaan joitakin vihjeitä. Tämä yhtälö voidaan todistaa irreducible. Muistatko, miten se ratkaistaan?

no ratkaisut $ax^2+bx+c=0$ ovat $x=(-b \pm \sqrt{B^2-4ac})$ / $(2a)$, eikö?

Jos $B^2-4ac \geq 0$, Kyllä.

joten ratkaisut tässä ovat $x = (2 \pm \sqrt{8})/2 $=$ 1 \pm \sqrt{2}$, eikö?

täsmälleen! Joten, irreducible polynomi yhtälö $x^2 + 2x -1 = 0$ on kaksi ratkaisua: $1 + \sqrt{2}$ ja $1 – \sqrt{2}$ … mitään kommenttia?

ei … odota! Nämä ovat konjugaatteja!

Bingo! Se on Galois ’ n avainlöytö. Yleisemmin, Galois kutsutaan konjugates kaikki ratkaisut irreducible polynomi yhtälö. Ja kuten voitte kuvitella, nämä ovat välttämättömiä radikaalien poistamiseksi nimittäjistä!

Hummm… miten tuo tehdään?

ensimmäinen asia on huomata, että jos $x_1$, $x_2$,…, $x_n$ ovat kaikki ratkaisut polynomin irreducible yhtälö $a_n X^n + a_{n-1} x^{n-1} $+$ … + a_1 x + a_0 = 0$ rationaalisilla kertoimilla, niin tämä polynomin irreducible yhtälö voidaan kirjoittaa uudelleen $a_n(x-x_1)(x-x_2)…(x-x_n)=0$. Vakioehtojen tunnistaminen tuottaa tällöin $x_1 x_2 … x_n $ = $ (-1)^n a_0 / a_n$. Niinpä, ratkaisevasti, konjugaattilukujen tulo on Rationaaliluku $(-1)^n a_0/a_n$, joka on ei-nolla (todista se!).

tehdäkseen mitä olen juuri sanonut, irreducible polynomiyhtälöiden ratkaisuilla on kaikilla oltava kerrannaisuus 1. Tämä ominaisuus tunnetaan nimellä separability. Tämä ominaisuus riippuu vain peruskentästä. Kantakenttiä, joiden irreducible polynomit ovat separoituvia, kutsutaan täydellisiksi. Onneksi, meidän tapauksessamme, $\mathbb Q$ on täydellinen, sekä kaikki sen laajennukset.

tässä pieni vitsi pitää mielessä konjugaattien vahva yhteys:

konjugaatit ja Rationaalit

Joten miten tämä pätee radikaalien poistamiseen nimittäjistä?

tarkastellaan murtolukua $1 / x_1$, jossa $x_1$ on monimutkainen lauseke radikaaleilla. Kertomalla ylös ja alas konjugaatit $x_2$,…, $x_n$ of $x_1$ sitten tuottaa $1/x_1 $=$ (-1)^n a_n x_2…x_n / a_0$, joka ei ole radikaali nimittäjä, koska olemme vahvistaneet $a_0$ olla ei-nolla numero peruskentän!

Waw! Mahtavaa! Entä $\sqrt{2}$? Mitkä ovat sen konjugaatit?

muista, että $X^3-2 = 0$ on irreducible polynomiyhtälö $\sqrt{2}$ on ratkaisu. Sen konjugaatit ovat siis muita ratkaisuja tähän yhtälöön, jotka ovat kompleksiluvut $\sqrt{2}j$ ja $\sqrt{2}J^2$, Missä $j= e^{i\tau/3}$, jossa $\tau = 2\pi$ on ympyrän kehän suhde sen säteellä. Seuraavassa kuvassa on esitetty konjugaattiliuosten sijainnit tässä kompleksitasossa:

Kuutiojuuret kompleksitasossa

Galois’ n monitulkintaisuus

vihdoin päästään Galois ’ n keskeiseen oivallukseen!

mikä se on?

konjugaatit ovat täysin permisiä. Tämä tarkoittaa sitä, että jos systemaattisesti muuttaa $\sqrt{2}$ sen konjugaatilla $ – \sqrt{2}$, niin equalities pitää edelleen. Esimerkiksi, koska meillä oli $1/(\sqrt{2}-1) = \sqrt{2}+1$, voin suoraan sanoa, että $1 / (- \sqrt{2}-1)=-\sqrt{2}+1$! Vastaavasti meillä on seuraava tyrmäävä seuraus:

korvaa Kuutiojuuri 2

Waw! Yllättävää! Mistä tuo tulee?

Hehe… haluan ensin muistuttaa, että äärelliset kentät ovat yhden elementin ulottamia. Joten, jos peruskenttä on $\mathbb Q$, Mikä tahansa äärellinen kenttä voidaan kirjoittaa $\mathbb Q$ jollekin oikealle $x_1$. Nyt, harkitse $X^n + a_{n-1}x^{n-1} $+$ … + a_1 x + a_0 = 0$ irreducible polynomiyhtälö $x_1$ on ratkaisu. Sitten, mikä määrittelee $\mathbb Q$ on $\mathbb Q$ – vektoriavaruus, jota käytetään $ x_1$, $x_1^2$,…, $x_1^{n-1}$, yksinkertaistaen suurempia voimia $x_1$ vastaavasti algebrallinen sääntö $x_1^n $=$ – a_{n-1}x_1^{n-1} $-$ … – a_0$.

joten $\mathbb Q$ voidaan konstruoida pelkästään näillä algebrallisilla säännöillä?

täsmälleen! Ratkaisevaa on, että nämä algebralliset säännöt $\mathbb Q$ eivät oikeastaan riipu luonteesta $x_1$; ne riippuvat vain irreducible polynomi $x_1$ on ratkaisu! Siksi $\mathbb Q$: n säännöt ovat samat kuin $\mathbb Q$, …, $\mathbb Q$, jossa $x_1$ korvataan jollakin sen konjugaateista $x_2$, …, $x_n$. Erityisesti kentät $\mathbb Q{2}]$ ja $\mathbb Q{2} j]$ toimivat täsmälleen samojen sääntöjen mukaisesti. Siksi konjugaatit ovat täysin permitoituvia! Sanomme, että kentät $\mathbb Q{2}]$ ja $\mathbb Q{2} j]$ ovat isomorfisia, ja että $\sqrt{2}$: n korvaaminen $\sqrt{2}$: lla on isomorfismi $\mathbb Q{2}] \rightarrow \mathbb Q{2}j]$.

yleisemmin kääntymättömästä polynomiyhtälöstä johdettujen algebrallisten sääntöjen varaan rakennettua kenttää kutsutaan irreduktiivisen polynomiyhtälön repeämäkentäksi. Ilmaistessaan polynomin $p$ tämä repeämäkenttä kirjoitetaan usein $\mathbb Q / (P)$.
joten $\mathbb Q{2}]$ ja $\mathbb Q{2}j]$ ovat itse asiassa suunnilleen samat?

hyvin samanlaisella (mutta voimakkaammalla) tavalla, että kaksi ulottuvuuden 2 vektoriavaruutta ovat kutakuinkin samat! Tällä on hirvittävät seuraukset. Se tarkoittaa, että algebrallisesta näkökulmasta on merkityksetöntä tehdä ero numeron ja minkä tahansa sen konjugaatin välillä (kunhan järjestelmällisesti korvaa luvun sen konjugaatilla)! Esimerkiksi $\sqrt{2}$ ja $ – \sqrt{2}$ ovat algebrallisesti erottamattomia! Pitääkseni tämän mielessä, tässä on toinen vitsi olen keksinyt:

Cube Root of Two Gets Replaced

$\sqrt{2}$ and $-\sqrt{2}$ indistinguishable… Hummm… Sinä liioittelet, eikö niin?

Ei ollenkaan! Näiden kahden luvun väliseen eroon on liityttävä jokin muu matematiikka kuin algebra, kuten järjestyssuhteet tai topologia. Tarkoitan, että esimerkiksi relaatio $\sqrt{2} > 0$ tekee eron $\sqrt{2}$ by $-\sqrt{2}$, mutta se johtuu siitä, että siihen liittyy järjestysrelaatio. Mutta jos rajoitumme polynomifunktioihin, ei ole mitään eroa $\sqrt{2}$: n ja $-\sqrt{2}$: n välillä. Vastaavasti $i$ ja $ – I$, irreducible polynomiyhtälön $x^2+1=0$ ratkaisut ovat myös algebrallisesti erottamattomia. Silti me sanomme mielivaltaisesti $i$ yksi niistä. Tämän vuoksi Galois kutsui teoriaansa monitulkintaisuuden teoriaksi. Tänään, epäselvyyttä valinta perinteisen neliöjuuri $-1$ joukossa $i$ ja $ – I$ kutsutaan symmetria välillä $i$ ja $ – I$.

Galois ’ n ryhmät

Galois keskittyi erityisesti kenttälaajennuksiin, jotka ovat vakaita konjugaatiolla. Tällaisia vakaita kenttälaajennuksia kutsutaan nykyään Galois ’ n laajennuksiksi. Joten, jos $x_1$ kuuluu Galois laajennus, niin tämä Galois laajennus sisältää kaikki sen konjugaatit $x_2$,…, $x_n$.

koska konjugaatio riippuu peruskentästä, niin myös stabiilisuus konjugaatiolla.
miten voimme rakentaa Galois ’ n laajennuksen?

yksinkertainen tapa konstruoida Galois ’ n laajennukset on ottaa kenttä, joka ulottuu irreduktiivisen polynomiyhtälön ratkaisuilla. Esimerkiksi jos $x_1$,…, $x_n$ ovat konjugaatteja peruskentälle $\mathbb Q$, niin $\mathbb Q / \mathbb Q$ on Galois ’ n laajennus. Näin rakennettuja kenttiä kutsutaan halkaisukentiksi.

huomaa, että jakokentän polynomiyhtälön ei tarvitse olla irreducible. Lisäksi voidaan todistaa, että kaikki Galois ’ n äärelliset kenttälaajennukset ovat halkaisevia kenttiä.
voitko antaa esimerkin?

esimerkiksi yhtälön $x^3-2=0$ jakokenttä on Galois ’ n laajennus $\mathbb Q{2}, \sqrt{2} j, \sqrt{2} J^2] / \mathbb Q$, jota sen ratkaisut ulottuvat.

mikä Galois-laajennuksissa on niin kiinnostavaa?

Jos $x_1$ ulottuu Galois ’ n laajennukseen, niin tekevät myös sen konjugaatit. Niinpä $\mathbb Q = \mathbb Q = $ … $ = \mathbb Q$ = $\mathbb Q$. Näin ollen isomorfismi $\mathbb Q$: n ja $\mathbb Q$: n välillä, joka koostuu aina $x_1$: n korvaamisesta $x_2$: lla, on itse asiassa isomorfismi $\mathbb Q$: n ja itsensä välillä! Kutsumme sitä automorfismiksi. Galois ’n laajennuksen automorfismit $\mathbb Q/\mathbb Q$ muodostavat Galois’ n ryhmän $Gal(\mathbb Q/\mathbb Q)$.

voit tutustua ryhmiin tarkemmin symmetrioita käsittelevällä artikkelillani.

nyt ratkaisevasti, jos $\mathbb Q = \mathbb Q$, niin kaikki Galois ’ n laajennuksen automorfismit $\mathbb Q / \mathbb Q$ ovat permutaatioita $x_1$ yhdellä sen konjugaateista! Erityisesti näemme tässä, että cardinality, Galois ryhmä on yhtä suuri kuin aste, Galois laajennus.

voitko antaa esimerkin?

varma! Voit huomata, että $\mathbb Q = \mathbb Q$ ja $\mathbb Q = \mathbb Q$, mikä tarkoittaa, että $i$ ja $\sqrt{2}$ kumpikin ulottuu sen irreducible polynomiyhtälön halkaisukentille, jonka ne ovat ratkaisu. Täten $\mathbb Q / \mathbb Q$ ja $\mathbb Q / \mathbb Q$ ovat molemmat Galois ’ n laajennuksia. Siksi niiden automorfismit koostuvat $i$: n korvaamisesta jollakin sen konjugaateista, $i$: lla tai $-I$: lla, ja $\sqrt{2}$: n korvaamisesta $\sqrt{2}$: lla tai $-\sqrt{2}$: lla. Ensimmäisissä tapauksissa emme muuta mitään luvuiksi, mikä vastaa nollasymmetriaa. Jälkimmäiset tapaukset voidaan visualisoida aksiaalisina symmetrioina, kuten alla olevasta kuvasta näkyy:

Kompleksitason symmetriat

eikö ole hämmästyttävää?

se on mukavaa… mutta voiko meillä olla monimutkaisempia symmetrioita?

varma! Siirrytään jakokenttään $\mathbb Q{2},\sqrt{2}j, \sqrt{2}J^2]$ of $x^3-2=0$. Mutta ennen kuin jatkamme pidemmälle, huomatkaamme, että $\mathbb Q{2},\sqrt{2}j, \sqrt{2}J^2] = \mathbb Q{2}, j]$.

miten todistamme tasa-arvon?

kaikki mitä meidän tarvitsee todistaa on, että kaikki generaattorit yhden kentän kuuluu muille. Aloitetaan osoittamalla, että jälkimmäisen generaattorit $\sqrt{2}$ ja $j$ kuuluvat edelliseen. Se on ilmeistä $ \sqrt{2}$. Nyt $j = (\sqrt{2} j) / \sqrt{2}$, jolloin $j$ kuuluvat myös entiseen kenttään. Tämä todistaa,että kaikki elementit $\mathbb Q{2}, j]$ kuuluvat $\mathbb Q{2}, \sqrt{2} j, \sqrt{2} J^2]$. Vastavuoroisesti on selvää, että kaikki edellisen kentän generaattorit, $\sqrt{2}$, $\sqrt{2}j$ ja $\sqrt{2}J^2$, ovat jälkimmäisen generaattorin tuotteita. Näin ollen molemmat kentät ovat yhtä suuret. Ja erityisesti $\mathbb Q{2}, j] / \mathbb Q$ on Galois ’ n laajennus.

Cool! Mikä on Galois ’ n ryhmä $Gal (\mathbb Q{2}, j]/\mathbb Q)$?

Hehe… ymmärtääksemme $\mathbb Q{2}]$: n symmetrioita, meidän on mentävä pidemmälle Galois’ n tutkimuksessa Galois ’n ryhmistä…

Galois’ n kirjeenvaihdosta

Galois ’ n ryhmien ongelmana on, että niistä voi tulla äärimmäisen suuria ja monimutkaisia. Tämä koskee erityisesti ääretöntä ryhmää $Gal (\bar{\mathbb Q}/\mathbb Q)$. Saadakseen kiinni niin valtavia ja monimutkaisia ryhmiä, Galois oli loistava idea rikkoa nämä pienemmiksi paloiksi.

Joten miten voimme rikkoa Galois ’ n ryhmiä?

hämmästyttävästi Galois sai selville, että Galois ’ n ryhmät voitiin jakaa symmetrioiden alaryhmiksi tarkastelemalla vain niitä, jotka jättävät jonkin alikentän ennalleen. Esimerkiksi $\mathbb Q$ on $\mathbb Q{2},j]$: n alikenttä, koska mikä tahansa edellisen luku kuuluu jälkimmäiseen. Täten symmetriat $\mathbb Q{2},j]$, jotka eivät muuta mitään $\mathbb Q$, muodostavat Galois ’ n ryhmän aliryhmän $\mathbb Q{2}, j]/\mathbb Q$. Nämä symmetriat muodostavat Galois ’ n ryhmän $Gal(\mathbb Q{2},j]/\mathbb Q)$.

Wow! Tämä alkaa olla abstraktia!

tiedän! Haluan visualisoida nämä symmetriat tapoina kytkeä $\mathbb Q{2}, j]$ päälle $\mathbb Q$. Tässä on imagoitu kuva ”plugging on”:

Plugging on

tässä olisi 2 tapaa (identiteetti ja horisontaalinen aksiaalinen symmetria), mutta korkeammissa ulottuvuuksissa symmetriat voivat olla paljon monimutkaisempia.
joten $Gal(\mathbb Q{2},j]/\mathbb Q)$ on aliryhmä $Gal(\mathbb Q{2}, j] / \mathbb Q)$?

täsmälleen! Ja se johtuu yksinkertaisesti siitä, että $\mathbb Q{2}, j]$ on Galois ’ n laajennus $\mathbb Q$, joka itsessään on kentän laajennus $\mathbb Q$.

And there ’ s more! Galois osoitti, että kaikki alaryhmiä, Galois laajennukset saadaan tällä tavalla! Tarkemmin sanottuna minkä tahansa kentän $k$ yhdistäminen Galois ’n laajennuksen $\mathbb Q{2},j]$ ja peruskentän $\mathbb Q$ väliin Galois’ n ryhmään $Gal(\mathbb Q{2},j] / K)$ on bijektiivinen. Tämä tosiasia on nimeltään Galois kirjeenvaihto! Tämä kirjeenvaihto näytetään kaavamaisesti alla Galois-laajennukselle $\mathbb Q / \mathbb Q$.

Galois 'n kirjeenvaihto

tämäkin kartoitus on tiukasti laskeva siinä mielessä, että mitä suurempi kenttä $K$, sitä pienempi on Galois’ n ryhmä $Gal(\mathbb Q{2}, j] / K)$. Ja luonnollisesti tämä lause pätee mihin tahansa peruskenttään $k$ muuksi kuin $\mathbb Q$ ja mihin tahansa Galois ’ n laajennukseen $L/k$ muuksi kuin $\mathbb Q{2},j]$. Huomaa, että $K$ tässä ei oleteta olevan peruskentän Galois ’ n laajennus. Mutta niin kauan kuin $L/k$ on Galois-laajennus, $L/K$ on myös Galois-laajennus.
miten tämä pätee $Gal(\mathbb Q{2}, j] / \mathbb Q)$?

sen sijaan, että yrittäisimme kuvata tätä ryhmää suoraan, keskitytään sen alaryhmään $Gal(\mathbb Q{2}, j] / \mathbb Q)$. On selvää,että $\sqrt{2}$ ulottuu $\mathbb Q{2}, j]$ kun lisätään $\mathbb Q$. Näin ollen $\mathbb Q{2},j]/\mathbb Q$ on Galois ’ n laajennus, joka ulottuu $\sqrt{2}$. Tämän vuoksi, käyttämällä aiemmin näkemäämme teoreemaa, tiedämme, että kaikki tämän Galois ’ n laajennuksen automorfismit korvaavat $\sqrt{2}$ yhdellä sen 3 konjugaatista (itse $\sqrt{2} j$ ja $\sqrt{2} J^2$)!

tällöin voidaan nähdä,että $Gal(\mathbb Q{2}, j]/\mathbb Q)$ on isomorfinen kokonaislukujen $\mathbb Z / 3\mathbb Z$ kanssa yhteenlasku modulo 3.

nyt voisin jatkaa muiden $Gal(\mathbb Q{2}, j]/\mathbb Q)$: n kappaleiden tutkimista, kuten Galois ’ n alaryhmä $Gal(\mathbb Q{2}, j] / \mathbb Q{2}])$. Mutta aion mieluummin käyttää toinen Galois ’ voimakas teoreemojen. Nimittäin, hän osoitti, että jos $\mathbb Q / \mathbb Q$ oli lisäksi Galois laajennus itse, niin aliryhmä $Gal (\mathbb Q{2}, j] / \mathbb Q)$ on normaali.

muodollisesti $h$ on normaali aliryhmä $G$ if $GH = Hg$ kaikille $g \in G$.

näin Galois ’ n ryhmä $\mathbb Q{2}, j]/\mathbb Q$ voidaan osittaa tällä alaryhmällä,ja osamäärä ryhmä on tällöin $Gal(\mathbb Q / \mathbb Q)$. Silti $\mathbb Q / \mathbb Q$ On todellakin Galois ’ n laajennus, jota ulottuu $j$, jonka konjugaatti on $J^2$. Täten $Gal (\mathbb Q/\mathbb Q)$ tarkoittaa joko $j$: n jättämistä $j$: ksi tai sen korvaamista $J^2$: lla.

yleisemmin, jos meillä on kenttälaajennukset $L/K$ ja $k/k$ Galois-laajennukset, niin $Gal(L/K)$ on normaali aliryhmä $Gal(L/K)$ ja $Gal(L/k)/Gal(l/K) \cong Gal(K/K)$. Tämä osoittaa, että meillä on $Gal (\mathbb Q{2},j]/\mathbb Q) / Gal(\mathbb Q{2},j]/\mathbb Q) \cong Gal(\mathbb Q/\mathbb Q) \cong \mathbb Z/ 2\mathbb Z$.

voimme nyt päätellä kaikki symmetriat $Gal(\mathbb Q{2},j] / \mathbb Q)$ yhdistämällä nämä $Gal(\mathbb Q{2},j]/\mathbb Q)$ ja $Gal(\mathbb Q / \mathbb Q)$. Voimme näyttää nämä symmetriat piirtämällä, miten ne vaikuttavat kolmeen konjugaattiimme $\sqrt{2}$, $\sqrt{2}j$ ja $\sqrt{2}J^2$:

Galois ' n ryhmä

huomaa, että yllä oleva symmetria $Gal(\mathbb Q{2},j] / \mathbb Q)$ on tehty ennen kuin $Gal(\mathbb Q/\mathbb Q)$.

yllä oleva luku sisältää kaikki symmetriat $Gal(\mathbb Q{2}, j] / \mathbb Q)$. Ja hämmästyttävää kyllä, nämä symmetriat vastaavat tunnettua symmetriaryhmää.

mikä on tuo tunnettu symmetriaryhmä?

i ’ ll let Marcus du Sautoy present it to you:

ovatko symmetriat tässä kuin meritähti vai kolmio?

kuin kolmio, ilmeisesti!

kyllä, todellakin! Tätä kolmion symmetrioiden ryhmää kutsutaan nimellä $D_3$, ja se on sama kuin 3 elementin permutaatioiden ryhmää $S_3$. Tämä johtaa meidät seuraavaan kaavaan, joka oli mielestäni niin kaunis, että olen päättänyt kehystää sen!

Galois 'n Ryhmän isomorfismi

voidaan päätellä

monin tavoin, että Galois’ ta on pidettävä modernin algebran isänä. Hänen keskeinen oivallus oli tarkastella matematiikan kautta kulma sääntöjen toimintaa, ja tämä johti hänet paljastaa yllättäviä ja oivaltava epäselvyyksiä, tai symmetries, välillä numerot. Algebrallisesta näkökulmasta luvut kuten $\sqrt{2}$, $\sqrt{2}j$ ja $\sqrt{2}J^2$ ovat todellakin täysin symmetrisiä ja täysin vaihdettavissa.

mutta onko Galois ’ n teorialla mitään sovellutusta?

näiden symmetrioiden ymmärtämisellä on ollut hämmästyttäviä sovelluksia muun muassa algebrallisessa geometriassa ja algebrallisessa topologiassa. Teorian varhaisiin menestyksiin kuuluvat erityisesti konstruoitavien säännöllisten monikulmioiden luokittelu ja lause, jonka mukaan korkean asteen polynomiyhtälöitä ei voitu ratkaista radikaaleilla.

mutta se oli vuosisatoja sitten…

Viimeaikaiset onnistumiset näkyvät kryptografiassa ja Andrew Wilesin todisteena Fermat’ n suuresta lauseesta. Tämä todiste edellyttää Galois ’ n ryhmän $Gal(\bar{\mathbb Q} /\mathbb Q)$ tutkimista ryhmäesityksellä. Mutta sanoisin, että teoria on jotenkin vielä nuori,ja paljon on vielä selvitettävää. Onhan se yksi aktiivisimmista tutkimusalueista nykypäivän puhtaan matematiikan tutkimuksessa.

tämän pitäisi johtaa meidät maksamaan paljon enemmän kunnianosoituksia Galois’ unbelievable genius… Let me include one by SocraticaStudios.