For an unramified lift `Φ`, the ring `O[x] ⧸ (Φ)` is a complete DVR with residue field of cardinality `q^(deg Φ)`, carrying a compact second-countable Borel topology that is adic for its maximal ideal

Initializing...

For an unramified lift `Φ`, the ring `O[x] ⧸ (Φ)` is a complete DVR with residue field of cardinality `q^(deg Φ)`, carrying a compact second-countable Borel topology that is adic for its maximal ideal · Prove2Me