Infinite group with only two conjugacy classes

Can you show me a reasonably simple (using only elementary group-theoretic tools) example of infinite group with just 2 conjugacy classes ?

• Okay so as Arturo points out my answer was crap so I deleted it. But we should know that the example we're looking for should have a trivial center. Dec 6 '11 at 19:25
• Probably not - the usual way of doing this is ascending HNN extensions.
– user641
Dec 6 '11 at 19:32

I doubt anyone can give you an elementary construction. There are such groups, but the only constructions I know involve things like HNN extensions and free products with amalgamations; hardly "elementary group-theoretic tools". And the only presentations I know for such groups are infinite presentations.

Here's one construction:

Recall that an HNN extension is a construction that achieves the following: let $H$ and $K$ be subgroups of a group $G$, and let $\varphi\colon H\to K$ be a group isomorphism. Then there is an overgroup $\mathfrak{G}$ of $G$ and an element $t\in\mathfrak{G}$ such that $tht^{-1} = \varphi(h)$ for every $h\in H$; that is, $H$ and $K$ are conjugate in $\mathfrak{G}$, and the conjugation "realizes" the isomorphism $\varphi$.

The construction is as follows: let $t$ generate an infinite cyclic group; then consider the free product $G*\langle t\rangle$; let $N$ be the smallest normal subgroup of $G*\langle t\rangle$ containing all elements of the form $tht^{-1}\varphi(h)^{-1}$. Then $\mathfrak{G}=G*_{\varphi} = (G*\langle t\rangle)/N$ is the desired group. Showing that it contains a copy of $G$ is the nontrivial part of the construction (that is, showing that $N$ does not contain any elements of $G$). The element $t$ is called a "stable letter".

Taking for granted that this can be done, then from any torsion-free group $G$ we can construct a new torsion-free group $\mathfrak{G}$ that contains $G$, and in which every nonidentity element of $G$ is conjugate (in $\mathfrak{G}$). Just perform a (possibly infinite) series of HNN-extensions that makes pairs of non-identity non-conjugate elements of $G$ conjugate (the subgroups they generate are isomorphic). It is not hard to verify that if $G$ is torsion free then so is $\mathfrak{G}$.

So, start with your favorite torsion-free nontrivial group; e.g., $G_1 = \mathbb{Z}$. Let $G_2$ be a torsion-free group in which every nonidentity element of $G_1$ is conjugate to one-another. Then let $G_3$ be the same construction for $G_2$. Inductively, we obtain an ascending chain of groups $$G_1\subseteq G_2\subseteq G_3\subseteq\cdots\subseteq G_n\subseteq \cdots$$ such that for all $i$, if $x,y\in G_i$ are both different from the identity, then there exists $z\in G_{i+1}$ such that $zxz^{-1}=y$.

Now verify that $\cup G_n$ is a group in which any two nontrivial elements are conjugate.

This is Exercise 11.78 in Rotman's An Introduction to the Theory of Groups, 4th edition.

• Could you elaborate on performing a possibly infinite series of HNN-extensions to get $\mathfrak{G}$ such that non-identity elements of $G$ are conjugate in it? I can convince myself that I can do that if $G$ is countable, for example; but the general case is not clear. May 25 '21 at 20:19
• @AryamanMaithani: First: the question is how to construct an infinite group with only two conjugacy classes; it is not how to take any group whatsoever and embed it into such a group (you can't in general). The construction starts with $\mathbb{Z}$, which is certainly countable, so I don't see what your problem there is. Second: since conjugate elements have the same order, you cannot perform this construction unless you start with a torsionfree group in the first place, not an arbitrary group. Third: if you start with an uncountable torsionfree group (cont) May 25 '21 at 20:22
• @AryamanMaithani: for some strange reason, then you can perform transfinite induction if necessary. May 25 '21 at 20:23
• Oh, sorry for not being clear. I agree with your points and I didn't have any objection to whatever you've written. I was referring to only your fourth paragraph (in isolation): "Take for granted...". It was not clear to me how an arbitrary (torsion-free) group $G$ can be embedded inside a $\mathfrak{G}$ as you describe. The "Third" addresses that. Thank you. May 25 '21 at 20:29