Logical aspects of the theory of divisible rigid groups.

DOI10.1134/S1064562414070126zbMath1319.20032MaRDI QIDQ2353021

N. S. Romanovskii, Alexei G. Myasnikov

Publication date: 7 July 2015

Published in: Doklady Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s1064562414070126

zbMATH Keywords

decidability; decidable theories; universal equivalences; existential axioms; recursive systems of universal axioms; rigid solvable groups; universal theories of groups

Mathematics Subject Classification ID

14A22: Noncommutative algebraic geometry

20A15: Applications of logic to group theory

20E07: Subgroup theorems; subgroup growth

20F16: Solvable groups, supersolvable groups

03C60: Model-theoretic algebra

20C07: Group rings of infinite groups and their modules (group-theoretic aspects)

20E22: Extensions, wreath products, and other compositions of groups

20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)

20F14: Derived series, central series, and generalizations for groups

20F70: Algebraic geometry over groups; equations over groups

Related Items

Characterization of finitely generated groups by types, Geometric view on homogeneous groups, Algebraic sets in a divisible 2-rigid group, \(\mathbb Q\)-completions of free solvable groups., Generalized rigid groups: definitions, basic properties, and problems, Elementary equivalence of partially commutative Lie rings and algebras, Theories of relatively free solvable groups with extra predicate, Generalized rigid metabelian groups, Partially divisible completions of rigid metabelian pro-\(p\)-groups, Model-theoretic aspects of the theory of divisible rigid soluble groups

Cites Work

• Divisible rigid groups.
• Equational Noetherianness of rigid soluble groups.
• Irreducible algebraic sets over divisible decomposed rigid groups.
• Coproducts of rigid groups.
• Krull dimension of solvable groups.
• Universal theories for rigid soluble groups.
• Universal theories for free solvable groups.
• The property of being equationally Noetherian for some soluble groups