Errata: In Theorem 9.3, N should be Z