Finite implies p-divisible iff p-powered
- is -divisible, i.e., every element of has a root in .
- is -powered, i.e., every element of has a unique root in .
It is also true that the above equivalent conditions hold if and only if is relatively prime to the order of , which in this case means that it does not divide the order of (since it is prime). For a proof, see kth power map is bijective iff k is relatively prime to the order.
(2) implies (1)
This is obvious.
(1) implies (2)
(1) can be reinterpreted as saying that the power map from to itself is surjective. Since is finite, this implies that the map is bijective, which is equivalent to (2).