On epiC groups over language class C
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866910855288848384 |
|---|---|
| author | Kohli, Raad Al Bleak, Collin Elliott, Luna |
| author_facet | Kohli, Raad Al Bleak, Collin Elliott, Luna |
| contents | We introduce a new framework linking group theory and formal language theory which generalizes a number of ways these topics have been linked in the past. For a language class C in the Chomsky hierarchy, we say a group is epiC if it admits a language $L$ over a finite (monoidal) generating set $X \subseteq G$ in the class C such that the image of L under the evaluation map is $G \setminus \{1_G\}$. We provide some examples of epiC groups and prove that the property of being epiC is not dependent on the generating set chosen. We also prove that epiC groups are closed under passage to finite index overgroups, taking extensions, and taking graph products of finitely many groups. Furthermore, we prove that epiRegular groups are closed under passage to finite index subgroups. Finally, we provide a characterization of the property of having solvable word problem within the framework of epiC groups. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_10259 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | On epiC groups over language class C Kohli, Raad Al Bleak, Collin Elliott, Luna Group Theory 20F10, 20M35, 20F05, 03D05, 03D40 We introduce a new framework linking group theory and formal language theory which generalizes a number of ways these topics have been linked in the past. For a language class C in the Chomsky hierarchy, we say a group is epiC if it admits a language $L$ over a finite (monoidal) generating set $X \subseteq G$ in the class C such that the image of L under the evaluation map is $G \setminus \{1_G\}$. We provide some examples of epiC groups and prove that the property of being epiC is not dependent on the generating set chosen. We also prove that epiC groups are closed under passage to finite index overgroups, taking extensions, and taking graph products of finitely many groups. Furthermore, we prove that epiRegular groups are closed under passage to finite index subgroups. Finally, we provide a characterization of the property of having solvable word problem within the framework of epiC groups. |
| title | On epiC groups over language class C |
| topic | Group Theory 20F10, 20M35, 20F05, 03D05, 03D40 |
| url | https://arxiv.org/abs/2501.10259 |