Bourbaki

Bài tập 3, § 2

Nhóm Lie và đại số Lie, V

Bourbaki marks this one as harder than the rest.

Cho V là một không gian Hilbert phức có cơ sở e1,…,ele_1, \ldots, e_l. Với 1≤i≤l1 \leq i \leq l, cho sis_i là một phản xạ giả unita, với vectơ eie_i, sao cho si(ei)=cieis_i(e_i) = c_i e_i, với ci≠1c_i \neq 1; một phần tử của V là bất biến dưới sis_i khi và chỉ khi nó vuông góc với eie_i. Cho W là nhóm con của GL(V)\mathbf{GL}(V) sinh bởi các sis_i.

a) Cho ii là một số nguyên ≥1\geq 1. Chứng minh rằng mọi phần tử của ⋀iV\bigwedge^i V bất biến dưới W đều bằng không. (Lập luận bằng quy nạp theo ll; nếu V′V' là không gian con của V sinh bởi e1,…,el−1e_1, \ldots, e_{l-1}, và nếu ee là một vectơ khác không vuông góc với V′V', thì mọi phần tử của ⋀iV\bigwedge^i V có thể được viết dưới dạng a+(b∧e)a + (b \wedge e), với a∈⋀iV′a \in \bigwedge^i V' và b∈⋀i−1V′b \in \bigwedge^{i-1} V'; nếu a+(b∧e)a + (b \wedge e) là bất biến dưới W, thì aa và bb là bất biến dưới nhóm con W′W' sinh bởi s1,…,sl−1s_1, \ldots, s_{l-1}, và giả thiết quy nạp được áp dụng.)

b) Giả sử W là hữu hạn. Chứng minh, bằng cách sử dụng a), rằng, với mọi tự đồng cấu A của V,

∑w∈Wdet⁡(A−w)=Card⁡(W)⋅det⁡(A) \sum_{w \in W} \det(A - w) = \operatorname{Card}(W) \cdot \det(A)
∑w∈Wdet⁡(1−Aw)=Card⁡(W). \sum_{w \in W} \det(1 - Aw) = \operatorname{Card}(W).

Suy ra rằng, với mọi A∈End⁡(V)A \in \operatorname{End}(V), tồn tại w∈Ww \in W sao cho AwAw không có điểm bất động khác không.

c) Cho Γ\Gamma là đồ thị có tập hợp các đỉnh là {1,l}\{1, l\}, các cạnh là các tập hợp {i,j}\{i, j\} sao cho eie_i và eje_j không vuông góc. Chứng minh rằng V là một W-môđun đơn khi và chỉ khi Γ\Gamma liên thông và không rỗng.

d) Giả sử rằng V là một W-môđun đơn. Chứng minh rằng các W-môđun ⋀iV\bigwedge^i V (0≤i≤l0 \leq i \leq l) là đơn. (Chứng minh rằng tồn tại một số nguyên jj sao cho đồ thị Γ−{j}\Gamma - \{j\} là liên thông. Lập luận bằng quy nạp theo ll, và áp dụng giả thiết quy nạp cho không gian con V′V' sinh bởi các ei,i≠je_i, i \neq j.) Chứng minh rằng các môđun này từng đôi một không đẳng cấu6^6.

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-6-mini. Chưa được người kiểm tra. Mô hình này là bản rút gọn của mô hình đã viết phần còn lại của ngôn ngữ này.