The Elementary Theory of Groups : : A Guide through the Proofs of the Tarski Conjectures / / Benjamin Fine, Anthony Gaglione, Alexei Myasnikov, Gerhard Rosenberger, Dennis Spellman.
After being an open question for sixty years the Tarski conjecture was answered in the affirmative by Olga Kharlampovich and Alexei Myasnikov and independently by Zlil Sela. Both proofs involve long and complicated applications of algebraic geometry over free groups as well as an extension of method...
Saved in:
Superior document: | Title is part of eBook package: De Gruyter DG Expositions in Mathematics Backlist eBook Package |
---|---|
VerfasserIn: | |
Place / Publishing House: | Berlin ;, Boston : : De Gruyter, , [2014] ©2014 |
Year of Publication: | 2014 |
Language: | English |
Series: | De Gruyter Expositions in Mathematics ,
60 |
Online Access: | |
Physical Description: | 1 online resource (307 p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Other title: | Frontmatter -- Preface -- Contents -- 1 Group theory and logic: introduction -- 2 Combinatorial group theory -- 3 Geometric group theory -- 4 First order languages and model theory -- 5 The Tarski problems -- 6 Fully residually free groups I -- 7 Fully residually free groups II -- 8 Algebraic geometry over groups -- 9 The solution of the Tarski problems -- 10 On elementary free groups and extensions -- 11 Discriminating and squarelike groups -- References -- Index |
---|---|
Summary: | After being an open question for sixty years the Tarski conjecture was answered in the affirmative by Olga Kharlampovich and Alexei Myasnikov and independently by Zlil Sela. Both proofs involve long and complicated applications of algebraic geometry over free groups as well as an extension of methods to solve equations in free groups originally developed by Razborov. This book is an examination of the material on the general elementary theory of groups that is necessary to begin to understand the proofs. This material includes a complete exposition of the theory of fully residually free groups or limit groups as well a complete description of the algebraic geometry of free groups. Also included are introductory material on combinatorial and geometric group theory and first-order logic. There is then a short outline of the proof of the Tarski conjectures in the manner of Kharlampovich and Myasnikov. |
Format: | Mode of access: Internet via World Wide Web. |
ISBN: | 9783110342031 9783110494969 9783110238570 9783110238471 9783110637205 9783110369526 9783110370355 |
ISSN: | 0938-6572 ; |
DOI: | 10.1515/9783110342031 |
Access: | restricted access |
Hierarchical level: | Monograph |
Statement of Responsibility: | Benjamin Fine, Anthony Gaglione, Alexei Myasnikov, Gerhard Rosenberger, Dennis Spellman. |