Upper bounds for totally symmetric sets

Totally symmetric sets are a recently introduced tool for studying homomorphisms between groups. We give full classifications of totally symmetric sets in certain families of groups and bound their sizes in others. As a consequence, we derive restrictions on possible homomorphisms between these groups. One sample application of our results is that any homomorphism of a braid group to a free product of solvable groups must have cyclic image.