2
$\begingroup$

I thought this one would be easier than it has turned out to be. So given a group $G$ there exists some group $N\triangleleft G$ such that both $N$ and $G/N$ are abelian. I considered some arbitrary subgroup $K\subseteq G$ and then my instinct was to look at the group $K\cap N$ which is abelian in $G$ and both abelian and normal in $K$, but then I hit a snag looking at $K\;/\;K\cap N$.

If $K\subseteq N$ or $N\subseteq K$, then the proof is easy, but what happens when their intersection is not just $K$ or $N$, but smaller? possibly just the identity even. Neither the correspondence between subgroups of $G$ containing $N$ and subgroups of $G/N$, nor the 1st or 3rd isomorphism theorems seem to be of much help (the 2nd iso theorem is given as a later exercise and thus shouldn't be needed).

Can anyone help me with this? Thanks.

  • 0
    Well, but being abelian is a property of the (sub)group, which doesn't in any way depend on any overgroup (unlike normality), so I don't know what being abelian 'in $G$' should even mean.2012-10-20

2 Answers 2

5

Your instinct was good.

$K/(K\cap N)\cong KN/N$ ($n$-th isomorphism theorem, where $n$ is $2$ or $3$, I don't remember), and is therefore isomorphic to a subgroup of the abelian group $G/N$, and is hence abelian.

  • 0
    nm, it's fine thanks.2012-10-21
3

Hint. Show that $G$ is metabelian iff $G''=1$ and that $H\le G$ implies $H'\le G'$.

The factor group $G/N$ is abelian iff $1=(G/N)'=[G/N,G/N]=[G,G]N/N$ iff $G'\le N$, hence there exists an abelian such $N$ iff $G'$ is abelian (for subgroups inherit abelianness and $G'$ abelian implies $N=G'$ is viable), iff $G''=1$. Now $H\le G$ entails $H'\le G'$, so it also entails $H''\le G''$, and subsequently if $G''=1$ then $H''=1$ so $H$ is metabelian if $G$ is metabelian.