{"id":"arxiv/2607.09677","url":"https://arxiv.org/abs/2607.09677","tags":["math.RA"],"score":0,"title":"The finite basis problem for matrix semirings $\\mathbf{M}_n(S_7)$","domain":"math.RA","source":"arxiv","authors":["Jun Jiao","Miaomiao Ren"],"reviews":0,"subject":"math.RA","summary":"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 \\geq 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)) \\leq \\mathsf{V}(\\mathbf{M}_3(S)) \\leq \\cdots$, which is strictly ascending when $S$ is the two-element distributive lattice. Finally,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-12","reactions":{}}