Bourbaki

习题 16, § 12

标签 00F7,永久不变。引用为 [Bourbaki, Tag 00F7]。

代数, VIII, p. 227

Bourbaki marks this one as harder than the rest.

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

设 D 为域,V D 上的无限维右向量空间,以及环 EndD(V)_D(V) 的 A 稠密子环,其中底层 s\mathfrak{s} 不是零(VIII,p. 130, 习题 8 和 9)。设 K 为 D 的中心和 B K-代数的子域。证明如果K-代数Do⊗BD^o\otimes B的根式是非零的,那么A⊗BA\otimes B的根式也是非零的。 (对于所有x∈Vx\in V和x∗∈V∗x^*\in V^*,令a\mathfrak{a}为s⊗B\mathfrak{s}\otimes B满足∑⟨ui(x),x∗⟩⊗bi∈R(Do⊗B)\sum\langle u_i(x), x^*\rangle \otimes b_i\in \mathfrak{R}(D^o\otimes B)元素∑ui⊗bi\sum u_i\otimes b_i集合。证明a\mathfrak{a}是A⊗BA\otimes B的双面理想,并且, VIII、p. 167的利用习题 10、e)和VIII、p. 131的9,它是非零的并且包含在A⊗B.)A\otimes B.)的部首中

解答

尚未写出解答。

被以下引用

无。

引用了

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