Occurrence problem for free solvable groups

DOI10.1007/BF00750164MaRDI QIDQ1908458zbMATH OpenOpenAlexFDO

Authors Ualbai Umirbaev

Publication date 27 March 1996

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/187721

zbMATH Keywords

free metabelian groupsfree solvable groupsgroup ringsoccurrence problemright idealssystems of linear equationsundecidable word problemvariety of solvable groups

Mathematics Subject Classification ID

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) Solvable groups, supersolvable groups (20F16)

Review text

The author studies the problem of the existence of an algorithm verifying whether systems of linear equations over a group ring of a free metabelian group are solvable. He proves that if \(G\) is a free metabelian group (of large enough rank), then the occurrence problem for right ideals of the ring \(ZG\) is undecidable. Also he shows that the occurrence problem for free solvable groups of derived length \(\geq 3\) is undecidable. It is given an example of a group with undecidable word problem which is finitely presented in the variety of solvable groups of derived length \(\geq 3\) and whose defining relations are taken from the last commutant.

Recommendations

• The occurrence problem for Lie algebras
• On the theories of free solvable groups
• On equations with subgroup restrictions on solutions in free groups
• The word and geodesic problems in free solvable groups.
• scientific article; zbMATH DE number 13303

Cites work

• Automorphisms of Free Metabelian Groups
• Free differential calculus. I: Derivation in the free group ring. II: The isomerphism problem of groups. III: Subgroups
• Free lattice-ordered groups
• Groups of cohomological dimension one
• scientific article; zbMATH DE number 3762288 (Why is no real title available?)
• The occurrence problem for Lie algebras

Cited in

(14)

• Unsolvability of the occurrence problem in Artin groups of finite type
• Algorithmic problems for differential polynomial algebras
• Systems of linear equations over associative algebras and the occurrence problem for lie algebras
• scientific article; zbMATH DE number 495579 (Why is no real title available?)
• scientific article; zbMATH DE number 1936722 (Why is no real title available?)
• scientific article; zbMATH DE number 1985667 (Why is no real title available?)
• Ualbai Utmakhanbetovich Umirbaev
• An automata theoretic approach to the generalized word problem in graphs of groups.
• Knapsack problems in groups
• Tilings and submonoids of metabelian groups.
• Subgroup distortion in wreath products of cyclic groups.
• Exponentially distorted subgroups in wreath products
• Membership problems in infinite groups
• Occurrence problem in Artin groups of finite type

This page was built for publication: Occurrence problem for free solvable groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1908458)