فرض کنید $\{ M_{i} \}_{i \in I} $ خانواده ای از $ R $ مدولها بوده و $N $ یک $R $ مدول باشد. ثابت کنید:
1)$Hom _{R}( \bigoplus_{i \in I} M_{i}, N ) \cong \prod_{i \in I} Hom _{R}( M_{i}, N ) $
2)$Hom _{R}( N, \prod_{i \in I} M_{i} ) \cong \prod_{i \in I} Hom _{R}( N, M_{i} ) $
