Math 2.0

Group theory and generalizations Theorem

Second Sylow theorem

Builds on Sylow p-subgroupConjugate subgroupFirst Sylow theorem

Statement

Let GG be a finite group and let pp be a prime number. Then any two Sylow p-subgroups PP and QQ of GG are conjugate: there is a g∈Gg \in G with Q=gPg−1Q = gPg^{-1}. Moreover, each pp-subgroup of GG is contained in some Sylow pp-subgroup of GG.

Remarks

So all Sylow pp-subgroups of GG are isomorphic. A Sylow pp-subgroup is normal in GG if and only if np=1n_p = 1. The proof lets a pp-subgroup HH act on the left cosets of PP and uses the fixed point lemma.

Reading path

To understand this page from the ground up, read these 63 pages in order. The foundations come first. The path takes the proof Proof of Lagrange's theorem.

  1. Element definition
  2. Group concept
  3. Left coset concept
  4. Proposition concept
  5. Set definition
  6. Conjugate elements definition
  7. Group homomorphism definition
  8. Laws of exponents in a group statement
  9. Order of a group definition
  10. Subgroup definition
  11. Symmetric group definition
  12. Conjunction definition
  13. Disjunction definition
  14. Implication definition
  15. Predicate definition
  16. Empty set object
  17. Family of sets definition
  18. Ordered pair definition
  19. Order of an element definition
  20. Intersection definition
  21. Union definition
  22. Conjugate subgroup definition
  23. Group action definition
  24. Left coset definition
  25. Right coset definition
  26. Set-builder notation concept
  27. Subgroup criterion statement
  28. Existential quantifier definition
  29. Universal quantifier definition
  30. Cartesian product definition
  31. Disjoint sets definition
  32. P-group definition
  33. Normal subgroup definition
  34. Subset definition
  35. Stabiliser definition
  36. Union of a family of sets definition
  37. Orbit definition
  38. Index of a subgroup definition
  39. Intersection of subgroups is a subgroup statement
  40. Cosets have the same cardinality as the subgroup statement
  41. Binary relation definition
  42. Sylow p-subgroup definition
  43. Partition of a set definition
  44. Normal core definition
  45. Fixed points of an action definition
  46. Orbits partition the set statement
  47. Transitive action definition
  48. Order of a group is the index times the order of the subgroup statement
  49. Reflexive relation definition
  50. Symmetric relation definition
  51. Transitive relation definition
  52. Action on left cosets example
  53. Equivalence relation definition
  54. Orbit-stabiliser theorem statement
  55. Equivalence class definition
  56. Equivalence classes form a partition statement
  57. Proof of Lagrange's theorem proof
  58. Lagrange's theorem statement
  59. Size of an orbit times the size of the stabiliser statement
  60. Fixed points of a p-group action statement
  61. Cauchy's theorem statement
  62. First Sylow theorem statement
  63. Second Sylow theorem statement

Where this leads

9 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Sylow_theorems, Statement
About this page
Tag09GCQ5STVJ
URIm2://09GCQ5STVJ
Kindstatement, theorem
WritingW0 stub
MSC20D20
StatusThis copy of the site has no build data. Run m2 status 09GCQ5STVJ.
UsesSylow p-subgroup, Conjugate subgroup, First Sylow theorem

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by