Bourbaki

Exercise 40, § 7

Algebra, I, p. 151

\* Let n be an integer ⩾2\geqslant 2, and let TnT_n be the group of upper triangular matrices of order n over Z\mathbf{Z} having all their diagonal terms equal to 1. Let e(Tn)e(T_n) be the invariant of the group TnT_n defined in Exercise 39. Prove that one has

e(Tn)⩽∑i=1i=ni(n−i). e(T_n) \leqslant \sum_{i=1}^{i=n} i(n - i).

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.