Bourbaki

习题 14, § 7

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

代数, III, 636

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

设 M 为射影 A-模,且令 x1,…,xnx_1, \ldots, x_n 与 M 线性无关元素;对于间隔 {1,n}\{1, n\} 的 m≤nm \leq n 元素的每个子集 H={i1,…,im}H = \{i_1, \ldots, i_m\},其中 i1<i2<⋯<imi_1 < i_2 < \cdots < i_m,我们写

xH=xi1∧xi2∧⋯∧xim. x_H = x_{i_1} \wedge x_{i_2} \wedge \cdots \wedge x_{i_m}.
证明当 H 以 m 元素遍历{1,n}\{1, n\} 的子集集合时,xHx_H 在Λ(M)\Lambda(M) 中线性无关。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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