MathDB2 problems
- 0 votes0 replies0 views
Shapiro's conjecture on geodetic groups
Shapiro's conjecture. A finitely generated group is geodetic if and only if it is plain.
- 0 votes0 replies1 view
Madlener–Otto conjecture on confluent length-reducing rewriting systems
Madlener–Otto conjecture. A group admits a finite confluent length-reducing rewriting system if and only if it is plain.