  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.
