Idealoperationen/Idealprodukt/Definition

Aus Wikiversity
Idealprodukt

Zu zwei Idealen und in einem kommutativen Ring wird das Produkt durch

mit , definiert. Das ist das Ideal, das von allen Produkten (mit , ) erzeugt wird.