If `Φ̄` is irreducible over the field `R/(e, f)`, then `(e, Φ(f/e))` is a maximal ideal of the chart, equal to the preimage of the maximal ideal under any local map `Λ` killing it.

Initializing...

If `Φ̄` is irreducible over the field `R/(e, f)`, then `(e, Φ(f/e))` is a maximal ideal of the chart, equal to the preimage of the maximal ideal under any local map `Λ` killing it. · Prove2Me