The finite basis problem for matrix semirings ${\mathbf{M}}_n(S_7)$

Abstract

We first prove that two matrix semirings ${\mathbf{M}}_n(S_1)$ and ${\mathbf{M}}_n(S_2)$ are equationally equivalent whenever additively idempotent semirings $S_1$ and $S_2$ are equationally equivalent. We then prove an embedding theorem for matrix semirings ${\mathbf{M}}_n(S)$ over an additively idempotent semiring $S$: for all $n\ge 2$, ${\mathbf{M}}_n(S)$ embeds into ${\mathbf{M}}_{n+1}(S)$. This yields an ascending chain of varieties $\mathsf{V}({\mathbf{M}}_2(S))\le \mathsf{V}({\mathbf{M}}_3(S))\le \cdots$, which is strictly ascending when $S$ is the two-element distributive lattice. Finally, we show that every variety in the interval $[\mathsf{V}(S_c(abc)),\mathsf{V}({\mathbf{M}}_n(S_7))]$ is nonfinitely based (i.e., has no finite basis for its identities), where $S_c(abc)$ is an eight-element flat semiring and $S_7$ is the unique nonfinitely based three-element additively idempotent semiring. Consequently, ${\mathbf{M}}_n(S_7)$ is nonfinitely based, yielding an ascending chain $\mathsf{V}({\mathbf{M}}_2(S_7))\le \mathsf{V}({\mathbf{M}}_3(S_7))\le \cdots$; moreover, every variety in $[\mathsf{V}(S_7),\mathsf{V}({\mathbf{M}}_n(S_7))]$ is also nonfinitely based, and this interval contains at least countably infinitely many distinct varieties.