Remark
Tag 0A4S, permanent. Cite it as [Bourbaki, Tag 0A4S].
Lie Groups and Lie Algebras, chapter II, § 4. Central filtrations
Let k be a ring, n an integer and A the set of lower triangular matrices with n rows and n columns and elements in k. For , let be the set of such that for . Then and . Let . Then is a subgroup of called the strict lower triangular group of order n over k. By Proposition 2 of no. 5, is an integral filtration on . As , we see that the group is nilpotent (Algebra, Chapter I, § 6, no. 3, Definition 6).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.