Conciseness of first-order formulae
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_ | 1866918007161225216 |
|---|---|
| author | Conte, Martina Petschick, Jan Moritz |
| author_facet | Conte, Martina Petschick, Jan Moritz |
| contents | A word $w$ is concise in a class of groups $\mathcal{C}$ if, for every group $G$ in $\mathcal{C}$, the verbal subgroup $w(G)$ is finite whenever $w$ takes only finitely many values in $G$. This notion can be naturally extended to first-order formulae in the language of groups. We consider this more general setting and establish conciseness for various classes of groups and formulae. We prove that all formulae are concise in the class of abelian groups and that every existential formula is concise in the class of torsion-free locally class-2 nilpotent groups. In addition, we construct new examples of weakly rational words, which allow us to produce a wide variety of formulae that are concise in the class of residually finite groups. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_01411 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Conciseness of first-order formulae Conte, Martina Petschick, Jan Moritz Group Theory Logic Primary 20A15, 20F10, Secondary 03C60, 20E26, 20F18, 22C05 A word $w$ is concise in a class of groups $\mathcal{C}$ if, for every group $G$ in $\mathcal{C}$, the verbal subgroup $w(G)$ is finite whenever $w$ takes only finitely many values in $G$. This notion can be naturally extended to first-order formulae in the language of groups. We consider this more general setting and establish conciseness for various classes of groups and formulae. We prove that all formulae are concise in the class of abelian groups and that every existential formula is concise in the class of torsion-free locally class-2 nilpotent groups. In addition, we construct new examples of weakly rational words, which allow us to produce a wide variety of formulae that are concise in the class of residually finite groups. |
| title | Conciseness of first-order formulae |
| topic | Group Theory Logic Primary 20A15, 20F10, Secondary 03C60, 20E26, 20F18, 22C05 |
| url | https://arxiv.org/abs/2505.01411 |