Identity bases for finite cyclic semigroups
Mikhail V. Volkov
Abstract
We provide explicit identity bases for finite cyclic semigroups.
Mikhail V. Volkov
We provide explicit identity bases for finite cyclic semigroups.
This paper contains 6 sections, 4 theorems, 18 equations, 1 figure.
Lemma 1
A non-balanced identity $u=v$ holds in the nilpotent cyclic semigroup $C_{h,1}$ if and only if either (a)$|u|,|v|\ge h$, or (b)$\operatorname{con}(u)=\operatorname{con}(v)$ and $|u|=|v|\ge h-\min_x\{\operatorname{occ}(x,u),\operatorname{occ}(x,v)\mid \operatorname{occ}(x,u)\ne\operatorname{occ}(x,v)