# Polynomial identities for mod p matrices

Can there be a polynomial over the field $F_p$ of $p$ elements ($p$ prime) in non-commuting variables $X_1,..., X_r$ such that:

1) $f(A_1,...,A_r)=0$ for every $n \times n$ matrices $A_1,...,A_r$ over $F_p$; and

2) $f$ has a non-trivial monomial of total degree less than $n$ ?

-
The answer may be "no". Try looking at the proof of L'vov-Kruse theorem (that every finite ring has finite basis of identities). The proof is, in particular, in my book (referred to in the answer below). –  Mark Sapir Jul 13 '13 at 6:08
There are three people you can ask (none of them is active on MO as far as I know): Alexei Belov-Kanel from Bar Ilan, Israel, Alexei Krasilnikov from the University of Brasilia, and Mikhail Volkov from the Ural Federal University, Russia. Their email addresses can be found easily. –  Mark Sapir Jul 13 '13 at 6:17

The smallest degree of a homogeneous polynomial identity on $n\times n$ matrices is $2n$ if $n>2$ or $p$ is odd, according to Amitsur and Levitzky. –  Mariano Suárez-Alvarez Jul 12 '13 at 19:32
This standard polynomial does not use the field. It holds for any $2n$ $n \times n$ matrices with symbolic entries. –  Aaron Meyerowitz Jul 12 '13 at 20:45