Groupprops, The Group Properties Wiki (pre-alpha)

From Groupprops

Template:Natural number property implication

Contents 1 Statement 2 Facts used 3 Proof 4 References 4.1 Textbook references

Statement

Suppose where the p_i are pairwise distinct prime numbers. In other words, n is a square-free number.

Then, n is a solvability-forcing number: any finite group of order n is a solvable group, i.e., a finite solvable group.

Facts used

1. Every Sylow subgroup is cyclic implies metacyclic
2. Metacyclic implies solvable

Proof

The proof follows from facts (1) and (2), and the observation that in a group of square-free order, every nontrivial Sylow subgroup has prime order, and is hence cyclic.

References

Textbook references

• The Theory of Groups by Marshall Hall, Jr., Page 148, Corollary 9.4.1, ^{More info}