Articles

A forradalmi Galois-elmélet

Evariste Galois

május 31-én, 1832-ben, egy francia republikánus forradalmár, az úgynevezett Multinvariste Galois halt meg egy lövéstől. 20 éves volt. Előző este, saját halálától tartva, Galois sok levelet írt, frenetikusan firkálva:”nincs időm; nincs időm”. Egy levél történelmi okokból különösen értékes. Ebben a levélben Galois azt állítja, hogy valóban kiváltotta a forradalmat. Nem politikai. De egy matematikai.

volt?

a Galois által kezdeményezett forradalom nagyobbnak és mélyebbnek bizonyult, mint amit el tudott volna képzelni! A táj a matematika már mélyen érintette Galois víziója, mint az utódai emelkedett, és átvette a matematikai világban. Ez az utód most mindenütt jelen van, és határtalan földeket szabályoz. Tiszta algebra néven fut.

hogy még egy kicsit romantikusabbá tegyük Galois drámai életének történetét, itt van egy absztrakt egy dokumentumfilmről, amelyet az algebráról készítettem:

Waw! Galois biztosan egyedülálló zseninek hangzik!

Galois kézirat

határozottan az! De a matematikai forradalma nem ment simán. Mint minden forradalmi vezető, először a legnagyobb nehézségekkel küzdött. Nem elképzelni a forradalmat. De meggyőzni másokat, hogy csatlakozzanak hozzá a matematika játékváltoztató megközelítéséhez. Amikor Galois még életben volt, forradalmi ötleteit a Francia Tudományos Akadémia többször elutasította … mert az akkori legjobb francia matematikusok, mint Sim ons Denis Poisson, egyszerűen nem tudták megszerezni! Részben azért, mert Galois ‘ olvashatatlan kézírás jelenik meg a jobb oldalon …

hogyan Galois elmélet még sikerült ismert?

1843-ban, 10 évvel Galois halála után, végül egy zseniális francia matematikus, Joseph Liouville sikerült megragadnia Galois néhány ötletét. További 3 év munka után Liouville cikket tett közzé, hogy elmagyarázza őket. De Liouville cikke még mindig túl erőltetett más matematikusok élvezni és megérteni. További 24 évbe telt, mire egy francia matematikus elég kiemelkedő volt ahhoz, hogy jobban megértse Galois-t, és ötleteit lágyabbá tegye. Ez a kiemelkedő matematikus Camille Jordan. Valójában Jordan 1870-es könyve a Galois-elméletről olyan jól megírt volt, hogy Felix Klein német matematikus ugyanolyan olvashatónak találta, mint egy német könyv!

Haha! Azt hiszem, ez valóban kiváltotta Galois forradalmát!

Ez határozottan egy hatalmas lökést. De további 82 évbe telik, amíg a nagy osztrák matematikus, Emil Artin 1942-ben végre megadja a Galois-elmélet modern formáját. Artin sok kreditet érdemel. Míg Galois volt a látnok, aki előre látta ezt a forradalmat, Artin, sok értelemben, az, aki ténylegesen vállalta a forradalom és felborult a matematika. Hála Artin, és néhány más, ma, a Galois-elmélet vált elkerülhetetlen sarokköve a kutatás a matematikában, rengeteg meglepő és elképesztő eredményeket (mint Wiles ‘proof of Fermat’ s last theorem), valamint egy hatalmas tározó nyitott kérdések és rejtélyek!

ez a cikk egyre inkább intellektuálisan nyomja meg. A lineáris algebra, a komplex számok és a csoportelmélet ismerete hasznos lehet a 2., 4. és 5. szakasz könnyebb olvasásához. De légy bátor, mert a jutalom az, hogy egy jó áttekintést az egyik legszebb és éleslátó elméletek a matematika!

mezők a tiszta algebrában

a Galois-elmélet a számok szimmetriáiról szól. De mielőtt odaérnék, be kell mutatnom, hogy felfegyverezzem azzal, hogy elárulok egy titkot a számokról. És biztos vagyok benne, hogy hallottál róla! Valóban, vissza a középiskolába, valószínűleg azt tanították, hogy soha ne hagyjon gyökereket a nevezőkben.

hogy érted?

úgy értem, hogy $1 / (\sqrt{2}-1)$ nem volt helyes válasz. Tudna segíteni megszabadulni a 2 négyzetgyökétől a nevezőben?

Ó igen! Ez rémlik nekem… de nem emlékszem, mit kellett volna tennünk …

Hehe … megtanítottak fel-le szorozni a nevező konjugátumával. Ezt a konjugátumot úgy kapjuk meg, hogy $ – $ -t $ + $ -ra (vagy fordítva) cseréljük a nevezőben:

gyökerek a számlálóban

a $(A+b)(a-b)=a^2-b^2$azonosítót használtam. Ha nem ismeri ezt a képletet, ellenőrizze a Minute Physics videóját, amely megmagyarázza, miért $(a+b)(c+d) = ac+ad+bc+bd$. Ekkor a $c$- t $a$ – val, a $d$ – t $ – b$ – val helyettesítve meg kell szereznie az általam megadott személyazonosságot.
tehát van $1 / (\sqrt{2}-1) = \sqrt{2}+1$? Ez meglepő!

tudom! A $1/(\sqrt{2}-1)$ bonyolult kifejezés ugyanazt a számot jelenti, mint a $\sqrt{2}+1$. Ez megmagyarázza, hogy a tanáraink miért akarták, hogy az eredményeket inkább az egyik, mint a másik módon írjuk le: amikor minden ugyanúgy van írva, a vizsgákat sokkal könnyebb kijavítani!

Haha! Látom a pontjaikat!

de mi a helyzet $1/(\sqrt{2}-1)$? Meg tudsz szabadulni a nevező gyökerétől? Meg lehet egyáltalán csinálni?

kocka gyökér a nevezőben

hadd próbáljam meg… ha a $ – $ – T $ + $ – RA cseréljük a nevezőben, akkor $\sqrt{2}+1$ – t kapunk. A nevező szorzata $(\sqrt{2}-1) \times (\sqrt{2}+1) = \sqrt{2}^2-1$. Arg … még mindig van egy kocka gyökér!

tudom!

tehát hogyan lehet eltávolítani a kocka gyökereit a nevezőből?

mondd meg!

Hummm…

szerencséd van?

bármilyen segítség?

Hehe … érdekes módon a $ \ sqrt{2}-1$ bármely ereje felírható $ \ sqrt{2}$hatványainak összegeként. Valójában csak a termékeket kell terjesztenie:

a kocka gyökérének hatásköre 2 mínusz 1

várjon… nem $\sqrt{2}^3$ egyenlő 2-vel?

Igen, ez az! Ezzel a helyettesítéssel a harmadik egyenletben megmutattuk, hogy a $ \ sqrt{2}-1$ három első hatványa egy racionális szám összegeként írható, $\sqrt{2}$ és $\sqrt{2}^2$!

OK … szóval?

tehát most 3 egyenlet van, 2 gyökér kifejezéssel meg akarunk szabadulni! Így kombinálhatjuk az egyenleteket, hogy eltávolítsuk az összes gyökér kifejezést a jobb oldalon!

Hummm … hogyan?

szorozzuk meg a 2 első sort 3-mal, és adjuk össze mind a 3 egyenletet:

polinom egyenlő racionális

figyeljük meg, hogy a harmadik sort a $\sqrt{2}^3$ 2-vel való helyettesítésével kaptuk meg.
azt hiszem, ez szép… de nem mondja meg, hogyan lehet $\sqrt{2}$ a számlálóhoz!

Hehe… a klassz dolog az, hogy a kapott bal kifejezést most $\sqrt{2}-1$faktorizálhatjuk! Hadd ugorjak át néhány unalmas számítást … és érjem el az eredményt $(\sqrt{2}-1)$ $(\sqrt{2}^2 + \ sqrt{2} + 1)$ $= 1$. Tehát, hogy megszabaduljunk a nevező gyökereitől, fel-le szaporodhatunk $\sqrt{2}^2 + \sqrt{2} + 1$ – val! Végül a következő meglepő és gyönyörű képletet kapjuk:

kocka gyökér a nevező megoldásban

Waw! Ez nagyon ügyes!

tudom! De ami még rendesebb, hogy az általunk alkalmazott módszer nagyon általános! Hasonló technikával most eltávolíthatjuk az összes gyököt a nevezőkből!

fantasztikus!

Galois számára nem az volt különösen érdekes, hogy egy módszer lehetővé tette a gyökök eltávolítását a nevezőkből. De inkább, hogy bármely szám, amelynek nevezőjében gyökök vannak, megegyezett a tetején lévő gyökökkel. Ez azt jelentette, hogy a tetején lévő radikálisokkal rendelkező számok Osztás szerint stabilak voltak.

hogy érted?

gyakori a $ \ mathbb Q{2}]$ a számok halmaza, amelyet $ \ sqrt{2}$hatványainak összegeként lehet írni. Mivel a $ \ sqrt{2}^3 = 2$ racionális szám, a $\sqrt{2}$ hatványainak összege valójában a $a\sqrt{2}^2 + b\sqrt{2} + c$szabványos formában írható. Most, ha összeadunk, kivonunk vagy megszorozunk két ilyen számot, akkor nem nehéz belátni, hogy olyan számokat kapunk, amelyek továbbra is a szokásos formában helyezhetők el $a\sqrt{2}^2 + b\sqrt{2} + c$. Ráadásul, amit most bemutattunk itt, az az, hogy az összes szám inverze $a\sqrt{2}^2 + b\sqrt{2} + c$ szabványos formában is írható. Ez azt mutatja, hogy a $\mathbb Q{2}]$ számok összeadása, kivonása, szorzása és osztása olyan számot eredményez, amely standard formában írható… és így a $\mathbb Q{2}]$ – hoz tartozik. Tiszta algebrai értelemben a $ \ mathbb Q{2}]$ tehát stabil a négy klasszikus aritmetikai művelettel. Ezért nevezzük ezt mezőnek.

ez a mező nem tévesztendő össze azokkal a fizikai mezőkkel, amelyek a helyeket számokra vagy vektorokra térképezik fel. Az ilyen skaláris vagy vektor mezőkről többet megtudhat a kvantummechanikáról szóló cikkemben. Itt a mező olyan objektumok halmaza, amelyek hozzáadhatók, kivonhatók, szorozhatók és oszthatók, így olyan objektumokat eredményeznek, amelyek még mindig a mezőhöz tartoznak.

Mezőbővítmények geometriája

a mező, amelyet a legjobban ismer, valószínűleg a racionális számok $\mathbb Q$ halmaza. További példák a mezőkre a valós számok $\mathbb R$ halmaza és a komplex számok $\mathbb C$ halmaza. És most van $ \ mathbb Q{2}]$is. Mivel a $ \ mathbb Q{2}]$ egy mező, amely tartalmazza a $\mathbb Q$ mezőt, azt mondjuk, hogy a $ \ mathbb Q{2}] / \mathbb Q$ egy mező kiterjesztés.

valójában megmutatható, hogy ha egy $k$ mező megfelel $x+x+ \ldots+x \neq 0$ – nak minden véges összegre és bármely $x \neq 0$ – ra, akkor $k$ – nak tartalmaznia kell $\mathbb Q$ – t. Ellenkező esetben a $k$ mező szükségszerűen a $\mathbb Z /p\mathbb Z$ véges mezőkre épül, más néven $\mathbb F_p$, ahol $p$ elsődleges. Ezekben a mezőkben a $p$ elemek $x$ összege mindig 0. Valójában minden véges mező $ \ mathbb F_{p^n} \ cong \ mathbb F_p^n$, ahol $n$ egész szám és $p$ prímszám. Ezek a véges mezők elengedhetetlenek a számítástechnikában és a kriptográfiában!

az a tény, hogy $\mathbb Q{2}] / \mathbb Q$ egy mező kiterjesztés, nagyon természetes kapcsolatot eredményez a két mező között. Nevezetesen, $ \ mathbb Q{2}]$ vektortérnek tekinthető, ahol $ \ mathbb Q$ A skaláris mező. Különösen az a tény, hogy a $\mathbb Q{2}]$ bármely szám felírható $a \ sqrt{2}^2 + b\sqrt{2} + c$ azt jelenti, hogy $(1, \sqrt{2}, \sqrt{2}^2)$ a $\mathbb Q{2}]$ alapját képezi $\mathbb Q$-vektortérként. Ez azt jelenti, hogy geometriailag 3 dimenziós térként ábrázolhatjuk!

mező kiterjesztés Vektortérként

ezen a ponton, ha nem ismeri a vektortéreket, azt javaslom, hogy olvassa el a lineáris algebráról szóló cikkemet.

a fenti vektortér dimenziója a mezőbővítmények érdekes tulajdonsága. Ez az úgynevezett fok, és általában $\big{2}] : \mathbb Q\big] = 3$ például.

vannak a $\mathbb Q{2}] $ mezőbővítményei?

Igen! Valójában nagyon könnyű létrehozni ennek a mezőnek a kiterjesztését: csak adjon hozzá néhány radikális számot, amely nem tartozik a $\mathbb Q{2}]$ – hoz!

tetszik, hozzáadhatnék $ \ sqrt{2}$?

Igen! Ez létrehozná a $(\mathbb Q{2}]) = \mathbb Q{2},\sqrt{2}]$mezőt. Ez a mező tartalmazza az összes számot, amelyek $\sqrt{2}$ és $\sqrt{2}$termékek és összegek. Ezek formája $a \ sqrt{2}^2$+$b\sqrt{2}+c$+$ d\sqrt{2}^2\sqrt{2}$ +$ e \sqrt{2} \sqrt{2} $+$ F \sqrt{2}$. Van ötlete, hogy mi a fok $ \ big{2}, \ sqrt{2}]: \ mathbb Q{2}] \ big]$?

Hummm … 2?

Igen! Valóban, van $a\sqrt{2}^2$+$b\sqrt{2}$+$c $+$ d\sqrt{2}^2\sqrt{2} \sqrt{2} $ + $ F \sqrt{2} $ = $ (a \sqrt{2}^2 + b\sqrt{2}+c) $ + $ (d\sqrt{2}^2 + e\sqrt{2} + f) \sqrt{2}$. Így tetszőleges számú $ \ mathbb Q{2},\sqrt{2}]$ írható $a+B\sqrt{2}$, ahol $a$ és $B$ a $\mathbb Q{2}]$ – hoz tartoznak. Így a $\mathbb Q{2}]$ 2 skalárja meghatároz egy számot a $\mathbb Q{2},\sqrt{2}]$ – ban. Ez azt jelenti, hogy a $\mathbb Q{2}, \sqrt{2}] / \mathbb Q{2}]$ mező kiterjesztés mértéke 2. Valójában megvan a Chasles reláció $ \ big{2}, \ sqrt{2}]: \ mathbb Q \ big] $ = $ \ big{2}, \ sqrt{2}] : \mathbb Q{2}] \ nagy] \ nagy{2}]: \mathbb Q \nagy] $ = $ 2 \ szorozva 3 = 6$.

írható-e a $\mathbb Q$ mező bármely kiterjesztése $\mathbb Q$?

ez jobb, mint ez! Bármely véges fokú mező kiterjesztést, az úgynevezett véges mező kiterjesztést egyetlen szám fedi le. Például $ \ mathbb Q{2}, \ sqrt{2}] $=$ \mathbb Q{2} + \sqrt{2}]$, ami azt jelenti, hogy minden szám, amely $\sqrt{2}$ és $\sqrt{2}$ hatványainak összege, egyben $\sqrt{2} + \sqrt{2}$hatványainak összege is. Hát nem meglepően király?

véges Mezőbővítmények

általánosabban, a $\mathbb Q$ bármely véges mezőbővítménye $\mathbb Q$ – ra írható, néhány $x$ – val, amely hozzáadódik a $\mathbb Q$ – hoz.

lehet-e végtelen a mezőbővítmények foka?

Igen. Ez a helyzet a mező kiterjesztés $ \ mathbb R/ \ mathbb Q$. És, így a legfontosabb mező kiterjesztése Galois elmélet! Ez a mező kiterjesztés $ \ bar {\mathbb Q} / \mathbb Q$, ahol $\bar {\mathbb Q}$ az algebrai számok halmaza. Ezek mind megoldások az űrlap polinom egyenleteire $a_n x^n $ + $ a_{n-1} x^{n-1} $+$ … $+$ a_1 x $ + $ a_0 = 0$. Például, $ \ sqrt{2}$ egy algebrai szám, mert megoldás $x^4 – 2x = 0$. Így a $ \ bar {\mathbb Q}$ A $\mathbb Q$összes véges mezőbővítményének mezőbővítése.

Tudjon meg többet az algebrai számokról a számokról és a konstruktivitásról szóló cikkemmel. Azt is meg kell említenem, hogy a $\bar{\mathbb Q}$ – t a $\mathbb Q$ algebrai lezárásának nevezzük, mivel az összes megoldás algebrai egyenletekhez való hozzáadásából áll. Ernst Steinitz bebizonyította, hogy ez az algebrai lezárás létezik, és egyedülálló az izomorfizmusig. Ez az egyediség fontos a Galois-elméletben, mivel garantálja, hogy minden algebrai lezárás azonos szimmetriával rendelkezik. Furcsa módon azonban az egyediség megköveteli a vitatott választott axiómát, amely nélkül az algebrai lezárások nem lehetnek izomorfak!

konjugált számok

már majdnem ott vagyunk! Szükségünk van egy utolsó kitérőre a polinom egyenleteken keresztül.

euklideszi osztály

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

pontosan! Galois észrevette, hogy néhány egyenlet egyszerűsíthető. Például $x^4-2x=0$ faktorizálható $x(x^3-2)=0$, ami megfelel $x=0$ vagy $x^3-2=0$. Tehát a $x^4-2x=0$ egyenlet csökkenthető $x=0$ és $x^3-2=0$egyenletekre. És valójában ez a csökkenés nagyon hasonlít ahhoz, ahogyan a 35-ös számokat 5-re és 7-re lehet csökkenteni, mert $5 \szorozva 7 = 35$. Az egyenletek és az egész számok közötti hasonlóság olyan erős, hogy még a polinomok euklideszi felosztását is meg tudjuk csinálni, ahogy a számoknál is megtanultad! A jobb oldalon egy példa egy ilyen megosztásra (ne aggódjon, ha nem érti, ez nem lesz fontos a folytatás szempontjából).

tehát azt hiszem, Galois tanulmányozta a prímszámok megfelelőjét…

pontosan! Ezeket redukálhatatlan polinomegyenleteknek nevezzük. A $x^3-2=0$ egyenlet az irreducibilis polinom egyenlet példája.

várj … csak $x^3-2$=$(x-\sqrt{2})$ $(x^2+\sqrt{2}x+\sqrt{2}^2)$!

Igen! De döntő fontosságú, hogy Galois a racionális együtthatókkal rendelkező egyenletekre akart összpontosítani. Vagy inkább az alapmezőhöz tartozó együtthatókkal rendelkező polinomok. Tehát arra gondoltam, hogy a $ \ mathbb Q$ mint alapmező, $x^3-2=0$ irreducibilis.

elég korrekt … tehát mi olyan érdekes az irreducibilis polinomegyenletekkel?

tekintsük $x^2 – 2x -1=0$, hogy néhány nyomokat. Ez az egyenlet bizonyítható, hogy irreducibilis. Emlékszel, hogyan kell megoldani?

Nos, a $ax^2+bx+c=0 $ megoldásai $x = (- B \ pm \ sqrt{b^2-4ac})$/$(2a)$, igaz?

ha $b^2-4ac \ geq 0$, igen.

tehát a megoldások itt $x = (2 \ pm \ sqrt{8})/2 $=$ 1 \pm \ sqrt{2}$, igaz?

pontosan! Tehát a $x^2 + 2x -1=0 $ redukálhatatlan polinom egyenletnek két megoldása van: $1+ \ sqrt{2}$ és $1- \ sqrt{2}$ … van valami megjegyzés?

nem … várj! Ezek konjugátumok!

Bingo! Ez Galois legfontosabb felfedezése. Általánosabban, Galois hívott konjugálja az összes megoldást egy redukálhatatlan polinomegyenletre. És ahogy el tudod képzelni, ezek elengedhetetlenek a gyökök eltávolításához a nevezőkből!

Hummm … hogyan lehet ezt megtenni?

az első dolog, amit észre kell venni, hogy ha $x_1$, $x_2$,…, $x_n$ egy polinom irreducibilis egyenlet összes megoldása $a_n x^n + a_{n-1} x^{n-1} $+$ … + a_1 x + a_0 = 0$ racionális együtthatókkal, akkor ez a polinom irreducibilis egyenlet valóban átírható $a_n(x-x_1)(x-x_2)…(x-x x_n)=0$. Az állandó kifejezések azonosítása ekkor $x_1 x_2 … x_n $=$ (-1)^n a_0/a_n$értéket eredményez. Tehát döntő fontosságú, hogy a konjugált számok szorzata a racionális szám $(-1)^n a_0/a_n$, amely nem nulla (bizonyítsd be!).

ahhoz, amit az imént mondtam, az irreducibilis polinom egyenletek megoldásainak mindnek 1-es multiplicitással kell rendelkezniük. Ezt a tulajdonságot elválaszthatóságnak nevezik. Ez a tulajdonság csak az alapmezőtől függ. Azokat az alapmezőket, amelyek redukálhatatlan polinomjai elválaszthatók, tökéletesnek nevezzük. Szerencsére a mi esetünkben a $ \ mathbb Q$ tökéletes, valamint az összes kiterjesztése.

itt egy kis vicc, hogy szem előtt tartsuk a konjugátumok közötti erős kapcsolatot:

konjugátumok és Racionalumok

tehát hogyan vonatkozik ez a gyökök eltávolítására a nevezőkből?

Vegyünk egy frakciót $1 / x_1$, ahol $x_1$ egy bonyolult kifejezés gyökökkel. Ha fel-le szorozzuk a $x_2$, …, $x_n$ konjugátumokkal $x_1$ – ból, akkor $1/x_1 $=$ (-1)^n a_n x_2…x_n/a_0$-t kapunk, amelynek nincs gyöke a nevezőben, mivel megállapítottuk, hogy $a_0$ az alapmező nem nulla száma!

Waw! Király! Tehát mi a helyzet $ \ sqrt{2}$? Melyek a konjugátumok?

emlékezzünk arra, hogy $x^3-2=0$ az irreducibilis polinom egyenlet $\sqrt{2}$ a megoldása. Tehát konjugátumai az egyenlet további megoldásai, amelyek a $\sqrt{2}j$ és $\sqrt{2}j^2$ Komplex számok, ahol $j= e^{i\tau/3}$ a $\tau = 2\pi$ a kör kerületének sugara szerinti aránya. A következő ábra mutatja a konjugált megoldások helyét ebben a komplex síkban:

kocka gyökerei komplex síkban

Galois kétértelműsége

végül eljutunk Galois legfontosabb betekintéséhez!

mi ez?a

konjugátumok tökéletesen permutálhatók. Ez azt jelenti, hogy ha szisztematikusan megváltoztatja a $ \ sqrt{2}$ konjugátumát $-\sqrt{2}$, akkor az egyenlőségek továbbra is fennállnak. Például, mivel $1/(\sqrt{2}-1) = \sqrt{2}+1$ volt, egyértelműen elmondhatom, hogy $1/(-\sqrt{2}-1)=-\sqrt{2}+1$! Hasonlóképpen, a következő lenyűgöző következménnyel rendelkezünk:

2 kocka gyökérének cseréje

Waw! Ez meglepő! Ez meg honnan jött?

Hehe … hadd idézzem fel először, hogy a véges mezőket egyetlen elem fedi le. Tehát, ha az alapmező $ \ mathbb Q$, bármely véges mező írható $ \ mathbb Q$ néhány jobbra $ x_1$. Most fontolja meg $x^n + a_{n-1}x^{n-1} $ + $ … + a_1 x + a_0 = 0$ a redukálhatatlan polinom egyenlet $x_1$ a megoldás. Ezután mi határozza meg $ \ mathbb Q$ A $ \ mathbb Q$ – vektor tér által átfogott $x_1$, $x_1^2$, …, $x_1^{n-1}$, A $x_1$ nagyobb hatalmainak egyszerűsítésével az algebrai szabálynak megfelelően $x_1^n $=$ – a_{n-1}x_1^{n-1} $-$ … – a_0$.

tehát a $ \ mathbb Q$ kizárólag ezekre az algebrai szabályokra építhető?

pontosan! Alapvető fontosságú, hogy ezek a $\mathbb Q $ algebrai szabályok nem igazán függenek a $x_1$ jellegétől; csak az irreducibilis polinomtól függenek $x_1$ a megoldás! Ezért a $\mathbb Q$ szabályai megegyeznek a $\mathbb Q$, …, $\mathbb Q$ szabályaival, ahol a $x_1$ helyébe az egyik konjugátuma $x_2$, …, $x_n$lép. A $\mathbb Q{2}]$ és a $\mathbb Q{2} j]$ mezők pontosan ugyanazon szabályok szerint működnek. Ezért a konjugátumok tökéletesen átjárhatók! Azt mondjuk, hogy a $\mathbb Q{2}]$ és $\mathbb Q{2} j]$ mezők izomorfak, és hogy a $\sqrt{2}$ helyettesítése $\sqrt{2}j$ egy izomorfizmus $\mathbb Q{2}] \rightarrow \mathbb Q{2}j]$.

általánosabban, az An-ból származó algebrai szabályok alapján felépített mezőt redukálhatatlan polinom egyenlet az irreducibilis polinom egyenlet szakadási mezőjének nevezzük. Jelölő $P$ a polinom, ezt a szakadási mezőt gyakran írják $ \ mathbb Q / (P)$.
tehát $ \ mathbb Q{2}]$ és $ \ mathbb Q{2}j]$ valójában többé-kevésbé ugyanaz?

nagyon hasonló (de erősebb) módon, hogy a 2. dimenzió két vektortere többé-kevésbé azonos! Ennek szörnyű következménye van. Ez azt jelenti, hogy algebrai szempontból értelmetlen különbséget tenni egy szám és bármely konjugátuma között (mindaddig, amíg szisztematikusan helyettesítjük a számot a konjugátumával)! Tehát például a $ \ sqrt{2}$ és a $-\sqrt{2}$ algebrailag nem különböztethetők meg! Ezt szem előtt tartva, itt van egy másik vicc, amivel előálltam:

a két kocka gyökere kicserélésre kerül

$\sqrt{2}$ és $-\sqrt{2}$ megkülönböztethetetlen… Hummm… eltúlzod, ugye?

egyáltalán nem! A két szám közötti bármilyen megkülönböztetésnek az algebrán kívül más matematikát is magában kell foglalnia, például a rendviszonyokat vagy a topológiát. Úgy értem, hogy például a $\sqrt{2} > 0$ reláció különbséget tesz a $\sqrt{2}$ által $-\sqrt{2}$ között, de ez azért van, mert magában foglal egy megbízási relációt. De ha a polinom egyenlőségekre korlátozódunk, akkor egyáltalán nincs különbség $\sqrt{2}$ és $-\sqrt{2}$között. Hasonlóképpen,$ i $és$- i$, a$ x^2+1=0 $ irreducibilis polinom egyenlet megoldásai szintén algebrailag nem különböztethetők meg. Mégis, önkényesen $i$ – nak hívjuk őket. Ezért Galois elméletét a kétértelműség elméletének nevezte. Ma a $-1$ hagyományos négyzetgyökének a $i$ és $-i$ közötti választásának kétértelműségét inkább $i$ és $-i$közötti szimmetriának nevezzük.

Galois csoportok

Galois különösen összpontosított mező kiterjesztések, amelyek stabilak a konjugáció. Az ilyen stabil mezőbővítményeket ma Galois kiterjesztéseknek nevezik. Tehát, ha $x_1$ egy Galois kiterjesztéshez tartozik, akkor ez a Galois kiterjesztés tartalmazza az összes konjugátumát $x_2$,…, $x_n$.

mivel a konjugáció az alapmezőtől függ, így a konjugáció stabilitása is.
hogyan építhetünk Galois kiterjesztést?

a Galois-kiterjesztések felépítésének egyszerű módja az, hogy az irreducibilis polinom egyenlet megoldásaival átfogott mezőt vesszük. Például, ha $x_1$,…, $x_n$ a $\mathbb Q$ alapmező konjugátumai, akkor $ \ mathbb Q / \ mathbb Q$ egy Galois kiterjesztés. Az így felépített mezőket felosztó mezőknek nevezzük.

vegye figyelembe, hogy a hasító mező polinomegyenletének nem kell redukálhatatlannak lennie. Plusz, be lehet bizonyítani, hogy minden Galois véges mező kiterjesztések hasító mezők.
tudsz példát mondani?

például a $x^3-2=0$ egyenlet hasító mezője a Galois kiterjesztés $\mathbb Q{2}, \sqrt{2} j, \sqrt{2} j^2] / \mathbb Q$ A megoldásai által átfogva.

mi olyan érdekes a Galois kiterjesztésekben?

ha a$ x_1 $ átfogja a Galois kiterjesztést, akkor a konjugátumai is. Így $ \ mathbb Q = \ mathbb Q = $ … $ = \ mathbb Q$ = $ \ mathbb Q$. Így a $\mathbb Q$ és $\mathbb Q$ közötti izomorfizmus, amely abból áll, hogy mindig $x_1$ – t $x_2$ – ra cserélünk, valójában egy izomorfizmus $\mathbb Q$ és önmaga között! Ezt nevezzük automorfizmusnak. A $\mathbb Q/\mathbb Q$ Galois kiterjesztés automorfizmusai alkotják a $gal(\mathbb Q/\mathbb Q)$Galois csoportot.

a szimmetriákról szóló cikkemmel többet megtudhat a csoportokról.

most, döntő fontosságú, ha $ \ mathbb Q = \ mathbb Q$, akkor a Galois kiterjesztés $\mathbb Q/ \mathbb Q$ összes automorfizmusa $x_1$ permutációja az egyik konjugátumával! Különösen azt látjuk itt, hogy egy Galois-csoport kardinalitása megegyezik a Galois-kiterjesztés mértékével.

tudsz példát mondani?

persze! Észrevehetjük, hogy $ \ mathbb Q = \ mathbb Q$ és $ \ mathbb Q = \ mathbb Q$, ami azt jelenti, hogy $i$ és $ \ sqrt{2}$ mindegyik átfogja az irreducibilis polinom egyenlet hasító mezőit, amelyekre megoldást jelentenek. Így a $ \ mathbb Q / \ mathbb Q$ és a $ \ mathbb Q / \ mathbb Q$ egyaránt Galois kiterjesztések. Ezért automorfizmusuk abból áll, hogy a $i$- t helyettesítik az egyik konjugátumával, $i$ vagy $- i$, és a $\sqrt{2}$ helyett $\sqrt{2}$ vagy $ – \sqrt{2}$. Az első esetekben nem változtatunk semmit számokra, ami megfelel a nulla szimmetriának. A második esetek axiális szimmetriaként jeleníthetők meg, amint az az alábbi ábrán látható:

komplex sík Szimmetriái

hát nem csodálatos?

ez szép… de lehet-e bonyolultabb szimmetriánk?

persze! Térjünk át a hasító mezőre $ \ mathbb Q{2}, \ sqrt{2}j, \ sqrt{2}j^2]$ of $x^3-2=0$. De mielőtt továbbmennénk, vegyük észre, hogy $ \ mathbb Q{2}, \ sqrt{2}j, \sqrt{2}j^2] = \ mathbb Q{2}, j]$.

hogyan bizonyítjuk az egyenlőséget?

mindössze annyit kell bizonyítanunk, hogy az egyik mező összes generátora a másikhoz tartozik. Kezdjük azzal, hogy bebizonyítjuk, hogy az utóbbi generátorai, a $\sqrt{2}$ és a $j$ az előbbihez tartoznak. Ez nyilvánvaló a $ \ sqrt{2}$esetében. Most, $j = (\sqrt{2} j) / \sqrt{2}$, így $j$ az előző mezőhöz is tartozik. Ez azt bizonyítja, hogy a $ \ mathbb Q{2}, j]$ összes eleme a $\mathbb Q{2}, \sqrt{2} j, \sqrt{2} j^2]$ – hoz tartozik. Kölcsönösen egyértelmű, hogy az előző mező összes generátora, $ \ sqrt{2}$, $\sqrt{2}j$ és $\sqrt{2}j^2$, az utóbbi generátorainak termékei. Így mindkét mező egyenlő. És különösen, $ \ mathbb Q{2}, j]/ \ mathbb Q$ egy Galois kiterjesztés.

menő! Tehát mi a Galois csoport $Gal (\mathbb Q{2}, j] / \ mathbb Q)$?

Hehe … hogy megértsük a $\mathbb Q{2}]$ szimmetriáit, tovább kell mennünk a Galois-csoportok tanulmányozásában…

Galois-Levelezés

a Galois-csoportokkal az a baj, hogy rendkívül nagyok és bonyolultak lehetnek. Ez különösen igaz a végtelen csoport $Gal (\bar {\mathbb Q}/ \ mathbb Q)$. Ilyen hatalmas és összetett csoportok elfogására Galois briliáns ötlete támadt, hogy ezeket kisebb darabokra bontsa.

szóval hogyan lehet megtörni Galois csoportok?

meglepő módon Galois rájött, hogy a Galois-csoportokat szimmetriák alcsoportjaira lehet bontani, ha csak azokat nézzük, amelyek néhány almezőt változatlanul hagynak. Például a $ \ mathbb Q$ A $\mathbb Q{2},j]$ almezője, mivel az előbbi tetszőleges száma az utóbbihoz tartozik. Így a $\mathbb Q{2},j]$ szimmetriái,amelyek semmit sem változtatnak $\mathbb Q$ – ra, a $\mathbb Q{2}, j]/\mathbb Q$Galois-csoportjának alcsoportját alkotják. Ezek a szimmetriák alkotják a Galois csoportot $Gal (\mathbb Q{2},j]/ \ mathbb Q)$.

Wow! Ez kezd elvont lenni!

tudom! Szeretem vizualizálni ezeket a szimmetriákat,mint a $\mathbb Q{2},j]$ csatlakoztatásának módját a $\mathbb Q$ – ra. Itt van egy leképezett kép a “dugulás”:

dugulás

itt lenne 2 módon (identitás és vízszintes axiális szimmetria), de magasabb dimenziókban a szimmetriák sokkal bonyolultabb.
tehát $Gal (\mathbb Q{2},j]/\mathbb Q)$ egy alcsoportja $Gal (\mathbb Q{2}, j]/ \ mathbb Q)$?

pontosan! És ez egyszerűen azért van, mert a $ \ mathbb Q{2}, j]$ A $\mathbb Q$ Galois kiterjesztése, amely maga is a $\mathbb Q$mező kiterjesztése.

és még több! Galois megmutatta, hogy a Galois kiterjesztések összes alcsoportját így kapjuk meg! Pontosabban,bármely $K$ mező leképezése a $\mathbb Q{2}, j]$ Galois kiterjesztés és a $\mathbb Q$ alapmező között a $Gal(\mathbb Q{2}, j] / K)$ Galois csoporthoz bijektív. Ezt a tényt Galois levelezésnek hívják! Ez a levelezés vázlatosan jelenik meg az alábbiakban egy Galois kiterjesztés $\mathbb Q/\mathbb Q$.

Galois Levelezés

ez a leképezés szigorúan csökken abban az értelemben is, hogy minél nagyobb a $K$ mező,annál kisebb a $gal(\mathbb Q{2}, j] / K)$ Galois csoport. És természetesen ez a tétel érvényes minden $ k$ alapmezőre, kivéve $ \ mathbb Q$ – t és minden Galois kiterjesztésre $L/k$, kivéve $\mathbb Q{2}, j]$ – t. Vegye figyelembe, hogy a $K$ itt nem feltételezzük, hogy az alapmező Galois kiterjesztése. De amíg a $L / k$ egy Galois kiterjesztés, addig a $L / K$ is Galois kiterjesztés lesz.
hogyan vonatkozik ez a $Gal(\mathbb Q{2}, j]/\mathbb Q)$ – ra?

ahelyett, hogy ezt a csoportot közvetlenül leírnánk, összpontosítsunk a $Gal(\mathbb Q{2}, j]/\mathbb Q)$alcsoportjára. Egyértelmű, hogy a $ \ sqrt{2}$ átfogja a $\mathbb Q{2},j]$ értéket, amikor hozzáadják a $\mathbb Q$ – hoz. Így a $ \ mathbb Q{2}, j]/ \ mathbb Q$ egy Galois kiterjesztés, amely a $\sqrt{2}$. Ezért egy korábban látott tétel felhasználásával tudjuk, hogy ennek a Galois-kiterjesztésnek az összes automorfizmusa abból áll, hogy a $\sqrt{2}$ – t felváltja 3 konjugátumának egyikével (maga, $\sqrt{2} j$ és $\sqrt{2} j^2$)!

ezután láthatjuk,hogy $Gal(\mathbb Q{2}, j]/\mathbb Q)$ izomorf a $\mathbb Z/3\mathbb Z$ egész számok modulo 3 hozzáadásával.

most folytathatnám a $Gal(\mathbb Q{2}, j]/\mathbb Q)$ más darabjainak tanulmányozását, mint például a Galois alcsoport $Gal(\mathbb Q{2},j]/\mathbb Q{2}])$. De én inkább használni egy másik Galois’ erős tételek. Nevezetesen bebizonyította, hogy ha a $ \ mathbb Q / \ mathbb Q$ emellett maga a Galois kiterjesztés is, akkor a $gal(\mathbb Q{2}, j]/\mathbb Q)$ alcsoport normális.

formálisan, $H$ egy normális alcsoportja $G$ ha $gH = Hg$ Minden $g \a G$.

így a $\mathbb Q{2},j]/\mathbb Q$ Galois-csoportja hányados lehet ezzel az alcsoporttal, és a hányadoscsoport ekkor egyenlő $Gal(\mathbb Q/\mathbb Q)$ – val. Mégis, a $ \ mathbb Q / \ mathbb Q$ valóban egy Galois kiterjesztés, amelyet $j$ ölel fel, amelynek konjugátuma $j^2$. Így a $Gal (\mathbb Q/ \ mathbb Q)$ abból áll, hogy a $j$ – T $j$ – ként hagyja, vagy $j^2$ – ra cseréli.

általánosabban, ha van $L/K/K$ mezőbővítményünk $l/k$ és $K/K$ Galois kiterjesztésekkel, akkor a $Gal(L/K)$ A $Gal(L/K)$ és $Gal(L/k)/Gal(L/K) \cong Gal(K / k)$normális alcsoportja. Ez azt mutatja, hogy van $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$.

a $Gal(\mathbb Q{2},j]/\mathbb Q)$ összes szimmetriáját levezethetjük a $Gal(\mathbb Q{2},j] / \mathbb Q)$ és $Gal(\mathbb Q/\mathbb Q)$kombinálásával. Ezeket a szimmetriákat úgy tudjuk megjeleníteni, hogy megrajzoljuk, hogyan befolyásolják a három átfogó konjugátumunkat $\sqrt{2}$, $\sqrt{2}j$ és $\sqrt{2}j^2$:

Galois csoport

vegye figyelembe,hogy fent a $gal(\mathbb Q{2}, j] / \mathbb Q)$ szimmetriája a $gal(\mathbb Q/\mathbb Q)$.

a fenti ábra A $Gal(\mathbb Q{2}, j]/\mathbb Q)$összes szimmetriáját tartalmazza. Meglepő módon ezek a szimmetriák megfelelnek a jól ismert szimmetriacsoportnak.

mi az a jól ismert szimmetriacsoport?

hagyom, hogy Marcus du Sautoy bemutassa neked:

tehát a szimmetriák itt olyanok, mint egy tengeri csillag vagy mint egy háromszög?

mint egy háromszög, nyilvánvalóan!

igen, valóban! A háromszög ezen szimmetriacsoportját $D_3$ – nak nevezzük, és megegyezik a $s_3$ 3 elem permutációinak csoportjával. Ez a következő képlethez vezet, amelyet olyan szépnek találtam, hogy úgy döntöttem, hogy bekeretezem!

Galois csoport izomorfizmus

zárjuk le

sok szempontból Galois-t a modern algebra atyjának kell tekinteni. Legfontosabb meglátása az volt, hogy a matematikát a működési szabályok szögén keresztül vizsgálja, és ez arra késztette, hogy meglepő és éleslátó kétértelműségeket vagy szimmetriákat tárjon fel a számok között. Algebrai szempontból az olyan számok, mint $ \ sqrt{2}$, $\sqrt{2}j$ és $\sqrt{2}j^2$ valóban tökéletesen szimmetrikusak és teljesen felcserélhetők.

de a Galois-elméletnek van-e alkalmazása?

ezeknek a szimmetriáknak a megértése megdöbbentő alkalmazásokkal rendelkezik többek között az algebrai geometriában és az algebrai topológiában. Különösen az elmélet korai sikerei közé tartozik az építhető szabályos sokszögek osztályozása, valamint egy tétel, amely azt állítja, hogy a nagyfokú polinomegyenletek nem oldhatók meg gyökökkel.

de ez évszázadokkal ezelőtt volt…

újabb sikerek jelennek meg a kriptográfiában és Andrew Wiles Fermat utolsó tételének bizonyításában. Ez a bizonyíték magában foglalja a Galois csoport $Gal(\bar{\mathbb Q} /\mathbb Q)$ Csoportos reprezentációval történő tanulmányozását. De azt mondanám, hogy az elmélet valahogy még mindig fiatal, és még sok felfedezésre vár. Végül is ez az egyik legaktívabb kutatási terület a mai tiszta matematikai kutatásban.

ennek arra kell vezetnie minket, hogy sokkal több adót fizessünk Galois hihetetlen zsenialitásáért… hadd tegyek bele egyet a SocraticaStudios-tól.