A finiteness lemma,brauer's theorem and other iIrreducibility results

A technical lemma is proved for certain semigroups of matrices. It has several applications to problems concerning irreducible semigroups satisfying spectral conditions, e.g., submultiplicativity of spectrum. It is also used to give extensions of the following theorem of Brauer's. If U is a finite group of complex matrices, so that for some integer m, every U in U, satisties U^m =I then U has a representation over the cyclotomic field Q(ω), where ω is a primitive m-th root of unity.