Erweiterungsideal/Definition

Erweiterungsideal

Es sei

einRinghomomorphismuszwischen den kommutativen Ringen und .Zu einem Ideal nennt man das von erzeugte IdealdasErweiterungsideal von unter . Es wird mit bezeichnet.