実は、そのような "k" を定めるごとに位数 "n" の相異なるモノイドが得られ、逆に任意の巡回モノイドはそれらのモノイドのうちの何れか一つに同型となる。