I present here a series of four notes about constructions using amalgamated products and HNN extensions. These operations are central in geometric group theory, thanks to van Kampen theorem and Bass-Serre theory (both are in fact related, see Scott and Wall’s article, *Topological method in group theory*). We begin by defining them:

**Definition:** Let be three groups and , be two monomorphisms. If (resp. ) is a presentation of (resp. of ), we define the *amalgamated product* by the presentation

.

Therefore, we glue and together along .

**Definition:** Let be two groups and , be two monomorphisms. If is a presentation of , we define the *HNN extension* by the presentation

.

We say that is the *stable letter* of the extension.

Therefore, we force the two isomorphic subgroups and to be conjugated.

It is worth noticing that the amalgamated products and the HNN extensions depend on the monomorphisms we chose, although they do not appear in the notations. However, the new groups we build do not depend on the specific presentations we use; it can be noticed directly. Alternatively, these operations may be defined thanks to universal properties, whithout refering to any presentation.

A remarkable fact is that normal forms are known for amalgamated products and HNN extensions:

**Property:** Let be an amalgamated product. Let (resp. ) be a transversal of (resp. ) modulo ; for the coset , we take as a coset representative. Any element of may be uniquely written as

,

where , for , , for , and .

**Property:** (*Britton’s lemma*) Let be a HNN extension. Let be transversals of the images of into ; for the trivial cosets, we take as a coset representative. Any element of may be uniquely written as

,

where , , if , if , and if .

In particular, it is possible to deduce the following corollaries, which will be useful in the sequel:

**Corollary:** The factors of an amalgamated product embed naturally into . The factor of a HNN extension embeds naturally into .

**Corollary:** Up to conjugaison, an element of finite order in an amalgamated product of a HNN extension belongs to a factor. In particular, the amalgamated product of torsion-free groups or the HNN extension of a torsion-free group is torsion-free.

Our first note deals with an embedding theorem:

**Theorem:** Every countable group can be embedded into a two-generator groups.

(Notice that we gave a proof of this theorem without using amalgamated products and HNN extensions in the note A free group contains a free group of any rank.)

As a corollary, we prove the following theorem of B. H. Neumann that we already proved using the space of marked groups and small cancellation groups in the note Cantor-Bendixson rank in group theory: A theorem of B.H. Neumann:

**Theorem:** Up to isomorphism, there exist two-generator groups.

A consequence of the theorem above is that almost all finitely-generated groups are not finitely presented: clearly, there exist only countably many finitely-presented groups. However, in general it is not easy to prove that a group is not finitely-presented of even to find such a finitely-generated group. It turns out that amalgamated products and HNN extensions can be used to give examples of finitely-generated not finitely-presented groups. More precisely, we prove

**Theorem:** Let be two finitely-presented groups. The amalgamated product is finitely-presented if and only if is finitely-generated.

**Theorem:** Let be a finitely-presented group. The HNN extension is finitely-presented if and only if is finitely-generated.

We also use Britton’s lemma to deal with some lamplighter groups:

**Theorem:** The groups and are not finitely-presented.

Another kind of counterexamples provided by amalgamated products and HNN extensions is the class of finitely-generated non-Hopfian groups.

A group is said *Hopfian* if every epimorphism is in fact an isomorphism. Several years was needed to fin a non-Hopfian finitely-generated group, and the first examples which were given are precisely based on amalgamated products and HNN extensions. Defining the Baumslag-Solitar group by the presentation

,

we prove:

**Theorem:** Let be two coprime numbers with . Then is not Hopfian.

Another embedding theorem that can be proved using amalgamated products and HNN extensions is the following one:

**Higmann embedding theorem:** A group can be embedded into a finitely-presented group if and only if it is recursively-presented.

As a corollary, it may be deduced that there exists a finitely-presented group with an insoluble word problem. Unfortunately, the proof of this result is much more evolved that the previous ones, and I had not the time to write such a proof. By the way, I hope to be able to add a note on this theorem soon; meanwhile, a proof can be found in Lyndon and Schupp’s book.

If we suppose that there exists a finitely-presented group with an insoluble word problem, it turns out that many other decision problems can be shown to be insoluble. More precisely, if we define a Markov property as a property of finitely-presented groups, preserved by isomorphism, and such that there exist a finitely-presented group satisfying and a finitely-presented group not embeddable into any finitely-presented group satisfying , we prove:

**Theorem:** Let be a Markov property. There is no algorithm to decide whether or not a finitely-presented group satisfies .

In particular,

**Corollary:** There is no algorithm to decide whether or not a finitely presented group is abelian, finite, trivial, free, torsion-free or cyclic.

**Corollary:** There is no algorithm to decide whether or not two presentations represent the same group.

Because any finitely-presented group is the fundamental group of a closed -manifold for any , several facts about decision problems in topology may be deduced. For example,

**Corollary:** Let . There is no algorithm to decide whether two closed -manifolds are homeomorphic (or even simply connected).

The main references I used in this series of notes are Lyndon and Schupp’s book, *Combinatorial Group Theory*, and Baumslag’s book, *Topics in Combinatorial Group Theory*.