Beş lemma - Five lemma - Wikipedia

İçinde matematik, özellikle homolojik cebir ve diğer uygulamaları değişmeli kategori teori, beş lemma önemli ve yaygın olarak kullanılan bir Lemma hakkında değişmeli diyagramlar Beş lemma sadece değişmeli kategoriler için geçerli değildir, aynı zamanda grup kategorisi, Örneğin.

Beş lemma, diğer iki teoremin bir kombinasyonu olarak düşünülebilir: dört lemma, hangileri çift birbirlerine.

İfadeler

Aşağıdakileri göz önünde bulundur değişmeli diyagram herhangi birinde değişmeli kategori (kategorisi gibi değişmeli gruplar veya kategorisi vektör uzayları belirli bir alan ) veya kategorisinde grupları.

5 lemma.svg

Beş lemma, satırların tam, m ve p vardır izomorfizmler, l bir epimorfizm, ve q bir monomorfizm, sonra n aynı zamanda bir izomorfizmdir.

İki dört lemma durumu:
(1) Değişmeli diyagramdaki satırlar

4 lemma right.svg

kesin ve m ve p epimorfizmlerdir ve q bir monomorfizmdir, o zaman n bir epimorfizmdir.

(2) Değişmeli diyagramdaki satırlar

4 lemma left.svg

kesin ve m ve p monomorfizmlerdir ve l bir epimorfizmdir, o zaman n bir monomorfizmdir.

Kanıt

Kullanacağımız ispat yöntemi genellikle şu şekilde anılır: diyagram takibi.[1] İki dört lemmanın her birini ayrı ayrı kanıtlayarak beş lemmayı kanıtlayacağız.

Diyagram takibi yapmak için, şu kategoride olduğumuzu varsayıyoruz: modüller biraz fazla yüzük, böylece konuşabiliriz elementler Diyagramdaki nesnelerin ve diyagramın morfizmalarını şu şekilde düşünün: fonksiyonlar (aslında, homomorfizmler ) bu elementler üzerinde hareket eder, sonra bir morfizm bir monomorfizmdir ancak ve ancak bu enjekte edici ve bu bir epimorfizmdir ancak ve ancak örten Benzer şekilde, kesinlik ile başa çıkmak için düşünebiliriz çekirdekler ve Görüntüler fonksiyon-teorik anlamda. kanıt, herhangi bir (küçük) değişmeli kategori için geçerli olacaktır çünkü Mitchell'in gömme teoremi Bu, herhangi bir küçük değişmeli kategorinin bir halka üzerinde bir modül kategorisi olarak temsil edilebileceğini belirtir. Grup kategorisi için, aşağıdaki tüm eklemeli gösterimi çarpımsal gösterime çevirin ve değişmeli grubun değişmeliğinin asla kullanılmadığını not edin.

Yani, (1) 'i kanıtlamak için varsayalım ki m ve p örten ve q enjekte edici.

(1) kanıtı .
(1) kanıtı .
4 lemma right.svg
  • İzin Vermek c ′ unsuru olmak C ′.
  • Dan beri p örten, bir unsur var d içinde D ile p(d) = t(c ′).
  • Diyagramın değişme özelliği ile, sen(p(d)) = q(j(d)).
  • İmden beri t = ker sen kesinliğe göre, 0 = sen(t(c ′)) = sen(p(d)) = q(j(d)).
  • Dan beri q enjekte edici j(d) = 0, yani d Ker içinde j = im h.
  • Bu nedenle var c içinde C ile h(c) = d.
  • Sonra t(n(c)) = p(h(c)) = t(c ′). Dan beri t bir homomorfizmdir, bunu takip eder t(c ′n(c)) = 0.
  • Kesinlikle, c ′n(c) görüntüsünde syani var b ′ içinde B ′ ile s(b ′) = c ′n(c).
  • Dan beri m örten, bulabiliriz b içinde B öyle ki b ′ = m(b).
  • Değişme ile, n(g(b)) = s(m(b)) = c ′n(c).
  • Dan beri n bir homomorfizmdir, n(g(b) + c) = n(g(b)) + n(c) = c ′n(c) + n(c) = c ′.
  • Bu nedenle, n örten.

Daha sonra, (2) 'yi ispatlamak için varsayalım ki m ve p enjekte edici ve l örten.

(2) 'nin bir kanıtı.
4 lemma left.svg
  • İzin Vermek c içinde C öyle ol n(c) = 0.
  • t(n(c)) 0 olur.
  • Değişme ile, p(h(c)) = 0.
  • Dan beri p enjekte edici, h(c) = 0.
  • Kesinlikle, bir unsur var b nın-nin B öyle ki g(b) = c.
  • Değişme ile, s(m(b)) = n(g(b)) = n(c) = 0.
  • Kesinlikle, o zaman bir unsur var a ′ nın-nin Bir ′ öyle ki r(a ′) = m(b).
  • Dan beri l örten, var a içinde Bir öyle ki l(a) = a ′.
  • Değişme ile, m(f(a)) = r(l(a)) = m(b).
  • Dan beri m enjekte edici, f(a) = b.
  • Yani c = g(f(a)).
  • Bileşiminden beri g ve f önemsiz c = 0.
  • Bu nedenle, n enjekte edici.

İki dört lemayı birleştirmek artık beş lemmanın tamamını kanıtlıyor.

Başvurular

Beş lemma genellikle uzun kesin diziler: hesaplarken homoloji veya belirli bir nesnenin kohomolojisi, tipik olarak homolojisi / kohomolojisi bilinen daha basit bir alt nesne kullanır ve orijinal nesnenin bilinmeyen homoloji gruplarını içeren uzun bir kesin sıraya ulaşır. Bu tek başına bilinmeyen homoloji gruplarını belirlemek için genellikle yeterli değildir, ancak orijinal nesne ve alt nesneyi morfizmler yoluyla iyi anlaşılmış olanlarla karşılaştırabilirse, ilgili uzun kesin diziler arasında bir morfizm indüklenir ve bu durumda beş lemma bilinmeyen homoloji gruplarını belirlemek için kullanılabilir.

Ayrıca bakınız

Notlar

  1. ^ Massey (1991). Cebirsel topolojide temel bir ders. s. 184.

Referanslar

  • W. R. Scott: Grup TeorisiPrentice Hall, 1964.
  • Massey, William S. (1991), Cebirsel topolojide temel bir dersMatematik alanında yüksek lisans metinleri, 127 (3. baskı), Springer, ISBN  978-0-387-97430-9