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 B ⊆ A B \subseteq A and if B A n = A n + 1 B{A^n} = {A^{n + 1}} 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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call