Bourbaki

习题 25, § 8

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

代数, III, 644

Bourbaki marks this one as harder than the rest.

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

令AA为有理数数的交换环包含域Q\mathbf{Q},令XX为AA上偶数阶2n≥22n \geq 2的平方矩阵。令LL为{1,2,…,2n}\{1, 2, \ldots, 2n\}的子集{1,2,…,n+1}\{1, 2, \ldots, n+1\}及其补码L′L'。显示以下公式(“Redei 的身份”):

(*)

det⁡(XL,L)det⁡(XL′,L′)=∑H,K(−1)r1n(n−1)det⁡(XH,K)det⁡(XH′,K′) \det(X_{L,L}) \det(X_{L',L'}) = \sum_{H, K} (-1)^r \frac{1}{n(n-1)} \det(X_{H, K}) \det(X_{H', K'})

其中HH穿过{1,2,…,2n}\{1, 2, \ldots, 2n\}包含1的nn元素子集集合和nn子集KK集合 LL 和 r=Card⁡(H∩L′)r = \operatorname{Card}(H \cap L') 中的元素。 (计算(*)右边的项xσ(1),1xσ(2),2…xσ(2n),2nx_{\sigma(1), 1} x_{\sigma(2), 2} \ldots x_{\sigma(2n), 2n}对于任意置换σ∈S2n\sigma \in S_{2n}的系数,注意,如果H=σ(K)H = \sigma(K),这个系数只能是≠0\neq 0;表明,如果σ(L)=L\sigma(L) = L,它只能是≠0\neq 0。)

解答

尚未写出解答。

被以下引用

  • alg--s0 not yet on this site

引用了

无。

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