4
$\begingroup$

I found the following problem in an old exam:

If $N$ is normal in a solvable group $G$, then $N'\lhd G$.

I don't understand what the assumption of solvability is for.

We have $N'\operatorname{char} N\lhd G.$

If $\sigma$ is an inner automorphism of $G$, then $\sigma (N)=N$ by $N\lhd G.$ So $\sigma|_N$ is an automorphism of $N$. Therefore $\sigma|_N(N')=N'$ by $N'\operatorname{char} N.$ But obviously $\sigma|_N(N')=\sigma(N'),$ which ends the proof.

Is this proof incorrect or does the assumption of solvability allow one not to use the notion of a characteristic subgroup?

EDIT I'm sorry. Apparently, I missed part of the problem. The whole problem reads:

Let $G$ be solvable and $N\lhd G.$ Show that

(a) $N'\lhd G;$

(b) If, for $H\subset N,\,H\lhd G$ implies $H=\{e\}$, then $N$ is abelian.

But I still don't think solvability is needed. If $H\subset N,\, H\lhd G$ implies $H=\{e\},$ then $N'=\{e\}$ by (a), and $N$ is abelian...

EDIT 2 I've edited the inclusions above to be $\subset$ instead of $\subseteq$, per Arturo's answer, as this is indeed what was written in the problem. I thought the symbol meant $\subseteq$ as it often does and I changed it to make it what I thought to be more precise.

  • 0
    I think you have the condition in (b) incorrect; as written, it can only hold if $N=\{e\}$, since $N\subseteq N$ and $N\triangleleft G$, which would imply $N=\{e\}$. I suspect (b) is supposed to be a *proper* inclusion, in which case (a) implies that $N'=\{e\}$ (so $N$ is abelian) **or** that $N'=N$, and it is the latter which is ruled out by the solvability of $G$.2012-06-21

1 Answers 1

1

The commutator subgroup is a verbal subgroup, so in particular it is fully invariant (more than just characteristic). For any homomorphism $f\colon A\to B$, we have that $f([A,A])\subseteq [B,B]$.

In particular, if $N$ is a subgroup of any group $G$ (solvable or not), and $\phi\in\mathrm{Aut}(G)$ is such that $\phi(N)\subseteq N$, then $\phi([N,N])\subseteq [N,N]$. For inner automorphisms and $N\triangleleft G$, this yields $\phi([N,N])\subseteq [N,N]$, so $[N,N]$ is normal. In fact, it is characteristic in $G$ if $N$ is characteristic in $G$, and fully invariant if $N$ is fully invariant. No assumption of solvability is needed.


Added. For part (b), I suspect the inclusion in the premise is meant to be a proper inclusion. That is:

If $H\subset N$ and $H\triangleleft G$ implies $H=\{e\}$, then $N$ is abelian.

Note that if we don't omit the $H=N$ case, then the implication can only hold if $N=\{e\}$ making this a somewhat silly statement.

Now, given the condition as amended, part (a) implies that either $N'=N$, or that $N'=\{e\}$. But if $G$ is solvable, $N'=N$ cannot occur, since $N$ must be solvable as well, which gives the desired conclusion and shows why you are assuming $G$ is solvable.

  • 0
    Right! Thank you very much. I have edited my question once again.2012-06-21