Grothendieck rings of theories of modules

Amit Kuber
DOI: https://doi.org/10.1016/j.apal.2014.11.011
IF: 0.776
2015-03-01
Annals of Pure and Applied Logic
Abstract:The model-theoretic Grothendieck ring of a first order structure, as defined by Krajicěk and Scanlon, captures some combinatorial properties of the definable subsets of finite powers of the structure. In this paper we compute the Grothendieck ring, K0(MR), of a right R-module M, where R is any unital ring. As a corollary we prove a conjecture of Prest that K0(MR) is non-trivial, whenever M is non-zero. The main proof uses various techniques from simplicial homology and lattice theory to construct certain counting functions.
mathematics, applied,logic
What problem does this paper attempt to address?