Bourbaki

习题 18, § 11

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

代数, III, 651

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

令 z = ∑HαHeH\sum_H \alpha_H e_H 为 n 维向量空间 E 的非零纯 p 向量,使用其相对于 E 的任意基 (ei)1≤i≤n(e_i)_{1 \leq i \leq n} 的分量来表示。 令 G 为 [1,n][1, n] 的子集,且 p 元素使得 aG≠0a_G \neq 0;设(ih)1≤h<p(i_h)_{1 \leq h < p}是排列在递增阶中的G中指标的序列和排列在递增阶中的G的补码G'中指标中的(jk)1≤k≤n−p(j_k)_{1 \leq k \leq n-p}序列。 对于指标的每个有序对(h,k)(h, k),使得1≤h≤p1 \leq h \leq p,1≤k≤n−p1 \leq k \leq n - p,令βhk\beta_{hk}为z相应的到子集H的[1,n][1, n]由……组成的分量αH\alpha_H G中的p−1p - 1指标不同于ihi_h和指标jk∈G′j_k \in G';令 X 为矩阵 (βhk)(\beta_{hk}),其中有 p 行且n−pn - p 列。 给定 [1,n][1, n] 的任意子集 L 和 p 元素,使得 L∩GL \cap G 有 q≥1q \geq 1 元素,证明 (aG)q−1aL(a_G)^{q-1} a_L 等于阶 q 的 X 的小数, 指标 h 的行中的由……组成使得 ih∈G∩Li_h \in G \cap L 和指标 k 的列使得 jk∈L∩G′j_k \in L \cap G'。 (将 z 写为形式 aGy1∧y2∧⋯∧ypa_G y_1 \wedge y_2 \wedge \cdots \wedge y_p,其中向量 yiy_i 使得,在有 n 行的矩阵 Y 和 p 列中,其中列是 yiy_i,其行的子矩阵由……组成指标属于到 G 就是单位矩阵。)

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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