EN
If f:G → H is a group homomorphism and p,q are the projections from the free product G*H onto its factors G and H respectively, let the group $𝓔_{f}⊆ G*H$ be the equalizer of fp and q:G*H → H. Then p restricts to an epimorphism $p_{f} = p|𝓔_{f}:𝓔_{f} → G$. A right inverse (section) $G → 𝓔_{f}$ of $p_{f}$ is called a coaction on G. In this paper we study $𝓔_{f}$ and the sections of $p_{f}$. We consider the following topics: the structure of $𝓔_{f}$ as a free product, the restrictions on G resulting from the existence of a coaction, maps of coactions and the resulting category of groups with a coaction and associativity of coactions.