Skip to main content

All Questions

Filter by
Sorted by
Tagged with
9 votes
3 answers
1k views

First-order axiomatization of free groups

Is there a way to axiomatize [non-abelian] free groups in first-order logic using the language of groups (which contains the binary operation symbol $\cdot$, and the constant symbol $e$)? Is there ...
Asaf Karagila's user avatar
  • 39.8k
5 votes
1 answer
294 views

Words which are not inverted by any endomorphism

Let $w$ be a word in a free group $F_2$ of two generators $x_1, x_2$ such that there does not exist any endomorphism of free group which takes $w$ to $w^{-1}$. Let $w_1, w_2$ be two words in the same ...
Shri's user avatar
  • 355