Every reasonably sized matrix group is a subgroup of S ∞
Every reasonably sized matrix group has an injective homomorphism into the group of all bijections of the natural numbers. However, not every reasonably sized simple group has an injective homomorphism into .