What does a group algebra of a free group ``know about the group?

DOI10.1016/j.apal.2018.02.003zbMath1442.16027arXiv1607.03138MaRDI QIDQ1709682

Alexei G. Myasnikov, O. G. Kharlampovich

Publication date: 6 April 2018

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

Full work available at URL: https://arxiv.org/abs/1607.03138

zbMATH Keywords

first-order theory; group algebra; limit group

Mathematics Subject Classification ID

16S34: Group rings

20C05: Group rings of finite groups and their modules (group-theoretic aspects)

20E05: Free nonabelian groups

Related Items

Undecidability of equations in free Lie algebras, Diophantine problems in solvable groups, Bounded generation and commutator width of Chevalley groups: function case, First-order rigidity of rings satisfying polynomial identities

Cites Work

• Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint
• Elementary theory of free non-abelian groups.
• On locally indicable groups
• Elimination of quantifiers for modules
• Groups in which commutativity is a transitive relation
• Braids and self-distributivity
• Tarski-type problems for free associative algebras
• On L-spaces and left-orderable fundamental groups
• Diophantine geometry over groups. VI: The elementary theory of a free group.
• Diophantine problems over local fields. III: Decidable fields
• Relatively hyperbolic groups: intrinsic geometry, algebraic properties, and algorithmic problems
• Polynomial rings and weak second-order logic
• SIMPLE ORDERINGS FOR FREE PARTIALLY COMMUTATIVE GROUPS
• Fresh orderings of groups
• Equations in a free 𝐐-group
• DEFINABLE SETS IN A HYPERBOLIC GROUP
• ACTIONS, LENGTH FUNCTIONS, AND NON-ARCHIMEDEAN WORDS
• Diophantine geometry over groups VII: The elementary theory of a hyperbolic group
• Free groups and free products—some aping theorems
• Elementary properties of Abelian groups
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item