A class of \((0)\)-idempotent-free transformation semigroups (Q1300538)

Let \(X\) be a totally ordered set with a smallest element \(l\) and let \(S^-(X)\) denote the semigroup of all order decreasing transformations on \(X\), i.e., all those transformations \(\alpha\) such that \(x\alpha\leq x\) for all \(x\in X\). Let \(IF^-(X)\) denote the subsemigroup of \(S^-(X)\) which consists of all those transformations \(\alpha\) on \(X\) such that \(x\alpha<x\) for all \(x\neq l\). Evidently, the transformation \(\xi\) which sends all of \(X\) to \(l\) is the zero of \(S^-(X)\). The author shows that \(IF^-(X)\) is an ideal of \(S^-(X)\) and the only idempotent of \(IF^-(X)\) is \(\xi\). For \(\alpha\in S^-(X)\), denote by \(d(\alpha)\) the defect of \(\alpha\) which is defined by \(d(\alpha)=|X\setminus X\alpha|\). Suppose further that \(X\) is a lower properly ordered set so that each element \(x\in X\) has an immediate successor which we denote by \(x+1\). Let \(V=\{\alpha\in IF^-(X):d(\alpha)>0\) and \(\exists x>l+1\) such that \(x=x\alpha+1\}\). The author shows that \(V\) is the unique minimal generating set for \(IF^-(X)\setminus G(X)\) where \(G(X)\) is the collection of all elements of \(IF^-(X)\) of zero defect. He goes on to describe some congruences on \(IF^-(X)\).