If A is an abelian group and n > 0 an integer such that na = 0 for all a ϵ A, then A is a unitary Z_n-module, with the action of Z_n on A given by K̅a = ka, where k ϵ Z and k|→ K̅ ϵ Z_n under the canonical projection Z → z_n.