 Solution

Choose $x_0\in X$ with stabilizer subgroup $H$. Transitivity means that every point is $g{x}_0$ for some $g$. Its stabilizer subgroup issince $a(g{x}_0)=g{x}_0$ exactly when $g^{-1}ag\in H$. The kernel of a group homomorphism arising from the group action is the set of elements fixing every point, henceThis is the subgroup core. A group homomorphism is injective precisely when its kernel is trivial. The desired equivalence is therefore exactly the equivalence between a trivial subgroup core and a faithful group action. No finiteness assumption is required in this part.