First-order model theory and Kaplansky's stable finiteness conjecture
Group Theory
2023-11-07 v3 Logic
Rings and Algebras
Abstract
Using algebraic geometry methods, the third author proved that the group ring of a surjunctive group with coefficients in a field is always stably finite. In other words, every group satisfying Gottschalk's conjecture also satisfies Kaplansky's stable finiteness conjecture. Here we present an alternative proof of this result based on first-order model theory.
Cite
@article{arxiv.2310.09451,
title = {First-order model theory and Kaplansky's stable finiteness conjecture},
author = {Tullio Ceccherini-Silberstein and Michel Coornaert and Xuan Kien Phung},
journal= {arXiv preprint arXiv:2310.09451},
year = {2023}
}