Bourbaki

Bài tập 11, § 11

Đại số, III

Bourbaki marks this one as harder than the rest.

Cho Φ=0\Phi = 0 là một đẳng thức giữa các định thức con của một ma trận vuông khả nghịch XX cấp nn trên một vành giao hoán AA, Φ~=0\tilde{\Phi} = 0 là đẳng thức bù tương ứng (Bài tập 10) và kk là một số nguyên >0> 0. Cho YY là một ma trận vuông khả nghịch cấp n+kn + k và Y~0\tilde{Y}_0 là ma trận con của ma trận phụ hợp Y~\tilde{Y} thu được bằng cách bỏ trong Y~\tilde{Y} các hàng có chỉ số ≤k\leq k và các cột có chỉ số ≤k\leq k. Nếu giả sử Y~0\tilde{Y}_0 khả nghịch và áp dụng đẳng thức Φ~=0\tilde{\Phi} = 0 cho các định thức con của Y~0\tilde{Y}_0, rồi thay mỗi định thức con xuất hiện trong đẳng thức này (xét như một định thức con của Y~\tilde{Y}) bằng biểu thức của nó như một hàm của các định thức con của YY, dùng đẳng thức (1) của Bài tập 9, thì thu được một đẳng thức Φk=0\Phi_k = 0 giữa các định thức con của ma trận YY (đúng khi YY và Y~0\tilde{Y}_0 khả nghịch), được gọi là mở rộng cấp kk của đẳng thức Φ=0\Phi = 0.

Đặc biệt, cho A=(αij)A = (\alpha_{ij}) là một ma trận vuông khả nghịch cấp n+kn + k, BB là ma trận con của AA cấp kk thu được bằng cách bỏ trong AA các hàng và các cột có chỉ số >k> k, và Δij\Delta_{ij} là định thức của ma trận cấp k+1k + 1 thu được bằng cách bỏ trong AA các hàng có chỉ số >k> k trừ hàng có chỉ số k+ik + i và các cột có chỉ số >k> k trừ cột có chỉ số k+jk + j; nếu CC ký hiệu ma trận (Δij)(\Delta_{ij}) cấp nn, hãy chứng minh đẳng thức

det⁡C=(det⁡A)(det⁡B)n−1 \det C = (\det A)(\det B)^{n-1}
đúng khi AA và BB khả nghịch (hãy chứng minh rằng đó là mở rộng cấp kk của khai triển toàn phần của một định thức cấp nn).

Hãy phát biểu các đẳng thức thu được bằng cách mở rộng khai triển Laplace (§ 8, no. 6) và đẳng thức của Bài tập 2 của § 8.

Lời giải

Chưa có lời giải nào được viết.

Bản dịch máy từ tiếng Anh, bởi gpt-5.4. Chưa được người kiểm tra.