Idealoperationen/Idealprodukt/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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.