An alternating multilinear function of $n$ columns with value $1$ on the standard basis is unique. Expand each column in the standard basis. Terms with repeated basis vectors vanish, and the remaining terms are permutations whose signs are fixed. The result is exactly the determinant's permutation expansion.
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.