Difference between revisions of "Sylow Theory"
From Queer Beagle Wiki
Kfagerstrom (talk | contribs) |
Kfagerstrom (talk | contribs) |
||
| Line 4: | Line 4: | ||
<math> |G| = p^em </math> where <math>p \not| m</math>. A Sylow p-subgroup of <math> G</math> is a subgroup <math> H \leq G </math>such that <math> |H| = p^e</math>. That is, a Sylow p-subgroup of <math>G </math> is a subgroup whose order is the highest conceivable power of <math>p </math> according to Lagrange’s Theorem. | <math> |G| = p^em </math> where <math>p \not| m</math>. A Sylow p-subgroup of <math> G</math> is a subgroup <math> H \leq G </math>such that <math> |H| = p^e</math>. That is, a Sylow p-subgroup of <math>G </math> is a subgroup whose order is the highest conceivable power of <math>p </math> according to Lagrange’s Theorem. | ||
We set <math> \text{Syl}_p(G)</math> to be the collection of all Sylow p-subgroups of <math>G </math> and <math>n_p = | \text{Syl}_p(G)| </math> to be the number of Sylow p-subgroups. | We set <math> \text{Syl}_p(G)</math> to be the collection of all Sylow p-subgroups of <math>G </math> and <math>n_p = | \text{Syl}_p(G)| </math> to be the number of Sylow p-subgroups. | ||
| + | |||
| + | [[Category: Group Theory]] | ||
Latest revision as of 01:06, 8 March 2023
- return to Algebra main page
Let G be a finite group and p a prime. Write the order of \( G\) as \( |G| = p^em \) where \(p \not| m\). A Sylow p-subgroup of \( G\) is a subgroup \( H \leq G \)such that \( |H| = p^e\). That is, a Sylow p-subgroup of \(G \) is a subgroup whose order is the highest conceivable power of \(p \) according to Lagrange’s Theorem. We set \( \text{Syl}_p(G)\) to be the collection of all Sylow p-subgroups of \(G \) and \(n_p = | \text{Syl}_p(G)| \) to be the number of Sylow p-subgroups.
