Discussion on residue class additive group in cyclic group

• 循环群中剩余类加群的讨论