Sum-product for real Lie groups

We prove a discretized sum-product theorem for representations of Lie groups whose Jordan-H"older decomposition does not contain the trivial representation. This expansion result is used to derive a product theorem in perfect Lie groups.