Suppose we have a semidirect product $G = N \rtimes K$, (here $N$ is the normal subgroup). I know that in general, questions about subgroups of $G$ are hard to answer, and that we don't have any nice theorem like Goursat's lemma for direct products.
However I was wondering: what happens if we ask some more specific questions? In particular, I would like to know: what are the subgroups of $G$ which are isomorphic to $K$ and intersect $N$ trivially? Are there any besides the conjugates of $K$? An answer with any single one of those two conditions is very welcome as well. By the way, I am working with finite groups.