The simultaneous conjugacy problem in groups of piecewise linear functions. (Q426206): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
The ordinary conjugacy problem in groups asks if there is an algorithm that decides if two elements in the group are conjugate or not and determines the elements that conjugate one element to the other. The \(k\)-simultaneous conjugacy problem asks if there is an algorithm that determines if two ordered \(k\)-tuples in a group are simultaneously conjugate. An effective algorithm determines if the two ordered \(k\)-tuples are conjugate or not and, in the case of a positive answer, determines the conjugator element. In the paper under review the authors answer the question of simultaneous conjugacy for Thompson's group \(F\). The algorithm that they provide finds all the conjugators. Actually, the authors work with more general groups than \(F\). They consider the group \(\mathrm{PL}_+(I)\) of the piecewise linear self-homeomorphisms of the unit interval with finitely many breakpoints and positive derivatives. Even more general, they study the subgroup \(\mathrm{PL}_{S,G}(J)\), where \(J\) is a closed subinterval of \(I\), \(S\) and an additive subgroup of \(\mathbb R\) containing \(1\), and \(G\) a subgroup of the multiplicative group \(\mathbb R^*\) that fixes \(S\) (under the multiplicative action). The subgroup consists of the restriction to \(J\) of the piecewise linear functions on \(I\), that fix the endpoints of \(J\), with breakpoints in \(S\) and slopes in \(G\). The requirement is a standard data structure \(M\) that allows us to decide the group and order structures of \(S\) and \(G\) and the action of \(G\) on \(S\). Furthermore \(M\) determines when elements are of the form \((g-1)s\), \(g\in G\), \(s\in S\) and solve certain basic congruence equations over the subgroup of \(S\) generated by those elements. Furthermore, in \(M\) we can solve or prove that there are no solutions to certain root equations over \(G\). For the conjugacy problem for two elements \(y\) and \(z\), first find an element \(g_*\) so that the elements \(g^{-1}_*yg_*\) and \(z\) have the same fixed point sets. This is done by generalizing the result that is already known for \(\mathrm{PL}_+(J)\). In the second step, the conjugacy problem is studied for two elements with the same fixed points. The problem is reduced to the subintervals determined by consecutive fixed points. The algorithm used is the stair algorithm. The third step is on the description of the centralizers of the elements because two different conjugators differ by an element in a centralizer. In the fourth step we combine all the above steps to study the \(k\)-simultaneous conjugacy problem. As corollaries, the authors deduce simple proofs on the structure of the centralizers of the elements in \(\mathrm{PL}_{S,G}(J)\) and \(F\). At the end, specific examples are given for some choices of \(S\) and \(G\). | |||
Property / review text: The ordinary conjugacy problem in groups asks if there is an algorithm that decides if two elements in the group are conjugate or not and determines the elements that conjugate one element to the other. The \(k\)-simultaneous conjugacy problem asks if there is an algorithm that determines if two ordered \(k\)-tuples in a group are simultaneously conjugate. An effective algorithm determines if the two ordered \(k\)-tuples are conjugate or not and, in the case of a positive answer, determines the conjugator element. In the paper under review the authors answer the question of simultaneous conjugacy for Thompson's group \(F\). The algorithm that they provide finds all the conjugators. Actually, the authors work with more general groups than \(F\). They consider the group \(\mathrm{PL}_+(I)\) of the piecewise linear self-homeomorphisms of the unit interval with finitely many breakpoints and positive derivatives. Even more general, they study the subgroup \(\mathrm{PL}_{S,G}(J)\), where \(J\) is a closed subinterval of \(I\), \(S\) and an additive subgroup of \(\mathbb R\) containing \(1\), and \(G\) a subgroup of the multiplicative group \(\mathbb R^*\) that fixes \(S\) (under the multiplicative action). The subgroup consists of the restriction to \(J\) of the piecewise linear functions on \(I\), that fix the endpoints of \(J\), with breakpoints in \(S\) and slopes in \(G\). The requirement is a standard data structure \(M\) that allows us to decide the group and order structures of \(S\) and \(G\) and the action of \(G\) on \(S\). Furthermore \(M\) determines when elements are of the form \((g-1)s\), \(g\in G\), \(s\in S\) and solve certain basic congruence equations over the subgroup of \(S\) generated by those elements. Furthermore, in \(M\) we can solve or prove that there are no solutions to certain root equations over \(G\). For the conjugacy problem for two elements \(y\) and \(z\), first find an element \(g_*\) so that the elements \(g^{-1}_*yg_*\) and \(z\) have the same fixed point sets. This is done by generalizing the result that is already known for \(\mathrm{PL}_+(J)\). In the second step, the conjugacy problem is studied for two elements with the same fixed points. The problem is reduced to the subintervals determined by consecutive fixed points. The algorithm used is the stair algorithm. The third step is on the description of the centralizers of the elements because two different conjugators differ by an element in a centralizer. In the fourth step we combine all the above steps to study the \(k\)-simultaneous conjugacy problem. As corollaries, the authors deduce simple proofs on the structure of the centralizers of the elements in \(\mathrm{PL}_{S,G}(J)\) and \(F\). At the end, specific examples are given for some choices of \(S\) and \(G\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Stratos Prassidis / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20F10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20E45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 37E05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6045083 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
simultaneous conjugacy problem | |||
Property / zbMATH Keywords: simultaneous conjugacy problem / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Thompson group \(F\) | |||
Property / zbMATH Keywords: Thompson group \(F\) / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
groups of piecewise linear homeomorphisms | |||
Property / zbMATH Keywords: groups of piecewise linear homeomorphisms / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q57460909 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0607167 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Conjugacy and dynamics in Thompson's groups. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: CONJUGACY OF FINITE SUBSETS IN HYPERBOLIC GROUPS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: PRESENTATIONS, CONJUGACY, ROOTS, AND CENTRALIZERS IN GROUPS OF PIECEWISE LINEAR HOMEOMORPHISMS OF THE REAL LINE / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Introductory notes on Richard Thompson's groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3867973 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Conjugacy in Thompson’s group 𝐹 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some general algorithms. I: Arithmetic groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diagram groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On subgroups of R. Thompson's group $ F$ and other diagram groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4148000 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mather invariants in groups of piecewise-linear homeomorphisms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4193565 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A finitely presented simple group with unsolvable conjugacy problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Groups of Piecewise Linear Homeomorphisms / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 08:34, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The simultaneous conjugacy problem in groups of piecewise linear functions. |
scientific article |
Statements
The simultaneous conjugacy problem in groups of piecewise linear functions. (English)
0 references
11 June 2012
0 references
The ordinary conjugacy problem in groups asks if there is an algorithm that decides if two elements in the group are conjugate or not and determines the elements that conjugate one element to the other. The \(k\)-simultaneous conjugacy problem asks if there is an algorithm that determines if two ordered \(k\)-tuples in a group are simultaneously conjugate. An effective algorithm determines if the two ordered \(k\)-tuples are conjugate or not and, in the case of a positive answer, determines the conjugator element. In the paper under review the authors answer the question of simultaneous conjugacy for Thompson's group \(F\). The algorithm that they provide finds all the conjugators. Actually, the authors work with more general groups than \(F\). They consider the group \(\mathrm{PL}_+(I)\) of the piecewise linear self-homeomorphisms of the unit interval with finitely many breakpoints and positive derivatives. Even more general, they study the subgroup \(\mathrm{PL}_{S,G}(J)\), where \(J\) is a closed subinterval of \(I\), \(S\) and an additive subgroup of \(\mathbb R\) containing \(1\), and \(G\) a subgroup of the multiplicative group \(\mathbb R^*\) that fixes \(S\) (under the multiplicative action). The subgroup consists of the restriction to \(J\) of the piecewise linear functions on \(I\), that fix the endpoints of \(J\), with breakpoints in \(S\) and slopes in \(G\). The requirement is a standard data structure \(M\) that allows us to decide the group and order structures of \(S\) and \(G\) and the action of \(G\) on \(S\). Furthermore \(M\) determines when elements are of the form \((g-1)s\), \(g\in G\), \(s\in S\) and solve certain basic congruence equations over the subgroup of \(S\) generated by those elements. Furthermore, in \(M\) we can solve or prove that there are no solutions to certain root equations over \(G\). For the conjugacy problem for two elements \(y\) and \(z\), first find an element \(g_*\) so that the elements \(g^{-1}_*yg_*\) and \(z\) have the same fixed point sets. This is done by generalizing the result that is already known for \(\mathrm{PL}_+(J)\). In the second step, the conjugacy problem is studied for two elements with the same fixed points. The problem is reduced to the subintervals determined by consecutive fixed points. The algorithm used is the stair algorithm. The third step is on the description of the centralizers of the elements because two different conjugators differ by an element in a centralizer. In the fourth step we combine all the above steps to study the \(k\)-simultaneous conjugacy problem. As corollaries, the authors deduce simple proofs on the structure of the centralizers of the elements in \(\mathrm{PL}_{S,G}(J)\) and \(F\). At the end, specific examples are given for some choices of \(S\) and \(G\).
0 references
simultaneous conjugacy problem
0 references
Thompson group \(F\)
0 references
groups of piecewise linear homeomorphisms
0 references
0 references
0 references