COMMUNICATIONS IN ALGEBRA, 15(3), (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY. John A. Beachy and William D.

Similar documents
Piecewise Noetherian Rings

Proceedings of the Twelfth Hudson Symposium, Lecture Notes in Math. No. 951, Springer-Verlag (1982), 4l 46.

4.4 Noetherian Rings

Algebra Homework, Edition 2 9 September 2010

Ring Theory Problems. A σ

Universal Localization of Piecewise Noetherian Rings

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

On Universal Localization of Noetherian Rings

Projective and Injective Modules

ON MAXIMAL TORSION RADICALS, II

Extended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module

TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH

THE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS. K. R. Goodearl and E. S. Letzter

ALGEBRA QUALIFYING EXAM SPRING 2012

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Solutions to Homework 1. All rings are commutative with identity!

On Commutative FDF-Rings

Math 418 Algebraic Geometry Notes

c-pure Projective and c-pure Injective R-Modules

Primary Decomposition and Associated Primes

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS

Primal, completely irreducible, and primary meet decompositions in modules

INJECTIVE MODULES AND THE INJECTIVE HULL OF A MODULE, November 27, 2009

INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA

ON RIGHT S-NOETHERIAN RINGS AND S-NOETHERIAN MODULES

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).

NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1.

Structure Theorem for Semisimple Rings: Wedderburn-Artin

RIGHT-LEFT SYMMETRY OF RIGHT NONSINGULAR RIGHT MAX-MIN CS PRIME RINGS

Skew Polynomial Rings

Injective Modules and Matlis Duality

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma

STRONGLY JÓNSSON AND STRONGLY HS MODULES

Rings and groups. Ya. Sysak

ON MAXIMAL RADICALS AND PRIME M-IDEALS

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Universal localization at semiprime Goldie ideals

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

CRing Project, Chapter 5

A CHARACTERIZATION OF TORSIONFREE MODULES OVER RINGS OF QUOTIENTS

Torsion Graph of Modules

NOTES FOR COMMUTATIVE ALGEBRA M5P55

Semi co Hopfian and Semi Hopfian Modules

Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.

Graduate Preliminary Examination

Quasi-primary submodules satisfying the primeful property II

ALGEBRA HW 4. M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are.

REFLEXIVE MODULES OVER GORENSTEIN RINGS


SUMS OF UNITS IN SELF-INJECTIVE RINGS

Two Generalizations of Lifting Modules

GENERALIZED MORPHIC RINGS AND THEIR APPLICATIONS. Haiyan Zhu and Nanqing Ding Department of Mathematics, Nanjing University, Nanjing, China

8. Prime Factorization and Primary Decompositions

DOUGLAS J. DAILEY AND THOMAS MARLEY

Introduction Non-uniqueness of factorization in A[x]... 66

Homological Methods in Commutative Algebra

On strongly prime rings, ideals and radicals

Arithmetic Funtions Over Rings with Zero Divisors

International Journal of Algebra, Vol. 4, 2010, no. 2, Atomic Modules. V. A. Hiremath 1

THE REGULAR ELEMENT PROPERTY

On Dual Versions of Krull s Intersection Theorem

Spring 2016, lecture notes by Maksym Fedorchuk 51

On quasi-reduced rings

arxiv:math/ v1 [math.ra] 27 Sep 2004

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

Lecture 4. Corollary 1.2. If the set of all nonunits is an ideal in A, then A is local and this ideal is the maximal one.

ON REGULARITY OF RINGS 1

Advanced Algebra II. Mar. 2, 2007 (Fri.) 1. commutative ring theory In this chapter, rings are assume to be commutative with identity.

A NOTE ON ZERO DIVISORS

RINGS WITH RESTRICTED MINIMUM CONDITION

NON-SELF-INJECTIVE INJECTIVE HULLS WITH COMPATIBLE MULTIPLICATION. To Carl Faith on his eightieth birthday.

2. Prime and Maximal Ideals

THE LENGTH OF NOETHERIAN MODULES

(Rgs) Rings Math 683L (Summer 2003)

1. Group Theory Permutations.

List of topics for the preliminary exam in algebra

Paul E. Bland and Patrick F. Smith (Received April 2002)

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

10. Noether Normalization and Hilbert s Nullstellensatz

Exploring the Exotic Setting for Algebraic Geometry

SUBRINGS OF NOETHERIAN RINGS

ZERO-DIMENSIONALITY AND SERRE RINGS. D. Karim

On the vanishing of Tor of the absolute integral closure

INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II

Characterisation of Duo-Rings in Which Every Weakly Cohopfian Module is Finitely Cogenerated

Cotorsion radicals and projective modules

Infinite-Dimensional Triangularization

TIGHT CLOSURE CONTENTS

A GENERAL THEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUTATIVE RING. David F. Anderson and Elizabeth F. Lewis

RESIDUAL SMALLNESS IN COMMUTATIVE ALGEBRA

Noetherian property of infinite EI categories

Homework #05, due 2/17/10 = , , , , , Additional problems recommended for study: , , 10.2.

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35

On the torsion graph and von Neumann regular rings

ALMOST PERFECT COMMUTATIVE RINGS

Part IX. Factorization

APPLICATIONS OF LOCAL COHOMOLOGY

SOME APPLICATIONS OF ZORN S LEMMA IN ALGEBRA

Math 210B: Algebra, Homework 1

Primary Decomposition and Secondary Representation of Modules over a Commutative Ring

Transcription:

COMMUNICATIONS IN ALGEBRA, 15(3), 471 478 (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY John A. Beachy and William D. Weakley Department of Mathematical Sciences Northern Illinois University DeKalb, Illinois 60115 It is well-known that over a commutative Noetherian ring R the set of all prime ideals of R is a test set for injectivity. That is, a module R X is injective if and only if for any prime ideal P R, any R-homomorphism f : P X can be extended to R. Vámos [4] has shown that a set of prime ideals of a commutative Noetherian ring R is a test set if and only if it contains each prime ideal P of R such that R P is not a field. We extend and clarify his results, showing that a set of prime ideals of a piecewise Noetherian ring is a test set if and only if it contains the set of all essential prime ideals of R. An example is given to show that in a piecewise Noetherian ring R there may exist an essential prime ideal P for which R P is a field. A commutative ring R with identity is called a piecewise Noetherian ring if it satisfies the following conditions: (i) the set of prime ideals of R satisfies the ascending chain condi 471

472 BEACHY AND WEAKLEY tion; (ii) for each prime ideal P of R, the set of P -primary ideals satisfies the ascending chain condition; (iii) each ideal of R has only finitely many prime ideals minimal over it. This property is inherited by any localization; furthermore, it implies that any maximal ideal is finitely generated [1, Proposition 2.2]. Conditions (i) and (iii) are well-known to be equivalent to the ascending chain condition on radical ideals. Recall that a ring which satisfies the latter condition is said to have Noetherian spectrum. LEMMA 1. If R is a piecewise Noetherian ring, then every nonzero R-module has an associated prime ideal. Proof. We say that a module R X has an associated prime ideal P if X contains a submodule isomorphic to R/P. To prove the lemma it suffices to show that every nonzero cyclic R-module has an associated prime ideal. Suppose that this condition does not hold. Let S be the set of all radical ideals I such that I = rad(a) for some ideal A such that R/A has no associated prime ideal. Thus S is nonempty, and so it contains a maximal element J, since by assumption R has Noetherian spectrum. We may assume without loss of generality that J is the nilradical N of R and that the module R R has no associated prime ideal. If S(N) denotes the complement of the union of the minimal prime ideals of R, then Proposition 1.3 of [1] shows that since R is piecewise Noetherian, the localization R S(N) is an Artinian

PRIME IDEALS WHICH TEST INJECTIVITY 473 ring. If the localization mapping from R to R S(N) is an embedding, then for any minimal nonzero ideal B of R S(N), it is clear that R B has an associated prime ideal. On the other hand, if the localization map is not an embedding, let x be a nonzero element of R which is torsion with respect to S(N). Then rad(ann(x)) N, and so by assumption Rx = R/ Ann(x) has an associated prime ideal. THEOREM 2. If R is a piecewise Noetherian ring, then the set of all essential prime ideals of R is a test set for injectivity. Proof. The proof follows that of Theorem 3 of [3]. Let R X be a module which is P -injective for all essential prime ideals P, and let f : I X be an R-homomorphism from an ideal I of R. There exists a maximal extension f : J X, and it can easily be checked that J is an essential ideal of R. If J is a proper ideal of R, then it follows from Lemma 1 that R/J has an associated prime ideal P. Then P is essential since P J, and the proof of Theorem 3 of [3] shows that f can be extended further since X is P -injective, a contradiction. We note that the proof of Theorem 2 requires only that the ring R has the property that for any proper essential ideal I of R, the module R/I has an associated prime ideal. LEMMA 3. Let I be an ideal of R, and let R X be an injective module.

474 BEACHY AND WEAKLEY (a) A submodule Y of X is I-injective if and only if for each x X, Ix Y implies there exists x x such that Ix = (0) and x x Y. (b) If P is a prime ideal and Y is any submodule of X, then Y = {x X cx Y for some c R\P } is I-injective for all ideals I P. (c) For any subset {a 1,..., a n } R such that a 1 is not a zero divisor modulo I, the module is I-injective. K = {(x 1,..., x n ) X n n i=1 a xx i = 0} Proof. (a) In the long exact homology sequence Hom(R/I, X) Hom(R/I, X/Y ) Ext(R/I, Y ) 0 we have Ext(R/I, Y ) = 0 if and only if Hom(R/I, X) Hom(R/I, X/Y ) is an epimorphism, and this translates immediately to the desired condition. x = 0. (b) In the given situation, condition (a) is satisfied by letting (c) To show that condition (a) is satisfied, let (x 1,..., x n ) be an element of the direct sum X n and suppose that I(x 1,..., x n ) K. Consider the submodule A of (R/I) n generated by a = (a 1,..., a n ). Define a homomorphism f : A X by f(ra) = r( n i=1 a ix i ). This is well-defined since if r(a 1,..., a n ) = 0, then r I since a 1 is not a zero-divisor modulo I, and thus by assumption f(ra) = r( n i=1 a ix i ) = 0.

PRIME IDEALS WHICH TEST INJECTIVITY 475 Since X is injective, there exists an extension f : (R/I) n X. Let y i = f (e i ), where e i is the element of (R/I) n with 1 in the i th entry and 0 elsewhere, and let x = (y 1,..., y n ). Now Ix = (0), since if r I, then ry i = f (re i ) = 0 for all i. x x K since n i=1 a iy i = f(a 1,..., a n ) = n i=1 a ix i. Furthermore, THEOREM 4. Let R be a piecewise Noetherian ring and let T be any test set of prime ideals of R. Then T contains every essential prime ideal of R. Proof. If P is an essential minimal prime ideal of R, consider P = {x E(R) cx P for some c R\P }, where E(R) denotes the injective envelope of the module R R. Then P is not injective since it is a proper essential submodule of E(R), but by Lemma 3 (b) it is Q-injective for every prime ideal Q P. It follows that P T. Next, assume that P is essential but not minimal. Then R P is not a field, and is piecewise Noetherian, so P R P is finitely generated by elements a 1,..., a n. Let X be the injective envelope over R P of the unique simple R P module S, and let Y = {(x 1,..., x n ) X n n i=1 a ix i = 0}. If Y = X n, then X is annihilated by the nonzero ideal P R P. This is a contradiction since X is a faithful R P -module. It follows that Y is not injective as an R-module, since it must

476 BEACHY AND WEAKLEY contain S n and is therefore an essential R-submodule of the R- injective module X n. As an R-module, Y is Q-injective for all prime ideals Q P, since it is a module over the localization R P, and Lemma 3 (b) may be applied. For any prime ideal Q P, some generator a i of P R P lies outside QR P. It follows from Lemma 3 (c) that Y is QR P -injective for all prime ideals Q P, and it is easy to check that this implies that Y is Q-injective for all prime ideals Q P. Again, it follows that P T. EXAMPLE 5. There exists a one-dimensional piecewise Noetherian ring R whose nilradical N is an essential minimal prime ideal such that R S(N) is a field. Proof. For each positive integer i, let p i denote the i th prime number. Let R 0 = Z[Y 1, Y 2,...], the ring of polynomials in countably many indeterminates with integer coefficients. Let I be the ideal of R 0 generated by {p i Y i, Y i+1 i R = R 0 /I. i > 0}. The desired example is For each i, let y i denote the image in R of Y i. The nilradical of R is N = (y 1, y 2,...), and it follows that R/N is Noetherian, since R/N = Z. It is then clear that R must have Noetherian spectrum, but R is not Noetherian since N is not nilpotent. By the definition of I, each element of N is torsion with respect to S(N), and thus R S(N) is a field.

PRIME IDEALS WHICH TEST INJECTIVITY 477 Furthermore, the ascending chain condition on N-primary ideals holds trivially. If P is a prime ideal of R which properly contains N, then the image of P in R/N is a nonzero prime ideal, and hence contains p k for some integer k. Then for i k, we have Ry i = (Rp k + Rp i )y i = Rp k y i, so y i Rp k. Thus the ideal (p k, y k ) of R contains N, and in fact P = (p k, y k ), so for any P -primary ideal Q of R, R P /QR P is Noetherian since the prime ideal of the ring is finitely generated. It follows that R satisfies the ascending chain condition on P -primary ideals, which shows that R is piecewise Noetherian. The set of finitely generated ideals of R cannot be a test set, and so, in particular, Spec(R)\{N} is not a test set. (To show this, if the finitely generated ideals were a test set, then any direct sum of injective modules would be injective, and R would be Noetherian by Theorem 20.1 of [2]. This also follows from Theorem 7 (a) of [4].) It follows from Theorem 2 that N is an essential prime ideal of R. REFERENCES [1] J.A. Beachy and W.D. Weakley, Piecewise Noetherian rings, Commun. Algebra 12, 1679 2706 (1984). [2] C. Faith, Algebra. II. Ring Theory. Grundlehren der Mathematischen Wissenschaften, No. 101. Springer Verlag, Berlin- New York, 1976.

478 BEACHY AND WEAKLEY [3] P.F. Smith, Injective modules and prime ideals, Commun. Algebra 9, 989 999 (1981). [4] P. Vámos, Ideals and modules testing injectivity, Commun. Algebra 11, 2495 2505 (1983). Received: April 1985