Zig-zag lemma - Zig-zag lemma - Wikipedia

İçinde matematik, özellikle homolojik cebir, zig-zag lemma belirli bir uzun tam sıra içinde homoloji grupları Belli ki zincir kompleksleri. Sonuç her durumda geçerlidir değişmeli kategori.

Beyan

Değişken kategorisinde (kategorisi gibi) değişmeli gruplar veya kategorisi vektör uzayları belirli bir alan ), İzin Vermek ve aşağıdakilere uyan zincir kompleksleri olun kısa kesin dizi:

Böyle bir sıra, aşağıdakilerin kısaltmasıdır değişmeli diyagram:

Zincir komplekslerinin kısa bir kesin dizisinin değişmeli diyagram gösterimi

satırlar nerede kesin diziler ve her sütun bir zincir kompleksi.

Zig-zag lemma, bir sınır haritaları koleksiyonu olduğunu iddia eder.

bu, aşağıdaki sırayı kesinleştirir:

Zig-Zag Lemma tarafından verilen homolojide uzun kesin sekans

Haritalar ve homoloji tarafından oluşturulan olağan haritalardır. Sınır haritaları aşağıda açıklanmıştır. Lemmanın adı, dizideki haritaların "zig-zag" davranışından kaynaklanmaktadır. Zig-zag lemmanın farklı bir versiyonu genellikle "yılan lemma "(aşağıda verilen zig-zag lemmanın ispatının özünü çıkarır).

Sınır haritalarının oluşturulması

Haritalar standart bir diyagram takip argümanı kullanılarak tanımlanır. İzin Vermek içindeki bir sınıfı temsil etmek , yani . Satırın kesinliği şunu belirtir: örten, bu yüzden biraz olmalı ile . Diyagramın değişme özelliği ile,

Kesinlikle,

Böylece enjekte edici, benzersiz bir unsur var öyle ki . Bu bir döngüdür, çünkü enjekte edici ve

dan beri . Yani, . Bunun anlamı bir döngüdür, bu nedenle içindeki bir sınıfı temsil eder . Şimdi tanımlayabiliriz

Tanımlanan sınır haritaları ile, bunların iyi tanımlanmış olduğu (yani, seçimlerinden bağımsız olarak) gösterilebilir. c ve b). İspat, yukarıdakine benzer argümanları takip eden diyagram kullanır. Bu tür argümanlar, homolojideki sıranın her grupta kesin olduğunu göstermek için de kullanılır.

Ayrıca bakınız

Referanslar

  • Kuluçka, Allen (2002). Cebirsel Topoloji. Cambridge University Press. ISBN  0-521-79540-0.
  • Lang, Serge (2002), Cebir, Matematikte Lisansüstü Metinler, 211 (Üçüncü baskı gözden geçirildi), New York: Springer-Verlag, ISBN  978-0-387-95385-4, BAY  1878556
  • Munkres, James R. (1993). Cebirsel Topolojinin Elemanları. New York: Westview Press. ISBN  0-201-62728-0.