İntegral Bölge
İntegral bölge, birimli değişmeli bir halkadır ve sıfır bölenleri yoktur; bilinen sadeleştirme kuralının ve çarpanlara ayırma kavramının geçerli olduğu soyut bir ortamdır.
Tanım
İntegral bölge, sıfır olmayan herhangi iki elemanın çarpımının sıfır olmaması koşulunu sağlayan, çarpımsal birimli değişmeli bir halkadır; bu, eşdeğer olarak sıfır bölenleri olmayan bir halka anlamına gelmektedir.
Kapsam
Bu konu, integral bölgelerin tanımını ve temel özelliklerini, kesirler cismini, cisimlerin hiyerarşisini, Öklid bölgelerini, ana ideal bölgelerini ve tek türlü çarpanlara ayrılabilen bölgeleri, ayrıca indirgenemez ve asal eleman kavramlarını kapsamaktadır.
Temel sorular
- Sıfır bölenlerinin olmaması, sadeleştirme ve çarpanlara ayırma hakkında neyi garanti etmektedir?
- Bir integral bölge, kesirler cismine nasıl gömülmektedir?
- Öklid, ana ideal ve tek türlü çarpanlara ayrılabilen bölgeler birbiriyle nasıl ilişkilidir?
- İndirgenemez ve asal elemanlar arasındaki fark nedir?
Temel kuramlar
- Kesirler Cismi
- Her integral bölge, kesirlerin denklik sınıflarından inşa edilen, tam sayılardan rasyonel sayılara geçişi genelleştiren, kendi kesirler cismi olan en küçük bir cisme gömülmektedir.
- Bölgelerin Hiyerarşisi
- Cisimler, Öklid bölgeleri, ana ideal bölgeleri ve tek türlü çarpanlara ayrılabilen bölgeler, integral bölgeler arasında kesinlikle azalan bir özellik zinciri oluşturarak, çarpanlara ayırmanın ne kadar iyi davrandığını düzenlemektedir.
- Asal ve İndirgenemez Elemanlar
- Herhangi bir integral bölgede asal elemanlar indirgenemezdir ve bu iki kavram, indirgenemezlere çarpanlara ayırmanın esasen tek türlü olduğu tek türlü çarpanlara ayrılabilen bölgelerde tam olarak çakışmaktadır.
Klinik önem
İntegral bölgeler, aritmetiğin tam sayılar gibi davrandığı halkalardır: çarpanlara ayırma kuramının doğal yuvasıdırlar, sayı teorisindeki tam sayı halkaları bölgelerdir ve indirgenemez cebirsel çeşitliliklerin koordinat halkaları integral bölgelerdir, bu da kavramı geometriye bağlamaktadır.
Tarihçe
Bu kavram, Dedekind ve Kronecker tarafından incelenen tam sayıların ve cebirsel tam sayı halkalarının aritmetiğini soyutlamaktadır. Öklid, ana ideal ve tek türlü çarpanlara ayrılabilen bölgelerin sistematik karşılaştırması, yirminci yüzyılın başlarındaki yapısal halka teorisiyle ortaya çıkmıştır.
Öne çıkan isimler
- Richard Dedekind
- Leopold Kronecker
- Emmy Noether
İlgili konular
Temel eserler
- dummit2004
- lang2002
- hungerford1974
Sıkça sorulan sorular
- Sıfır bölenlerini dışlamak neden önemlidir?
- Sıfır bölenleri olmadan sadeleştirme kuralı geçerlidir: eğer bir çarpım sıfıra eşitse, o zaman çarpanlardan biri sıfır olmalıdır. Bu durum, iyi işleyen bir çarpanlara ayırma teorisi ve halkanın bir kesirler cismine gömülmesi için tam olarak gerekli olandır.
- Asal ve indirgenemez elemanlar aynı şey midir?
- Genel olarak değildir. Asallar bir bölgede her zaman indirgenemezdir, ancak indirgenemezler asal olmak zorunda değildir; bu durum, çarpanlara ayırmanın tek türlü olmamasına neden olmaktadır. İkisi, tek türlü çarpanlara ayrılabilen bölgelerde tam olarak çakışmaktadır.