Does $\alpha=\beta f \Rightarrow f$ isomorphism?

You have shown that given groups $G,K,H$ with embeddings $\alpha: K\to G$ and $\beta : H\to G$, any bijection $f:K\to H$ satisfying $\alpha = \beta f$ is necessarily an isomorphism. We don't need to impose any further restrictions.