Bài tập 40, § 7

\* Cho n là một số nguyên $\geqslant 2$, và cho $T_n$ là nhóm các ma trận tam giác trên cấp n trên $\mathbf{Z}$ có tất cả các phần tử đường chéo bằng 1. Cho $e(T_n)$ là bất biến của nhóm $T_n$ được định nghĩa trong Bài tập 39. Chứng minh rằng ta có