Teoria Galois
Teoria Galois – nosząca nazwisko Évariste’a Galois teoria matematyczna, a dokładniej teoria algebry abstrakcyjnej, wskazująca związki między teorią ciał a teorią grup. Umożliwia ona redukcję pewnych problemów teorii ciał do zagadnień w pewnym sensie prostszej i lepiej poznanej teorii grup.
Wkładem Galois w tę dziedzinę było opisanie związków między pierwiastkami danego równania wielomianowego za pomocą grup permutacji oraz opisanie wszystkich ciał skończonych. Współczesne podejście opracowane przez Richarda Dedekinda, Leopolda Kroneckera, Emila Artina i innych obejmuje przede wszystkim badanie automorfizmów rozszerzeń ciała.
Daleko idącą abstrakcją teorii Galois jest teoria połączeń Galois.
Zastosowania w konstrukcjach klasycznych
Główną motywacją teorii Galois było poniższe pytanie, na które odpowiedź znana jest dziś jako twierdzenie Abela-Ruffiniego:
- „Dlaczego nie ma wzoru na pierwiastki równania wielomianowego piątego (lub wyższego) stopnia wyrażonego współczynnikami wielomianu, który zawierałby wyłącznie tylko zwyczajne operacje algebraiczne (dodawanie, odejmowanie, mnożenie, dzielenie) i wyciąganie pierwiastków (kwadratowych, sześciennych itd.)?”
Teoria Galois dostarcza nie tylko odpowiedzi na to pytanie, lecz wyjaśnia także szczegółowo, dlaczego możliwe jest rozwiązywanie w ten sposób równań stopnia czwartego i niższych oraz dlaczego rozwiązania te przyjmują taką, a nie inną postać. Więcej, daje ona koncepcyjnie przejrzyste i częstokroć praktyczne środki umożliwiające wskazanie, kiedy dane równanie wyższego stopnia może być rozwiązane tym sposobem[1].
Teoria Galois daje również przekonujące rozwiązania zadań konstrukcyjnych wykonywanych za pomocą cyrkla i linijki; w tym przedstawia ona elegancką charakteryzację stosunków długości, które mogą być skonstruowane tą metodą, dzięki czemu względnie łatwo[a] odpowiedzieć na takie problemy klasyczne geometrii jak:
- „Dlaczego nie jest możliwe w ogólnym przypadku podzielenie kąta na trzy równe części?”,
- „Czy można dla danego sześcianu skonstruować sześcian o dwa razy większej objętości?”,
- „Czy można skonstruować kwadrat o polu równym danemu kołu?” (wykorzystując fakt, iż liczba π jest przestępna);
- „Które wielokąty foremne są wielokątami konstruowalnymi?”[b].
- „Czy można dla danego sześcianu skonstruować sześcian o dwa razy większej objętości?”,
Innym zastosowaniem tej teorii jest prosty dowód zasadniczego twierdzenia algebry mówiącego, iż ciało liczb zespolonych jest algebraicznie domknięte.
Historia
Początki teorii Galois sięgają badań nad funkcjami symetrycznymi – współczynniki wielomianu są (z dokładnością do znaku) elementarnymi wielomianami symetrycznymi pierwiastków. Przykładowo gdzie i są wielomianami elementarnymi stopni pierwszego i drugiego dwóch zmiennych.
Jako pierwszy formalnie ujął to szesnastowieczny matematyk francuski François Viète w tzw. wzorach Viète’a dla dodatnich pierwiastków rzeczywistych. W opinii osiemnastowiecznego matematyka brytyjskiego Charlesa Huttona[2] wyrażenie współczynników wielomianu za pomocą pierwiastków (nie tylko dodatnich) zostało po raz pierwszy w pełni zrozumiane przez siedemnastowiecznego matematyka francuskiego Alberta Girarda; Hutton pisze:
…[Girard był] pierwszą osobą, która zrozumiała ogólną metodę tworzenia współczynników potęg z sum pierwiastków i ich iloczynów. Był pierwszym, który odkrył zasady sumowania potęg pierwiastków dowolnego równania.
W duchu tym wyróżnik należy postrzegać jako symetryczną funkcję pierwiastków odzwierciedlającą ich własności – jest on równy zero wtedy i tylko wtedy, gdy wielomian ma pierwiastek wielokrotny, a dla wielomianów kwadratowych i sześciennych jest on dodatni wtedy i tylko wtedy, gdy wszystkie ich pierwiastki są rzeczywiste i różne oraz ujemny wtedy i tylko wtedy, gdy istnieje para różnych sprzężonych pierwiastków zespolonych.
Ogólne rozwiązanie równań sześciennych zostało częściowo podane przez żyjącego na przełomie XV i XVI wieku matematyka włoskiego Scipione del Ferrę; nie opublikował on jednak swoich wyników – jego metoda dawała rozwiązanie tylko dla jednej z trzech klas tych równań, które nie wymagają brania pierwiastków kwadratowych z liczb ujemnych. Należy jednak zaznaczyć, że nie znano jeszcze wówczas liczb zespolonych. Rozwiązanie to zostało niezależnie odkryte na nowo w 1535 roku przez Niccolò Fontanę Tartaglię, który podzielił się tym sekretem z Gerolamo Cardano prosząc go o jego niepublikowanie. Cardano rozszerzył otrzymane rozwiązanie o dwa pozostałe przypadki wykorzystując jako kroki pośrednie pierwiastki kwadratowe z liczb ujemnych; zob. metoda Cardano. Po odkryciu prac Ferra stwierdził on, że metoda Tartaglii nie jest już więcej tajemnicą, dlatego opublikował pełne rozwiązanie w pracy z 1545 roku pt. Ars Magna. Jego student Lodovico Ferrari podał rozwiązania dla wielomianów czwartego stopnia, które Cardano zawarł w swoim Ars Magna.
Kolejnym kamieniem milowym była praca francusko-włoskiego matematyka Josepha Louisa Lagrange’a z 1770 roku zatytułowana Réflexions sur la résolution algébrique des équations, w której korzystając z opracowanej przez siebie metody znanej dziś jako rezolwenty Lagrange’a analizował on rozwiązania Cardano i Ferrariego dla równań trzeciego i czwartego stopnia poprzez wyrażanie ich jako permutacji pierwiastków. Poprzez wprowadzenie pomocniczego wielomianu trzeciego stopnia podejście to umożliwiło całościowe traktowanie rozwiązań, co niejako położyło podwaliny pod teorię grup i teorię Galois. Należy zaznaczyć, że Lagrange nie rozpatrywał złożeń permutacji. Ponadto metoda Lagrange’a nie obejmowała równań piątego stopnia i wyższych, gdyż rezolwenta ma wtedy wyższy stopień.
Fakt, iż nie można podać ogólnego rozwiązania równań piątego stopnia wyrażonych przez pierwiastniki, został nieomalże dowiedzione przez Paolo Ruffiniego w 1799 roku: kluczem było wykorzystanie grup permutacji, a nie tylko pojedynczej permutacji. Rozwiązanie przez niego podane zawierało lukę, którą Cauchy uważał za możliwą do uzupełnienia; mimo wszystko nie udało się jej usunąć nikomu, aż do 1824 roku, kiedy to norweski matematyk Niels Henrik Abel opublikował dowód twierdzenia znanego dziś jako twierdzenie Abela-Ruffiniego.
Choć Ruffini i Abel dowiedli, że ogólne rozwiązanie równań piątego stopnia nie istnieje, to jednak istnieją szczególne rozwiązania pewnych równań piątego stopnia; przykładem może być wielomian Dokładne kryterium określające rozwiązalność danego wielomianu piątego lub wyższego stopnia zostało sformułowane przez Évariste’a Galois w 1830 roku, który pokazał, że rozwiązalność wielomianu jest równoważna temu, czy grupa permutacji jego pierwiastków ma określoną strukturę – w języku współczesnym: czy jego grupa Galois jest rozwiązalna. Grupa ta jest zawsze rozwiązalna dla wielomianów stopnia czwartego i mniejszych, jednak nie zawsze dla wielomianów stopnia piątego i wyższych, co tłumaczy, dlaczego nie istnieją ogólne rozwiązania równań wyższych stopni.
Twórcy teorii, Abel i Galois, zwracali uwagę na znaczenie ich odkryć dla teorii funkcji zespolonych, np. funkcji eliptycznych; później okazało się, że mieli rację: odpowiednie grupy Galois niezależnie zdefiniowano topologicznie, jako grupy przekształceń nakrywających rozgałęzionych nakryć sfery.
Teoria Galois, a właściwie prace Galois, Abela i Ruffiniego nie znalazły szerokiego oddźwięku wśród współczesnych, co było zarówno kwestią mody (brak zainteresowania matematyką dyskretną), jak i zwięzłości stylu oraz krótkiego życia twórców. Teoria Galois uzyskała rozgłos dzięki Josephowi Liouville’owi, który wydał prace Galois i Camille’owi Jordanowi, a głównie jego Traité des substitutions et des équations algebraique z 1870 roku. Jordan podjął badania tam, gdzie zakończyła je śmierć Galois, co umożliwiło dalszy rozwój teorii grup.
Teoria Galois podlegała dalszemu rozwojowi w XX wieku, np. opracowano teorię Galois dla pierścieni, znalazła także szereg zastosowań w teorii liczb algebraicznych, teorii algebr nad ciałami, w geometrii algebraicznej; rozwinęły się z niej nowe dziedziny, np. kohomologie Galois. W samej teorii Galois wciąż intensywnie badane jest na przykład zagadnienie odwrotne teorii Galois.
Podejście klasyczne
Może się zdarzyć, że dla danego wielomianu niektóre z jego pierwiastków związane są ze sobą różnego rodzaju równaniami algebraicznymi. Przykładowo może okazać się, że dla dwóch spośród jego pierwiastków oznaczanych dalej i spełnione jest równanie Zasadniczą ideą teorii Galois jest rozpatrywanie tych permutacji (uporządkowań) pierwiastków, dla których dowolne równanie algebraiczne spełniane przez te pierwiastki jest nadal spełniane po zmianie uporządkowania pierwiastków. Istotne jest zastrzeżenie ograniczenia się do równań algebraicznych o współczynnikach wymiernych (można również określić pewne ciało, do którego powinny należeć współczynniki, lecz w poniższych prostych przykładach wykorzystywane będzie ciało liczb wymiernych).
Permutacje te tworzą razem grupę permutacji nazywaną grupą Galois wielomianu (nad liczbami wymiernymi). Wyjaśnione to zostanie w przykładzie.
Przykład: równanie kwadratowe
Niech dane będzie równanie kwadratowe
Rozwiązując je znajduje się dwa pierwiastki
Równaniami algebraicznymi spełnianymi przez i są m.in.
oraz
Oczywiście zamieniając w dowolnym z powyższych równań kolejność pierwiastków i uzyskuje się inne prawdziwe zdanie. Przykładowo staje się po prostu Co więcej, choć jest to mniej oczywiste, że jest tak dla każdego równania algebraicznego o współczynnikach wymiernych spełnianego przez pierwiastki i dowiedzenie tego wymaga teorii wielomianów symetrycznych.
Można więc wnosić, że grupa Galois wielomianu składa się z dwóch permutacji: permutacji tożsamościowej, która pozostawia i niezmienionymi oraz permutacja transponująca, która zamienia i Jest to grupa cykliczna rzędu dwa, jest więc izomorficzna z
Można by przypuszczać, iż i związane są ze sobą jeszcze jednym równaniem algebraicznym,
które nie jest spełnione przy zamianie i Równanie to nie jest jednak istotne, gdyż nie ma ono współczynników wymiernych; w szczególności liczba jest niewymierna.
Podobnie ma się rzecz z dowolnym wielomianem kwadratowym gdy są liczbami wymiernymi.
- Jeżeli wielomian ma tylko jeden pierwiastek, np. to grupa Galois jest trywialna, tzn. zawiera wyłącznie permutację tożsamościową.
- Jeżeli ma on dwa różne wymierne pierwiastki, przykładowo to grupa Galois znowu jest trywialna.
- Jeżeli ma ona dwa niewymierne pierwiastki (także, gdy są one zespolone), to grupa Galois zawiera dwie permutacje, jak w powyższym przykładzie.
Przykład: równanie dwukwadratowe
Zadaniem jest opisanie grupy Galois, znowu nad ciałem liczb wymiernych, wielomianu
który może być zapisany jako
Ma on cztery pierwiastki:
Istnieją 24 sposoby ich uporządkowania, jednak nie wszystkie z tych permutacji należą do grupy Galois. Elementy grupy Galois muszą zachowywać dowolne równanie algebraiczne o współczynnikach wymiernych zawierające Jednym z nich jest
Jednakże ponieważ
to permutacja
nie jest dozwolona: przekształca ona poprawne równanie w nieprawidłowe równanie
Innym równaniem, które spełniają pierwiastki jest
Wyklucza ona kolejne permutacje, takie jak np.
Kontynuując w ten sposób okazuje się, że jedynymi permutacjami (spełniającymi jednocześnie oba równania) są
w ten sposób grupa Galois jest izomorficzna z czwórkową grupą Kleina.
Podejście współczesne
We współczesnym podejściu wychodzi się od rozszerzenia ciała (czytaj: L przez K) i bada grupę automorfizmów ciała są to odwzorowania postaci gdzie dla wszystkich należących do Obserwując punkty stałe wspomnianych automorfizmów bada się w istocie najmniejsze rozszerzenie ciała, w którym dany wielomian rozkłada się na czynniki liniowe (tzn. ma wszystkie pierwiastki).
Związek między tymi dwoma podejściami jest jak następuje. Współczynniki badanego wielomianu powinny być wybrane z ciała bazowego Ciało nakrywające powinno być ciałem uzyskanym poprzez dołączenie pierwiastków badanego wielomianu do ciała bazowego. Każda permutacja pierwiastków spełniających równania algebraiczne, jak to opisano wyżej, odpowiada pewnemu automorfizmowi (i na odwrót).
W pierwszym z powyższych przykładów badano rozszerzenie gdzie jest ciałem liczb wymiernych, zaś jest ciałem uzyskanym z poprzez dołączenie W drugim przypadku badano rozszerzenie
Istnieje kilka istotnych powodów, dla których dziś preferuje się raczej podejście współczesne, a nie klasyczne podejście opisane wyżej:
- Wyrażenie podstawowego twierdzenia teorii Galois jest istotnie prostsze.
- W wielu działach matematyki wykorzystanie ciała bazowego innego niż jest kluczowe. Przykładowo w algebraicznej teorii liczb teorię Galois wykorzystuje się często stosując jako ciała bazowe ciała liczbowe, ciała skończone, czy ciała lokalne.
- Badanie rozszerzeń nieskończonych jest znacząco prostsze, co znowu jest sprawą kluczowej wagi w algebraicznej teorii liczb, gdzie na przykład rozważa się często absolutną grupę Galois ciała określoną jako grupę Galois gdzie jest domknięciem algebraicznym
- Umożliwia rozważanie rozszerzeń nierozdzielczych. Problem ten nie powstaje w ramach teorii klasycznej, ponieważ zawsze cicho zakłada się, iż arytmetyka ma miejsce w ciele charakterystyki zero. Mimo wszystko w teorii liczb i geometrii algebraicznej spotyka się często ciała niebędące charakterystyki zero.
- Usuwa raczej sztuczne poleganie na poszukiwaniu pierwiastków wielomianu: różne wielomiany mogą dawać te same rozszerzenia ciał, zaś podejście współczesne dostrzega związek między tymi wielomianami.
Grupy rozwiązalne i rozwiązania pierwiastnikowe
Abel zauważył, że ciało powstaje z ciała przez dołączenie pewnej liczby pierwiastków różnych stopni z elementów ciała gdy grupa Galois rozszerzenia jest przemienna – stąd też pochodzi inna nazwa tych grup: grupa abelowa. Oznacza to, że pierwiastki wielomianu dają się wyrazić przez elementy ciała przy pomocy pierwiastników, tzn. czterech działań ciała i pierwiastków elementów z ciała.
Pojęcie grupy rozwiązalnej z teorii grup umożliwia określenie, czy dany wielomian jest rozwiązalny za pomocą pierwiastników w zależności od tego, czy jego grupa Galois ma własność rozwiązalności (twierdzenie Galois). Dokładniej, każde rozszerzenie ciała odpowiada grupie ilorazowej w ciągu kompozycyjnym grupy Galois. Jeżeli grupa ilorazowa ciągu kompozycyjnego jest cykliczna rzędu a odpowiadające jej rozszerzenie ciała zawiera pierwiastek pierwotny z jedynki, to jest to rozszerzenie pierwiastnikowe i elementy mogą być wówczas wyrażone za pomocą pierwiastka -tego stopnia pewnego elementu z
Jeżeli wszystkie grupy ilorazowe ciągu kompozycyjnego są cykliczne, to grupę Galois nazywa się rozwiązalną i wszystkie elementy odpowiadającego ciała dają się wyrazić za pomocą wyciągania pierwiastków, brania iloczynów i sum elementów ciała bazowego, którym zwykle jest
Jednym z donioślejszych triumfów teorii Galois był dowód, że dla każdego istnieją wielomiany stopnia które nie są rozwiązalne przy pomocy pierwiastników – tzw. twierdzenie Abela-Ruffiniego. Jest to spowodowane faktem, iż dla każdego grupa symetryczna zawiera prostą, niecykliczną podgrupę normalną (podgrupę alternującą).
Przykład: nierozwiązywalne równanie piątego stopnia
Van der Waerden cytuje wielomian Na mocy twierdzenia o pierwiastkach wymiernych nie ma on wymiernych miejsc zerowych. Podobnie nie ma on czynników liniowych modulo lub
Wielomian rozkłada się na modulo co oznacza, że jej grupą Galois modulo jest grupa cykliczna rzędu
Ponieważ nie ma czynnika kwadratowego modulo to jej grupa Galois modulo ma rząd
Wiadomo[3], że grupa Galois modulo liczba pierwsza jest izomorficzna z podgrupą grupy Galois nad liczbami wymiernymi. Grupa permutacji pięciu obiektów o operacjach rzędów szóstego i piątego musi być grupą symetryczną która to musi być grupą Galois Jest to jeden z prostszych przykładów nierozwiązywalnego wielomianu piątego stopnia. Serge Lang twierdził, że Artin szczególnie lubił ten przykład.
Odwrotne zagadnienie Galois
Wszystkie grupy skończone mogą wystąpić jako grupy Galois. Można podać konstrukcje rozszerzenia ciała z daną grupą skończoną jako grupą Galois rozszerzenia, o ile nie wskaże się uprzednio ciała wyjściowego.
Należy więc wskazać ciało oraz grupę skończoną Twierdzenie Cayleya mówi, że jest (z dokładnością do izomorfizmu) podgrupą grupy symetrycznej elementów Wybrawszy niewiadome po jednej dla każdego elementu grupy dołącza się je do ciała aby uzyskać ciało Ciało zawiera ciało symetrycznych funkcji wymiernych zmiennych Grupą Galois rozszerzenia jest co wynika z podstawowego wyniku Emila Artina. Grupa działa na poprzez zawężenie działania grupy Jeżeli jest ciałem stałym tego działania, to z podstawowego twierdzenia teorii Galois wynika, że jest grupą Galois
Otwartym problemem jest dowiedzenie istnienia rozszerzenia ciała liczb wymiernych dla danej grupy skończonej jako jego grupy Galois. Hilbert brał udział w rozwiązywaniu problemu dla wszystkich grup symetrycznych i alternujących. Igor Shafarevich dowiódł, że każda rozwiązalna grupa skończona jest grupą Galois pewnego rozszerzenia Rozwiązano odwrotny problem Galois dla wybranych nieabelowych grup prostych. Wykazano istnienie rozwiązań dla wszystkich poza co najwyżej jedną (grupą Mathieu M23) z 26 sporadycznych grup prostych. Istnieje nawet wielomian o współczynnikach całkowitych, którego grupą Galois jest grupa Monster.
Uwagi
- ↑ Odpowiednie rozszerzenie ciała, zwykle liczb wymiernych, powstaje przez dołączenie do niego współrzędnych konstruowanych punktów; konstrukcja jest wykonalna, gdy grupa Galois jest 2-grupą.
- ↑ W szczególności umożliwiło to na przejrzyste uzasadnienie obserwacji Carla Friedricha Gaussa, że wielokąt foremny o bokach można zbudować za pomocą cyrkla i liniału, gdy w rozkładzie na czynniki pierwsze występują tylko: (w dowolnej potędze) i różne liczby pierwsze Fermata (w pierwszej potędze).
Przypisy
- ↑ Galois teoria, [w:] Encyklopedia PWN [online] [dostęp 2021-07-28] .
- ↑ Funkhouser (1930).
- ↑ V.V. Praslov, Polynomials. (2004), twierdzenie 5.4.5(a).
Bibliografia
- Emil Artin: Galois Theory. Dover Publications, 1998. ISBN 0-486-62342-4. (Przedruk wydania drugiego poprawionego z 1944 roku, Wydawnictwa Uniwersytetu Notre Dame).
- Jörg Bewersdorff: Galois Theory for Beginners: A Historical Perspective. American Mathematical Society, 2006. ISBN 0-8218-3817-2..
- Harold M. Edwards: Galois Theory. Springer-Verlag, 1984. ISBN 0-387-90980-X. (Oryginalna praca Galois z wyczerpującym komentarzem).
- H. Gray Funkhouser. A short account of the history of symmetric functions of roots of equations. „American Mathematical Monthly”. 37 (7), s. 357–365, 1930. DOI: 10.2307/2299273.
- Nathan Jacobson: Basic Algebra I. Wyd. II. W.H. Freeman and Company, 1985. ISBN 0-7167-1480-9. (Rozdział 4 stanowi wprowadzenie do podejścia wykorzystującego teorię ciał do teorii Galois).
- G. Janelidze, Francis Borceux: Galois theories. Cambridge University Press, 2001. ISBN 978-0-521-80309-0. (Książka stanowi wprowadzenie do teorii Galois Grothendericka i pewnych jej uogólnień zmierzając do grupoidów Galois).
- Serge Lang: Algebraic Number Theory. Berlin, Nowy Jork: Springer-Verlag, 1994. ISBN 978-0-387-94225-4.
- M.M. Postnikov: Foundations of Galois Theory. Dover Publications, 2004. ISBN 0-486-43518-0.
- Ian Stewart: Galois Theory. Chapman and Hall, 1989. ISBN 0-412-34550-1.
- Helmut Völklein: Groups as Galois groups: an introduction. Cambridge University Press, 1996. ISBN 978-0-521-56280-5.
- Bartel Leendert van der Waerden: Algebra. 1930.
- Florian Pop: (Some) New Trends in Galois Theory and Arithmetic. 2001.
- Stanisław Balcerzyk: Wstęp do algebry homologicznej. Warszawa: PWN, 1970.
- Andrzej Białynicki-Birula: Zarys algebry. Warszawa: PWN, 1987.
- J. Browkin: Teoria ciał. Wyd. 1. T. 49. Warszawa: PWN, 1977, seria: Biblioteka Matematyczna.
- Serge Lang: Algebra. Warszawa: PWN, 1973.
- Witold Więsław: Grupy, pierścienie, ciała. Wydawnictwa Uniwersytetu Wrocławskiego, 1983.
- Biografie na MacTutor: N.H. Abel, E. Galois, C. Jordan, P. Ruffini
Linki zewnętrzne
- Maria Donten-Bury , Symetrie ciał i grupy: teoria Galois, [w:] pismo „Delta” [online], deltami.edu.pl, październik 2017, ISSN 0137-3005 [dostęp 2022-07-02] (pol.).
- Eric W. Weisstein , Galois Theory, [w:] MathWorld [online], Wolfram Research [dostęp 2020-12-12] (ang.).
Galois theory (ang.), Encyclopedia of Mathematics, encyclopediaofmath.org, [dostęp 2022-10-07].
Samouczki on-line dotyczące teorii Galois można znaleźć na:
- https://web.archive.org/web/20201019222130/http://www.math.niu.edu/~beachy/aaol/galois.html
- http://nrich.maths.org/public/viewer.php?obj_id=1422
- http://www.jmilne.org/math/CourseNotes/ft.html
Podręczniki online w językach francuskim, niemieckim, włoskim i angielskim znajdują się na: