top exterior power

Among the spaces of alternating forms on an n-dimensional space V, the top one — built from n vectors at a time — is a single line, a one-dimensional space. There is essentially one alternating n-form up to scaling, which is the abstract reason the determinant is unique up to a constant. This line is the natural home of 'oriented volume', and it is where det lives most honestly.

Concretely, the k-th exterior power packages alternating multilinear behavior; when k equals the dimension n, the resulting space (written wedge^n V, or its dual of top forms) is one-dimensional. Any linear operator T on V induces a linear map on this line, and a linear map on a one-dimensional space is just multiplication by a scalar. That scalar IS det(T) — a basis-free, formula-free definition of the determinant as 'what T does to the top exterior power'.

This viewpoint pays off conceptually. Multiplicativity det(ST) = det(S) det(T) becomes the trivial fact that composing two scalings on a line multiplies the scalars. The uniqueness of the determinant becomes the one-dimensionality of the top power. And it is the doorway from determinant theory into exterior and tensor algebra, where wedge products generalize signed volume to every dimension, not just the top.

Caveat: the top power being a LINE (not zero, not higher-dimensional) is special to k = n; lower exterior powers wedge^k V have dimension 'n choose k' and are larger. Picking a generator of the determinant line is exactly picking an orientation and a unit of volume; the line itself is canonical, but the number 1 on it is a choice.