Halka Homomorfizmi
Halka homomorfizmi, halkalar arasında yapıyı koruyan bir dönüşümdür; çekirdeği bir ideal ve görüntüsü bir alt halka olan, izomorfizm teoremleri tarafından yönetilen halka kuramının bir morfizmidir.
Tanım
Halka homomorfizmi, halkalar arasında toplama, çarpma ve (geleneksel olarak) çarpımsal birim elemanını koruyan bir fonksiyondur; böylece cebirsel işlemlerin korunmasını sağlamaktadır.
Kapsam
Bu konu, halka homomorfizmlerinin ve izomorfizmlerinin tanımını, çekirdekleri ve görüntüleri, halkalar için dört izomorfizm teoremini, karakteristik ve asal alt halkayı ve bölüm halkalarının ve değerlendirme dönüşümlerinin evrensel özelliklerini kapsamaktadır.
Temel sorular
- Bir dönüşümün halka yapısını koruması ne anlama gelmektedir?
- Bir homomorfizmin çekirdeği ve görüntüsü idealler ve alt halkalarla nasıl ilişkilidir?
- İzomorfizm teoremleri bir homomorfizmi bir bölüm aracılığıyla nasıl çarpanlarına ayırmaktadır?
- Değerlendirme ve indirgeme dönüşümleri halka homomorfizmleri olarak nasıl ortaya çıkmaktadır?
Temel kuramlar
- Halkalar için Birinci İzomorfizm Teoremi
- Her halka homomorfizmi, görüntüsüne bir örten dönüşüm ve ardından bir içerme olarak çarpanlarına ayrılmaktadır; ve görüntüsü, tanım kümesinin çekirdeği (ki bu bir idealdir) ile bölümüne izomorfiktir.
- Karşılık ve İzomorfizm Teoremleri
- Bir ideal ile bölüm almak, onu içeren idealler ile bölümün idealleri arasında bir bijeksiyon oluşturmaktadır; ikinci, üçüncü ve dördüncü izomorfizm teoremleri ise alt halkaların, ideallerin ve bölümlerin homomorfizmler altında nasıl etkileşimde bulunduğunu tanımlamaktadır.
- Bölümlerin Evrensel Özelliği
- Çekirdeği belirli bir ideali içeren bir homomorfizm, o ideal ile bölüm aracılığıyla tekil olarak çarpanlarına ayrılmaktadır; bu nedenle bölüm halkaları, ideali sıfırlayan homomorfik görüntüler arasında evrenseldir.
Klinik önem
Halka homomorfizmleri, cebirin temel işlemlerini formüle etmektedir: bir tam sayıya veya polinoma göre indirgeme, polinomların değerlendirilmesi ve bir halkanın daha büyük bir halkaya dahil edilmesi gibi işlemlerin hepsi birer homomorfizmdir. Halkaları bir kategori haline getirmekte ve sayı teorisi ile cebirsel geometride yapı ve hesaplamanın aktarıldığı dönüşümler olarak işlev görmektedirler.
Tarihçe
Homomorfizm ve izomorfizm teoremleri, 1920'lerde Emmy Noether'in yapısal cebir programının bir parçası olarak grup teorisinden halkalara soyutlanmış, sayı teorisi ve denklem teorisinde daha önce durum bazında ele alınmış olan yapıları birleştirmiştir.
Öne çıkan isimler
- Emmy Noether
- Richard Dedekind
- Emil Artin
İlgili konular
Temel eserler
- dummit2004
- hungerford1974
- lang2002
Sıkça sorulan sorular
- Bir halka homomorfizminin çekirdeği neden bir ideal olmak zorundadır?
- Çekirdek, toplama altında kapalıdır ve dönüşüm çarpımları çarpımlara gönderdiği ve bir çekirdek elemanının görüntüsü sıfır olduğu için, herhangi bir halka elemanıyla çarpmayı absorbe etmektedir. Bu absorpsiyon özelliği, bir idealin tanımının tam kendisidir.
- Günlük cebirde bir halka homomorfizmi örneği nedir?
- Tam sayıların n modülüne göre indirgenmesi, bir polinomun sabit bir sayıda değerlendirilmesi ve karmaşık eşlenik alma gibi işlemlerin hepsi birer halka homomorfizmidir. Her biri toplamları ve çarpımları korumakta ve izomorfizm teoremleri görüntülerini bölüm halkaları olarak tanımlamaktadır.