The pullback of the maximal ideal of a local ring `S` along `Λ : A → S` is maximal when `Λ` is surjective modulo the maximal ideal.

Initializing...

The pullback of the maximal ideal of a local ring `S` along `Λ : A → S` is maximal when `Λ` is surjective modulo the maximal ideal. · Prove2Me