I have been reading on Haar measure recently.
Let $G$ be a locally compact group with Haar measure $\mu$.
- $\mu(\{e\})>0$ then $G$ is discrete.
- $\mu(G)<\infty$ then $G$ is compact.
- we know that every locally compact Hausdorff group admits a Haar measure, is the same true for monoids(semigroup with identity e)? If not, is there any counterexample? Is there a class of semigroups that admits a Haar measure?
I just saw the "Finite Haar Measure if and only if Compact" by Gils.
About the first part, I can't understand what Gils said, If $\mu(\{e\})>0$ then $\mu$ is a scalar multiple of the counting measure. Since $\mu$ is outer-regular, this means that $\{e\}$ is open.
About the second part, I'd like a proof without any integrals.
About the third part, My question on Haar Measure on Locally Compact monoids hasn't been answered yet. You can answer this question on that page. I am willing to accept the answer.
Any help will be appreciated.