# How to find a nontrivial system of anticommuting matrices ?

Given $k \geq 1$, what is the minimal $n$ (if it exists) such that there're matrices $A_1, \cdots A_k \in M_n(\mathbb{C})$ satisfying $\forall i,j \quad A_i A_j = - A_j A_i$ and $A_1 \times A_2 \cdots \times A_k \neq 0$ ? In particular each $A_i ^2$ must be zero.

Motivation : make Ramyslov's elementary proof of the Amitsur–Levitzki identity look even more elementary.

-

Such matrices define a representation of the exterior algebra $\Lambda ^ *(V)$ where $V$ is a vector space of dimension $k$. Your non-vanishing condition holds exactly when the representation is faithful, because $\Lambda^*(V)$ has a unique minimal nonzero ideal equal to $\Lambda^k (V)$.
So a free module of rank one is the smallest faithful representation, with dimension $2^k$.