For an unramified lift `Φ`, the extended ideal `𝔪 O[X]/(Φ)` is maximal, units can be detected modulo it, and `O[X]/(Φ)` is local with that maximal ideal.

Initializing...

For an unramified lift `Φ`, the extended ideal `𝔪 O[X]/(Φ)` is maximal, units can be detected modulo it, and `O[X]/(Φ)` is local with that maximal ideal. · Prove2Me