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

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

Injective Modules and Matlis Duality

REPRESENTATION THEORY WEEK 9

Ring Theory Problems. A σ

Projective and Injective Modules

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

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

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

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

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

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS

Tensor Product of modules. MA499 Project II

Lecture 6. s S} is a ring.

COHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9

NOTES ON SPLITTING FIELDS

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

ALGEBRA HW 3 CLAY SHONKWILER

The most important result in this section is undoubtedly the following theorem.

Graduate Preliminary Examination

On Extensions of Modules

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

Azumaya Algebras. Dennis Presotto. November 4, Introduction: Central Simple Algebras

Math 210B:Algebra, Homework 2

Homological Methods in Commutative Algebra

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

COMPRESSIBLE MODULES. Abhay K. Singh Department of Applied Mathematics, Indian School of Mines Dhanbad India. Abstract

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

Cohomology and Base Change

TCC Homological Algebra: Assignment #3 (Solutions)

A Primer on Homological Algebra

38 Irreducibility criteria in rings of polynomials

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS

3.2 Modules of Fractions

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

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

Structure of rings. Chapter Algebras

Homological Dimension

INTRO TO TENSOR PRODUCTS MATH 250B

Representations of quivers

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

Foundational Aspects of Linear Codes: 1. Characters and Frobenius rings

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

MATH 326: RINGS AND MODULES STEFAN GILLE

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

Recall: a mapping f : A B C (where A, B, C are R-modules) is called R-bilinear if f is R-linear in each coordinate, i.e.,

REPRESENTATION THEORY. WEEKS 10 11

Rings and Fields Theorems

Topics in Module Theory

Math Studies Algebra II

43 Projective modules

COMMUTATIVE ALGEBRA, LECTURE NOTES

Written Homework # 2 Solution

TENSOR PRODUCTS. (5) A (distributive) multiplication on an abelian group G is a Z-balanced map G G G.

and this makes M into an R-module by (1.2). 2

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

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

A TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor

Dedicated to Helmut Lenzing for his 60th birthday

Commutative Algebra. Andreas Gathmann. Class Notes TU Kaiserslautern 2013/14

A COURSE IN HOMOLOGICAL ALGEBRA CHAPTER 11: Auslander s Proof of Roiter s Theorem E. L. Lady (April 29, 1998)

Clearly C B, for every C Q. Suppose that we may find v 1, v 2,..., v n

Primary Decomposition and Associated Primes

0.1 Universal Coefficient Theorem for Homology

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

Algebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3...

On Commutative FDF-Rings

ON DIRECT SUMS OF BAER MODULES

DOUGLAS J. DAILEY AND THOMAS MARLEY

n-x -COHERENT RINGS Driss Bennis

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

REPRESENTATION THEORY, LECTURE 0. BASICS

Matsumura: Commutative Algebra Part 2

REGULAR AND SEMISIMPLE MODULES

BENJAMIN LEVINE. 2. Principal Ideal Domains We will first investigate the properties of principal ideal domains and unique factorization domains.

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

The Zero Divisor Conjecture and Self-Injectivity for Monoid Rings

Structure Theorem for Semisimple Rings: Wedderburn-Artin

MULTILINEAR ALGEBRA: THE TENSOR PRODUCT

Exploring the Exotic Setting for Algebraic Geometry

Lecture 8. Throughout this lecture, A will be a ring and M, N etc will be A-modules.

MA 252 notes: Commutative algebra

A NOTE ON ALMOST INJECTIVE MODULES

EXT, TOR AND THE UCT

COURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA

arxiv: v1 [math.ag] 2 Oct 2009

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

2. Prime and Maximal Ideals

Commutative Algebra and Algebraic Geometry. Robert Friedman

Projective modules: Wedderburn rings

Lecture 7. This set is the set of equivalence classes of the equivalence relation on M S defined by


Homework 2 - Math 603 Fall 05 Solutions

Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013

Schemes via Noncommutative Localisation

Modules over Principal Ideal Domains

COUNTING SUBMODULES OF A MODULE OVER A NOETHERIAN COMMUTATIVE RING

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES

φ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b),

4.4 Noetherian Rings

Transcription:

INJECTIVE ODULES AND THE INJECTIVE HULL OF A ODULE, November 27, 2009 ICHIEL KOSTERS Abstract. In the first section we will define injective modules and we will prove some theorems. In the second section, we will define the concept of injective hull and show that any module has a unique injective hull. We will follow [LA], section 3A and 3D. In the sections below we will fix a commutative ring R. For the theory R doesn t need to be commutative, and the generalizations follow easily. 1.1. Definition and some theory. 1. Injective modules Definition 1.1. Let be an R-module. Then is called (R-)injective if for any monomorphism f : N N (of R-modules) and any morphism g : N there exists a morphism h : N such that h f = g. In a diagram this looks as follows: 0 N N g h Lemma 1.2. Let be a module. Then is injective iff Hom R (, ) is exact. Proof. Let 0 N N N 0 be an exact sequence. In general it follows that 0 Hom R (N, ) Hom R (N, ) Hom R (N, ) is exact. To make it right exact, we just need that Hom R (N, ) Hom R (N, ) is surjective. This map is surjective for all exact sequences iff is injective by definition. Lemma 1.3. We have: i. i I i is injective iff all the i are injective. ii. A module I is injective iff any monomorphism ϕ : I splits. Proof. i. This follows directly from Hom(N, i I i) = i I Hom(N, i) for any module N and the previous lemma. ii. = : Consider the following diagram: f ϕ 0 I id h I The morphism h gives a required splitting. 1

2 ICHIEL KOSTERS =: Let f : N be a monomorphism and let g : I be a morphism. Define := N I {(f(m), g(m)) : m }. We have natural maps from N and I to, call them i 1 respectively i 2. First notice that by construction of it follows that i 1 f = i 2 g. We claim that i 2 is injective, indeed if (0, i) = (f(m), g(m)) for some m, it follows that m = 0 and hence i = 0 (since f is a monomorphism). By our assumption we obtain a splitting ϕ : I, that is: ϕ i 2 = id. We have the following diagram: 0 g I f i 2 ϕ N i 1 We obtain a map ψ := ϕ i 1 : N I. We just calculate: ψ f = ϕ i 1 f = ϕ i 2 g = g Theorem 1.4 (Baer s criterion). An R-module is injective iff any morphism I, where I is an ideal of R, can be extended to a morphism R. Proof. = : This follows directly from the definition of an injective module. =: Consider the following (exact) diagram: 0 N f N g We need to find a map from h : N. Consider the set of pairs (N, h) such that N N N, h : N with the property that h N = g. This set is non-empty, since it contains (N, g). We order this set by the relations that (N 1, h 1 ) (N 2, h 2 ) if N 1 N 2 and h 2 N1 = h 1. A non-empty chain (S i, h i ) has an upperbound, namely the union defined as (S, h) where S = S i and for x S i define h(x) := h i (x). Zorn s lemma now gives a maximal element (N, h), we claim that N = N and hence h will be an extension of g. Suppose that N N and let x N \ N. Let I := {r R : rx N } R, then I is an ideal of R. Consider the following diagram: 0 I R i h(ix)

INJECTIVE ODULES AND THE INJECTIVE HULL OF A ODULE, November 27, 2009 3 For i I we have that ix N and hence h(ix) is defined and this obviously is R-linear. By the assumption in the theorem, we obtain a map ϕ : R such that the following diagram commutes: 0 I R i h(ix) ϕ As x = 1 x it seems natural to define the following map: ϕ : Rx + N rx + n rϕ(1) + h(n ) for r R and n N. We check that this map is well-defined. For this suppose that rx = n where r R and n N. But this follows since rϕ(1) = ϕ(r) = h(rx) = h(n). Hence (Rx + N, ϕ) is a proper extension of (N, h), contradicting the maximality of (N, h). Hence N = N and we are done. Example 1.5. For example Q/Z is Z-injective. This follows easily from Baer s criterion (it shows that a group is injective iff the group is divisble). With this criterion one can also for example prove that any local Artinian ring with principal maximal ideal is injective over itself. Example 1.6. Let R be a domain. We claim that its quotient field, Q(R), is injective over R. We check this using Baer s criterion. Let ϕ : I Q(R) be an R-linear map where I is an ideal of R. If I = 0 extend by the zero map. Otherwise let 0 i I and define the following map: ψ : R Q(R) r r ϕ(i) i This map is obviously R-linear and if j I: ψ(j) = j ϕ(i) i = i ϕ(j) i = ϕ(j) 1.2. Enough injectives. We will now prove that any R-module can be embedded into an injective module. We will first prove this for Z-modules: Lemma 1.7. Let A be a Z-module. Then there exists an injective module I and a monomorphism ϕ : I. Proof. Recall that Q/Z is injective. For a Z-module B define B := Hom Z (B, Q/Z). We now have a natural map as follows: ψ : A A a (ϕ ϕ(a)) One can easily see that this map is injective since Q/Z is injective. Now let j J Z A be a surjection, then we get an embedding A = Hom Z (A, Q/Z) Hom Z ( j J Z, Q/Z) = (Q/Z) J. Hence we have an embedding A (Q/Z) J. By Lemma 1.3 this last module is injective, and hence we are done.

4 ICHIEL KOSTERS Lemma 1.8. Let R be an S algebra. Let A be an injective S-module and P a projective R-module. Then Hom S (P, A) is an injective R-module. Proof. We need to show that Hom R (, Hom S (P, A)) is exact. First notice that Hom R (, Hom S (P, A)) = Hom S ( R P, A) (universial property of tensor product). Now notice that the functor R P is exact since P is projective. As A is injective, it follows that Hom S (, A) is exact. Combine both to obtain the result. Theorem 1.9. Let be an R-module. Then there is an injective module I and a monomorphism ϕ : I. Proof. First consider as Z-module and by Lemma 1.7 there is a Z-injective module I 1 such that we have a monomorphism ϕ 1 : I 1. By the previous lemma, since R is projective over R, Hom Z (R, I 1 ) is injective. Consider the following map: ϕ : Hom Z (R, I 1 ) m (r ϕ 1 (rm)) One can easily show that ϕ is R-linear and that ϕ is injective. Indeed, if ϕ(m) = 0, then ϕ 1 (m) = ϕ 1 (1cṁ) = 0 in I, hence m = 0. 2.1. Essential extensions. 2. Injective hulls Definition 2.1. Let be a module. A module E is called an essential extension of if every non-zero submodule of E intersect non-trivially. We denote this as E e. Such an essential extension is called maximal if no module properly containing E is an essential extension of. Remarks 2.2. i. If E 2 e E 1 and E 1 e, then E 2 e (follows directly). ii. Let E. Then E is an essential extension of if for any 0 a E we have Ra 0. Lemma 2.3. A module is injective iff has no proper essential extensions. Proof. = : Suppose that is injective and let E e be an essential extension. Apply Lemma 1.3 ii, to see that 0 E splits, that is, E = E for some submodule E E. But then E = 0, and hence E = 0 and = E. =: Now suppose that has no proper essential extension. Embed into an injective module I and let S be a maximal submodule such that S = 0 (Zorn). Then I/S is an essential extension of I, hence = I/S, hence I = S. Now apply Lemma 1.3 i to see that itself is injective. Lemma 2.4. Any module has a maximal essential extension. Proof. Embed into an injective module I. We claim that there are maximal essential extensions of in I. We order the set of essential extensions of in I by inclusion. The union of a chain of essential extensions is again essential (use Remark 2.2), and by Zorn s lemma there are maximal essential extensions of in I. We claim that such an extension is a maximal essential extension (in general). Let E be such a maximal essential extension inside I and suppose that E e E e. Since E E is an inclusion and I is injective, we can extend the inclusion E I to a map ϕ : E I. Since Ker(ϕ) = 0 (by construction), it follows that ϕ

INJECTIVE ODULES AND THE INJECTIVE HULL OF A ODULE, November 27, 2009 5 is injective (E e is essential), but this contradicts the maximality of E inside I. 2.2. Injective hulls. Theorem 2.5. For modules I, the following are equivalent: i. I is a maximal essential extension of. ii. I is injective, and is essential over. iii. I is minimal injective over. Proof. i = ii: It follows from Remark 2.2 that I is maximal essential, hence by Lemma 2.3 I it injective. ii = iii: Suppose that I I is injective. Then I = I J for some submodule J (Lemma 1.3 ii). As I, it follows that J = 0, since I e, it follows that J = 0 and hence I = I. iii = i: From the proof of Lemma 2.4 it follows that there is a maximal essential extension E of contained in I. By i = ii we see that E is injective. Since I was a minimal injective module containing, we have E = I. Definition 2.6. If I satisfy the equivalent properties of the above theorem (Theorem 2.5), then I is called an injective hull of (we have proved the existence in Lemma 2.4). Lemma 2.7. Let I, I be injective hulls of. Then there exists an isomorphism g : I I which is the identity on. Proof. The map I can be extended, by injectivity of I, to a map g : I I. The map is the identity on and as before since (kerg) = 0, it follows by essentiality that g is injective. Since I was minimal injective, it follows that g is surjectie as well. (Note that the isomorphism is not necessarily unique). Notation 2.8. The injective hull of is denoted by E(). Lemma 2.9. i. If I is an injective module containing, then I contains a copy of E(). ii. If e N, then N can be enlarged to a copy of E() and E() = E(N). Proof. i. Follows from the proof of Lemma 2.4. ii. It follows that E(N) e N e. Hence E(N) e N and it is still a maximal essential extension. It follows that E() = E(N). Lemma 2.10. Let j E j for all j J be modules over R. Then j J j e j J E j iff for all j J : j e E j. Proof. = : Trivial. =: Trivial. Lemma 2.11. Let j for 1 j n be R-modules. Then E( n j=1 j) = n j=1 E( j). Proof. Note that n j=1 E( j) is injective (Lemma 1.3) and by the previous lemma it is essentiel over n j=1 j, hence we are done.

6 ICHIEL KOSTERS 2.3. Examples. Example 2.12. Let R be a domain. Then we know that Q(R) is injective (Example 1.6), and Q(R) is essential over R. Hence E(R) = Q(R). Example 2.13. Let C n denote the cyclic group of order n. Define C p = i Z 1 C p i. One can easily check that this group is divisble, hence injective over Z. It is easy to see that C p is essential over C p i for i Z 1. Therefore E(C p i) = C p for i Z 1. Example 2.14. Let k be a field, then k is injective over k (see Example 1.6). Let R be a finite algebra over k. Let ˆR := Hom k (R, k). We have seen in Lemma 1.8 that ˆR is injective. Let S ˆR be the module generated by all simple submodules of ˆR. Since any module contains a simple submodule, it follows that E(S) = ˆR. One can show that S = R/radR where radr is the Jacobson radical of R (the intersection of the maximal ideals). References [LA] T.Y. Lam, Lectures on modules and rings, Springer-Verlag New York, Inc., 1999