Ramification bound for a primitive pth root of unity

ID: ramification-bound-for-a-primitive-pth-root-of-unity

If a finite extension of the P-adic numbers contains a primitive th root of unity , the identity gives . The ratios of these factors reduce to the nonzero integers in the residue field. Thus an extension with has only roots of unity of order prime to .

New to topics? Read the docs here!