Algebraic geometry over groups. III: Elements of model theory. (Q555757): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Q400548 / rank | |||
Property / author | |||
Property / author: Vladimir N. Remeslennikov / rank | |||
Property / author | |||
Property / author: Alexei G. Myasnikov / rank | |||
Normal rank | |||
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 / 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 | |||
Property / reviewed by | |||
Property / reviewed by: Vitaliĭ Roman'kov / 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.1016/j.jalgebra.2004.07.038 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1974877162 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic geometry over groups. I: Algebraic sets and ideal theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The verbal topology of a group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The first order properties of products of algebraic systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3751772 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4003410 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Definable invariants of bilinear mappings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: EXPONENTIAL GROUPS 2: EXTENSIONS OF CENTRALIZERS AND TENSOR COMPLETION OF CSA-GROUPS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic geometry over groups. II: Logical foundations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3041166 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:18, 10 June 2024
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