We have the following pushout diagram: $$\begin{array}{ccc} \langle X, Y \rangle & \xrightarrow{\alpha} & \mathbb{Z}_a \ast \mathbb{Z}_b \ast \mathbb{Z}_c \ast \mathbb{Z}_d \\ \downarrow \scriptsize{\beta} && \downarrow \scriptsize{g} \\ \mathbb{Z}_e & \xrightarrow{f} & G\end{array}$$ Suppose that $\alpha$ is injective, and $\beta$ maps $X,Y$ to $1\in \mathbb{Z}_e$. ($\mathbb{Z}_n$ means the cyclic group of order $n$.)

I wonder that in which cases, $f$ is injective. For any positive integers $a,b,c,d,e \geq 2$? Otherwise, only for relative prime or distinct prime $a,b,c,d,e$?

(I found that if $\phi$ is injective, then $\psi$ is injective in "adhesive" categories. The category of abelian groups is adhesive, and the category of groups isn't. I also wonder which subcategory of groups are adhesive. ) $$\begin{array}{ccc}A & \xrightarrow{\phi} & B \\ \downarrow && \downarrow \\ C & \xrightarrow{\psi} & D\end{array}$$.

In the category of groups, there is a counterexample: http://math.stackexchange.com/questions/601463/a-monomorphism-of-groups-which-is-not-universal

I can change my diagram similarly to the above counterexample: $$\begin{array}{ccc}\mathbb{Z} & \xrightarrow{\alpha'} & (\mathbb{Z}_a \ast \mathbb{Z}_b \ast \mathbb{Z}_c \ast \mathbb{Z}_d)/\langle X=Y \rangle \\ \downarrow \scriptsize{\beta'} && \downarrow \scriptsize{g'} \\ \mathbb{Z}_e & \xrightarrow{f} & G\end{array}$$ $\alpha'(1)=X$, any words in $X,Y$ are nontrivial in $\mathbb{Z}_a \ast \mathbb{Z}_b \ast \mathbb{Z}_c \ast \mathbb{Z}_d$, and $\beta'$ is surjective. Then, $\alpha'$ is also injective. For instance, fix $Y=1_a 1_b 1_c 1_d$ with a generator $1_n$ of $\mathbb{Z}_n$. May $f$ not be a monomorphism?