Es un cogenerator inyectivo en la categoría de grupos abelianos, que significa que es inyectivo y cualquier otro módulo está contenido en un producto convenientemente grande de copias de Q/Z.