Tight closure with respect to a multiplicatively closed subset of an F-pure local ring

DOI10.1016/J.JPAA.2014.05.021MaRDI QIDQ473010zbMATH OpenOpenAlexFDO

Publication date 21 November 2014

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1301.6890

Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35) Commutative Noetherian rings and modules (13E05) Complete rings, completion (13J10)

Abstract: Let

R

be a (commutative Noetherian) local ring of prime characteristic that is

F

-pure. This paper studies a certain finite set

m a t h c a l I

of radical ideals of

R

that is naturally defined by the injective envelope of the simple

R

-module. This set

m a t h c a l I

contains

0

and

R

, and is closed under taking primary components. For a multiplicatively closed subset

S

of

R

, the concept of tight closure with respect to

S

, or

S

-tight closure, is discussed, together with associated concepts of

S

-test element and

S

-test ideal. It is shown that an ideal of

R

belongs to

m a t h c a l I

if and only if it is the

S^{'}

-test ideal of

R

for some multiplicatively closed subset

S^{'}

of

R

. When

R

is complete,

m a t h c a l I

is also `closed under taking test ideals', in the following sense: for each proper ideal

C

in

m a t h c a l I

, it turns out that

R / C

is again

F

-pure, and if

J

and

K

are the unique ideals of

R

that contain

C

and are such that

J / C

is the (tight closure) test ideal of

R / C

and

K / C

is the big test ideal of

R / C

, then both

J

and

K

belong to

m a t h c a l I

. The paper ends with several examples.

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Tight closure with respect to a multiplicatively closed subset of an \(F\)-pure local ring

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