Zahlbereich/Ideal/Restklassenring/Endlich/Fakt

Zu einem Ideal in einem Zahlbereich

ist der Restklassenring endlich.