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!