A semigroup with linearithmic Dehn function
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914770961039360 |
|---|---|
| author | Repeev, Roman |
| author_facet | Repeev, Roman |
| contents | It is known that there is no finitely presented group for which the Dehn function lies asymptotically strictly between linear and quadratic functions. This work presents an example of a semigroup that has Dehn function equivalent to $n \log n$, thus it lies strictly inside the said gap. The example is obtained by symmetrizing the rewriting rules of a particular semi-Thue system, which has the derivational complexity function $n \log n$. We also show that such connection is not universal by providing a semi-Thue system, for which the Dehn function of the symmetrized semigroup asymptotically differs from the derivational complexity of the initial system. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2311_17835 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | A semigroup with linearithmic Dehn function Repeev, Roman Group Theory Rings and Algebras 20M05, 20F10 F.4.2 It is known that there is no finitely presented group for which the Dehn function lies asymptotically strictly between linear and quadratic functions. This work presents an example of a semigroup that has Dehn function equivalent to $n \log n$, thus it lies strictly inside the said gap. The example is obtained by symmetrizing the rewriting rules of a particular semi-Thue system, which has the derivational complexity function $n \log n$. We also show that such connection is not universal by providing a semi-Thue system, for which the Dehn function of the symmetrized semigroup asymptotically differs from the derivational complexity of the initial system. |
| title | A semigroup with linearithmic Dehn function |
| topic | Group Theory Rings and Algebras 20M05, 20F10 F.4.2 |
| url | https://arxiv.org/abs/2311.17835 |