TAMENESS OF THE PSEUDOVARIETY OF ABELIAN GROUPS

Abstract

In this paper we prove that the pseudovariety of Abelian groups is hyperdecidable and moreover that it is completely tame. This is a consequence of the fact that a system of group equations on a free Abelian group with certain rational constraints is solvable if and only if it is solvable in every finite quotient.