Ends for subsemigroups of finite index. (Q2634952)

Let \(A\) be a finite generating set for a semigroup \(S\). Elements \(x,y\in S\) are adjacent in the right undirected Cayley graph \(\Gamma_r(S,A)\) of \(S\) (denoted \(x\sim y\)) iff either \(y=xa\) or \(x=ya\), \(a\in A\). A ray is a sequence \(x=(x_0,x_1,x_2,\ldots)\) of distinct vertices such that \(x_0\sim x_1\sim x_2\sim\cdots\); rays \(x,y\) are equivalent if there is a ray meeting each \(x\) and \(y\) at infinitely many vertices; corresponding equivalence classes are ends of \(\Gamma_r(S,A)\). It is proved that for finitely generated semigroups the number of ends is preserved by subsemigroups of finite Rees index and in cancellative semigroups by subsemigroups with finite Green index.