Diophantine geometry over groups. VI: The elementary theory of a free group. (Q2501184): Difference between revisions
From MaRDI portal
Set profile property. |
Created claim: Wikidata QID (P12): Q55921779, #quickstatements; #temporary_batch_1710972793655 |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00039-006-0565-8 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2081925316 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q55921779 / rank | |||
Normal rank |
Latest revision as of 00:28, 21 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Diophantine geometry over groups. VI: The elementary theory of a free group. |
scientific article |
Statements
Diophantine geometry over groups. VI: The elementary theory of a free group. (English)
0 references
4 September 2006
0 references
The author applies the tools and techniques presented in the previous papers in the sequence [for part V\(_2\) cf. ibid. 537-706 (2006; see the preceding review Zbl 1118.20034)] to answer some of A. Tarski's problems on the elementary theory of a free group, and generalizations of these problems. Theorem 1. Let \(F_k\) be a (non-Abelian) free group, and let \(Q(p)\) be a definable set over \(F_k\). Then \(Q(p)\) is in the Boolean algebra of \(AE\) sets over \(F_k\). Theorem 2. Let \(Q(p)\) be a set defined by a coefficient-free predicate over a group. Then there exists a set \(L(p)\) defined by a coefficient-free predicate which is in the Boolean algebra of \(AE\) predicates, so that for every free group \(F_k\), \(k\geq 2\), the sets \(Q(p)\) and \(L(p)\) are equivalent. Theorem 3. The elementary theories of non-Abelian finitely generated free groups are equivalent. Theorem 4. Let \(F_k,F_l\) be free groups for \(2\leq k\leq l\). Then the standard embedding \(F_k\to F_l\) is an elementary embedding. Theorem 7. A finitely generated group is elementarily equivalent to a non-Abelian free group if and only if it is a non-elementary hyperbolic \(\omega\)-residually free tower.
0 references
equations over groups
0 references
solutions to systems of equations
0 references
free groups
0 references
elementary theories
0 references
elementary sets
0 references
positive sentences
0 references
quantifier elimination
0 references
Makanin-Razborov diagrams
0 references
limit groups
0 references
finitely generated groups
0 references
first order theories
0 references
Tarski problems
0 references
elementary equivalences
0 references