For an unramified lift `Φ`, `O[X]/(Φ)` is a complete DVR with maximal ideal `𝔪 O[X]/(Φ)`, in which every uniformizer of `O` stays a uniformizer, with finite residue field of cardinality `q ^ deg Φ`.

Initializing...

For an unramified lift `Φ`, `O[X]/(Φ)` is a complete DVR with maximal ideal `𝔪 O[X]/(Φ)`, in which every uniformizer of `O` stays a uniformizer, with finite residue field of cardinality `q ^ deg Φ`. · Prove2Me