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

DOI10.1016/J.APAL.2018.02.003zbMATH Open1442.16027arXiv1607.03138OpenAlexW2963113228MaRDI QIDQ1709682FDOQ1709682

Authors: Olga Kharlampovich, Alexei Myasnikov 

Publication date: 6 April 2018

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

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.

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

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

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)

Cites Work

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

Cited In (5)

• First-order rigidity of rings satisfying polynomial identities
• 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

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)