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

DOI10.1016/J.JALGEBRA.2017.11.008zbMATH Open1405.13007arXiv1607.05341OpenAlexW2963086044MaRDI QIDQ683500FDOQ683500

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

Publication date: 6 February 2018

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

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)]

.

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

Recommendations

zbMATH Keywords

projective equivalence Rees valuations integral closures Rees integers

Mathematics Subject Classification ID

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)

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)