The conjugacy problem and related problems in lattice-ordered groups
群论
2010-08-02 v2 计算复杂性
一般拓扑
摘要
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).
引用
@article{arxiv.math/0507041,
title = {The conjugacy problem and related problems in lattice-ordered groups},
author = {W. Charles Holland and Boaz Tsaban},
journal= {arXiv preprint arXiv:math/0507041},
year = {2010}
}
备注
Small updates