Which of the cancellative semigroups are groups?
It is proved that a cancellative semigroup \((S,\cdot)\) is a group iff there exists a function \(f\colon S\to S\) such that the set \(\{sf(s)\mid s\in S\}\) is finite.
scientific article; zbMATH DE number 1268038