cyclic-group public under abelian-group 1 List Picture As a command %3 n0 cyclic-group n1 abelian-group n1->n0