Polinom Halkası
Polinom halkası, bir taban halkası üzerinde katsayıları olan, bir veya daha fazla belirsizliğe sahip polinomların halkasıdır; bu, bir halkaya bilinmeyenleri eklemeyi modelleyen serbest değişmeli cebirdir.
Tanım
Verilen bir değişmeli R halkası için, R[x] polinom halkası, R'deki katsayılarla bir belirsiz x'in kuvvetlerinin sonlu biçimsel toplamlarından oluşur ve olağan toplama ve çarpma işlemleriyle tanımlanır; bu işlemin tekrarlanmasıyla birden çok değişkenli polinom halkaları elde edilmektedir.
Kapsam
Bu konu, bir ve birden çok değişkenli polinom halkalarının inşasını, bir cisim üzerindeki bölme algoritmasını, Gauss lemması ve Eisenstein kriteri gibi çarpanlara ayırma ve indirgenemezlik kriterlerini ve özelliklerin (tek türlü çarpanlara ayırma, Noether koşulu) taban halkasından polinom halkasına aktarımını kapsamaktadır.
Temel sorular
- Polinom halkası nasıl inşa edilir ve hangi evrensel özelliği karşılar?
- Polinomlar ne zaman bölünebilir ve bu durum bir cismin polinom halkasını nasıl Öklid halkası yapar?
- Bir polinomun indirgenemezliği nasıl tespit edilir?
- Taban halkasının hangi özellikleri polinom halkası tarafından miras alınır?
Temel kuramlar
- Bölme algoritması ve evrensel özellik
- Bir cisim üzerinde, polinomlar kalanlı bölmeye izin verir, bu da tek değişkenli polinom halkasını bir Öklid bölgesi yapar; daha genel olarak R[x], bir üreteç üzerindeki serbest değişmeli R-cebiridir ve x'i bir R-cebirinin herhangi bir elemanına göndermek için evrenseldir.
- Gauss lemması
- Eğer R bir tek türlü çarpanlara ayırma bölgesi ise, R[x] de öyledir ve kesirler cismi üzerinde çarpanlarına ayrılan bir ilkel polinom, zaten R üzerinde çarpanlarına ayrılır, bu da indirgenemezlik sorularını taban cismine indirger.
- Eisenstein kriteri
- Önde gelen katsayısı dışındaki katsayıları bir asal sayıya bölünebilen ve sabit terimi bu asal sayının karesine bölünemeyen bir monik tip polinom indirgenemezdir; bu, indirgenemezlik için hızlı ve yeterli bir test sağlamaktadır.
Klinik önem
Polinom halkaları, denklemleri çözmek ve cebirsel geometri için cebirsel bir zemin oluşturmaktadır; burada polinom halkalarının bölüm halkaları, çeşitliliklerin koordinat halkalarıdır. Bilgisayar cebiri (Gröbner tabanları), kodlama teorisi ve cisim genişletmeleri ile sonlu cisimlerin inşası için merkezi bir öneme sahiptirler.
Tarihçe
Polinomların biçimsel manipülasyonu soyut cebirden daha eski olmakla birlikte, Gauss'un siklotomi ve tam sayı polinomları üzerine çalışmaları ile Eisenstein'ın indirgenemezlik kriteri modern teoriyi şekillendirmiştir. Hilbert'in taban teoremi ise cisimler üzerindeki polinom halkalarının sonlu üretilmiş ideallere sahip olduğunu ortaya koyarak cebirsel geometrinin temelini atmıştır.
Öne çıkan isimler
- Carl Friedrich Gauss
- Ferdinand Eisenstein
- David Hilbert
- Leopold Kronecker
İlgili konular
Temel eserler
- dummit2004
- lang2002
- atiyah1969
Sıkça sorulan sorular
- Bir cisim üzerindeki polinom halkası neden bu kadar iyi davranışlıdır?
- Bir cisim üzerinde bölme algoritması geçerlidir, bu nedenle tek değişkenli polinom halkası bir Öklid bölgesidir ve dolayısıyla bir asal ideal ve tek türlü çarpanlara ayırma bölgesidir. Bu durum, aritmetiğini tam sayıların aritmetiğine oldukça benzer kılmaktadır.
- Bir polinom halkasının evrensel özelliği nedir?
- Belirsizi bir R-cebirinin herhangi bir elemanına eşlemek, R[x]'ten bir halka homomorfizmasına benzersiz bir şekilde genişler. Bu serbestlik, polinom halkalarının genel bir bilinmeyeni eklemeyi modellemesini sağlar ki bu da değerlendirme ve yerine koymanın temelini oluşturur.