Let be of characteristic and also let be the subgroup of corresponding to the alternating group, that is the set of , . Show that where .

It is a basic fact that when is an even permutation and when is an odd permutation.

So all preserve and , which means .

On the other hand no odd permutation can preserve , then .

Combining these two, we know .

Jacobson p244.