Groups of order pq
Example
Let be prime numbers such that does not divide , and let be a group of order . The number divides and satisfies , so , because . The number divides and satisfies ; since , . So has a normal subgroup of order and a normal subgroup of order . They meet only in , so is the internal direct product of and . Thus , and is cyclic. For example, each group of order is cyclic. If divides , there is also a group of order that is not cyclic, for example the dihedral group of order .
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.
- Group concept
- Conjugate elements definition
- Direct product of groups definition
- Group homomorphism definition
- Lagrange's theorem statement
- Laws of exponents in a group statement
- Order of a group definition
- Subgroup definition
- Symmetric group definition
- Order of an element definition
- Conjugate subgroup definition
- Group action definition
- Cyclic subgroup generated by an element definition
- Left coset definition
- Product of two subgroups definition
- Right coset definition
- Subgroup criterion statement
- P-group definition
- Orbit definition
- g to the n equals 1 iff the order divides n statement
- Cyclic group definition
- Normal subgroup definition
- Normaliser definition
- Index of a subgroup definition
- Stabiliser definition
- Cosets have the same cardinality as the subgroup statement
- Intersection of subgroups is a subgroup statement
- Orbits partition the set statement
- Transitive action definition
- Order of a cyclic subgroup equals the order of its generator statement
- Sylow p-subgroup definition
- Fixed points of an action definition
- Internal direct product definition
- Normal core definition
- Order of a group is the index times the order of the subgroup statement
- Action on left cosets example
- Cyclic groups of the same order are isomorphic statement
- Product of cyclic groups is cyclic iff the orders are coprime statement
- Orbit-stabiliser theorem statement
- Size of an orbit times the size of the stabiliser statement
- Fixed points of a p-group action statement
- Cauchy's theorem statement
- Third Sylow theorem statement
- First Sylow theorem statement
- Second Sylow theorem statement
- The number of Sylow subgroups is the index of the normaliser statement
- The number of Sylow subgroups divides the index statement
- Groups of order pq example
Sources
- Web https://en.wikipedia.org/wiki/Sylow_theorems, Cyclic group orders
What links here
No node links to this node yet.