Abstract
We present a practical algorithm which, given a non-archimedean local field K and any two elements A,B∈SL2(K), determines after finitely many steps whether or not the subgroup 〈A,B〉≤SL2(K) is discrete and free of rank two. This makes use of the Ping Pong Lemma applied to the action of SL2(K) by isometries on its Bruhat-Tits tree. The algorithm itself can also be used for two-generated subgroups of the isometry group of any locally finite simplicial tree, and has applications to the constructive membership problem. In an appendix joint with Frédéric Paulin, we give an erratum to his 1989 paper ‘The Gromov topology on R-trees’, which details some translation length formulae that are fundamental to the algorithm.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.