To what extent is a large space of matrices not closed under product? (Q636232)

The starting point of the paper is a classical result which states that any linear subspace \(V\) of codimension less than \(n-1\) of the \(\mathbb K\)-algebra \(M_n(\mathbb K)\) (where \(\mathbb K\) is a field) generates this algebra. Three main results are provided in this context. 1. Every matrix of \(M_n(\mathbb K)\) is a sum of products of two matrices of \(V\). 2. Every matrix of \(M_n(\mathbb K)\) can be factorized in a product of a finite number of matrices of \(V\). 3. If \(n\geq 3\) and \(V\) is a hyperplane of \(M_n(\mathbb K)\), then every matrix of \(M_n(\mathbb K)\) is a product of two matrices of \(V\). A classification of the counter-examples is provided for the case \(n=2\).