Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-104/6/d/i/solution

Every finitely presented group embeds in by . This direct product of groups is finitely presented: combine finite presentations of the factors and add the finitely many cross-commutation relations between their generators. Projection onto gives a nontrivial finite quotient of a group.
Thus no finitely presented can serve as the forbidden witness for this property. Hence

New to topics? Read the docs here!