== Verallgemeinerung == Die Idee der Restklassen lässt sich auch in anderen Ringen als den ganzen Zahlen realisieren. Man definiert dazu den Begriff des Ideals und bildet Restklassen modulo einem Ideal, die ihrerseits einen Ring bilden, den man Faktorring nennt. ...