Logical aspects of the theory of divisible rigid groups.

DOI10.1134/S1064562414070126zbMath1319.20032OpenAlexW2056948467MaRDI 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

decidabilitydecidable theoriesuniversal equivalencesexistential axiomsrecursive systems of universal axiomsrigid solvable groupsuniversal theories of groups

Mathematics Subject Classification ID

Noncommutative algebraic geometry (14A22) Applications of logic to group theory (20A15) Subgroup theorems; subgroup growth (20E07) Solvable groups, supersolvable groups (20F16) Model-theoretic algebra (03C60) Group rings of infinite groups and their modules (group-theoretic aspects) (20C07) Extensions, wreath products, and other compositions of groups (20E22) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Derived series, central series, and generalizations for groups (20F14) Algebraic geometry over groups; equations over groups (20F70)

Related Items (10)

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

This page was built for publication: Logical aspects of the theory of divisible rigid groups.