Splitting degree of roots of unity over a finite field

ID: splitting-degree-of-roots-of-unity-over-a-finite-field

With the characteristic-prime-free part of , all roots of unity over a finite field lie in exactly when . This follows from the cyclicity of the multiplicative group of a finite field. For the least positive degree is one. A primitive root of order has the same field degree, because its Frobenius orbit closes exactly when .

New to topics? Read the docs here!