On invariance of the Euler class groups under a subintegral base change (Q401716): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Let \(R\) be a commutative Noetherian ring. A ring extension \(R\hookrightarrow S\) is called subintegral if: (1) it is integral, (2) the induced map \(\text{Spec}(S)\rightarrow\text{Spec}(R)\) is bijective, and (3) the induced field extensions \(R_{\mathfrak p}/{\mathfrak p}R_{\mathfrak p}\hookrightarrow S_{\mathcal{P}}/{\mathcal{P}}S_{\mathcal{P}}\) are all trivial, where \(\mathcal{P}\in\text{Spec}S\) and \(\mathfrak p=\mathcal{P}\cap R\). In the paper under review, the authors prove that if \(R\hookrightarrow S\) be a subintegral extension with \(\text{dim}R=n\geqslant2\), then the \(n\)th Euler class group of \(R\) is isomorphic to the \(n\)th Euler class group of \(S\) (see [\textit{S. M. Bhatwadekar} and \textit{R. Sridharan}, Compos. Math. 122, No. 2, 183--222 (2000; Zbl 0999.13007)] for the definition of Euler class group). They also give an example to show that similar conclusion does not holds for integral (but not subintegral) extension of rings. \textit{F. Ischebeck} [J. Algebra 121, No. 2, 323--338 (1989; Zbl 0684.13003)] asked the following question. { Question.} Let \(R\hookrightarrow S\) be a subintegral extension. Let \(P\) and \(Q\) be two projective \(R\)-modules such that \(\text{det} P\simeq\text{det}Q\) and \(P\bigotimes S\simeq Q\bigotimes S\). Is \(P\simeq Q\)? The authors give an affirmative answer in the case when \(\dim R=2\). | |||
Property / review text: Let \(R\) be a commutative Noetherian ring. A ring extension \(R\hookrightarrow S\) is called subintegral if: (1) it is integral, (2) the induced map \(\text{Spec}(S)\rightarrow\text{Spec}(R)\) is bijective, and (3) the induced field extensions \(R_{\mathfrak p}/{\mathfrak p}R_{\mathfrak p}\hookrightarrow S_{\mathcal{P}}/{\mathcal{P}}S_{\mathcal{P}}\) are all trivial, where \(\mathcal{P}\in\text{Spec}S\) and \(\mathfrak p=\mathcal{P}\cap R\). In the paper under review, the authors prove that if \(R\hookrightarrow S\) be a subintegral extension with \(\text{dim}R=n\geqslant2\), then the \(n\)th Euler class group of \(R\) is isomorphic to the \(n\)th Euler class group of \(S\) (see [\textit{S. M. Bhatwadekar} and \textit{R. Sridharan}, Compos. Math. 122, No. 2, 183--222 (2000; Zbl 0999.13007)] for the definition of Euler class group). They also give an example to show that similar conclusion does not holds for integral (but not subintegral) extension of rings. \textit{F. Ischebeck} [J. Algebra 121, No. 2, 323--338 (1989; Zbl 0684.13003)] asked the following question. { Question.} Let \(R\hookrightarrow S\) be a subintegral extension. Let \(P\) and \(Q\) be two projective \(R\)-modules such that \(\text{det} P\simeq\text{det}Q\) and \(P\bigotimes S\simeq Q\bigotimes S\). Is \(P\simeq Q\)? The authors give an affirmative answer in the case when \(\dim R=2\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Mohammad-Reza Doustimehr / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13C10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 19A15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13B22 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6334742 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Euler class groups | |||
Property / zbMATH Keywords: Euler class groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
subintegral and seminormal extensions | |||
Property / zbMATH Keywords: subintegral and seminormal extensions / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
projective modules | |||
Property / zbMATH Keywords: projective modules / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
efficient generation of ideals | |||
Property / zbMATH Keywords: efficient generation of ideals / rank | |||
Normal rank |
Revision as of 16:31, 29 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On invariance of the Euler class groups under a subintegral base change |
scientific article |
Statements
On invariance of the Euler class groups under a subintegral base change (English)
0 references
27 August 2014
0 references
Let \(R\) be a commutative Noetherian ring. A ring extension \(R\hookrightarrow S\) is called subintegral if: (1) it is integral, (2) the induced map \(\text{Spec}(S)\rightarrow\text{Spec}(R)\) is bijective, and (3) the induced field extensions \(R_{\mathfrak p}/{\mathfrak p}R_{\mathfrak p}\hookrightarrow S_{\mathcal{P}}/{\mathcal{P}}S_{\mathcal{P}}\) are all trivial, where \(\mathcal{P}\in\text{Spec}S\) and \(\mathfrak p=\mathcal{P}\cap R\). In the paper under review, the authors prove that if \(R\hookrightarrow S\) be a subintegral extension with \(\text{dim}R=n\geqslant2\), then the \(n\)th Euler class group of \(R\) is isomorphic to the \(n\)th Euler class group of \(S\) (see [\textit{S. M. Bhatwadekar} and \textit{R. Sridharan}, Compos. Math. 122, No. 2, 183--222 (2000; Zbl 0999.13007)] for the definition of Euler class group). They also give an example to show that similar conclusion does not holds for integral (but not subintegral) extension of rings. \textit{F. Ischebeck} [J. Algebra 121, No. 2, 323--338 (1989; Zbl 0684.13003)] asked the following question. { Question.} Let \(R\hookrightarrow S\) be a subintegral extension. Let \(P\) and \(Q\) be two projective \(R\)-modules such that \(\text{det} P\simeq\text{det}Q\) and \(P\bigotimes S\simeq Q\bigotimes S\). Is \(P\simeq Q\)? The authors give an affirmative answer in the case when \(\dim R=2\).
0 references
Euler class groups
0 references
subintegral and seminormal extensions
0 references
projective modules
0 references
efficient generation of ideals
0 references