Cada grupo abeliano es un módulo fiel sobre los números enteros o sobre una cierta aritmética modular Z/"n" Z.