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