Re: [math-fun] matrix group with bounded eigenvalues

Given a finite set of complex matrices generating an infinite group, I need to establish that every element of the group has all eigenvalues within the unit circle.

I think you need some conditions on the matrices or the group. Take any non-singular complex matrix with an eigenvalue outside the unit circle. Then it generates a group and by construction has an element with an eigenvalue outside of the unit circle.