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,\ldots,v_k)=0\) whenever the k-tuple
3. \(\alpha\) gives zero whenever two of its arguments are equal