f:(A1×A2)⊗B→(A1⊗B)×(A2⊗B)
(a1,a2)⊗b↦((a1⊗b),(a2⊗b))
nasıl bir + işlemi tanımlı ki bu fonksiyon için
f((a1,a2)⊗b1+(a3,a4)⊗b2)=f((a1,a2)⊗b1)+f((a3,a4)⊗b2)
eşitliğini sağlıyor?
+:((A1×A2)⊗B)×((A1×A2)⊗B)→((A1×A2)⊗B)
((a1,a2)⊗b1,(a3,a4)⊗b2)↦(a1,a2)⊗b1+(a3,a4)⊗b2=?
Bu işleme bir eşitlik arıyorum çünkü f fonksiyonu + içeren bir şey taşımıyor yani bu toplama işleminin f'in taşıyabileceği formdaki bir eşitliği olması gerekiyor ki homomorfizmi gösterebilelim değil mi yanlış mı düşünüyorum acaba?