Sylow number

Definition

Definition with symbols

Let $G$ be a finite group and $p$ a prime dividing the order of $G$ . Then the Sylow number for $p$ , denoted as $n_{p}$ , is any of the following equivalent values:

The number of $p$ -Sylow subgroups
The index of the normalizer of any $p$ -Sylow subgroup

Facts

It divides the index of the Sylow subgroup

Let $m$ be the index of the Sylow subgroup. Then $n_{p}$ divides $m$ . The easiest way of seeing this is from the fact that if $P$ is a $p$ -Sylow subgroup, then:

$[G : P] = [G : N_{G} (P)] [N_{G} (P) : P]$

or:

$m = n_{p} [N_{G} (P) : P]$

It is 1 modulo the prime

Further information: Congruence condition on Sylow numbers

This is the congruence condition on the Sylow number. It states that:

$n_{p} \equiv 1 mod p$

This follows from the fact that if we fix any one Sylow subgroup $P$ and look at the orbits on the set $S y l_{p} (G)$ of all Sylow subgroups under conjugation by elements of $P$ , all the orbits except $P$ itself have sizes as multiples of $p$ .

We can in fact refine the congruence condition further, to obtain certain conditions where we can force $n_{p}$ to be 1 modulo higher powers of $p$ . The idea in those is to argue that any intersection of Sylow subgroups must have large index in both.

Using Sylow numbers

Note that the above constraints on Sylow numbers are all constraints that arise purely from the order of the group. Thus, given any positive integer $N$ , we define a set of Sylow numbers for this positive integer as a set (ordered) of associations of $n_{p}$ to each prime $p$ dividing $N$ such that there exists a group $G$ of order $N$ whose Sylow numbers are precisely $n_{p}$ .

Of course, given a positive integer, there may be many possibilities for the set of Sylow numbers for that positive integer. Imposing conditions on the kind of group we allow can put further constraints on the set of Sylow numbers. For instance:

A set of simple Sylow numbers is a set of Sylow numbers that arises from a simple group.