If memory serves a locally compact semigroup admits a left invariant Borel measure iff it has a minimal ideal which is a direct product of a group and a right zero semigroup.
The measure is supported on the minimal ideal.
Benjamin Steinberg
- 38.6k
- 3
- 104
- 186