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

decidabilitydefinabilityuniversal theoriesfree solvable groupsexistential formulaeuniversal formulae

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Solvable groups, supersolvable groups (20F16) Model-theoretic algebra (03C60) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Derived series, central series, and generalizations for groups (20F14)

Related Items (5)

Universal theories for free solvable groups. ⋮ Theories of relatively free solvable groups with extra predicate ⋮ Universal theories for rigid soluble groups. ⋮ On systems of equations over free partially commutative groups ⋮ Diophantine problems in solvable 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

This page was built for publication: On the theories of free solvable groups