We observe that the group of all lifts elements Thompson’s T T to real line is finitely presented and contains additive alttext="double...

The idempotent problem of a finitely generated inverse semi-group is the formal language of all words over the generators representing idempotent elements. This note proves that a finitely generated inverse semigroup with regular idempotent problem is necessarily finite. This answers a question of Gilbert and Noonan Heale, and establishes a gen-eralisation to inverse semigroups of Anisimov's Th...