Locally finite Schreier Varieties
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.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.19651
curl -X POST /api/v1/records/arxiv/2609.19651/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.19651/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'