For a transitive group of automorphisms A(OMEGA) of a totally ordered
set OMEGA, an element g is-an-elements-of A(OMEGA), and a word w(x1, x
2, ...) in a free group, we study whether equations of the form W(X1,
X2, ...) = g are solvable in A (OMEGA).