Erweiterungsideal/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Erweiterungsideal

Es sei

ein Ringhomomorphismus zwischen den kommutativen Ringen und . Zu einem Ideal nennt man das von erzeugte Ideal das Erweiterungsideal von unter . Es wird mit bezeichnet.