The finite basis problem for matrix semirings over a two-element additively idempotent semiring

Abstract

We provide a complete classification of matrix semirings ${\mathbf{M}}_n(S)$ over two-element additively idempotent semirings $S$ with respect to the finite basis property.Our main theorem shows that for every integer $n\ge 2$,the semiring ${\mathbf{M}}_n(S)$ is finitely based if and only if $S$ is distinct from a distributive lattice.