Determinant of a block triangular matrix
Statement
Show that for block triangular matrices,
where and are square.
Hint
Use the fact that block triangular matrices form a subalgebra, and reduce to the case where and are triangular by an appropriate base change, or use the Leibniz formula.
Show solutionHide solution
Solution
Reduction. It suffices to prove the result when and are upper triangular (any matrix can be put in triangular form by a base change, and the determinant is unchanged under conjugation). In that case, the block matrix is upper triangular with diagonal entries those of and , so its determinant is the product of its diagonal entries, which is .
Leibniz formula. Alternatively, the determinant is a sum over permutations of the block index set. A permutation that contributes a nonzero term must preserve each block (since the lower-left block is zero), so it splits as . Summing over such gives .
Conclusion. The formula holds for all block triangular matrices.