The conjugacy problem and related problems in lattice-ordered groups
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).
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- July 2005
- DOI:
- arXiv:
- arXiv:math/0507041
- Bibcode:
- 2005math......7041H
- Keywords:
-
- Mathematics - Group Theory;
- Computer Science - Computational Complexity;
- Mathematics - General Topology
- E-Print:
- Small updates