Computer-assisted methods in Sigma-theory
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866910617225396224 |
|---|---|
| author | Hartmann, Elisa |
| author_facet | Hartmann, Elisa |
| contents | We develop an algorithm for recognizing whether a character belongs to $Σ^m$. In order to apply it we just need to know that the ambient group is of type $\mathrm{FP}_m$ or of type $\mathrm{F}_2$ and that the word problem is solvable for this group. Then finite data is sufficient proof of membership in $Σ^m$, not just for the given character but also for a neighborhood of it. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_09264 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Computer-assisted methods in Sigma-theory Hartmann, Elisa Group Theory Algebraic Topology We develop an algorithm for recognizing whether a character belongs to $Σ^m$. In order to apply it we just need to know that the ambient group is of type $\mathrm{FP}_m$ or of type $\mathrm{F}_2$ and that the word problem is solvable for this group. Then finite data is sufficient proof of membership in $Σ^m$, not just for the given character but also for a neighborhood of it. |
| title | Computer-assisted methods in Sigma-theory |
| topic | Group Theory Algebraic Topology |
| url | https://arxiv.org/abs/2407.09264 |