Separable integral extensions and plus closure (Q1294054): Difference between revisions
From MaRDI portal
Set profile property. |
Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1980224705 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0210092 / rank | |||
Normal rank |
Latest revision as of 19:59, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Separable integral extensions and plus closure |
scientific article |
Statements
Separable integral extensions and plus closure (English)
0 references
24 July 2000
0 references
Let \(R\) be an excellent domain of characteristic \(p\), \(K\) the quotient field of \(R\), \(\overline{K}\) an algebraic closure of \(K\) and \(L\) the maximal separable field extension of \(K\) in \(\overline{K}\). Let \(R^+\) (respectively \(R^{+\operatorname {sep}})\) be the integral closure of \(R\) in \(\overline{K}\) (respectively \(L\)) and, for an ideal \(I\) of \(R\), \(I^+= IR^+\cap R\). Using an equational construction, the author shows that for every element \(z\in I^+\) there exists an integral domain \(S\), which is a separable module-finite extension of \(R\), such that \(z\in IS\). Consequently, he shows that \(I^+= IR^{+\operatorname {sep}}\cap R\), for every ideal \(I\) of \(R\). He also proves that, when \(R\) is local, \(R^{+\operatorname {sep}}\) is a big Cohen-Macaulay \(R\)-algebra [\textit{M. Hochster} and \textit{C. Huneke} have shown in Ann. Math., II. Ser. 135, 53-89 (1992; Zbl 0753.13003) that \(R^+\) is a big Cohen-Macaulay algebra]. In the last section, it is shown that \(xyz\in (x^2, y^2, z^2)^+\) in the cubic hypersurface ring \(R = k[X, Y, Z]/ (X^3+ Y^3+ Z^3)\), where \(K\) is a field of characteristic \(p\equiv 1\pmod 3\).
0 references
excellent domain
0 references
plus closure
0 references
characteristic \(p\)
0 references
integral closure
0 references
separable module-finite extension
0 references
Cohen-Macaulay algebra
0 references
cubic hypersurface ring
0 references