令E,F1,F2为三个A-模,f1:F1→E,f2:F2→E为两个A-线性映射。 F1和F2相对于f1和f2的*纤维乘积*是乘积F1×F2由……组成的子模,有序对(x1,x2)使得f1(x1)=f2(x2);用F1×EF2表示。
(a) 对于A-线性映射u1:G→F1,u2:G→F2的每一个有序对使得f1∘u1=f2∘u2,存在且仅有一个A-线性映射u:G→F1×EF2使得p1∘u=u1,p2∘u=u2,其中p1和p2表示限制 pr_1 和 pr_2 中的 F1×EF2 投影。
(b) 令E′,F1′,F2′为三个A-模、f1′:F1′→E′,f2′:F2′→E′A-线性映射和F1′×E′F2′相对于这些映射的纤维乘积。对于A-线性映射v1:F1→F1′,v2:F2→F2′,w:E→E′的每个系统使得f1′∘v1=w∘f1,f2′∘v2=w∘f2,让v是F1×EF2的A-线性映射到F1′×E′F2′相应的到两个线性映射v1∘p1并且v2∘p2。证明如果 v1 和 v2 是单射的,则 v 也是单射的;给出例,其中 v1 和 v2 是满射,但 v 不是满射(取 E′={0})。如果 w 是单射且 v1 和 v2 是满射,则证明 v 是满射。