Strong non-arithmeticity for Zariski dense subsemigroups

We prove a non-arithmeticity property for the complex eigenvalues of a Zariski dense subsemigroups of real reductive algebraic groups. This property will be used in [7] in order to establish a local limit theorem for the operator norm of products of random matrices.