Базис тождеств алгебры матриц третьего порядка над конечным полем

Указываются в явном виде семь тождеств, которые порождают идеал тождеств полной матричной алгебры порядка 3 над конечным полем. В доказательстве используется описание критических алгебр, нильпотентные подалгебры которых имеют ступень нильпотентности не больше 3. Показано, что каждое тождество не следует из остальных шести.