Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-136/1/c/solution

For odd there is a decomposition
into the valuation factor, the Teichmuller representative factor, and the group of principal units. If is a th power for every coprime to , its valuation is divisible by every such , and is therefore zero. Its residue in is a st power, hence is one. Thus .
Conversely, exponentiation by any integer coprime to is an automorphism of . This follows either from the principal-unit logarithm, under which it becomes multiplication by , or by applying the Hensel lemma to . Since is coprime to , every has a th root for every allowed .

New to topics? Read the docs here!