Der Satz über die algebraische Struktur der Restklassenringe zu einem Ideal in einem kommutativen Ring .