p-Sylow groups distinct? 
Possible Duplicate:
relation between p-sylow subgroups 

If I have two p-sylow groups $P_{1}, P_{2}$ can I then be sure that
$x\in P_{1} \Rightarrow x \notin P_{2}$?
That is to say that all the elements in $P_{1}$ are distinct from the elements in $P_{2}$?
 A: No. An easy counterexample would be the direct product $G=P\times N$, where $P$ is a $p$-group, and $N$ is a group with several Sylow $p$-subgroups. Then all the Sylow $p$-subgroups of $G$ are of the form $P\times P'$, where $P'$ is a Sylow $p$-subgroup of $N$. All these intersect non-trivially at $P$.
A: The intersection of all the Sylow $p$-subgroups is called the $p$-core of $G$ and is the biggest normal $p$-subgroup of $G$. In other words, if you have a normal $p$-subgroup in $G$, then this subgroup is contained in all the Sylows. Easy example: dihedral group of order 20. The centre is of order 2 and is contained in every Sylow 2-subgroup.
This is not the only way that two Sylows can intersect. The intersection of two Sylows can be non-trivial even if the $p$-core is trivial. For example in $A_{10}$, the Sylow 5-subgroups are each generated by 2 disjoint 5-cycles. The groups $\langle (1,2,3,4,5), (6,7,8,9,10)\rangle$ and $\langle (1,2,3,4,5), (6,7,8,10,9)\rangle$ intersect in a cyclic subgroup of order 5. But the 5-core is trivial, since $A_{10}$ is simple.
