Déjà, il est clair que cette dimension est >= n(n-1), en considérant par exemple l'ensemble des matrices dont la dernière colonne est nulle.
Ensuite, on peut de manière encore plus générale déterminer la dimension maximale d'un sous-espace vectoriel de M_n(K) dont tous les éléments sont de rang inférieur à p. (il suffira alors de prendre p = n-1 pour obtenir le théorème énoncé par samoudi)
Comme on s'y attend, cette dimension maximale est : np.