Algebraic geometry over groups. III: Elements of model theory.
algebraic geometry over groupscoordinate groupsdefinabilityelementary theoriesfinitely generated groupsfree groupsirreducible componentsmodel theoryorthogonal systems of domainsquasivarietiesuniversal equivalencesvarieties of groups
Model-theoretic algebra (03C60) Noncommutative algebraic geometry (14A22) Applications of logic to group theory (20A15) Free nonabelian groups (20E05) Quasivarieties and varieties of groups (20E10) General structure theorems for groups (20E34) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Geometric group theory (20F65)
[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.
- Algebraic geometry over groups. I: Algebraic sets and ideal theory
- Description of coordinate groups of irreducible algebraic sets over free 2-nilpotent groups
- Algebraic geometry over groups. II: Logical foundations
- scientific article; zbMATH DE number 2070157
- scientific article; zbMATH DE number 1419249
- Algebraic geometry over groups. I: Algebraic sets and ideal theory
- Algebraic geometry over groups. II: Logical foundations
- Definable invariants of bilinear mappings
- EXPONENTIAL GROUPS 2: EXTENSIONS OF CENTRALIZERS AND TENSOR COMPLETION OF CSA-GROUPS
- scientific article; zbMATH DE number 3833933 (Why is no real title available?)
- scientific article; zbMATH DE number 3987554 (Why is no real title available?)
- scientific article; zbMATH DE number 53151 (Why is no real title available?)
- The first order properties of products of algebraic systems
- The verbal topology of a group
- Algebraic geometry over groups. I: Algebraic sets and ideal theory
- Algebraic geometry over groups. II: Logical foundations
- First-order aspects of Coxeter groups
- Description of coordinate groups of irreducible algebraic sets over free 2-nilpotent groups
- Irreducibility of an affine space in algebraic geometry over a group.
- On algebraic-geometric and universal theories of abelian groups
- Limit groups over coherent right-angled Artin groups
- CENTRALISER DIMENSION OF FREE PARTIALLY COMMUTATIVE NILPOTENT GROUPS OF CLASS 2
- Elements of algebraic geometry and the positive theory of partially commutative groups.
- scientific article; zbMATH DE number 4089758 (Why is no real title available?)
- Groups of prime generalized exponent
- Algebraic logic and logically-geometric types in varieties of algebras
- scientific article; zbMATH DE number 1419249 (Why is no real title available?)
- SOME RESULTS AND PROBLEMS RELATED TO UNIVERSAL ALGEBRAIC GEOMETRY
- Automorphisms of categories of free algebras with unit for classical varieties of non-associative algebras
- Equations and algebraic geometry over profinite groups.
- Isotyped algebras
This page was built for publication: Algebraic geometry over groups. III: Elements of model theory.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q555757)
