The residue roots `θ̄^(q^i)`, `i < deg Φ`, are pairwise distinct roots of `Φ̄` in `k_δ`, so `Φ̄` splits there as the product of the pairwise coprime conjugate factors.

Initializing...

The residue roots `θ̄^(q^i)`, `i < deg Φ`, are pairwise distinct roots of `Φ̄` in `k_δ`, so `Φ̄` splits there as the product of the pairwise coprime conjugate factors. · Prove2Me