Nilpotent elements in Grothendieck rings (Q580436): Difference between revisions
From MaRDI portal
Changed an Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 08:27, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Nilpotent elements in Grothendieck rings |
scientific article |
Statements
Nilpotent elements in Grothendieck rings (English)
0 references
1988
0 references
Let \(M_ 1,...,M_ n\) be isomorphism classes of finitely presented modules over a commutative ring R. One forms the ring \({\mathbb{Z}}[M_ 1,...,M_ n]\) with \(\oplus\) and \(\otimes\) as addition and multiplication, and with the obvious relations. It is shown that if M and N are locally isomorphic, then there is an integer n, depending on M, N and R, such that \((M-N)^ n=0\) in \({\mathbb{Z}}[M,N]\). In some situations there is such an n depending only on R: If R has d-dimensional Noetherian maximal ideal space, or if R is the ring of continuous functions on a compact Hausdorff space of covering dimension d, one can take \(n=d+1.\) In rings of low dimension there are cancellation theorems, giving applications of the following sort: Let R be a one-dimensional reduced Noetherian ring with finite normalization, and let M and N be finitely generated R-modules. If \(\oplus ^ nM\cong \oplus ^ nN\), then \(\otimes ^ nM\cong \otimes ^ nN\).
0 references
Grothendieck rings
0 references
isomorphism classes of finitely presented modules
0 references
Noetherian maximal ideal space
0 references
ring of continuous functions
0 references
cancellation
0 references