Comeagre conjugacy classes and free products with amalgamation Original Research Article

The main theorem is that if G is a Polish group with a comeagre conjugacy class, and G acts without inversions on some tree T, then for every image there is a vertex of T fixed by g. In particular, such a group cannot be written non-trivially as a free product with amalgamation. The same conclusion holds if G is the automorphism group of an image-categorical structure and some open subgroup of G has a comeagre conjugacy class.