Bourbaki

习题 27, § 7

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

代数, II, 406

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

(a) 在命题 16 (i) (no. 7) 的假设下，典范同态 (27) (no. 7) 是双射的，EE 或FF 是有限维的（注像在（27）下是充分必要的） Hom⁡K(E,G)⊗LF\operatorname{Hom}_K(E, G) \otimes_L F 映射 EE 的元素的 (no. 7) 到形式 G⊗LF′G \otimes_L F' 的子空间中包含的G⊗LFG \otimes_L F 的子空间，其中F′F' 是有限维子空间 FF）。

(b) 在命题 16 (ii) (no. 7) 的假设下，典范同态 (28) (no. 7) 为双射，有序对 (E1,E2),(E1,F1),(E2,F2)(E_1, E_2), (E_1, F_1), (E_2, F_2) 之一由有限维向量空间组成（使用 (a) 和习题是充分必要的） § 4 中的 7 个）。

解答

尚未写出解答。

被以下引用

无。

引用了

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