Computing the core of ideals in arbitrary characteristic

arXiv0705.1808MaRDI QIDQ6205596FDOQ6205596

Publication date: 12 May 2007

Abstract: Let

R

be a local Gorenstein ring with infinite residue field of arbitrary characteristic. Let

I

be an

R

--ideal with

g = h e i g h t I > 0

, analytic spread

e l l

, and let

J

be a minimal reduction of

I

. We further assume that

I

satisfies

G_{e l l}

and

d e p t h R / I^{j} g e q d i m R / I - j + 1

for

1 l e q j l e q e l l - g

. The question we are interested in is whether

c o r e I = J^{n + 1} : d s s u m_{b i n I} (J, b)^{n}

for

n g g 0

. In the case of analytic spread one Polini and Ulrich show that this is true with even weaker assumptions (cite[Theorem 3.4]{PU}). We give a negative answer to this question for higher analytic spreads and suggest a formula for the core of such ideals.

Mathematics Subject Classification ID

Commutative algebra (13-XX)

This page was built for publication: Computing the core of ideals in arbitrary characteristic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6205596)