Grothendieck rings of theories of modules

DOI10.1016/J.APAL.2014.11.011zbMATH Open1334.03040arXiv1302.4229OpenAlexW2048296540MaRDI QIDQ487696FDOQ487696

Amit Kuber

Publication date: 23 January 2015

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Purity, spectra and localisation.
• Title not available (Why is that?)
• Germs of arcs on singular algebraic varieties and motivic integration
• Combinatorics with Definable Sets: Euler Characteristics and Grothendieck Rings
• Title not available (Why is that?)
• Canonical forests in directed families
• On Products of Complexes
• Elimination of quantifiers for modules
• Simplicial structures in topology.
• Grothendieck rings of Laurent series fields.
• Grothendieck rings of \(\mathbb{Z}\)-valued fields
• Title not available (Why is that?)
• Canonical forms for definable subsets of algebraically closed and real closed valued fields
• Title not available (Why is that?)

Cited In (8)

• Title not available (Why is that?)
• 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)