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

DOI10.1016/J.APAL.2018.02.003MaRDI QIDQ1709682zbMATHOpenAlexFDO

Authors Olga Kharlampovich, Alexei Myasnikov

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

group algebrafirst-order theorylimit group

Mathematics Subject Classification ID

Group rings (16S34) Group rings of finite groups and their modules (group-theoretic aspects) (20C05) Free nonabelian groups (20E05)

Abstract: We describe solutions to the problem of elementary classification in the class of group algebras of free groups. We will show that unlike free groups, two group algebras of free groups over infinite fields are elementarily equivalent if and only if the groups are isomorphic and the fields are equivalent in the weak second order logic. We will show that the set of all free bases of a free group $F$ is 0-definable in the group algebra $K(F)$ when $K$ is an infinite field, the set of geodesics is definable, and many geometric properties of $F$ are definable in $K(F)$. Therefore $K(F)$ knows some very important information about $F$. We will show that similar results hold for group algebras of limit groups.

Recommendations

• Fields definable in the free group
• Diophantine geometry over groups. VI: The elementary theory of a free group.
• Tarski-type problems for free associative algebras
• scientific article; zbMATH DE number 2123633
• Algebraic and definable closure in free groups

Cites work

• scientific article; zbMATH DE number 4031953 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 3574054 (Why is no real title available?)
• scientific article; zbMATH DE number 1284209 (Why is no real title available?)
• scientific article; zbMATH DE number 1955470 (Why is no real title available?)
• scientific article; zbMATH DE number 890268 (Why is no real title available?)
• scientific article; zbMATH DE number 3430641 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3316934 (Why is no real title available?)
• scientific article; zbMATH DE number 3336816 (Why is no real title available?)
• scientific article; zbMATH DE number 2228140 (Why is no real title available?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• ACTIONS, LENGTH FUNCTIONS, AND NON-ARCHIMEDEAN WORDS
• Braids and self-distributivity
• Definable sets in a hyperbolic group.
• Diophantine geometry over groups VII: The elementary theory of a hyperbolic group
• Diophantine geometry over groups. VI: The elementary theory of a free group.
• Diophantine problems over local fields. III: Decidable fields
• Elementary properties of Abelian groups
• Elementary theory of free non-abelian groups.
• Elimination of quantifiers for modules
• Equations in a free 𝐐-group
• Free groups and free products—some aping theorems
• Fresh orderings of groups
• Groups in which commutativity is a transitive relation
• HF-computability
• Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint
• Model theory and algebraic geometry in groups, non-standard actions and algorithmic problems
• On L-spaces and left-orderable fundamental groups
• On locally indicable groups
• Polynomial rings and weak second-order logic
• Reflections on commutative transitivity.
• Relatively hyperbolic groups: intrinsic geometry, algebraic properties, and algorithmic problems
• SIMPLE ORDERINGS FOR FREE PARTIALLY COMMUTATIVE GROUPS
• Tarski-type problems for free associative algebras

Cited in

(5)

• Which group algebras cannot be made zero by imposing a single non-monomial relation?
• Bounded generation and commutator width of Chevalley groups: function case
• Undecidability of equations in free Lie algebras
• Diophantine problems in solvable groups
• First-order rigidity of rings satisfying polynomial identities

This page was built for publication: What does a group algebra of a free group ``know about the group?

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