Definitions:
If $K$ is a normal subgroup of a subgroup $H$ of $G$, then $H/K$ is referred to as a section of $G$.
Two sections $H/K$, H'/K' of the group $G$ are said incidents if any coset in $H/K$ has an intersection with one unique coset in H'/K' that is not empty, and the converse.
Let $L/M$ be one section of $G$ and $H$ a subgroup of $G$. We define the projection of $H$ upon $L/M$ to be the subset of $L/M$ that consists of cosets of $M$ in $L$ overlapping with $H$.
Exercise:
i. Incident sections are isomorphic.
ii. Let $N$ be one normal subgroup of $G$, $H$ one subgroup of $G$. Then $HN/N$ and $H/(H \cap N)$ are incident.
iii. Conditions being as the definition iii., the projection of $H$ upon $L/M$ is the subgroup $(L \cap H)M/M$ of $L/M$.
iv. The projection of K' upon $H/K$ is a normal subgroup of the projection of H' upon $H/K$. Then this quotient group is considered the projection of H'/K' upon $H/K$.
v. The projections, respectively, of $H/K$ upon H'/K' and of H'/K' upon $H/K$ are incident.
The Final Result:
Let $H$, H' be subgroups of $G$, $K$ one normal subgroup of $H$, K' that of H'. Then (H \cap {H'})K/(H\cap{K'})K is isomorphic to (H\cap{H'})K'/(K\cap{H'})K'.
It is taken from the book: Groups and representations, by JL Alperin, and Rowen B Bell. Here $A\cap B$ is the intersection of them.
This was first proved by Zassebhaus, at the aureate age of 21, whereupon leaving the name of the lemma of Zassenhaus, the fourth isomorphism theorem, or the butterfly lemma, owing to the shape of its inclusion diagram of involved subgroups.
Question: I can without confronting many difficulties solve the first four exercises, while the last one still puzzles me. In effect, what confuses me is that, in order to consider two sections as incident, shall we not first be sure that they are sections with respect to the same group $G$? I cannot at this juncture even assume that the fifth exercise is true...
Thanks for any hint.