A note on Itoh (e)-valuation rings of an ideal

DOI10.1016/J.JALGEBRA.2017.11.008MaRDI QIDQ683500zbMATH OpenOpenAlexFDO

Authors Youngsu Kim, Louis J. Ratliff, David E. Rush

Publication date 6 February 2018

Published in Journal of Algebra (Search for Journal in Brave)

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

projective equivalence Rees valuations integral closures Rees integers

Commutative Noetherian rings and modules (13E05) Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics (13A30) Valuations and their generalizations for commutative rings (13A18)

Abstract: Let

I

be a regular proper ideal in a Noetherian ring

R

, let

e g e 2

be an integer, let

m a t h b f T_{e} = R [u, t I, u^{f r a c 1 e}]^{'} c a p R [u^{f r a c 1 e}, t^{f r a c 1 e}]

(where

t

is an indeterminate and

u = f r a c 1 t

), and let

m a t h b f r_{e} = u^{f r a c 1 e} m a t h b f T_{e}

. Then the Itoh (e)-valuation rings of

I

are the rings

(m a t h b f T_{e} / z)_{(p / z)}

, where

p

varies over the (height one) associated prime ideals of

m a t h b f r_{e}

and

z

is the (unique) minimal prime ideal in

m a t h b f T_{e}

that is contained in

p

. We show, among other things: (1)

m a t h b f r_{e}

is a radical ideal if and only if

e

is a common multiple of the Rees integers of

I

. (2) For each integer

k g e 2

, there is a one-to-one correspondence between the Itoh (k)-valuation rings

(V^{*}, N^{*})

of

I

and the Rees valuation rings

(W, Q)

of

u R [u, t I]

; namely, if

F (u)

is the quotient field of

W

, then

V^{*}

is the integral closure of

W

in

F (u^{f r a c 1 k})

. (3) For each integer

k g e 2

, if

(V^{*}, N^{*})

and

(W, Q)

are corresponding valuation rings, as in (2), then

V^{*}

is a finite integral extension domain of

W

, and

W

and

V^{*}

satisfy the Fundamental Equality with no splitting. Also, if

u W = Q^{e}

, and if the greatest common divisor of

e

and

k

is

d

, and

c

is the integer such that

c d = k

, then

Q V^{*} = {N^{*}}^{c}

and

[(V^{*} / N^{*}) : (W / Q)] = d

. Further, if

u W = Q^{e}

and

k = q e

is a multiple of

e

, then there exists a unit

h e t a_{e} i n V^{*}

such that

V^{*} = W [h e t a_{e}, u^{f r a c 1 k}]

is a finite free integral extension domain of

W, Q V^{*} = {N^{*}}^{q}, N^{*} = u^{f r a c 1 k} V^{*}

, and

[V^{*} : W] = k

. (4) If the Rees integers of

I

are all equal to

e

, then

V^{*} = W [h e t a_{e}]

is a simple free integral extension domain of

W, Q V^{*} = N^{*} = u^{f r a c 1 e} V^{*}

, and

[V^{*} : W] = e = [(V^{*} / N^{*}) : (W / Q)]

.

Recommendations

Cites work

Cited in

(1)

Bases of ideals and Rees valuation rings

This page was built for publication: A note on Itoh (\(\operatorname{e}\))-valuation rings of an ideal

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