1: \begin{abstract}

2: We develop some model theory of multi-linear forms, generalizing Granger in the bi-linear case. In particular, after proving a quantifier elimination result, we show that for an NIP field $K$, the theory of infinite dimensional non-degenerate alternating $n$-linear spaces over $K$ is strictly $n$-dependent;  and it is NSOP$_1$ if $K$ is. This relies on a new Composition Lemma for functions of arbitrary arity and NIP relations (which in turn relies on certain higher arity generalizations of Sauer-Shelah lemma). We also study the invariant connected components $G^{\infty}$ in $n$-dependent groups, demonstrating their relative absoluteness in the abelian case.

3: \end{abstract}

4: