Bourbaki

习题 35, § 7

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

代数, II, 407

Bourbaki marks this one as harder than the rest.

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

(a) 令KK为域,且EE为(K,K)(K, K)双模。假设EE的维数作为左和KK上的右向量空间,等于相同的有限数nn。证明存在nn 元素 EE 的族(ei)(e_i),对于EE 上的两个向量空间结构各为基。 (注,如果(bj)1≤j≤m(b_j)_{1 \leq j \leq m}是m<nm < n元素和EE的一个家庭,则EE上的两个向量空间结构各免费,VV是左边的向量) 子空间和WW由(bj)(b_j)生成的右向量子空间,V+W≠EV + W \neq E,或者V∩CWV \cap CW和W∩CVW \cap CV非空;在后一种情况下,如果y∈V∩CW,z∈W∩CVy \in V \cap CW, z \in W \cap CV,y+zy + z 形式与bjb_j m+1m + 1 元素的家庭,EE 两个向量空间结构各免费。)

(b) 设FF为EE的子双模,其两个KK上的向量空间结构具有相同的维数p<np < n。 证明存在一个族EE的元素的(ei)1≤i≤n(e_i)_{1 \leq i \leq n},对于它的每一个向量空间结构,它是EE的基,并且对于它的两个向量空间中的每一个,(ei)1≤i≤p(e_i)_{1 \leq i \leq p}是FF的基结构(与方法相同)。

(c) 令(bj)1≤j≤n−1(b_j)_{1 \leq j \leq n-1}为n−1n - 1元素和EE的一个家庭,对于EE上的两个向量空间结构中的每一个来说都是免费的。令VV(或WW)为超平面,由EE中的(bj)(b_j)视为左(或右)向量空间生成。

证明如果V⊂WV \subset W(或W⊂VW \subset V),则必然V=WV = W(注,如果a∉Wa \notin W,λ∈K\lambda \in K的集合,使得λa∈W\lambda a \in W是左理想)。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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