Around the Eakin-Sathaye theorem (Q2569435): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.jalgebra.2005.04.022 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2130646156 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5710766 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Prestable ideals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Joins and Intersections / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4040095 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4143433 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Borel-fixed ideals and reduction number. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4745918 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stable Ideals and Arf Rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3739243 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5829838 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On two theorems concerning reductions in local rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4694069 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rings associated with ideals and analytic spread / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalizations of Reductions and Mixed Multiplicities / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4215795 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4177688 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stable rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mixed Multiplicities, Joint Reductions and Quasi-Unmixed Local Rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Joint reductions, tight closure, and the Briançon-Skoda theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4708449 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computational methods of commutative algebra and algebraic geometry. With chapters by David Eisenbud, Daniel R. Grayson, Jürgen Herzog and Michael Stillman / rank
 
Normal rank
Property / cites work
 
Property / cites work: Multiplicities and Reduction Numbers / rank
 
Normal rank

Latest revision as of 18:05, 10 June 2024

scientific article
Language Label Description Also known as
English
Around the Eakin-Sathaye theorem
scientific article

    Statements

    Around the Eakin-Sathaye theorem (English)
    0 references
    27 October 2005
    0 references
    Throughout we use \((R,M,k)\) to indicate that \(R\) is a local Noetherian ring with maximal ideal \(M\) and with infinite residue field \(k\). Let \(I\) be an ideal in a commutative Noetherian ring \(R\) with identity. Call a subideal \(J\) of \(I\) a reduction of \(I\) if for some natural number \(n,\) \(JI^{n}=I^{n+1}\) [\textit{D. G. Northcott} and \textit{D. Rees}, Proc. Camb. Philos. Soc. 50, 145--158 (1954; Zbl 0057.02601)]. \textit{P. Eakin} and \textit{A. Sathaye} [J. Algebra 41, 439--454 (1976; Zbl 0348.13012)] proved a general result on reductions which for \((R,M,k)\) states that if for some integers \(n\geq 1,\) \( r\geq 0,\) \(I^{n}\) can be generated by fewer than \(\binom{n+r}{r}\) elements then every ideal \(J\) generated by \(r\) linear combinations of generators of \( I \) is a reduction of \(I.\) To give an algebraic theory of mixed multiplicities, \textit{D. Rees} [J. Lond. Math. Soc., II. Ser. 29, 397--414 (1984; Zbl 0572.13005)] introduced the notions of complete and joint reductions. The idea is: Let \( I_{1},I_{2},\dots ,I_{s}\) be (not necessarily distinct) ideals in \((R,M,k)\) and let \(I=I_{1}I_{2}\dots I_{s}. \) Elements \(x_{ij}\in I_{i}\) \((i=1,\dots,s;\) \( j=1,\dots ,r)\) are called a complete reduction of \(I_{1},I_{2},\dots ,I_{s}\) if \( (y_{1},\dots ,y_{r})\) is a reduction of \(I\) where \(y_{j}=x_{1j}x_{2j}\dots x_{sj}\) \((j=1,\dots,r).\) Next, elements \(x_{i}\in I_{i}\) are a joint reduction of \( I_{1},I_{2},\dots ,I_{s}\) if \( J=x_{1}I_{2}\dots I_{s}+I_{1}x_{2}I_{3}\dots I_{s}+\dots +I_{1}I_{2}\dots I_{s-1}x_{s}\) is a reduction of \(I.\) The author uses notions related to Segre embedding to prove the following analogue, for complete reductions, of the above mentioned Eakin-Sathaye theorem. Let \(I_{1},I_{2},\dots ,I_{s}\) be (not necessarily distinct) ideals in \((R,M,k).\) Set \(I=I_{1}I_{2}\dots I_{s}\). Suppose that for some integers \(n,r\) with \(n\geq 1\) and \(r\geq 0,\) \(I^{n}\) can be generated by fewer than \(\binom{n+r}{r}\) elements. Then for general elements \(y_{1},y_{2},\dots ,y_{r}\) with \(y_{j}=x_{1j}x_{2j}\dots x_{sj}\) \( (j=1,\dots ,r)\) where \(x_{ij}\in I_{i}\) \((i=1,\dots ,s),\) we have that \( (y_{1},y_{2},\dots ,y_{r})\) is a reduction for \(I.\) As an immediate corollary the author offers a version of the Eakin-Sathaye theorem for joint reductions. In addition, the author indicates, as consequences, a number of interesting applications and generalizations of known results.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Segre embedding
    0 references
    complete reduction
    0 references
    joint reduction
    0 references
    finite generation of reduction of ideal
    0 references
    reduction of ideal
    0 references
    local Noetherian ring
    0 references
    0 references
    0 references