Algebra

Lemma

Let $\alpha$ be a covariant k-tensor on a finite dimensional vector space V. TFAE:

1. $\alpha$ is alternating
2. $\alpha (v_1,\dots ,v_k)=0$ whenever the k-tuple
3. $\alpha$ gives zero whenever two of its arguments are equal