Diophantine geometry over groups. VI: The elementary theory of a free group. (Q2501184): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s00039-006-0565-8 / rank
Normal rank
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
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
Property / DOI
 
Property / DOI: 10.1007/S00039-006-0565-8 / rank
 
Normal rank

Latest revision as of 02:06, 19 December 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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references