Universal theory of certain solvable groups and bounded Ore group rings

DOI10.1006/jabr.1995.1250zbMath0860.20024OpenAlexW1996837042MaRDI QIDQ1902131

Olivier Chapuis

Publication date: 10 December 1995

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jabr.1995.1250

zbMATH Keywords

wreath productsgroup ringsOre domainsfree metabelian groupsbounded Ore groupsdecidable universal theoriesuniversal theories of solvable groups

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Solvable groups, supersolvable groups (20F16) Model-theoretic algebra (03C60) Group rings (16S34) Group rings of infinite groups and their modules (group-theoretic aspects) (20C07) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Classification theory, stability, and related concepts in model theory (03C45)

Related Items

On splittings, subgroups, and theories of partially commutative metabelian groups ⋮ Universal theories for free solvable groups. ⋮ On the universal theories of generalized rigid metabelian groups ⋮ Partially commutative metabelian groups: centralizers and elementary equivalence. ⋮ ∀-free metabelian groups ⋮ From “Metabelian ℚ-Vector Spaces” to New ω-Stable Groups ⋮ Theories of relatively free solvable groups with extra predicate ⋮ Unnamed Item ⋮ Universal theories for rigid soluble groups. ⋮ On embedding of partially commutative metabelian groups to matrix groups ⋮ Partially commutative groups and Lie algebras ⋮ Ordering the space of finitely generated groups ⋮ Groups universally equivalent to the solvable Baumslag-Soliter group ⋮ On the theories of free solvable groups