{"id":"arxiv/2609.25823","url":"https://arxiv.org/abs/2609.25823","tags":["math.GR"],"score":0,"title":"The finite basis problem for all subvarieties of the variety $\\mathsf{V}(S^0_7)$","domain":"math.GR","source":"arxiv","authors":["Mengya Yue"],"reviews":0,"subject":"math.GR","summary":"We solve the finite basis problem for all subvarieties of $\\mathsf{V}(S^0_7)$. By considering their intersections with $\\mathsf{V}(S_7)$, we reduce the problem to six intervals. We show that $\\mathsf{V}(S_7^0)$ has exactly fifteen finitely based subvarieties and that every other subvariety is nonfinitely based. Moreover, $\\mathsf{V}(S_c(abc))$ and $\\mathsf{V}(SR_6)$ are the only limit subvarieties of $\\mathsf{V}(S_7^0)$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-22","reactions":{}}