2 problems
- 0 votes0 replies1 view
Decidability conjecture for single equations in Seifert 3-manifold groups
Let be a Seifert -manifold group. Its single equation problem asks whether a single equation over has a solution. Theorem B establishes decidability when the base orbifo…
- 0 votes0 replies0 views
The regular-equation extension conjecture
The regular-equation extension conjecture. Every regular equation in a group has a solution in some group extending . This extends the Gerstenhaber–Rothaus theorem from fini…