# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorjcmckeown
• CommentTimeNov 26th 2012

Now there is Sylow p-subgroup.

Is there a compilation, somewhere, of the results “the (obvious) automorphisms of a small $\mathfrak{A}$ $A$ are transitive on $A$’s maximal $\mathfrak{B}$s?” The only other example ready in my head is that the maximal tori in a compact Lie group are conjugate, but I know I’ve seen more.

• CommentRowNumber2.
• CommentAuthorTodd_Trimble
• CommentTimeNov 26th 2012

The p-torsion article that is linked to from Sylow p-subgroup seems to refer only to abelian groups (?).

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeNov 26th 2012

The p-torsion article

I wasn’t aware of that article. It overlaps a bit with the other article, torsion subgroup. I don’t have time to merge them now, but I have added cross-links. (And I fixed the typo in the definition! :-)

• CommentRowNumber4.
• CommentAuthorjcmckeown
• CommentTimeNov 26th 2012

@Todd, hmm… see, I was only looking for the proof of the unproved theorem now in Sylow, so I didn’t look too closely… And now I see you’re right, and therefore that the thing in the p-torsion page really should be called simply a prime factor of $G$, or at most a Smith submodule — (er, did a Smith really write Smith’s Algorithm?)

• CommentRowNumber5.
• CommentAuthorTodd_Trimble
• CommentTimeSep 23rd 2018

Added a proof of existence of Sylow subgroups mentioned by Benjamin Steinberg at the Café.

• CommentRowNumber6.
• CommentAuthorDavid_Corfield
• CommentTimeSep 23rd 2018

I’m probably being dim but shouldn’t one add a condition to $H$. I mean, what’s to stop $H$ being trivial. Or is that OK, and one can speak of the trivial group as a $p$-Sylow subgroup of itself for any $p$? Don’t we need positive powers of $p$?

• CommentRowNumber7.
• CommentAuthorTodd_Trimble
• CommentTimeSep 23rd 2018

Nothing stops $H$ from being trivial or of order prime to $p$; there the $p$-Sylow subgroup is trivial as you surmise.

• CommentRowNumber8.
• CommentAuthorDavid_Corfield
• CommentTimeSep 23rd 2018

There are some people who insist on $p$-groups and $p$-subgroups being nontrivial, e.g., Steven Roman in Fundamentals of Group Theory, pp. 80-81, but I guess this is just a convention.