Groupprops, The Group Properties Wiki (pre-alpha)
YOUR FEEDBACK IS IMPORTANT!
Please take a short user satisfaction survey about Groupprops.
Your survey responses will be helpful in improving the site experience!
Thanks in advance!
Order has only two prime factors implies solvable
From Groupprops
This article gives the statement and possibly, proof, of an implication relation between two group properties. That is, it states that every group satisfying the first group property (i.e., group whose order has at most two prime factors) must also satisfy the second group property (i.e., solvable group)
View all group property implications | View all group property non-implications |Get help on looking up group property implications/non-implications
Get more facts about group whose order has at most two prime factors| Get more facts about solvable group
Contents |
Statement
The Burnside's p^aq^b theorem, states that a group whose order has at most two prime factors, (viz it is of the form paqb where p,q are primes and a,b are nonnegative integers), then the group must be solvable. Note that the case where the order
Related facts
Order has only one prime factor
Similar conditions for solvability
- Hall's theorem: This states that if π-Hall subgroups exist for all prime sets π, then the group is a solvable group.
- Odd-order implies solvable: Also known as the odd-order theorem and as the Feit-Thompson theorem, this states that any group of odd order is solvable.
- Order has only two prime factors implies prime divisor with larger prime power is core-nontrivial except in finitely many cases: This result is also called Burnside's other paqb-theorem.
- Every Sylow subgroup is cyclic implies metacyclic
- Square-free implies solvability-forcing
More on order with few prime factors
- Classification of finite simple groups whose order has at most five prime factors: These are precisely the projective special linear groups for primes p where
.
- Neumann's open problem on number of projective special linear groups whose order has exactly six prime factors
More on groups whose order has only two prime factors
Facts used
- Sylow subgroups exist
- Prime power order implies not centerless
- Conjugacy class of prime power order implies not simple: This is the meat of the proof. The shortest known proof of this is using linear representation theory. No easy purely group-theoretic proof is known.
- Lagrange's theorem
- Order of quotient group divides order of group
Proof
First step: a group whose order has only two prime factors is not simple unless it is cyclic of prime order
Given: A group G whose order is paqb for primes p,q and nonnegative integers a,b.
To prove: G is either cyclic of prime order or it is not simple.
Proof: Without loss of generality, assume that a > 0 (if both a = b = 0, G is simple and there is nothing to prove).
- Either the center of G is nontrivial, or G has a conjugacy class of prime power order: By Sylow's theorem (fact (1)), G has a p-Sylow subgroup P. Since P is a nontrivial p-group, fact (2) yields that the center Z(P) is a nontrivial subgroup. Let g be a non-identity element of Z(P). Then CG(g) contains P, so the index [G:CG(g)], which is also equal to the size of the conjugacy class of g in G, is a divisor of qb. In particular, either
or the size of the conjugacy class of g is a nontrivial power of q. Thus, either the center is nontrivial or there is a conjugacy class of prime power order.
- G is either cyclic of prime order or it is not simple:
- If the center is nontrivial, the only way the group can be simple is if it is simple Abelian -- hence cyclic of prime order. Otherwise, it is not simple.
- If there is a conjugacy class of prime power order, fact (3) yields that the group is not simple.
Second step: using induction
Given: A group G whose order has at most two prime factors.
To prove: G is solvable.
Proof: We prove this by induction on the order of G. In other words, we assume that the result is true for smaller orders (the base case of the trivial group is easily handled). We now prove it for G:
- Case that G is simple: In this case, the previous result yields that G is cyclic of prime order, hence solvable.
- Case that G is not simple: In this case, there is a proper nontrivial normal subgroup N of G. By facts (4) and (5), the orders of N and G / N both divide the order of G, and hence both have at most two prime factors. Hence, the induction hypothesis applies to both (since N is proper and nontrivial), and we obtain that N and G / N are both solvable. Thus, G is solvable.
References
Textbook references
- Abstract Algebra by David S. Dummit and Richard M. Foote, 10-digit ISBN 0471433349, 13-digit ISBN 978-0471433347, Page 886, Section 19.2 (Theorems of Burnside and Hall), (The proof of the theorem spans over pages 886-890, covering several definitions and lemmas.)More info
Journal references
- On groups of order pαqβ by William Burnside, Proceedings of the London Mathematical Society, ISSN 1460244X (online), ISSN 00246115 (print), Volume 1, Page 388 - 392(Year 1904): More info
| Fact about | Group whose order has at most two prime factors +, and Solvable group + |
| Page class | Fact + |
| Proved in | Book:DummitFoote (886, Section 19.2 (Theorems of Burnside and Hall), The proof of the theorem spans over pages 886-890, covering several definitions and lemmas.) + |
| Proves property satisfaction of | Solvable group + |
| Referenced in | Book:DummitFoote (886, Section 19.2 (Theorems of Burnside and Hall), The proof of the theorem spans over pages 886-890, covering several definitions and lemmas.) +, and Paper:Burnsidep^aq^b (?, ?, ?) + |
| Stated in | Book:DummitFoote (886, Section 19.2 (Theorems of Burnside and Hall), The proof of the theorem spans over pages 886-890, covering several definitions and lemmas.) + |
| Uses | Sylow subgroups exist +, Prime power order implies not centerless +, Conjugacy class of prime power order implies not simple +, Lagrange's theorem +, and Order of quotient group divides order of group + |
| Uses property satisfaction of | Group whose order has at most two prime factors + |

