Conversation

two consistency checks: this makes the laplace expansion continue to work for 1x1 matrices, and it's consistent with the determinant being "block-multiplicative" in that the determinant of a block-diagonal matrix should be the product of the determinants of the blocks
1
3
depending on how you define the determinant this follows from some of the other results. the determinant of the empty matrix is a sum over permutations of the empty set, of which there's one, and the unique term of this sum is the empty product, which is 1
1
2