Reductions of ideals in commutative rings

Author:
James H. Hays

Journal:
Trans. Amer. Math. Soc. **177** (1973), 51-63

MSC:
Primary 13A15

MathSciNet review:
0323770

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: All rings considered in this paper are commutative, associative, and have an identity. If *A* and *B* are ideals in a ring, then *B* is a reduction of *A* if and if for some positive integer *n*. An ideal is basic if it has no reductions. These definitions were considered in local rings by Northcott and Rees; this paper considers them in more general rings. Basic ideals in Noetherian rings are characterized to the extent that they are characterized in local rings. It is shown that elements of the principal class generate a basic ideal in a Noetherian ring. Prüfer domains do not have the basic ideal property, that is, there may exist ideals which are not basic; however, a characterization of Prüfer domains can be given in terms of basic ideals. A domain is Prüfer if and only if every finitely generated ideal is basic.

**[1]**H. S. Butts and Robert W. Gilmer Jr.,*Primary ideals and prime power ideals*, Canad. J. Math.**18**(1966), 1183–1195. MR**0224605****[2]**Edward D. Davis,*Ideals of the principal class, 𝑅-sequences and a certain monoidal transformation*, Pacific J. Math.**20**(1967), 197–205. MR**0206035****[3]**Edward D. Davis,*Further remarks on ideals of the principal class*, Pacific J. Math.**27**(1968), 49–51. MR**0238827****[4]**Robert W. Gilmer,*Multiplicative ideal theory*, Queen’s Papers in Pure and Applied Mathematics, No. 12, Queen’s University, Kingston, Ont., 1968. MR**0229624****[5]**Robert Gilmer and William Heinzer,*On the number of generators of an invertible ideal*, J. Algebra**14**(1970), 139–151. MR**0252377****[6]**D. G. Northcott and D. Rees,*Reductions of ideals in local rings*, Proc. Cambridge Philos. Soc.**50**(1954), 145–158. MR**0059889****[7]**D. G. Northcott and D. Rees,*A note on reductions of ideals with an application to the generalized Hilbert function*, Proc. Cambridge Philos. Soc.**50**(1954), 353–359. MR**0062115****[8]**O. Zariski and P. Samuel,*Commutative algebra*. Vol. 1, University Series in Higher Math., VanNostrand, Princeton, N. J., 1958. MR**19**, 833.**[9]**-,*Commutative algebra*. Vol. 2, University Series in Higher Math., Van Nostrand, Princeton, N. J., 1960. MR**22**#11006.

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
13A15

Retrieve articles in all journals with MSC: 13A15

Additional Information

DOI:
https://doi.org/10.1090/S0002-9947-1973-0323770-8

Keywords:
Reductions of ideals,
basic,
Noetherian rings,
Prüfer domains,
valuation,
valuation ring,
*C*-ideals,
analytically independent,
principal class,
Dedekind domains

Article copyright:
© Copyright 1973
American Mathematical Society