irreducible unitary subrepresentation of the left regular representation of a locally compact group on square-integrable functions
