Grothendieck rings of theories of modules

DOI10.1016/J.APAL.2014.11.011MaRDI QIDQ487696zbMATH OpenOpenAlexFDO

Authors Amit Kuber

Publication date 23 January 2015

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

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

zbMATH Keywords

model theoryGrothendieck ringmodulemonoid ringabstract simplicial complexpositive primitive formula

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Semigroup rings, multiplicative semigroups of rings (20M25) Semirings (16Y60) Abstract complexes in algebraic topology (55U05)

Abstract: The model-theoretic Grothendieck ring of a first order structure, as defined by Krajicv{e}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, $K_0(M_{m}athcalR)$, of a right $R$-module $M$, where $mathcalR$ is any unital ring. As a corollary we prove a conjecture of Prest that $K_0(M)$ is non-trivial, whenever $M$ is non-zero. The main proof uses various techniques from the homology theory of simplicial complexes.

Recommendations

• Poor triviality and the sameness of Grothendieck semirings
• Nilpotent elements in Grothendieck rings
• Grothendieck rings of Laurent series fields.
• The Grothendieck ring of varieties and of the theory of algebraically closed fields
• scientific article; zbMATH DE number 1159506

Cites work

• scientific article; zbMATH DE number 1703931 (Why is no real title available?)
• scientific article; zbMATH DE number 3716424 (Why is no real title available?)
• scientific article; zbMATH DE number 192904 (Why is no real title available?)
• scientific article; zbMATH DE number 1113187 (Why is no real title available?)
• scientific article; zbMATH DE number 1789949 (Why is no real title available?)
• scientific article; zbMATH DE number 2103273 (Why is no real title available?)
• scientific article; zbMATH DE number 1457520 (Why is no real title available?)
• Canonical forests in directed families
• Canonical forms for definable subsets of algebraically closed and real closed valued fields
• Combinatorics with Definable Sets: Euler Characteristics and Grothendieck Rings
• Elimination of quantifiers for modules
• Germs of arcs on singular algebraic varieties and motivic integration
• Grothendieck rings of Laurent series fields.
• Grothendieck rings of \(\mathbb{Z}\)-valued fields
• On Products of Complexes
• Purity, spectra and localisation.
• Simplicial structures in topology.

Cited in

(9)

• Poor triviality and the sameness of Grothendieck semirings
• scientific article; zbMATH DE number 1159506 (Why is no real title available?)
• Grothendieck rings of \(\mathbb{Z}\)-valued fields
• A Grothendieck module with applications to Poincaré rationality
• Nilpotent elements in Grothendieck rings
• Theory of Modules
• The Grothendieck group of torsion-free modules of finite rank over a valuation ring
• Definable combinatorics with dense linear orders
• Grothendieck rings of Laurent series fields.

This page was built for publication: Grothendieck rings of theories of modules

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