Algebraic geometry over groups. III: Elements of model theory. (Q555757): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / author | |||
Property / author: Vladimir N. Remeslennikov / rank | |||
Normal rank | |||
Property / review text | |||
[For part II cf. \textit{A. Myasnikov} and \textit{V. Remeslennikov}, ibid. 234, No. 1, 225-276 (2000; Zbl 0970.20017).] The authors develop an approach to direct products of domains via orthogonal systems (of idempotents) similar to the classical one in the ring theory. This approach is applied in their proof that the elementary theories of coordinate groups \(\Gamma(Y_i)\) of irreducible components \(Y_i\) of an algebraic set \(Y\) over a group \(G\) are interpretable in the coordinate group \(\Gamma(Y)\) of \(Y\) for a wide class of groups \(G\), containing every equationally Noetherian, non-Abelian CSA-group. There are some other interesting applications of the authors' methods. In particular, every finitely generated group \(H\) from the quasi-variety generated by a free non-Abelian group \(F\) is universally equivalent either to a unique direct product \(F^l\) of \(l\) copies of \(F\) or to the group \(F^l\times\mathbb{Z}\), where \(\mathbb{Z}\) is infinite cyclic. | |||
Property / review text: [For part II cf. \textit{A. Myasnikov} and \textit{V. Remeslennikov}, ibid. 234, No. 1, 225-276 (2000; Zbl 0970.20017).] The authors develop an approach to direct products of domains via orthogonal systems (of idempotents) similar to the classical one in the ring theory. This approach is applied in their proof that the elementary theories of coordinate groups \(\Gamma(Y_i)\) of irreducible components \(Y_i\) of an algebraic set \(Y\) over a group \(G\) are interpretable in the coordinate group \(\Gamma(Y)\) of \(Y\) for a wide class of groups \(G\), containing every equationally Noetherian, non-Abelian CSA-group. There are some other interesting applications of the authors' methods. In particular, every finitely generated group \(H\) from the quasi-variety generated by a free non-Abelian group \(F\) is universally equivalent either to a unique direct product \(F^l\) of \(l\) copies of \(F\) or to the group \(F^l\times\mathbb{Z}\), where \(\mathbb{Z}\) is infinite cyclic. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Q431674 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20E10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14A22 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03C60 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20A15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20E05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20E34 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20F10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20F65 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20F05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 2174884 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
algebraic geometry over groups | |||
Property / zbMATH Keywords: algebraic geometry over groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
model theory | |||
Property / zbMATH Keywords: model theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quasivarieties | |||
Property / zbMATH Keywords: quasivarieties / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
irreducible components | |||
Property / zbMATH Keywords: irreducible components / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
definability | |||
Property / zbMATH Keywords: definability / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
free groups | |||
Property / zbMATH Keywords: free groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
varieties of groups | |||
Property / zbMATH Keywords: varieties of groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
orthogonal systems of domains | |||
Property / zbMATH Keywords: orthogonal systems of domains / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
elementary theories | |||
Property / zbMATH Keywords: elementary theories / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
coordinate groups | |||
Property / zbMATH Keywords: coordinate groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
finitely generated groups | |||
Property / zbMATH Keywords: finitely generated groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
universal equivalences | |||
Property / zbMATH Keywords: universal equivalences / rank | |||
Normal rank |
Revision as of 14:40, 1 July 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Algebraic geometry over groups. III: Elements of model theory. |
scientific article |
Statements
Algebraic geometry over groups. III: Elements of model theory. (English)
0 references
10 June 2005
0 references
[For part II cf. \textit{A. Myasnikov} and \textit{V. Remeslennikov}, ibid. 234, No. 1, 225-276 (2000; Zbl 0970.20017).] The authors develop an approach to direct products of domains via orthogonal systems (of idempotents) similar to the classical one in the ring theory. This approach is applied in their proof that the elementary theories of coordinate groups \(\Gamma(Y_i)\) of irreducible components \(Y_i\) of an algebraic set \(Y\) over a group \(G\) are interpretable in the coordinate group \(\Gamma(Y)\) of \(Y\) for a wide class of groups \(G\), containing every equationally Noetherian, non-Abelian CSA-group. There are some other interesting applications of the authors' methods. In particular, every finitely generated group \(H\) from the quasi-variety generated by a free non-Abelian group \(F\) is universally equivalent either to a unique direct product \(F^l\) of \(l\) copies of \(F\) or to the group \(F^l\times\mathbb{Z}\), where \(\mathbb{Z}\) is infinite cyclic.
0 references
algebraic geometry over groups
0 references
model theory
0 references
quasivarieties
0 references
irreducible components
0 references
definability
0 references
free groups
0 references
varieties of groups
0 references
orthogonal systems of domains
0 references
elementary theories
0 references
coordinate groups
0 references
finitely generated groups
0 references
universal equivalences
0 references