Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Now there is Sylow p-subgroup.
Is there a compilation, somewhere, of the results “the (obvious) automorphisms of a small are transitive on ’s maximal 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.
The p-torsion article that is linked to from Sylow p-subgroup seems to refer only to abelian groups (?).
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! :-)
@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 , or at most a Smith submodule — (er, did a Smith really write Smith’s Algorithm?)
I’m probably being dim but shouldn’t one add a condition to . I mean, what’s to stop being trivial. Or is that OK, and one can speak of the trivial group as a -Sylow subgroup of itself for any ? Don’t we need positive powers of ?
Nothing stops from being trivial or of order prime to ; there the -Sylow subgroup is trivial as you surmise.
There are some people who insist on -groups and -subgroups being nontrivial, e.g., Steven Roman in Fundamentals of Group Theory, pp. 80-81, but I guess this is just a convention.
1 to 8 of 8