Abstract:In this paper, we continue our study of the class of diagram groups. Simply speaking, a diagram is a labelled plane graph bounded by a pair of paths (the top path and the bottom path). To multiply two diagrams, one simply identifies the top path of one diagram with the bottom path of the other diagram, and removes pairs of "reducible" cells. Each diagram group is determined by an alphabet $X$, containing all possible labels of edges, a set of relations ${\cal R}=\{u_i=v_i\mid i=1,2,... \}$, containing all possible labels of cells, and a word $w$ over $X$ -- the label of the top and bottom paths of diagrams. Diagrams can be considered as 2-dimensional words, and diagram groups can be considered as 2-dimensional analogue of free groups. In our previous paper, we showed that the class of diagram groups contains many interesting groups including the famous R. Thompson group $F$ (it corresponds to the simplest set of relations $\{x=x^2 \}$), closed under direct and free products and some other constructions. In this paper we study mainly subgroups of diagram groups. We show that not every subgroup of a diagram group is itself a diagram group (this answers a question from the previous paper). We prove that every nilpotent subgroup of a diagram group is abelian, every abelian subgroup is free, but even the Thompson group contains solvable subgroups of any degree. We also study distortion of subgroups in diagram groups, including the Thompson group. It turnes out that centralizers of elements and abelian subgroups are always undistorted, but the Thompson group contains distorted soluble subgroups.

The planar 3-colorable subgroup ε of Thompson's group F and its even part

The planar $3$-colorable subgroup $\mathcal{E}$ of Thompson's group $F$ and its even part

On the $3$-colorable subgroup $\mathcal{F}$ and maximal subgroups of Thompson's group $F$

Finite flag-transitive affine planes with a solvable automorphism group.

ELEMENTARY AMENABLE SUBGROUPS OF R. THOMPSON'S GROUP F

On subgroups of R.Thompson's group F and other diagram groups

On zero-measured subsets of Thompson's group F

The Fubini's Theorem for the Even Index Lie Subgroup

Hyperbolic actions of Thompson's group $F$ and generalizations

Coloring Planar Graphs via Colored Paths in the Associahedra

Finitely presented simple left-orderable groups in the landscape of Richard Thompson's groups

Local newforms for generic representations of unramified even unitary groups I: Even conductor case

Some unitary representations of Thompson's groups F and T

Color Lie algebras and Lie algebras of order F

Radical subgroups of finite reductive groups

Irreducible Pythagorean representations of R. Thompson's groups and of the Cuntz algebra

Amenability problem for Thompson's group $F$: state of the art

An Example of a Relatively Maximal Nonpronormal Subgroup of Odd Order in a Finite Simple Group

Partial difference sets and amorphic Cayley schemes in non-abelian $2$-groups

Around subgroups of Artin groups: derived subgroups and acylindrical hyperbolicity in the even FC-case

Odd-degree rational characters and the order of rational elements in finite groups