Ganzer Ringhomomorphismus/Going up/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Going-up für ganze Ringhomomorphismen

Es sei

ein ganzer Ringhomomorphismus. Es seien Primideale in und ein Primideal in mit .

Dann gibt es ein Primideal in mit .

Zum Beweis, Alternativen Beweis erstellen