Skip to main content
3 of 6
added 3 characters in body
aglearner
  • 14.3k
  • 8
  • 40
  • 99

An element $g$ in a group such that neither $g=1$ nor $g\ne 1$ can be proved.

Is there some finitely presented group $G$ generated by $g_1,...,g_n$ such that there is an element $g\in G$ expressed as a finite word in $g_i$'s so that it is impossible to prove neither $g=1$ nor $g\ne 1$?

Is such a group $G$ exists, what would be a relatively simple example?

Added. As Mark explains the answer to my question is rather trivially "no". So I would like to modify the question as follows:

Adjusted question. Is there $G,g$ so that is it impossible to prove in finite time that $g\ne 1$?

aglearner
  • 14.3k
  • 8
  • 40
  • 99