Nilpotent elements in Grothendieck rings (Q580436): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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\). | |||
Property / review text: 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\). / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13C05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54C40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13D99 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13E10 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 4017048 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Grothendieck rings | |||
Property / zbMATH Keywords: Grothendieck rings / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
isomorphism classes of finitely presented modules | |||
Property / zbMATH Keywords: isomorphism classes of finitely presented modules / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Noetherian maximal ideal space | |||
Property / zbMATH Keywords: Noetherian maximal ideal space / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
ring of continuous functions | |||
Property / zbMATH Keywords: ring of continuous functions / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
cancellation | |||
Property / zbMATH Keywords: cancellation / rank | |||
Normal rank |
Revision as of 18:40, 1 July 2023
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