Remark

In the case where G is finite of order n, it is isomorphic to the monoid C_0,n defined in Section 6.2.
In other words, (Z/nZ,0,+) is isomorphic to C_0,n.