This algebra is also called bicyclic semigroup https://en.wikipedia.org/wiki/Bicyclic_semigroup