Finite presentability conjecture for finitely generated non-elementary subgroups of PSL⁡(2,R)\operatorname{PSL}(2,\mathbb{R})

About 3 years old · traced to

Let HH be a finitely generated subgroup of PSL⁡(2,R)\operatorname{PSL}(2,\mathbb{R}) that is non-elementary, meaning it is not an elementary subgroup.

Finite presentability conjecture. Then HH is finitely presented.

The conjecture concerns finite presentability of finitely generated non-elementary subgroups of the group of orientation-preserving isometries of the hyperbolic plane. The source presents it as an open conjecture; no resolution is given in the provided text.

References

Primary source

Benjamin Fine, Gerhard Rosenberger and Leonard Wienke, “Groups of F-Type”, arXiv:2305.09818 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.