Computing the core of ideals in arbitrary characteristic

Abstract: Let

R

be a Noetherian local ring and let

I

be an ideal in

R

. The ideal

I

is called balanced if the colon ideal

J : I

is independent of the choice of the minimal reduction

J

of

I

. Under suitable assumptions, Ulrich showed that

I

is balanced if and only if the reduction number,

r (I)

, of

I

is at most the `expected' one, namely

e l l (I) - h e i g h t I + 1

, where

e l l (I)

is the analytic spread of

I

. In this article we propose a generalization of balanced. We prove under suitable assumptions that if either

R

is one-dimensional or the associated graded ring of

I

is Cohen-Macaulay, then

J^{n + 1} : I^{n}

is independent of the choice of the minimal reduction

J

of

I

if and only if

r (I) l e q e l l (I) - h e i g h t I + n

.

Recommendations

Cites Work

Cited In (10)

Uses Software

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