Ein Ringhomomorphismus
zwischen lokalen Ringen heißt lokal, wenn φ ( m ) ⊆ n {\displaystyle {}\varphi ({\mathfrak {m}})\subseteq {\mathfrak {n}}} gilt.