On the theories of free solvable groups

DOI10.1016/S0022-4049(98)00024-3zbMath0927.20015MaRDI QIDQ1295586

Olivier Chapuis

Publication date: 11 October 1999

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

decidability; definability; universal theories; free solvable groups; existential formulae; universal formulae

Mathematics Subject Classification ID

20A15: Applications of logic to group theory

20F16: Solvable groups, supersolvable groups

03C60: Model-theoretic algebra

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

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

Related Items

Diophantine problems in solvable groups, Universal theories for rigid soluble groups., Theories of relatively free solvable groups with extra predicate, Universal theories for free solvable groups., On systems of equations over free partially commutative groups

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Width of verbal subgroups in solvable groups
• Universal theory of nilpotent groups
• Model theory
• Universal theory of certain solvable groups and bounded Ore group rings
• Wreath products and extensions
• \(\exists\)-free groups
• The persistence of universal formulae in free algebras
• Free Group Rings
• Questions of decidability and undecidability in Number Theory
• Extensions of Hilbert's tenth problem
• ∀-free metabelian groups
• Tarski's Problem for Solvable Groups
• Varieties of groups
• Commutators of Certain Finitely Generated Soluble Groups
• Elementary properties of Abelian groups
• Commutator Subgroups of Free Groups
• Equations in free metabelian groups
• Subgroups of finite index in profinite groups