Die für die Komplettierung relevanten
Restklassenringe
sind
-
Insbesondere handelt es sich um
-freie Moduln.
Bei den Restklassenhomomorphismen zu verschiedenen Potenzen { \left( \right) }
-
werden einfach die Monome vom Grad zu gemacht und die auf sich selbst abgebildet. Somit ist eine Potenzreihe das gleiche wie eine kompatible Folge in dieses Restklassenringen.