Erweiterungsideal/Definition

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.