Hallo, seien zwei kommutative Ringe mit Einselement. Wir wüssten gern, wie die maximalen Ideale des Produktringes aussehen. Sei ein maximales Ideal in , dann ist insbesondere auch ein Primideal. Sei . Wegen und prim muss dann oder gelten. Betrachten wir den ersten Fall (der zweite geht dann anlog): Da ein Ideal ist folgt mit und beliebigem : , also . Analog gilt im anderen Falle. Hieraus kann man schließen, dass entweder die Gestalt oder hat mit maximalen Idealen .
Gruß ermanus
|