= Markov property of finitely presented groups
{c}
{title2=$\rho$}
An isomorphism-invariant property of <finitely presented groups> is Markov when some finitely presented group has it and some finitely presented group cannot embed in any finitely presented group having it. The second witness is an obstruction to embedding, rather than merely a group failing the property. The <Adian–Rabin theorem> makes every such property algorithmically undecidable from arbitrary finite presentations.
Back to article page
