Search
Now showing items 1-1 of 1
The Triviality problem for profinite completions
(SpringerInventiones Mathematicae, 2015-02-24)
We prove that there is no algorithm that can determine whether or not a finitely presented group has a non-trivial finite quotient; indeed, this property remains undecidable among the fundamental groups of compact, ...