Es seien
kommutative Ringe
und sei
-

der
Produktring.
- Es seien
-
Ideale.
Zeige, dass die Produktmenge
-
ein Ideal in
ist.
- Zeige, dass jedes Ideal
die Form
-

mit Idealen
besitzt.
- Es sei
-

ein Ideal in
. Zeige, dass
genau dann ein Hauptideal ist, wenn sämtliche
Hauptideale sind.
- Zeige, dass
genau dann ein
Hauptidealring
ist, wenn alle
Hauptidealringe sind.