Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

When do Sylow subgroups of the same order have trivial intersection?

I'm curious because I recently read a proof where it was computed that there are $8$ Sylow 7-subgroups, and hence $8\cdot 6=48$ elements of order 7. This seems to assume that each of the Sylow subgroups has trivial intersection.

Why is this the case? Is it true even when the Sylow groups have order a prime power, not necessarily just prime order?

share|cite|improve this question
Pretty similar to… – Jack Schmidt Sep 23 '11 at 1:48
up vote 8 down vote accepted

Two subgroups of order $7$ are either equal or intersect trivially. Indeed, their intersection is a subgroup of each of them, and they have exactly two subgroups.

In general, a group $G$ can very well have many $p$-Sylow subgroups intersecting non-trivially. For example, let $H$ be any group which does not have a normal $p$-Sylow, and consider the group $G=\mathbb Z_p\times H$.

share|cite|improve this answer
So this only works when the Sylow subgroups have prime order. Thanks. – Daniel Sep 22 '11 at 21:49
@Daniel: I did not say that. There are groups whose $p$-Sylows have order a proper power of $p$ and which intersect trivially in pairs. – Mariano Suárez-Alvarez Sep 22 '11 at 21:50
Ok, I get it now. – Daniel Sep 22 '11 at 21:55
To say even more: Sometimes you have three Sylow subgroups $P$, $Q$, and $R$, and $P\cap Q$ is non-trivial yet $P\cap R$ is trivial. – user641 Sep 22 '11 at 23:08
@MarianoSuárez-Alvarez didn't you mean $G=\mathbb Z_p\times H$? – tacos_tacos_tacos Dec 15 '12 at 23:20

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.