In 1832, Galois introduced the concept of normal subgroups, and proved that the groups (for ) and (for ) were ** simple**, i.e. admit no non-trivial (proper) normal subgroups. In 1892, Hölder asked for a classification of all finite simple groups, and the final classification of finite simple groups in 2004 by Aschbacher and Smith’s resolution of the quasithin case thus resolves an open problem over a century in the making.

*(Note: the great majority of the classification theorem concluded in the 1980’s. A computational error was identified and resolved in 2008.)*

One immediate consequence of the classification of finite simple groups (CFSG) is that the set *S* given by

has natural density 0. Yet it seems unlikely that this result requires the *tens of thousands of pages* currently involved in the proof of the CFSG, and for the rest of this article we seek to bound the density of *S* using arithmetic methods.

**— PART I —**

Before we begin, let’s contrast this type of problem with a more familiar variant (an infamous problem for students learning group theory):

**Exercise: **Classify all simple groups of order less than 200.

In solving such a problem, the student will undoubtedly grow to appreciate the utility of the Sylow theorems, the class equation, Burnside’s *p-q* theorem, and a whole laundry list of results stemming from group actions. On the other hand, the student will eventually realize that no single technique performs as if a silver bullet: without fail, some cases require an extraordinary level of individual attention (e.g. the non-simplicity of groups of order 144).

Matters only become worse as the order of our groups tends to infinity. One may prove, for example, that the set of integers having at most two distinct prime factors has natural density 0; in particular, the utility of Burnside’s *p-q* theorem becomes vanishingly small as our groups become large. In order to bound the density of *S*, we must first identify criteria that hold on sets of positive density. Our first such follows from the Sylow theorems:

**Proposition: ***Let **G be a group of order n, with n composite. If n admits a prime factor p such that , then G is not simple.*

*Proof: *Given such a prime *p*, let denote the number of Sylow *p*-subgroups of *G. *Then divides , and so . On the other hand, we must have , whence and the (unique) Sylow *p*-subgroup, *P*, of *G* is normal. As , *P* is proper (and non-trivial), so *G *is not simple.

For any integer set *A*, we define . We define

as the set of integers with the *large-prime **property*. Thus, for instance, all primes and semiprimes lie in *LP*. Yet *LP* is much larger than either of these sets, as a consequence of the following Theorem:

**Theorem 1: ***The set LP has natural density .*

*Proof: *For any prime *p*, fix then lies in *LP*. Moreover, it is clear that all such elements of *LP* may be represented (uniquely) in this form. Then

obtained by “transposing” the order in which is counted. It follows that

We’ll address each contribution to the right-hand side separately. First off, known bounds on the error term in give the asymptotic

Our other term will require more work; as before, we have

Now, let , for . For , we have , whence . Thus

Now taking , we can evaluate this limit as a Riemann sum:

from which it follows that . In like fashion, we may show that, using the upper bound on (and another Riemann sum for the same integral). Thus , and it follows that

since the contribution of presents as an error term. So has natural density , as desired.

As an application, we have the following:

**Corollary 1: ***The natural density of S is at most .*

*Proof: *Let *P* denote the set of primes. Our result follows from the inclusion and the fact that *P* has density 0.

As we’ll need this result later, we note that a stronger variant of Theorem 1 holds, which concerns the intersection of *LP *with certain arithmetic progressions. The proof is left to the reader.

**Theorem 1b: ***Let . Then has natural density .*

*Proof: *Left to the reader.

**— PART II —**

To make any further progress on the problem at hand, we return briefly to the theory of finite groups. A ** normal complement** to a subgroup is a subgroup such that and . The following theorem (often called the

*Burnside Normal Complement Theorem*) gives a criterion for the existence of

*p*

**i.e. normal complements to a Sylow**

*-complements,**p*-subgroup.

**Theorem (Burnside): ***Let G be a finite group and let P be a Sylow subgroup of G. If * *then P has a normal complement in G.*

**Theorem 2: ***Let n be composite, with minimal prime factor p. **Let G be a group of order n. If does not divide n, then G is not simple.*

*Proof: *Let *P* be a Sylow *p*-subgroup of *G. *Then is isomorphic to some subgroup of by the *N/C*-theorem. In particular, divides , which has order as *P* is cyclic. Thus divides , and the minimality of *p* forces. As *P* is abelian we have

,

whence Burnside’s theorem gives rise to a (proper) normal complement to *P*. In particular, *G *is not simple.

Our interest in Theorem 2 stems from the following Corollary:

**Corollary 2:** *Let n be composite and square-free. If G has order n, then G is not simple.*

We recall that the density of the set of square-free integers, henceforth denoted *SF*, is given by . In particular, this Corollary (on its own) implies a ** weaker** bound on the density of

*S*than that which was given in Corollary 1.

**Theorem 3: ***Membership in LP and SF is asymptotically independent. In particular, has density*

*and it follows that S has density at most .*

*Proof: *Theorem 1b implies that membership in *LP* and is asymptotically independent. As membership in the sets is jointly independent (over any finite sub-collection), membership in *LP* is independent of membership (with multiplicity) in the multi-set

in which denotes the Möbius function. But this multi-set is precisely *SF*, by the inclusion-exclusion principle for multi-sets, and it follows that membership in *LP* and *SF *is asymptotically independent*. *Consequently, the density of is , and the remainder of Theorem 3 follows.

*Remark: It may not be intuitively obvious that “LP-ness” and “SF-ness” ought to be independent events (asymptotically). Morally, we may view this as a consequence of the fact that SF-ness is primarily influenced by small primes, while LP-ness concerns the presence of large prime factors.*

**— PART III —**

While we won’t attempt to further tighten the bound on the density of *S* using elementary methods, it is a natural question to ask how our bounds change upon the adoption of more and more complicated results leading up to the CFSG. One such result is the Feit-Thompson theorem (a.k.a. the Odd Order theorem), which implies that all groups of odd order are solvable. In particular, the Feit-Thompson theorem implies that non-cyclic, simple groups must have even order. More is true: if *G *is simple of even order , then Theorem 2 implies that 4 divides the order of *G*.

**Corollary: ***Assuming the Feit-Thompson theorem, the density of S is at most .*

**Exercise: **For , we define as

Thus . For , prove that has density . In particular, if denotes the largest prime factor of *n*, then has a median value of .

The following Exercises concern improvements to our various estimates on the density of *S *by means of borrowed results and minor refinements to already-seen techniques.

**Exercise: ***SF *is properly contained in the set of *n* for which Theorem 2 applies. To be specific, let denote the least prime factor of *n*. Define

Prove that the density of *B* is given by

in which denotes the *i*-th prime, denotes the *i*-th primorial, and denotes Euler’s totient. Prove that membership in *LP* and membership in *B* is asymptotically independent, and use this to show that *S* has natural density (cf. Theorem 3).

**Exercise: **Let *G* be a non-abelian simple group of order *n*. Under the assumption that either or divides *n* *(this is Theorem 6.26 in Rose’s “A Course on Finite Groups” and represents a generalization of Theorem 2), s*how that the set of numbers which are simultaneously cube-free and indivisble by 12 has natural density . Prove that cube-freedness is independent of *LP*-ness, and use this fact to prove that *S* has natural density at most

How does this estimate change if we assume the Feit-Thompson theorem?

Pingback: Notes on Riemann Sums | a. w. walker·

In the Proof of Theorem 2, I think the inequalities should read $P\leqslant Z(C_G(P))=Z(N_G(P))$.

LikeLike