2020 Mathematics Subject Classification: Primary: 15A24 [MSN][ZBL]
Let $M$ be a square matrix over a fixed ground field, partitioned in block form as $$ M = \left({ \begin{array}{cc} P & Q \\ R & S \end{array} }\right) \ , $$ where $P$ is a square non-singular submatrix.
The complement of $P$ is $$ M/P = S - R P^{-1} Q \ . $$
The Schur determinant lemma may be expressed in the form $$ \det(M) = \det(P) \det(M/P) \ . $$