Teori Galois

Dalam matematika, Teori Galois menyediakan hubungan antara teori medan dan teori grup. Konjektur menggunakan teori Galois, masalah-masalah tertentu dalam teori medan dapat direduksi menjadi teori grup, yang dalam arti tertentu lebih sederhana dan lebih dipahami. Ini telah digunakan untuk memecahkan masalah klasik termasuk menunjukkan bahwa dua masalah kuno tidak dapat diselesaikan seperti yang dinyatakan (menggandakan kubus dan melipatgandakan sudut); menunjukkan bahwa tidak ada rumus kuintik; dan menunjukkan poligon yang dapat dibangun.

Subjek ini dinamai Évariste Galois, yang memperkenalkannya untuk mempelajari akar dari polinomial dan mencirikan persamaan polinomial yang dipecahkan oleh radikal dalam hal sifat dari kelompok permutasi dari akarnya — sebuah persamaan adalah dapat diselesaikan oleh akar jika akarnya dapat diekspresikan dengan rumus yang hanya melibatkan bilangan bulat, ekspresi radikal, dan empat operasi aritmetika dasar.

Teori ini telah dipopulerkan di antara ahli matematika dan dikembangkan oleh Richard Dedekind, Leopold Kronecker, Emil Artin, dan orang lain yang menafsirkan grup permutasi akar sebagai grup automorfisme dari ekstensi bidang.

Teori Galois telah digeneralisasikan menjadi hubungan Galois dan teori Galois Grothendieck.

 Penerapan pada masalah klasik 

Kelahiran dan perkembangan teori Galois disebabkan oleh pertanyaan berikut, yang merupakan salah satu pertanyaan matematika terbuka utama hingga awal abad ke-19:

Teorema Abel–Ruffini memberikan contoh berlawanan yang membuktikan bahwa ada persamaan polinomial yang rumus tersebut tidak dapat ada. Teori Galois memberikan jawaban yang jauh lebih lengkap untuk pertanyaan ini, dengan menjelaskan mengapa mungkin untuk menyelesaikan beberapa persamaan, termasuk semua persamaan derajat empat atau lebih rendah, dengan cara di atas, dan mengapa tidak mungkin untuk sebagian besar persamaan derajat lima atau lebih tinggi. Lebih jauh, ini menyediakan cara untuk menentukan apakah persamaan tertentu dapat diselesaikan yang jelas secara konseptual dan mudah diekspresikan sebagai algoritma.

Teori Galois juga memberikan wawasan yang jelas tentang pertanyaan-pertanyaan tentang masalah dalam konstruksi kompas dan garis lurus. Ini memberikan karakterisasi elegan dari rasio panjang yang dapat dibangun dengan metode ini. Dengan menggunakan ini, menjadi relatif mudah untuk menjawab masalah klasik geometri seperti
Yang poligon beraturan yang dapat dibangun?
Mengapa tidak mungkin untuk segitiga pada setiap sudut menggunakan kompas dan garis tegak lurus?
Mengapa menggandakan kubus tidak mungkin dilakukan dengan metode yang sama?

 Sejarah 

 Prasejarah 
Teori Galois berasal dari studi tentang fungsi simetris, koefisien dari sebuah polinomial monik adalah (sampai tanda) polinomial simetris elementer di akar. Misalnya, , dimana 1,  dan  adalah polinomial dasar derajat 0, 1 dan 2 dalam dua variabel.

Ini pertama kali diresmikan oleh ahli matematika Prancis abad ke-16 François Viète, dalam Rumus Viète, untuk kasus akar nyata positif. Menurut pendapat matematikawan asal Inggris abad ke-18 Charles Hutton, ekspresi koefisien polinomial dalam hal akar (tidak hanya untuk akar positif) pertama kali dipahami oleh ahli matematika Prancis abad ke-17 Albert Girard; Hutton menulis: 
...[Girard adalah] orang pertama yang memahami doktrin umum pembentukan koefisien pangkat dari penjumlahan akar dan produknya. Dia adalah orang pertama yang menemukan aturan untuk menjumlahkan pangkat dari akar persamaan apa pun.

Dalam urat ini, diskriminan adalah fungsi simetris dalam akar yang mencerminkan sifat-sifat akar, nilai nol jika dan hanya jika polinomial memiliki akar ganda, dan untuk polinomial kuadrat dan kubik bernilai positif jika dan hanya jika semua akar nyata dan berbeda, dan negatif jika dan hanya jika terdapat sepasang akar konjugasi kompleks yang berbeda. Lihat Diskriminan:Sifat dasar untuk detailnya.

Kubik pertama kali sebagian diselesaikan oleh ahli matematika Italia abad ke-15-16 Scipione del Ferro, yang tidak memublikasikan hasilnya; metode ini, meskipun, hanya menyelesaikan satu jenis persamaan kubik. Solusi ini kemudian ditemukan kembali secara independen pada tahun 1535 oleh Niccolò Fontana Tartaglia, yang membaginya dengan Gerolamo Cardano, memintanya untuk tidak menerbitkannya. Cardano kemudian memperluas ini ke banyak kasus lain, dengan menggunakan argumen serupa; lihat detail selengkapnya di Metode Cardano. Setelah penemuan karya del Ferro, ia merasa bahwa metode Tartaglia bukan lagi rahasia, dan karenanya ia menerbitkan solusinya pada tahun 1545. Ars Magna. Muridnya Lodovico Ferrari memecahkan masalah polinomial kuartik; solusinya juga disertakan Ars Magna. Namun, dalam buku ini, Cardano tidak memberikan "rumus umum" untuk penyelesaian persamaan kubik, karena ia tidak memiliki bilangan kompleks yang tersedia, atau notasi aljabar untuk dapat menggambarkan persamaan kubik umum. Dengan keunggulan notasi modern dan bilangan kompleks, rumus-rumus dalam buku ini berfungsi dalam kasus umum, tapi Cardano tidak mengetahui hal ini. Adalah Rafael Bombelli yang berhasil memahami cara bekerja dengan bilangan kompleks untuk menyelesaikan semua bentuk persamaan kubik.

Langkah selanjutnya adalah kertas 1770 Réflexions sur la résolution algébrique des équations oleh matematikawan Prancis-Italia Joseph Louis Lagrange, dalam metode resolusi Lagrange, di mana ia menganalisis solusi kubik dan kuartik Cardano dan Ferrari dengan mempertimbangkannya dalam istilah  permutasi  dari akar, yang menghasilkan polinomial tambahan dengan derajat yang lebih rendah, memberikan pemahaman terpadu tentang solusi dan meletakkan dasar untuk teori grup dan teori Galois. Yang terpenting, bagaimanapun, dia tidak mempertimbangkan  komposisi  permutasi. Metode Lagrange tidak meluas ke persamaan kuintik atau lebih tinggi, karena resolvent memiliki derajat yang lebih tinggi.

Quintic hampir terbukti tidak memiliki solusi umum oleh radikal oleh Paolo Ruffini pada tahun 1799, yang wawasan utamanya adalah menggunakan permutasi  grup , bukan hanya permutasi tunggal. Solusinya mengandung celah, yang dianggap Cauchy kecil, meskipun ini tidak ditambal sampai karya matematikawan Norwegia Niels Henrik Abel, yang menerbitkan bukti pada tahun 1824, sehingga menetapkan Teorema Abel-Ruffini.

Sementara Ruffini dan Abel menetapkan bahwa kuintik umum tidak dapat diselesaikan, beberapa quintics tertentu dapat dipecahkan, seperti , dan kriteria yang tepat untuk menentukan polinomial kuintik  yang diberikan  atau lebih tinggi dapat dipecahkan atau tidak diberikan oleh Évariste Galois, yang menunjukkan bahwa polinomial dapat dipecahkan atau tidak sama dengan apakah grup permutasi akarnya atau tidak dalam istilah modern, its Galois group memiliki struktur tertentu dalam istilah modern, apakah itu adalah kelompok yang dapat dipecahkan. Kelompok ini selalu dapat dipecahkan untuk polinomial dengan derajat empat atau kurang, tetapi tidak selalu demikian untuk polinomial derajat lima dan lebih besar, yang menjelaskan mengapa tidak ada solusi umum dalam derajat yang lebih tinggi.

 Tulisan Galois 
alt=Évariste Galois|thumb|Potret Évariste Galois berusia sekitar 15
Pada tahun 1830 Galois (pada usia 18) mengirimkan ke Paris Academy of Sciences sebuah memoar tentang teorinya tentang solvabilitas oleh radikal; Makalah Galois akhirnya ditolak pada tahun 1831 karena terlalu samar dan untuk memberikan kondisi dalam hal akar persamaan, bukan koefisiennya. Galois kemudian tewas dalam duel pada tahun 1832, dan kertasnya, "Mémoire sur les conditions de résolubilité des équations par radicaux", tetap tidak diterbitkan sampai tahun 1846 ketika diterbitkan oleh Joseph Liouville disertai dengan beberapa penjelasannya sendiri. Prior to this publication, Liouville announced Galois' result to the Academy in a speech he gave on 4 July 1843.Stewart, 3rd ed., p. xxiii Menurut Allan Clark, karakterisasi Galois "secara dramatis menggantikan karya Abel dan Ruffini."

 Akibat 
Teori Galois sangat sulit dipahami oleh orang-orang sezamannya, terutama pada tingkat di mana mereka dapat mengembangkannya. Misalnya, dalam komentarnya tahun 1846, Liouville benar-benar melewatkan inti teori-grup dari metode Galois. Joseph Alfred Serret yang menghadiri beberapa ceramah Liouville, termasuk teori Galois dalam bukunya tahun 1866 (edisi ketiga) Cours d'algèbre supérieure. Murid Serret, Camille Jordan, memiliki pemahaman yang lebih baik yang tecermin dalam bukunya tahun 1870 Traité des substitutions et des équations algébriques. Di luar Prancis, teori Galois tetap lebih tidak jelas untuk periode yang lebih lama. Di Inggris, Cayley gagal untuk memahami kedalamannya dan buku teks aljabar Inggris yang populer bahkan tidak menyebutkan teori Galois sampai jauh setelah pergantian abad. Di Jerman, Tulisan Kronecker lebih berfokus pada hasil Abel. Dedekind menulis sedikit tentang teori Galois, tetapi memberi ceramah tentangnya di Göttingen pada tahun 1858, menunjukkan pemahaman yang sangat baik. Buku Eugen Netto tahun 1880-an, berdasarkan  Traité  Jordan, membuat teori Galois dapat diakses oleh audiens Jerman dan Amerika yang lebih luas seperti halnya buku teks aljabar Heinrich Martin Weber tahun 1895.

 Pendekatan kelompok permutasi terhadap teori Galois 

Diketahui polinomial, mungkin beberapa akar dihubungkan oleh berbagai persamaan aljabar s. Misalnya, mungkin untuk dua akar, katakanlah  dan , bahwa . Ide utama dari teori Galois adalah untuk mempertimbangkan permutasi s (atau penataan ulang) dari akar sehingga persamaan aljabar apapun yang dipenuhi oleh akar adalah masih terpenuhi setelah akar. Awalnya, teori telah dikembangkan untuk persamaan aljabar yang koefisiennya adalah bilangan rasional. Ini meluas secara alami ke persamaan dengan koefisien dalam bidang apa pun, tetapi ini tidak akan dipertimbangkan dalam contoh sederhana di bawah ini.

Permutasi ini bersama-sama membentuk grup permutasi, juga disebut grup Galois dari polinomial, yang secara eksplisit dijelaskan dalam contoh berikut.

 Contoh pertama: persamaan kuadrat 
Pertimbangkan persamaan kuadrat

Dengan menggunakan rumus kuadrat, kita menemukan bahwa kedua akar tersebut adalah

Contoh persamaan aljabar dipenuhi oleh  dan  termasuk

dan

Jika kita menukar  dan  di salah satu dari dua persamaan terakhir kita mendapatkan pernyataan benar lainnya. Misalnya persamaan  menjadi . Lebih umum benar bahwa ini berlaku untuk  setiap  yang mungkin hubungan aljabar antara  dan  sedemikian rupa sehingga semua koefisien adalah bilangan rasional; yaitu, dalam hubungan seperti itu, menukar  dan  menghasilkan relasi benar lainnya. Ini hasil dari teori polinomial simetris, yang, dalam hal ini, dapat diganti dengan manipulasi rumus yang melibatkan teorema binomial. (Orang mungkin keberatan bahwa  dan  terkait dengan persamaan aljabar , yang tidak tetap benar saat  dan  dipertukarkan. Namun, hubungan ini tidak dipertimbangkan di sini, karena memiliki koefisien  yang tidak rasional.)

 Contoh kedua 
Pertimbangkan polinomial

yang juga bisa ditulis sebagai

Kami ingin mendeskripsikan kelompok Galois dari polinomial ini, sekali lagi dalam bidang bilangan rasional. Polinomial memiliki empat akar:

Ada 24 kemungkinan cara untuk mengubah keempat akar ini, tetapi tidak semua permutasi ini adalah anggota grup Galois. Anggota kelompok Galois harus mempertahankan persamaan aljabar apa pun yang melibatkan koefisien rasional , ,  dan .

Di antara persamaan ini, kami memiliki:

Oleh karena itu, jika  adalah permutasi yang termasuk dalam grup Galois, kita harus memiliki:

Ini menyiratkan bahwa permutasi ditentukan dengan baik oleh gambar , dan bahwa grup Galois memiliki 4 elemen, yaitu:

Ini menyiratkan bahwa golongan Galois isomorfik dari grup empat Klein.

 Lihat pula 
 Grup Galois untuk lebih banyak contoh
 Teorema dasar teori Galois
Teori Galois Diferensial untuk teori persamaan diferensial Galois
 Teori Galois Grothendieck untuk generalisasi yang luas dari teori Galois

 Catatan 

 Referensi 



  (Galois' original paper, with extensive background and commentary.)


  (Chapter 4 gives an introduction to the field-theoretic approach to Galois theory.)
  (This book introduces the reader to the Galois theory  of Grothendieck, and some generalisations, leading to Galois groupoids.)




 .   English translation (of 2nd revised edition):  (Later republished in English by Springer under the title "Algebra".)

 Pranala luar 

Beberapa tutorial online tentang teori Galois muncul di:

 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

Buku teks online dalam bahasa Prancis, Jerman, Italia, dan Inggris dapat ditemukan di:

 http://www.galois-group.net/