“…In this subsection, we show that the Green index serves as a better analogy of the group index [20] and gives us equality, directly generalizing the result for groups. The Green index, which was introduced in [20], has proven to be a very useful generalization of both the grouptheoretic notion of index and the more established Rees index for semigroups, and has yielded many Reidemeister-Schreier-type theorems about the inheritance of various finiteness properties by subsemigroups or extensions of finite index; see, for example, [7,10,19,20,24,28]. We recall the definition here: let T be a subsemigroup of a semigroup S .…”