The local-global property for G-invariant terms

Alexandr Kazda, Michael Kompatscher

For some Maltsev conditions $\Sigma$ it is enough to check if a finite algebra $\mathbf{A}$ satisfies $\Sigma$ locally on subsets of bounded size, in order to decide, whether $\mathbf{A}$ sati…