9 problems
- 0 votes0 replies0 views
The freeness conjecture for second cohomology of finitely presented groups
Let be a finitely presented group, and let denote its second cohomology group with coefficients in the group ring . Freeness conjecture. The a…
- 0 votes0 replies0 views
The abelian Boone–Higman consequence
Let be a countable abelian group, and write for the countable direct sum of copies of…
- 0 votes0 replies0 views
Existence of a Hopfian finitely presented group with undecidable weak Whitehead problem
A Hopfian finitely presented group is a finitely presented group for which every surjective endomorphism is an automorphism; its word problem asks whether a given word represents t…
- 0 votes0 replies0 views
Finite presentability conjecture for finitely generated non-elementary subgroups of
Finite presentability conjecture. Then is finitely presented.
- 0 votes0 replies1 view
Abramenko's conjecture on finite presentability of Kac–Moody groups
The groups under consideration are finitely generated simple Kac–Moody groups whose Weyl groups have Coxeter diagrams containing entries equal to . Abramenko's conjecture.…
- 0 votes0 replies0 views
von Puttkamer–Wu conjecture on finitely presented groups with finitely many virtually cyclic overgroups
Let be a finitely presented group satisfying the condition that there is a finite set of virtually cyclic subgroups such that every virtually cyclic subgro…
- 0 votes0 replies0 views
Baumslag–Pride conjecture on deficiency one presentations with a proper power relator
Baumslag–Pride conjecture. Every deficiency one presentation with a proper power relator should define a large group.
- 0 votes0 replies0 views
Grigorchuk's stronger conjecture for finitely presented groups
Let be a finitely presented group. A free subsemigroup on two generators is a subsemigroup generated by two elements with no nontrivial relations. Grigorchuk's stronger conject…
- 0 votes0 replies0 views
The embeddability-complexity conjecture for finitely presented groups
Embeddability-complexity conjecture. The set is -complete. Equivalently, deciding whether embeds into for finite presentations…