Suppose we have a triple of groups $G,H,K$ verifyingsatisfying the follwingfollowing conditions:
- $G$ and $H$ are finite groups and $K$ is an infinite group.
- there existsexist two monomorphisms $G\rightarrow K\leftarrow H$ inducing$G \rightarrow K \leftarrow H$ which induce an isomorphism in homology (with integral coefficients).
My question is the follwoingfollowing: ItIs there a knowknown triple $(K, G, H)$ verifiyingsatisfying the conditions 1(1.) and 2(2.) such that $G$ is not isomorphic to $H$ ? I'mI am more interested whenin the case that $G$ is a perfect group, but any example (if there exists such) is welcome.
Edit: In the case where $K$ is finite, CullerCuller's theorem says that $K, G, H$ are all isomorphic.