Alternating multilinear map
An alternating multilinear map is a Multilinear map with all arguments in the same vector space which yields the zero vector if any arguments equal. #m/def/linalg
Properties
- Alternating implies anticommutative
- Alternating iff anticommutative away from 2
#state/develop | #lang/en | #SemBr