A classification of disjoint unions of two or three copies of the free monogenic semigroup. (Q896226)

Two theorems are proved. The first one reads as follows: A semigroup \(S\) is a disjoint union of two copies of the free monogenic semigroup if and only if \(S\) is isomorphic or anti-isomorphic to the semigroup defined by one of the following presentations: (i) \(\langle a,b\mid ab=ba=a^k\rangle\) for some \(k\geq 1\); (ii) \(\langle a,b\mid ab=a^2,\;ba=b^2\rangle\). The second theorem describes similarly the semigroups which are disjoint unions of three copies of the free monogenic semigroup. It turns out that there are only nine types of such semigroups.