Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2505.21718 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866910033276567552 |
|---|---|
| author | Santos, Fabricio Dos |
| author_facet | Santos, Fabricio Dos |
| contents | In 2022, Osajda and Przytycki showed that any Coxeter group $W$ is biautomatic. Key to their proof is the notion of voracious projection of an element $g \in W$, which is used iteratively to construct a biautomatic structure for $W$: the voracious language. In this article, we generalize these two notions by defining them for any Garside shadow $B$ in a Coxeter system $(W,S)$. This leads to the result that any finite Garside shadow in $(W,S)$ can be used to construct a biautomatic structure for $W$. In addition, we show that for the Garside shadow $L$ of low elements, the biautomatic structure obtained corresponds to the original voracious language of Osajda and Przytycki. These results answer a question of Hohlweg and Parkinson. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_21718 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Garside shadows and biautomatic structures in Coxeter groups Santos, Fabricio Dos Group Theory In 2022, Osajda and Przytycki showed that any Coxeter group $W$ is biautomatic. Key to their proof is the notion of voracious projection of an element $g \in W$, which is used iteratively to construct a biautomatic structure for $W$: the voracious language. In this article, we generalize these two notions by defining them for any Garside shadow $B$ in a Coxeter system $(W,S)$. This leads to the result that any finite Garside shadow in $(W,S)$ can be used to construct a biautomatic structure for $W$. In addition, we show that for the Garside shadow $L$ of low elements, the biautomatic structure obtained corresponds to the original voracious language of Osajda and Przytycki. These results answer a question of Hohlweg and Parkinson. |
| title | Garside shadows and biautomatic structures in Coxeter groups |
| topic | Group Theory |
| url | https://arxiv.org/abs/2505.21718 |