# Lucas' theorem prime power case

## Statement

### Symbolic statement

Let  where  is a prime and  is relatively prime to . Then: 

## Proof

### Proof using group theory

Recall that a proof of Sylow's theorem invokes Lucas' theorem at the following critical juncture: we consider the size of the set of subsets of size , on which the group of order  is acting, and then infer that there exists an orbit of size , whose isotropy subgroup is hence a Sylow subgroup.

In the proof of Lucas' theorem, we employ the same tactic in reverse, but instead of taking any arbitrary group, we start off with the cyclic group of order . Formally, here's the proof.

Consider the cyclic group  of order . We need to show that the number of subsets of size  in  is  modulo . To prove this, we claim that under the action of left multiplication by , there is exactly one orbit whose size is relatively prime to , and the size of this orbit is .

Consider an orbit whose size is relatively prime to . Then, the size of this orbit must be a divisor of . Further, since the union of members of any orbit is the whole of , the number of members in the orbit must be at least , equality occurring off they are pairwise disjoint.

Combing the two facts, the and hence all the members of the orbit are disjoint. We thus have a situation where there is a subset of size  in  such that all its left translates are pairwise disjoint. Basic group theory tells us that this subset must be a left coset of a subgroup of size , and moreover, the subgroups are in bijective correspondence with such orbits.

We now use the fact that  has a unique subgroup of order , and we are done.