We prove that if S is an uncountable subsemigroup of a group, then every (left or right>translation invariant a-finite measure defined on all subsets of S must be trivial. This answers a question posed by Ryll-Nardzewski and Telgar-sky. © 1981 American Mathematical Society.