Öncelikle sorunun altındaki ilk yorumu okuyunuz lütfen.
A,B,C serbest Z-modüller ve X herhangi bir Z-modül olsun. Eğer 0⟶A⟶fB⟶gC⟶0 kısa net bir dizi (short exact sequence) ise (yani f birebir, g örten ve im(f)=ker(g)) ise 0⟶A×X⟶f⊗idXB⊗X⟶g⊗idXC⊗X⟶0dizisinin de net olduğunu gösterin.
Notlar ve ipuçları: Bir önceki sorunun ipucunda olduğu gibi, yeni dizinin bir zincir oluşturduğunu göstermek çok kolay (zincir: ardarda gelen iki okun bileşkesi sıfır demek). Öte yandan, bu zincirin net olduğunu gösterebilmek, zor olmasa da biraz meşakkatli. Eğer g örten ise g⊗idX'in örten olduğu aşikar. Bu kısım için görüldüğü üzere serbestlik gerekmiyor. Ancak f⊗idX için serbestlik gerekli (En alttaki ek soruygözden geçirin). C serbest Z-modül olduğu için içinde bulunduğu her kısa net çizgi yarılacaktır (Bu bir cebir bilgisi. Serbest modüller, dahası izdüşümsel modüllerin bu özelliğe sahip olduğu halka teorisi dersinde ilk ispatlanan teoremlerden birisidir. Kendi başına ispatlamak da zor değildir.) Bu nedenle verilmiş kısa net çizgi ve C'nin serbestliği sayesinde B≃A⊕Cizomorfizması elde edilir. Buradan da (bkz: sekizinci soru) X⊗B≃(A⊗X)⊕(C⊗X) izomorfizması elde edilir. Buradan (bir kaç uyumluluk şartının sağladığını göstererek) birebirlik hemencik görülebilir. İlk kısımda olduğu gibi, im(f⊗idX)=ker(g⊗idX) eşitliği her zaman doğrudur. Ancak bunu göstermek en meşakkatli kısım.
İlk ispatlanması gereken kısım şu yardımcı teorem: φ:f⟼φ(f) fonksiyonu Hom(M⊗N,P) grubundan Hom(M,Hom(N,P)) grubuna bir izomorfizma tanımlar. φ(f):M⟶Hom(N,P) morfizması şu şekilde tanımlanmaktadır. φ(f)(m):n⟼f(m⊗n)Yani Hom(M⊗N,P)≃Hom(M,Hom(N,P)). Bu izomorfizma genellikle Hom ile ⊗ birbirlerinin eşdönüşümleridir denilerek anlatılır (adjoint operator). Yukarda tanımlanmış f⟼φ(f) fonksiyonunun izomorfizma olduğunu göstermek bir hayli kolay. Yalnızca tensör çarpımın tanımlayıcı özelliğini kullanmak gerekiyor. Tabii ki yukarıda M,N,P aynı halka üzerine modüller ve tensör çarpma o halka üzerinden yapılmakta.
İkinci ispatlamamız gereken yardımcı teorem de şu: M′⟶M⟶M″⟶0 Z-modüllerden oluşan bir dizi olsun. Bu dizinin net olması için gerek yeter şart her Z-modül P için 0⟶Hom(M″,P)⟶Hom(M,P)⟶Hom(M′,P)dizisinin net olmasıdır.
Bunu ispatlamak da bir hayli kolay. Şimdi bu iki yardımcı teoremi kullanarak asıl göstermek istediğimiz netliği göstermeye hazırız. Tek yapmamız gereken rastgele bir Z-modül P almak ve tensör işlemiyle elde ettiğimiz diziye Hom(⋅,P) uygulayıp yeni elde edilen 0⟶Hom(C⊗X,P)⟶Hom(B⊗X,P)⟶Hom(A⊗X,P)dizisinin net olduğunu göstermek. Ama ilk yardımcı teoremi kullanarak bu dizi yerine 0⟶Hom(C,Hom(X,P))⟶Hom(B,Hom(X,P))⟶Hom(A,Hom(X,P))dizisinin net olduğunu göstermek yeterli. Bunu göstermek de sıradan bir işlem.
Ek soru: Serbestlik şartı ne kadar zayıflatılabilir?