Monogenic semigroup

In mathematics, a monogenic semigroup is a semigroup generated by a single element. Monogenic semigroups are also called cyclic semigroups.

Structure

The monogenic semigroup generated by the singleton set is denoted by. The set of elements of is. There are two possibilities for the monogenic semigroup a^m = aⁿ ⇒ m = n.

There exist m ≠ n such that a^m = aⁿ.

In the former case is isomorphic to the semigroup of natural numbers under addition. In such a case, is an infinite monogenic semigroup and the element a is said to have infinite order. It is sometimes called the free monogenic semigroup because it is also a free semigroup with one generator.
In the latter case let m be the smallest positive integer such that a^m = a^x for some positive integer x ≠ m, and let r be smallest positive integer such that a^m = a^m+''r. The positive integer m'' is referred to as the index and the positive integer r as the period of the monogenic semigroup. The order of a is defined as m+''r−1. The period and the index satisfy the following properties:a^m = a''^m+''ra''^m+''x = a''^m+''y if and only if m'' + x ≡ m + y

= K_a = is a cyclic subgroup and also an ideal of. It is called the kernel of a and it is the minimal ideal of the monogenic semigroup.

The pair of positive integers determine the structure of monogenic semigroups. For every pair of positive integers, there exists a monogenic semigroup having index m and period r. The monogenic semigroup having index m and period r is denoted by M. The monogenic semigroup M is the cyclic group of order r.
The results in this section actually hold for any element a of an arbitrary semigroup and the monogenic subsemigroup it generates.

Related notions

A related notion is that of periodic semigroup, in which every element has finite order. A more general class is that of quasi-periodic semigroups in which every element of the semigroup has a power that lies in a subgroup.
An aperiodic semigroup is one in which every monogenic subsemigroup has a period of 1.