A tight inverse semigroup which is not bisimple. (Q818945)

It was proved in the reviewer's paper [\textit{G. I. Zhitomirskij}, Mat. Sb., N. Ser. 73(115), 500-512 (1967; Zbl 0183.30703), English translation: Math. USSR, Sb. 2, No. 4, 445-456 (1967)] that every bisimple inverse semigroup \(S\) is tight, that is, every congruence relation \(\varepsilon\) in \(S\) is uniquely determined by each of its \(\varepsilon\)-classes. Tight inverse semigroups that are neither bisimple nor congruence-free are constructed by \textit{B. M. Schein} and \textit{H. Y. Wu} [Semigroup Forum 67, No. 3, 432-442 (2003; Zbl 1057.20044)]. The author gives one more example of such an inverse semigroup. This example is constructed on the base of a bicyclic semigroup, which itself is bisimple.