# About minimal normal groups and subnormal groups

• Oct 20th 2011, 11:20 AM
Sheila496
About minimal normal groups and subnormal groups
Hello everybody, I would like to have some help with these two questions:

1. Let $G$ be a finite nilpotent group and $N$ a minimal normal subgroup. Show that $N\leq Z(G)$.

2. Let $G$ be a group and $S,T$ verifying $S\neq T$ non-abelian subnormal subgroups of $G$. Prove that $st=ts$ $\forall s\in S$ $\forall t\in T$

1. I have already proved that $N$ must be abelian; $N\leq Z(N)$, but I find no way of proving that $N\leq Z(G)$ using that the nilpotency of $G$ and each one of its characterizations. Any idea?

Sheila.
• Oct 20th 2011, 11:31 AM
Haven
Re: About minimal normal groups and subnormal groups
For the first one, a group G is nilpotent is also solvable. So, the derived series
$G^{(1)}, G^{(2)},\dots$
terminates for some $k$.

I suggest using the correspondence theorem for factor groups and the fact that $G^{(i)}/G^{(i+1)}$ is abelian. There will be something you need to show about $N$ though.
• Oct 20th 2011, 12:18 PM
zoek
Re: About minimal normal groups and subnormal groups
Quote:

Originally Posted by Sheila496
1. Let $G$ be a finite nilpotent group and $N$ a minimal normal subgroup. Show that $N\leq Z(G)$.

$N, Z(G)\unlhd G \implies N \cap Z(G) \unlhd G\,\, \overset {N \cap Z(G)\leq N}{\implies}\,\, N \cap Z(G) \unlhd N$.

But $N$ is a minimal normal subgroup so $N \cap Z(G)= N \implies N\leq Z(G)$.
• Oct 20th 2011, 12:40 PM
Sheila496
Re: About minimal normal groups and subnormal groups
Quote:

Originally Posted by zoek
$N, Z(G)\unlhd G \implies N \cap Z(G) \unlhd G\,\, \overset {N \cap Z(G)\leq N}{\implies}\,\, N \cap Z(G) \unlhd N$.

But $N$ is a minimal normal subgroup so $N \cap Z(G)= N \implies N\leq Z(G)$.

But you have another possibility: $N\cap Z(G)=1$. This is the difficult case, where you have to find a contradiction.

Thanks anyway.
• Oct 20th 2011, 12:46 PM
Sheila496
Re: About minimal normal groups and subnormal groups
Quote:

Originally Posted by Haven
For the first one, a group G is nilpotent if its solvable. So, the derived series
$G^{(1)}, G^{(2)},\dots$
terminates for some $k$.

I suggest using the correspondence theorem for factor groups and the fact that $G^{(i)}/G^{(i+1)}$ is abelian. There will be something you need to show about $N$ though.

Thanks, that may help me finding a proof. But it seems like you want to prove it using that $G$ is solvable, however in this case the result is false: $\Sigma_4$ is solvable and $1, but $Z(\Sigma_4)=1$. That shows that you have to use somewhere the nilpotency of $G$
• Oct 20th 2011, 01:13 PM
Drexel28
Re: About minimal normal groups and subnormal groups
Quote:

Originally Posted by Sheila496
But you have another possibility: $N\cap Z(G)=1$. This is the difficult case, where you have to find a contradiction.

Thanks anyway.

But, this can't happen. The center of nilpotent groups are "normality-large" in the sense that they intersect non-trivially with every normal subgroup. This can be found in any good text on group theory (e.g. Isaac's or Robinson).
• Oct 20th 2011, 01:33 PM
Sheila496
Re: About minimal normal groups and subnormal groups
Quote:

Originally Posted by Drexel28
But, this can't happen. The center of nilpotent groups are "normality-large" in the sense that they intersect non-trivially with every normal subgroup. This can be found in any good text on group theory (e.g. Isaac's or Robinson).

Thank you. Certainly that was my main purpose. It's known that the behaviour of nilpotent groups is "similar" to $p$-groups, and that happens in these last ones. I'll look for a proof, but it seems they all use commutators, this will take some time for me because I have never worked with them.
• Oct 20th 2011, 01:38 PM
Drexel28
Re: About minimal normal groups and subnormal groups
Quote:

Originally Posted by Sheila496
Thank you. Certainly that was my main purpose. It's known that the behaviour of nilpotent groups is "similar" to $p$-groups, and that happens in these last ones. I'll look for a proof, but it seems they all use commutators, this will take some time for me because I have never worked with them.

What do you mean commutators, the fact that $[G,\mathcal{Z}_{n+1}(G)]\leqslant\mathcal{Z}_n(G)$? A proof can be found here--that's a good website, bookmark it.
• Oct 20th 2011, 01:51 PM
Sheila496
Re: About minimal normal groups and subnormal groups
Quote:

Originally Posted by Drexel28
What do you mean commutators, the fact that $[G,\mathcal{Z}_{n+1}(G)]\leqslant\mathcal{Z}_n(G)$? A proof can be found here--that's a good website, bookmark it.

Yes, I found that webpage before posting the problem here, but I didn't know the meaning of $[H,K]$ being $H,K\leq G$. Now I'll take a look at the books you recommended in order to understand completely the proof given there. Interesting work indeed.
• Oct 20th 2011, 01:53 PM
Drexel28
Re: About minimal normal groups and subnormal groups
Quote:

Originally Posted by Sheila496
Yes, I found that webpage before posting the problem here, but I didn't know the meaning of $[H,K]$ being $H,K\leq G$. Now I'll take a look at the books you recommended in order to understand completely the proof given there. Interesting work indeed.

Good luck friend, but just for soundness the map $[\cdot,\cdot]:G\times G\to G$ is given by $[g,h]=ghg^{-1}h^{-1}$. Then one defines $[H,K]$ to be the image of $H\times K$ under $[\cdot,\cdot]$.