What sort of groups are generated by a single conjugacy class?

Question

To clarify, I am not looking for a classification but rather for well-researched examples of families of (finitely generated) groups generated by a single conjugacy class.

A collection of examples, some from the answers and comments, is as follows.

1. Let $W$ be a Coxeter group with presentation $$\langle s_1, \dots, s_n \;|\; (s_is_j)^{m_{ij}} \rangle,$$ with $m_{ii} = 1$ and $2 \leq m_{ij} = m_{ji} \leq \infty$ whenever $i \neq j$ (the relation $(s_is_j)^\infty$ stands for "no relation"). Suppose that the graph $G$ with vertices $s_1, \dots, s_n$ and edges between $s_i$ and $s_j$ whenever $m_{ij}$ is finite and odd, is connected. Then, all the $s_i$ are conjugate and thus, $W$ is generated by a single, somehow distinguished conjugacy class. Specific groups in this family include dihedral groups $D_m$ for odd $m$ (the groups obtained when $n=2$) and symmetry groups $S_n$ (by letting $m_{i(i+1)} = 3$ and all other $m_{ij} = 2$).
2. Braid groups $B_n$ (or more generally Artin groups for which the same criterion on the off-diagonal weights as above holds) also satisfy that all standard generators are conjugate.
3. Mapping class groups of surfaces are generated by finitely many conjugate Dehn twists around non-separating curves.
4. Knot groups are generated by finitely many meridians.

Are there any other families that come to mind?

Answer 1

Given the mapping class group of a closed surface, there are many elements whose normal closure is the full group.

See this article by Lanier and Margalit for more details.

Answer 2

The usual(?) Humphries generators for the mapping class group are Dehn twists about non-separating curves, and thus all conjugate.

I believe something similar ought to be true about Out$(F_n)$, the outer automorphism group of a free group of rank $n$. The Nielsen generators are not all conjugate (some have finite order while others do not), but I would be surprised if some smaller subset of the Nielsen generators didn’t suffice.

If $G$ is a torsion-free group, a result of Higman, Neumann and Neumann says that $G$ embeds into a larger group that has one conjugacy class of nontrivial elements.

Note that the statement that generators $g$ and $h$ are conjugate abelianizes to the statement that the image of $g$ is equal to the image of $h$. So a necessary condition for $G$ to be generated by a single conjugacy class is that $G$ has cyclic abelianization. (Thompson’s group $F$ is thus not an example.) I’d be curious to know if there are examples where $G$ has cyclic abelianization but $G$ is not generated by a single conjugacy class.

Answer 3

For every $n\geq2$, Denis Osin constructed an uncountable class of finitely generated groups each of which contains precisely $n$ conjugacy classes of elements. Therefore, the $n-1$ non-trivial conjugacy classes generate the group, as they are the entire group, minus the identity! This is Corollary 1.4 of the paper Osin, Denis. "Small cancellations over relatively hyperbolic groups and embedding theorems." Annals of Mathematics 172.1 (2010): 1-39.

Taking $n=2$ then gives a class of groups which are generated by a single conjugacy class. Here the groups are two-generated (in the usual sense; see his Corollary 1.3) and have precisely two conjugacy classes, so all the non-trivial elements are conjugate. Proving such finitely generated groups exist was an open problem at the time.