Bourbaki

习题 4, § 1

标签 05M7,永久不变。引用为 [Bourbaki, Tag 05M7]。

代数, II, 381

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

令E,F1,F2F_1, F_2为三个A-模,f1:F1→E,f2:F2→Ef_1 : F_1 \to E, f_2 : F_2 \to E为两个A-线性映射。 F1F_1和F2F_2相对于f1f_1和f2f_2的*纤维乘积*是乘积F1×F2F_1 \times F_2由……组成的子模,有序对(x1,x2)(x_1, x_2)使得f1(x1)=f2(x2)f_1(x_1) = f_2(x_2);用F1×EF2F_1 \times_E F_2表示。

(a) 对于A-线性映射u1:G→F1,u2:G→F2u_1 : G \to F_1, u_2 : G \to F_2的每一个有序对使得f1∘u1=f2∘u2f_1 \circ u_1 = f_2 \circ u_2,存在且仅有一个A-线性映射u:G→F1×EF2u : G \to F_1 \times_E F_2使得p1∘u=u1,p2∘u=u2p_1 \circ u = u_1, p_2 \circ u = u_2,其中p1p_1和p2p_2表示限制 pr_1 和 pr_2 中的 F1×EF2F_1 \times_E F_2 投影。

(b) 令E′,F1′,F2′E', F'_1, F'_2为三个A-模、f1′:F1′→E′,f2′:F2′→E′f'_1 : F'_1 \to E', f'_2 : F'_2 \to E'A-线性映射和F1′×E′F2′F'_1 \times_{E'} F'_2相对于这些映射的纤维乘积。对于A-线性映射v1:F1→F1′,v2:F2→F2′,w:E→E′v_1 : F_1 \to F'_1, v_2 : F_2 \to F'_2, w : E \to E'的每个系统使得f1′∘v1=w∘f1,f2′∘v2=w∘f2f'_1 \circ v_1 = w \circ f_1, f'_2 \circ v_2 = w \circ f_2,让vv是F1×EF2F_1 \times_E F_2的A-线性映射到F1′×E′F2′F'_1 \times_{E'} F'_2相应的到两个线性映射v1∘p1v_1 \circ p_1并且v2∘p2v_2 \circ p_2。证明如果 v1v_1 和 v2v_2 是单射的,则 vv 也是单射的;给出例,其中 v1v_1 和 v2v_2 是满射,但 vv 不是满射(取 E′={0}E' = \{0\})。如果 ww 是单射且 v1v_1 和 v2v_2 是满射,则证明 vv 是满射。

解答

尚未写出解答。

被以下引用

  • alg--s0 not yet on this site

引用了

无。

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。