Der Restklassenring ist ein -Vektorraum mit Basis , und es gilt . Identifiziert man mit , wobei sind, so sieht man .