{"id":"arxiv/2609.19651","url":"https://arxiv.org/abs/2609.19651","tags":["math.RA","math.CT","math.LO"],"score":0,"title":"Locally finite Schreier Varieties","domain":"math.RA","source":"arxiv","authors":["Keith A. Kearnes","Andrew Moorhead","Agnes Szendrei"],"reviews":0,"subject":"math.RA","summary":"A variety $\\mathcal{V}$ is called a Schreier variety if every subalgebra of a $\\mathcal{V}$-free algebra is a $\\mathcal{V}$-free algebra. We use ideas from Tame Congruence Theory to classify locally finite Schreier varieties. One version of the classification theorem states that a locally finite variety $\\mathcal{V}$ is a Schreier variety if and only if (i) every finite algebra in $\\mathcal{V}$ is a $\\langle 0,1\\rangle$-minimal algebra and (ii) if $\\mathcal{V}$ has a constant $1$-ary term operation, then $\\mathcal{V}$ also has a constant $0$-ary term operation.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-17","reactions":{}}