Ayırma Cismi
Bir polinomun ayırma cismi, polinomun tamamen doğrusal çarpanlara ayrıldığı en küçük cisim genişlemesidir ve tüm köklerinin bulunduğu doğal ortamı temsil etmektedir.
Tanım
Bir cisim üzerindeki bir polinomun ayırma cismi, polinomun tüm kökleri tarafından üretilen, polinomun doğrusal çarpanlara ayrıldığı ve bu özelliğe sahip en küçük genişlemedir.
Kapsam
Bu konu, ayırma cisimlerinin inşasını ve varlığını, izomorfizme kadar olan tekliğini, normal genişlemeleri, cebirsel kapanışlarla bağlantısını ve bir polinomun kökleri ile simetrilerinin incelendiği Galois genişlemeleri olarak ayırma cisimlerinin rolünü kapsamaktadır.
Temel sorular
- Her polinom neden tamamen ayrıldığı bir cisme sahiptir?
- Bir polinomun ayırma cismi tek midir?
- Ayırma cisimleri normal genişlemeler ve cebirsel kapanışlarla nasıl bir ilişki içindedir?
- Ayırma cisimleri neden Galois teorisi için doğru ortamdır?
Temel kuramlar
- Ayırma cisimlerinin varlığı ve tekliği
- Bir cisim üzerindeki her polinomun, köklerin ardışık olarak eklenmesiyle elde edilen bir ayırma cismi bulunmaktadır ve aynı polinomun herhangi iki ayırma cismi, taban cismi sabitleyen bir izomorfizm aracılığıyla izomorfiktir.
- Ayırma cisimleri ve normallik
- Sonlu bir genişleme, ancak bir polinomun ayırma cismi olduğunda normaldir; bu durum, eşdeğer olarak, her bir elemanının tüm eşleniklerini içermesiyle de ifade edilebilir ve bu, bir Galois genişlemesini tanımlayan koşullardan biridir.
- Evrensel bir ayırma cismi olarak cebirsel kapanış
- Bir cismin cebirsel kapanışı, her polinomun ayrıldığı bir genişlemedir ve tüm polinomların ayırma cisimlerinin birleşimidir; her cisim için var olmakta ve izomorfizme kadar tek olmaktadır.
Klinik önem
Ayırma cisimleri, Galois gruplarının üzerinde etki ettiği somut genişlemeleri sağlamakta, bu da onları Galois gruplarını hesaplamak ve denklemlerin çözülebilirliğini incelemek için bir temel haline getirmektedir. Aynı yapı, cebirsel kapanışları da üretmekte ve her asal kuvvet mertebesinden sonlu cisimler inşa etmek için kullanılmaktadır.
Tarihçe
Kronecker'in polinom halkalarını bölümleyerek kök ekleme yöntemi, ayırma cisimlerinin inşasını sağlamaktadır. Steinitz ise 1910 tarihli soyut cisimler teorisinde cebirsel kapanışların varlığını ve tekliğini kanıtlamıştır. Bu sonuçlar, Galois'in kök cisimlerini örtük kullanımını titiz bir temele oturtmuştur.
Öne çıkan isimler
- Leopold Kronecker
- Ernst Steinitz
- Évariste Galois
İlgili konular
Temel eserler
- dummit2004
- lang2002
- hungerford1974
Sıkça sorulan sorular
- Bir ayırma cismi nasıl inşa edilir?
- Polinom halkasını indirgenemez bir çarpanla bölümleyerek bu çarpanın bir kökü eklenir, ardından polinom doğrusal parçalara ayrılana kadar daha büyük cisim üzerinde bu işlem tekrarlanır. Ortaya çıkan minimal cisim ayırma cismidir.
- Ayırma cisimleri Galois teorisi için neden önemlidir?
- Bir ayırma cismi tam olarak normal bir genişlemedir ve ayrılabilir olduğunda bir Galois genişlemesidir. Galois grubu polinomun köklerini permüte ettiğinden, denklemin simetri analizinin yapıldığı yer ayırma cismidir.