Zum Inhalt springen

Erweiterungsideal/Definition

Aus Wikiversity
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.