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$.

  • 2
    You need to be more accurate on what you're saying, because what you wrote says only that $K(G/N) \subseteq K(G)N$. But the exact same equality can show that $K(G/N) \supseteq K(G)N$. If you worry a little about the words you say your proof is right there.2012-03-17
  • 2
    Shouldn't the right side be $K(G)N/N$? You want both side of the equation to be subgroups of $G/N.$2012-03-17
  • 0
    @GeoffRobinson - do you see some mistake in what I said ? I think I proved equality2012-03-17
  • 0
    @Belgi: By $K(G)N$, do you mean the set of all left cosets $kN$ with $k\in K(G)$? I think Geoff's question arose because the more usual interpretation of $K(G)N$ would be the set of all elements $kn$ with $k\in K(G)$ and $n\in N$.2012-03-17
  • 0
    @joriki - I did mean it in the second way...2012-03-17
  • 1
    @Belgi: If you did mean it in the second way, then Geoff is right; the equation $K(G/N)=K(G)N$ makes no sense. The left-hand side is a set of cosets and the right-hand side is a set of elements. Your alleged proof doesn't work because "and this is in $K(G)N$" is wrong; both sides of that equation are cosets and thus can't be in $K(G)N$ if you interpret that in the usual sense as a set of elements.2012-03-17
  • 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.