A separating identity for matrix semirings over $S_7$
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.13981
curl -X POST /api/v1/records/arxiv/2610.13981/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.13981/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'