“…The additive group [1][2][3] of the residue class ring [4][5] mod m is, up to isomorphism, the cyclic group of order m generate, say, by the residue class 1 mod m. For finite group, the direct sum decomposition [6] with respect to the prime power appearing in m is simply a special case of the basis theorem for finite abelian groups, according to the sum of cyclic subgroups of prime power order. Here, however, the direct sum of each cyclic subgroup belongs to the same prime number, rather than the direct sums of the cyclic subgroups themselves, which are uniquely determined.…”