Talk:Intersection with Normal Subgroup is Normal

Recent edits

The recent edits over the last couple of days don't seem to have added much, in fact they seem to obscure the flow.

For a start:

Let $g \in H$ and $x \in H \cap N$.

However, $H \le G$ and $ g \in H$ imply:

$g \in G$

don't add anything. $g$ is a dummy variable in $\forall n \in N: \forall g \in G: g n g^{-1} \in N$, which is a direct implementation of the definition of normal subgroup.

The rest of the proof similarly.

Can the reasoning behind these edits be explained? --prime mover (talk) 15:46, 17 December 2023 (UTC)