Locally finite Schreier Varieties

RESUMO

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.