DESCRIPTION
The group (Z_n,+)