Ganzer Ringhomomorphismus/Injektiv/Surjektiv/Fakt/Beweis

Beweis

Es sei vorgegeben. Die induzierte Abbildung

ist ebenfalls injektiv. Der Beweis zu

Fakt zeigt, dass es ein Primideal aus gibt, das auf runterschneidet.