{"id":"arxiv/2610.13981","url":"https://arxiv.org/abs/2610.13981","tags":["math.RA"],"score":0,"title":"A separating identity for matrix semirings over $S_7$","domain":"math.RA","source":"arxiv","authors":["Lili Wang","Jiewei Zhang","Aifa Wang"],"reviews":0,"subject":"math.RA","summary":"Jiao and Ren proved that the varieties generated by the matrix semirings $\\M_n(S_7)$ form an ascending chain of nonfinitely based varieties, and asked whether consecutive members are equal for all $n\\geq2$. We give a negative answer by exhibiting an identity in five variables that holds in $\\M_2(S_7)$ and fails in $\\M_3(S_7)$. Consequently, $\\V(\\M_2(S_7))$ is a proper subvariety of $\\V(\\M_n(S_7))$ for every $n\\geq3$. The proof uses the cubic-power property established by Jiao and Ren and a description of products equal to the constant matrix $[a]_n$. The identity forces two distinct indices…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-23","reactions":{}}