Lemma 2
Tag 076G, permanent. Cite it as [Bourbaki, Tag 076G].
Algebra, chapter VII, § 5. Endomorphisms of vector spaces
Let B and C be two lower triangular matrices of orders m and n respectively, with diagonals and . Let us identify the lexicographic product of the ordered sets and with the interval . Then the tensor product matrix (II, p. 357) B C is lower triangular with diagonal .
This follows immediately from the definition of the tensor product of two matrices (loc. cit.) and of the lexicographic product (Set Theory, III, p. 157).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.