Math 2.0

example

Groups of order pq

Example

Let p<qp < q be prime numbers such that pp does not divide q−1q - 1, and let GG be a group of order pqpq. The number nqn_q divides pp and satisfies nq≡1(modq)n_q \equiv 1 \pmod q, so nq=1n_q = 1, because p<qp < q. The number npn_p divides qq and satisfies np≡1(modp)n_p \equiv 1 \pmod p; since p∤q−1p \nmid q - 1, np=1n_p = 1. So GG has a normal subgroup PP of order pp and a normal subgroup QQ of order qq. They meet only in ee, so GG is the internal direct product of PP and QQ. Thus G≅Z/pZ×Z/qZ≅Z/pqZG \cong \mathbb{Z}/p\mathbb{Z} \times \mathbb{Z}/q\mathbb{Z} \cong \mathbb{Z}/pq\mathbb{Z}, and GG is cyclic. For example, each group of order 1515 is cyclic. If pp divides q−1q - 1, there is also a group of order pqpq that is not cyclic, for example the dihedral group D3D_3 of order 66.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • edge instance_of or not_instance_of or illustrates out (0 of 1)

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

What this needs

To read this node, read these 48 nodes in this order. The foundations come first, and the list ends with this node.

  1. Group concept
  2. Conjugate elements definition
  3. Direct product of groups definition
  4. Group homomorphism definition
  5. Lagrange's theorem statement
  6. Laws of exponents in a group statement
  7. Order of a group definition
  8. Subgroup definition
  9. Symmetric group definition
  10. Order of an element definition
  11. Conjugate subgroup definition
  12. Group action definition
  13. Cyclic subgroup generated by an element definition
  14. Left coset definition
  15. Product of two subgroups definition
  16. Right coset definition
  17. Subgroup criterion statement
  18. P-group definition
  19. Orbit definition
  20. g to the n equals 1 iff the order divides n statement
  21. Cyclic group definition
  22. Normal subgroup definition
  23. Normaliser definition
  24. Index of a subgroup definition
  25. Stabiliser definition
  26. Cosets have the same cardinality as the subgroup statement
  27. Intersection of subgroups is a subgroup statement
  28. Orbits partition the set statement
  29. Transitive action definition
  30. Order of a cyclic subgroup equals the order of its generator statement
  31. Sylow p-subgroup definition
  32. Fixed points of an action definition
  33. Internal direct product definition
  34. Normal core definition
  35. Order of a group is the index times the order of the subgroup statement
  36. Action on left cosets example
  37. Cyclic groups of the same order are isomorphic statement
  38. Product of cyclic groups is cyclic iff the orders are coprime statement
  39. Orbit-stabiliser theorem statement
  40. Size of an orbit times the size of the stabiliser statement
  41. Fixed points of a p-group action statement
  42. Cauchy's theorem statement
  43. Third Sylow theorem statement
  44. First Sylow theorem statement
  45. Second Sylow theorem statement
  46. The number of Sylow subgroups is the index of the normaliser statement
  47. The number of Sylow subgroups divides the index statement
  48. Groups of order pq example

Sources

  1. Web https://en.wikipedia.org/wiki/Sylow_theorems, Cyclic group orders