1. ## 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.

2. ## 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.

3. ## Re: About minimal normal groups and subnormal groups

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

4. ## Re: About minimal normal groups and subnormal groups

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.

5. ## Re: About minimal normal groups and subnormal groups

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$

6. ## Re: About minimal normal groups and subnormal groups

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

7. ## Re: About minimal normal groups and subnormal groups

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.

8. ## Re: About minimal normal groups and subnormal groups

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.

9. ## Re: About minimal normal groups and subnormal groups

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.

10. ## Re: About minimal normal groups and subnormal groups

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