Elementary theory of free non-abelian groups. (Q855727)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5078136
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Elementary theory of free non-abelian groups. |
scientific article; zbMATH DE number 5078136 |
Statements
Elementary theory of free non-abelian groups. (English)
0 references
7 December 2006
0 references
For a group \(G,\) the elementary theory \(\text{Th}(G)\) of \(G\) is the set of all first-order sentences in the language of group theory which are true in \(G.\) Around 1945 Tarski formulated two conjectures about the elementary theory of a free group. The first of them states that the elementary theory of non-abelian free groups of different ranks coincide; the second one states that the elementary theory of free groups is decidable. The scope of this paper is to prove these two conjectures.
0 references
free group
0 references
elementary theory
0 references
decidable theory
0 references
0 references
0 references
0.940093994140625
0 references
0.8632410764694214
0 references
0.8608646988868713
0 references
