Finite dimensional irreducible representations and the uniqueness of the Lebesgue decomposition of positive functionals | Synapse