Bourbaki

Exercise 18, § 11

Algebra, III, 651

Let z = ∑HαHeH\sum_H \alpha_H e_H be a non-zero pure p-vector of an n-dimensional vector space E, expressed using its components with respect to an arbitrary basis (ei)1≤i≤n(e_i)_{1 \leq i \leq n} of E. Let G be a subset of [1,n][1, n] with p elements such that aG≠0a_G \neq 0; let (ih)1≤h<p(i_h)_{1 \leq h < p} be the sequence of indices in G arranged in increasing order and (jk)1≤k≤n−p(j_k)_{1 \leq k \leq n-p} the sequence of indices in the complement G' of G, arranged in increasing order. For every ordered pair (h,k)(h, k) of indices such that 1≤h≤p1 \leq h \leq p, 1≤k≤n−p1 \leq k \leq n - p, let βhk\beta_{hk} be the component αH\alpha_H of z corresponding to the subset H of [1,n][1, n] consisting of the p−1p - 1 indices in G distinct from ihi_h and of index jk∈G′j_k \in G'; let X be the matrix (βhk)(\beta_{hk}) with p rows and n−pn - p columns. Given an arbitrary subset L of [1,n][1, n] with p elements such that L∩GL \cap G has q≥1q \geq 1 elements, show that (aG)q−1aL(a_G)^{q-1} a_L is equal, up to sign, to the minor of X of order q, consisting of the rows of index h such that ih∈G∩Li_h \in G \cap L and the columns of index k such that jk∈L∩G′j_k \in L \cap G'. (Write z as being of the form aGy1∧y2∧⋯∧ypa_G y_1 \wedge y_2 \wedge \cdots \wedge y_p, where the vectors yiy_i are such that, in the matrix Y with n rows and p columns whose columns are the yiy_i, the submatrix consisting of the rows whose indices belong to G is the unit matrix.)

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.