The conjugacy problem and related problems in lattice-ordered groups
classification
🧮 math.GR
cs.CCmath.GN
keywords
conjugacylattice-orderedorderproblemtechniquesautomorphismschoicecomputational
read the original abstract
We study, from a constructive computational point of view, the techniques used to solve the conjugacy problem in the "generic" lattice-ordered group Aut(R) of order automorphisms of the real line. We use these techniques in order to show that for each choice of parameters f,g in Aut(R), the equation xfx=g is effectively solvable in Aut(R).
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.