The permutation formula $\sum_{\sigma\in S_n}\operatorname{sgn}(\sigma)\prod_i a_{i,\sigma(i)}$ constructs an alternating multilinear function of columns with value $1$ on $I$. This proves existence of the determinant over any field. In characteristic two, the alternating condition means repeated columns give zero; sign-based intuition requires care.
Parents
Like how this is organised?
Build your own knowledge tree on knowen.md: notes, decisions and tasks in one connected markdown graph, shared with your team and your AI agents.