As we know, thisthe "Tits alternative" is a theorem relating to finitely generated linear groups.
I was curious as to where in the literature the Tits alternative is first referred to by this name, as I believe it is never refereed to as the alternative"alternative" in the original paper 'Free Subgroups in Linear Groups'original 1972 paper 'Free Subgroups in Linear Groups' by Jacques Tits and is simply stated as a theorem.