Exterior power (source code)

= Exterior power
{title2=$\Lambda^kV$}

The $k$th exterior power $\Lambda^kV$ is the quotient of $V^{\otimes k}$ that makes every tensor with two equal factors zero. It represents alternating $k$-linear maps and has dimension $\binom{\dim V}{k}$ in finite dimensions.