Computing $H$-equations with 2-by-2 integral matrices
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912415740854272 |
|---|---|
| author | Bastardas, Gemma Ventura, Enric |
| author_facet | Bastardas, Gemma Ventura, Enric |
| contents | We study the transference through finite index extensions of the notion of equational coherence, as well as its effective counterpart. We deduce an explicit algorithm for solving the following algorithmic problem about size two integral invertible matrices: ''given $h_1,\ldots, h_r; g\in \operatorname{PSL}_2(\mathbb{Z})$, decide whether $g$ is algebraic over the subgroup $H=\langle h_1,\ldots ,h_r\rangle \leqslant \operatorname{PSL}_2(\mathbb{Z})$ (i.e., whether there exist a non-trivial $H$-equation $w(x)\in H*\langle x\rangle$ such that $w(g)=1$) and, in the affirmative case, compute finitely many such $H$-equations $w_1(x),\ldots ,w_s(x)\in H*\langle x\rangle$ further satisfying that any $w(x)\in H*\langle x\rangle$ with $w(g)=1$ is a product of conjugates of $w_1(x),\ldots ,w_s(x)$''. The same problem for square matrices of size 4 and bigger is unsolvable. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_05272 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Computing $H$-equations with 2-by-2 integral matrices Bastardas, Gemma Ventura, Enric Group Theory We study the transference through finite index extensions of the notion of equational coherence, as well as its effective counterpart. We deduce an explicit algorithm for solving the following algorithmic problem about size two integral invertible matrices: ''given $h_1,\ldots, h_r; g\in \operatorname{PSL}_2(\mathbb{Z})$, decide whether $g$ is algebraic over the subgroup $H=\langle h_1,\ldots ,h_r\rangle \leqslant \operatorname{PSL}_2(\mathbb{Z})$ (i.e., whether there exist a non-trivial $H$-equation $w(x)\in H*\langle x\rangle$ such that $w(g)=1$) and, in the affirmative case, compute finitely many such $H$-equations $w_1(x),\ldots ,w_s(x)\in H*\langle x\rangle$ further satisfying that any $w(x)\in H*\langle x\rangle$ with $w(g)=1$ is a product of conjugates of $w_1(x),\ldots ,w_s(x)$''. The same problem for square matrices of size 4 and bigger is unsolvable. |
| title | Computing $H$-equations with 2-by-2 integral matrices |
| topic | Group Theory |
| url | https://arxiv.org/abs/2506.05272 |