Bourbaki

习题 9, § 9

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

代数, II, 413

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

令KK为有限域,其中qq元素和VV是KK上的nn维向量空间。

(a) 证明 VV 的序列 (x1,x2,…,xm)(x_1, x_2, \ldots, x_m) m≤nm \leq n 向量的集合形成自由系统的基数等于

(qn−1)(qn−q)⋯(qn−qm−1) (q^n - 1)(q^n - q) \cdots (q^n - q^{m-1})
(由归纳在nn争论)。

(b) 由 (a) 推出nn维射影空间超过KK的mm维线性簇的集合基数等于

(qn+1−1)(qn+1−q)⋯(qn+1−qm)(qm+1−1)(qm+1−q)⋯(qm+1−qm). \frac{(q^{n+1} - 1)(q^{n+1} - q) \cdots (q^{n+1} - q^m)}{(q^{m+1} - 1)(q^{m+1} - q) \cdots (q^{m+1} - q^m)}.

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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