Bài tập 11, § 11
Đại số, III
Bourbaki marks this one as harder than the rest.
Cho 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 cấp trên một vành giao hoán , là đẳng thức bù tương ứng (Bài tập 10) và là một số nguyên . Cho là một ma trận vuông khả nghịch cấp và là ma trận con của ma trận phụ hợp thu được bằng cách bỏ trong các hàng có chỉ số và các cột có chỉ số . Nếu giả sử khả nghịch và áp dụng đẳng thức cho các định thức con của , 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 ) bằng biểu thức của nó như một hàm của các định thức con của , dùng đẳng thức (1) của Bài tập 9, thì thu được một đẳng thức giữa các định thức con của ma trận (đúng khi và khả nghịch), được gọi là mở rộng cấp của đẳng thức .
Đặc biệt, cho là một ma trận vuông khả nghịch cấp , là ma trận con của cấp thu được bằng cách bỏ trong các hàng và các cột có chỉ số , và là định thức của ma trận cấp thu được bằng cách bỏ trong các hàng có chỉ số trừ hàng có chỉ số và các cột có chỉ số trừ cột có chỉ số ; nếu ký hiệu ma trận cấp , hãy chứng minh đẳng thức
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.