Bourbaki

Bài tập 24, § 8

Đại số, III

Cho XiX_i (1≤i≤m1 \leq i \leq m) là các ma trận vuông cùng cấp nn trên vành giao hoán A. Chứng minh rằng nếu mm chẵn thì (Bài tập 23)

Tr⁡[X1X2…Xm]=0 \operatorname{Tr}[X_1X_2 \ldots X_m] = 0

và nếu mm lẻ

Tr⁡[X1X2…Xm]=m⋅Tr⁡(Xm[X1X2…Xm−1]). \operatorname{Tr}[X_1 X_2 \ldots X_m] = m \cdot \operatorname{Tr}(X_m[X_1 X_2 \ldots X_{m-1}]) .

(Nếu λ\lambda là phép hoán vị tuần hoàn (1,2,…,m)(1, 2, \ldots, m), CC là nhóm con cyclic của SmS_m sinh bởi λ\lambda và HH là nhóm con của SmS_m gồm các phép hoán vị để mm bất biến, thì chú ý rằng mọi phép hoán vị trong SmS_m đều có thể được viết duy nhất dưới dạng στ\sigma \tau với σ∈H\sigma \in H và τ∈C\tau \in C; rồi dùng tính chất rằng vết của một tích các ma trận là bất biến dưới phép hoán vị tuần hoàn của các thừa số.)

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.