Deje que $X$ sea un conjunto y deje que $F(X)$ sea el grupo libre generado por $X$.
Diré que un elemento de $F(X)$ es positivo si está en el monoide generado por todos los conjugados en $F(X)$ de cada miembro de $X$.
Por ejemplo, si $X=\left{a,b\right}$ entonces $a, b, a^2 b a^{-1}$ son positivos, pero $aba^{-1}b^{-1}$ no es positivo.
¿Hay algún algoritmo que pueda detectar, dado un elemento de $F(X)$, si es positivo?
