Teorema Feit–Thompson atau teorema urutan ganjil merupakan teorema di bidang matematika yang menyatakan bahwa setiap grup berhingga yang berorde ganjil dapat dipecahkan. Teorema tersebut dibuktikan pada awal tahun 1960-an oleh Walter Feit dan John Griggs Thompson.[1][2]
Sejarah
suntingPada awal abad ke-20, William Burnside mengajukan hipotesa bahwa setiap grup sederhana berhingga nonabelian memiliki orde genap. Richard Brauer menyarankan penggunaan centralizer involusi grup sederhana sebagai dasar untuk klasifikasi grup sederhana berhingga, karena teorema Brauer–Fowler menunjukkan bahwa hanya ada sejumlah grup sederhana berhingga dengan centralizer involusi tertentu.[3] Sebuah grup dengan order ganjil tidak memiliki involusi, sehingga untuk menjalankan program Brauer, pertama-tama perlu dibuktikan bahwa grup sederhana berhingga yang non-siklik tidak pernah memiliki orde ganjil. Hal tersebut setara dengan membuktikan bahwa grup orde ganjil dapat dipecahkan, yang telah dibuktikan oleh Feit dan Thompson.
Percobaan untuk memecahkan hipotesa Burnside dimulai oleh Michio Suzuki yang mempelajari grup CA (grup centralizer abelian). Dalam sebuah makalah perintis, dia menunjukkan bahwa semua grup CA dengan orde ganjil dapat dipecahkan.[4] Feit, Thompson, dan Marshall Hall kemudian mencoba memperluas usaha Suzuki ke keluarga grup CN. Mereka memperloleh hasil bahwa setiap grup CN dengan orde ganjil dapat dipecahkan.[5]
Teorema Feit–Thompson dapat dianggap sebagai langkah berikutnya dari proses pembuktian hipotesa Burnside. Teorema tersebut menunjukkan bahwa tidak ada grup sederhana non-siklis dengan orde ganjil sehingga setiap subgrup yang tepat dapat dipecahkan. Hal tersebut membuktikan bahwa setiap grup berhingga dengan orde ganjil dapat dipecahkan, karena contoh tandingan minimal harus berupa grup sederhana sehingga setiap subgrup yang tepat dapat dipecahkan.
Referensi
sunting- ^ Feit, Walter; Thompson, John G. (1962-06). "A SOLVABILITY CRITERION FOR FINITE GROUPS AND SOME CONSEQUENCES". Proceedings of the National Academy of Sciences (dalam bahasa Inggris). 48 (6): 968–970. doi:10.1073/pnas.48.6.968. ISSN 0027-8424. PMC 220889. PMID 16590960.
- ^ Feit, Walter; Thompson, John (1963-09-01). "Chapter I, from Solvability of groups of odd order, Pacific J. Math, vol. 13, no. 3 (1963". Pacific Journal of Mathematics (dalam bahasa Inggris). 13 (3): 775–787. doi:10.2140/pjm.1963.13.775. ISSN 0030-8730.
- ^ Brauer, Richard (1957). "On the structure of groups of finite order". International Mathematical Union. Proceedings of the International Congress of Mathematicians, Amsterdam, 1954, Vol. 1. hlm. 209–217. MR 0095203. Diarsipkan dari asli tanggal 2011-03-05.
- ^ Suzuki, Michio (1957-08). "The Nonexistence of a Certain Type of Simple Groups of Odd Order". Proceedings of the American Mathematical Society. 8 (4): 686. doi:10.2307/2033280.
- ^ Feit, Walter; Hall, Marshall; Thompson, John G. (1960-12). "Finite groups in which the centralizer of any non-identity element is nilpotent". Mathematische Zeitschrift (dalam bahasa Inggris). 74 (1): 1–17. doi:10.1007/BF01180468. ISSN 0025-5874.
 | Artikel bertopik matematika ini adalah sebuah rintisan. Anda dapat membantu Wikipedia dengan mengembangkannya. |
