3
$\begingroup$

Let $G$ be a finite group, let $B,N,H$ be subgroups of $G$. I believe that $ \langle B \cap H, N \cap H \rangle = \langle B,N \rangle \cap H $ but I do not find a satisfactory proof. I think this may be useful. I tried to use it but I did not manage to write a 100% satisfactory proof. Can someone help me with it?

Thanks in advance.

2 Answers 2

11

This is false. Let $G=\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/2\mathbb{Z}$, let $B=\langle (1,0)\rangle$, $N=\langle (0,1)\rangle$, and let $H=\langle(1,1)\rangle$. Then $\langle B\cap H,N\cap H\rangle=\langle \{(0,0)\},\{(0,0)\}\rangle=\{(0,0)\}$ but $\langle B,N\rangle \cap H= G\cap H=H=\{(0,0),(1,1)\}$

  • 0
    @Arturo: LOL! :)2011-04-29
4

This is false. Let G be the non-abelian group of order 6. Let B,N be distinct Sylow 2-subgroups of G, and let H be the Sylow 3-subgroup of G. Then B∩H=N∩H=1, but ⟨B,N⟩∩H=G∩H =H.

A related and true statement is called Dedekind's modular law.