Bourbaki

Bài tập 17, § 10

Đại số, II

Bourbaki marks this one as harder than the rest.

Cho K là một trường (giao hoán hoặc không), E là một không gian vectơ phải có chiều n trên K, u là một tự đồng cấu của E. (a) Bây giờ chứng minh rằng nếu n>1n > 1 và nếu u không phải là một phép vị tự trung tâm, thì tồn tại một cơ sở của E sao cho ma trận của u đối với cơ sở này có dạng (αij)(\alpha_{ij}) với αij=0\alpha_{ij} = 0 đối với j>i+1j > i + 1 và ∑i=1n−1αi,i+1=1\sum_{i=1}^{n-1} \alpha_{i, i+1} = 1 (lý luận bằng quy nạp theo n). (b) Bây giờ chứng minh rằng nếu n>2n > 2, thì tồn tại một cơ sở của E sao cho ma trận của u đối với cơ sở này có dạng (αij)(\alpha_{ij}) với αij=0\alpha_{ij} = 0 đối với j>i+1j > i + 1 và ∑i=1n−1αi,i+1=0\sum_{i=1}^{n-1} \alpha_{i, i+1} = 0. (Lý luận bằng quy nạp theo n bằng cách sử dụng (a), chú ý rằng chứng minh mệnh đề cho u hay cho u+γ1Eu + \gamma 1_E là như nhau, trong đó γ\gamma thuộc tâm của K, và bằng cách nghiên cứu riêng trường hợp u có hạng 1 hoặc 2.) (c) Cho A=(αij)A = (\alpha_{ij}) là một ma trận có các tính chất được mô tả trong (b). Mặt khác, cho S là ma trận (εij)(\varepsilon_{ij}) cấp n sao cho εij=0\varepsilon_{ij} = 0, ngoại trừ trường hợp i=j+1i = j + 1 trong đó εj+1,j=1\varepsilon_{j+1, j} = 1. Bây giờ chứng minh rằng tồn tại một ma trận B=(βij)B = (\beta_{ij}) cấp n sao cho A=λEnn+(BS−SB)A = \lambda E_{nn} + (BS - SB) với λ∈K\lambda \in K. (Chọn B sao cho βi1=0\beta_{i1} = 0 với 1≤i≤n1 \leq i \leq n và βij=0\beta_{ij} = 0 với j>i+2j > i + 2.) (d) Giả sử K giao hoán. Suy ra từ (c) rằng mọi tự đồng cấu u của E sao cho Tr(u)=0\mathrm{Tr}(u) = 0 có thể được viết thành vw−wvvw - wv, trong đó v và w là các tự đồng cấu của E.

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. Chưa được người kiểm tra.