2
$\begingroup$

Denote $K(G)$ the commutator of $G$.

Let $G$ be a group and $N$ be a normal subgroup of $G$, is it true that $K(G/N)=K(G)N/N$ ?

I think that this is true, I said that $(aN)(bN)(a^{-1}N)(b^{-1}N)=(aba^{-1}b^{-1}N)$ and this is in $K(G)N/N$.

  • 0
    @Belgi: The issue is that if $A$ and $B$ are subgroups of $G,$ then $AB$ usually denotes $\{ ab: a \in A, b \in B \}.$ This is a subset of $G$ itself, and is a subgroup of $G$ if $AB = BA$ which is always the case of either $A$ or $B$ is normal in $G.$ So $K(G)N$ is a subgroup of $G$ since $K(G)$ is a subgroup of $G$ and $N$ is a normal subgroup of $G.$ The problem therefore isonly one of what is intended by your notation. I would say that in the natural homomorphism from $G$ to $G/N,$ the image of $K(G)N$ (which is the same as the image of $K(G)$) is precisely $K(G/N).$2012-03-17

1 Answers 1

2

I will use the more common $[G,G]$ to denote the commutator subgroup of $G$. ($K(G)$ is sometimes used to denote the set of commutators if $G$, which may fail to be a subgroup).

As has been noted in the comments, the equation written makes no sense as written. While $[G/N,G/N]$ is a subgroup of $G/N$, $[G,G]N$ is a subgroup of $G$. It should really be $\left[\frac{G}{N},\frac{G}{N}\right] = \frac{[G,G]N}{N}.$

First, note that $[G,G]N/N$ is a normal subgroup of $G/N$ (since $[G,G]N$ is a normal subgroup of $G$). Therefore, $(G/N)/([G,G]N)/N$ makes sense, and by the isomorphism theorems we know that $\frac{G/N}{[G,G]N/N} \cong \frac{G}{[G,G]N}.$ This is an abelian group (since it is a quotient of $G/[G,G]$, also by the isomorphism theorems. Since $[G/N,G/N]$ is contained in any normal subgroup $M$ of $G/N$ such that $(G/N)/M$ is abelian, it follows that $[G/N,G/N]\subseteq ([G,G]N)/N$.

For the converse inclusion, let $[x,y]nN = [x,y]N$ in $[G,G]N/N$. Then $[xN,yN] =(xN)^{-1}(yN)^{-1}(xN)(yN) = x^{-1}y^{-1}xyN = [x,y]N$, hence $[x,y]nN\in [G/N,G/N]$.

This proves the equality.