You need to know some group theory. If is a finite -group, so then there exist subgroup so that . This follows from the Sylow theorems. Now it can also be shown that must automatically be normal (another group theory result). Since is a normal subgroup it follows that its fixed field, which is over degree , must be a normal (and therefore Galois) extension over .