For the trace map on an irreducible semigroup of n × n matrices over a field, I. N. Herstein presented a theorem in [3] which enables us to limit the nature of matrix groups of a certain kind. However, this is incorrect in general. For the theorem, we shall present a counter example, a revision, and some generalizations to non-irreducible semigroups.