Lemma 1
Tag 0765, permanent. Cite it as [Bourbaki, Tag 0765].
Algebra, chapter VII, § 5. Endomorphisms of vector spaces
If B and C are lower triangular matrices of order n with diagonals and , then the matrices and are lower triangular with diagonals and .
Since the matrix of is lower triangular with diagonal say, it follows from Lemma 1 that is a lower triangular matrix with diagonal . Then is a lower triangular matrix with diagonal , which proves (6).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.