[math-fun] matrix group

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.

--you lose. If so, then the inverse elements have reciprocal eigenvalues, which are outside the circle. QED.