3 The Hom Functors Projectivity and Injectivity.
|
|
- Dina Welch
- 6 years ago
- Views:
Transcription
1 3 The Hom Functors Projectivity and Injectivity. Our immediate goal is to study the phenomenon of category equivalence, and that we shall do in the next Section. First, however, we have to be in control of the so-called Hom functors and projective modules. Later in the term, the duals of projective modules, the injective modules, will play a crucial role. So in this Section we will treat the basics of these two types of modules. We begin with a pair of rings R and S aand an (R, S)-bimodule R U S. This bimodule determines two Hom functors defined by Hom R ( R U S, ):RMod SMod and Hom R (, R U S ):RMod ModS Hom R ( R U S, ): R M Hom R ( R U S, R M) and Hom R (, R U S ): R M Hom R ( R M, R U S ) for each R M in RMod, and Hom R ( R U S,f):ϕ f ϕ and Hom R (f, R U S ):ψ ψ f for all f : M N in RMod and all ϕ Hom R (U, M) and all ψ Hom R (N,U). One readily checks that both of these are additive, that Hom R ( R U S, ) is covariant and Hom R (, R U S ) is contravariant. In general, these functors are not exact, but each is left exact. That is, for each short exact sequence in RMod the sequence is exact in SMod, and 0 Hom(U, K) Hom(U,f) 0 Hom(N,U) Hom(g,U) 0 K f M g N 0 Hom(U, M) Hom(U,g) Hom(U, N) Hom(M,U) Hom(f,U) Hom(K, U) is exact in ModS. We do not want to take the time to prove these facts here. Although exactness at M is a bit of a challenge, the proof is pretty strightforward diagram chasing. Proofs are available in standard references; see, for example, [1] and [6]. In the interest of completeness, we ll record all of this formally Theorem. If R U S is a bimodule, then the functors Hom R ( R U S, ):RMod SMod and Hom R (, R U S ):RMod ModS are both additive and left exact with Hom R ( R U S, ) covariant and Hom R (, R U S ) contravariant.
2 Non-Commutative Rings Section 3 23 Since the notation for these functors is more than a little cumbersome, it is fairly common, when the bimodule U is fixed, to abbreviate M = Hom(U, M),f = Hom(U, f) and M = Hom(M,U),f = Hom(f,U). These Hom functors need not be exact, but as we shall see the modules U for which they are exact play a very important role in our study. Let R be a ring. A left module R P is projective in case the covariant evaluation functor Hom R (P, ) :RMod Ab is exact. Dually, a left module R Q is injective in case the contravariant duality functor Hom R (,Q):RMod Ab is exact. We defined projective and injective left modules the definition for right modules should be clear. Also, note that although we defined these in terms of functors into Ab, exactness holds more generally. For one example, if S is another ring, then R P S is projective as a left R-module iff Hom R (P, ) :RMod SMod is exact. You can easily check out this and the other cases. The first thing we want to determine is whether any of these modules exist. And, once we learn that there are plenty of them, we d like to find out just how nice, or not, they may be. Although these concepts are homologically dual, we cannot automatically take every true statement about projective modules, turn it around, and have a true statement about injective modules. So to some extent we have to treat them separately. We ll begin with projectives. But, first, let 0 e R be an idempotent, so ere is a ring with identity e. Define a function Λ e : RMod eremod by Λ e : M em for each R M and Λ e (f) :ex ef(x) for each f : M N in RMod. Then one easily checks that Λ e is an additive, exact, covariant functor. The following Lemma then describes a natural isomorphism of the functors Λ e and Hom R (Re, ) 3.2. Lemma. Let e R be a non-zero idempotent. Then for each R M there is a natural ereisomorphism ρ M : em Hom R (Re, M), defined by ρ M (ex) :ae aex for all ex em and ae Re. Proof. Clearly, each ρ M (ex) isanr-linear map from Re to M and the map ρ M : ex ρ M (ex) is additive. So let ere ere, ex em, and ae Re. Then ρ M (erex)(ae) = aerex =(aere)(ex) = ρ M (ex)(aere) = [ereρ M (ex)](ae), (where the last equality comes from the way ere acts on Hom R (Re, M)), so that ρ M is R-linear. For each ϕ Hom R (Re, M) we see that ϕ = ρ M (eϕ(e)), so ρ M is epic, and if ex Ker ρ M, then
3 24 Section 3 ex = ρ M (ex)(e) =0,soρ M is monic. Finally, let f : M N in RMod and consider the following diagram: em ef en ρ M ρ N f Hom(Re, M) Hom(Re, N) Then for each ex em and ae Re f (ρ M (ex))(ae) = f(aex) =aef(ex) = ρ N (ef(ex))(ae), so the diagram commutes and ρ is natural. Since the functor Λ e is exact, this means that Hom R (Re, ) is exact and Re is projective. In particular, the regular module R R is projective. Now a module R P is projective precisely when the functor Hom R (P, ) is exact. Equivalently, R P is projective iff for every R-epimorphism M g N 0, every R-homomorphism f : P N factors through g; that is, there exists a homomorphism h : P M with f = g h. P h f g M N 0 Dually, a module R Q is injective provided the functor Hom R (,Q) is exact. So, equivalently, R Q is injective iff for every R-monomorphism 0 N g M, every R-homomorphism f : N Q factors through g; that is, there exists a homomorphism h : M Q with f = h g. Q f h 0 g N M 3.3. Proposition. In RMod, (1) A coproduct (P, (i α ) Ω ) of left R modules (P α ) Ω is projective iff each P α is projective; (2) A product (Q, (p α ) Ω ) of left R modules (Q α ) Ω is injective iff each Q α is injective.
4 Non-Commutative Rings Section 3 25 Proof. We ll prove (1) and leave the dual proof to you. Moreover, it will suffice to assume that P is the coproduct P = Ω P α with coordinate monomorphisms ι α : P α P. Then also let π α be the coordinate projection π α : P P α. (= ) Consider the diagram P π α P α h h f g M N 0 with g an epimorphism and f a homomorphism. Since P is projective and fπ α : P N, there is a homomorphism h : P M for which fπ α = gh. Define h by h = h ι α : P α M. Then gh = gh ι α = fπ α ι α = f and so P α is projective. ( =) Consider the diagram ι α P α P h h α f g M N 0 where g is an epimorphism and f : P N is a homomorphism. Since P α is projective and fι α : P α N, there exists an h α : P α M with gh α = fι α. Then h = Ω h α : P M and (gh f)ι α = ghι α fι α = gh α fι α = 0 for each α Ωsogh = f and P is projective. Now by Lemma 3.2, the regular module R R is projective, so it follows from Proposition Corollary. Every free module is projective. Proof. By Lemma 3.2, the regular modules R R and R R are projective Proposition. For a module R P the following are equivalent: (a) R P is projective; (b) Every epimorphism M g P 0 splits; (c) R P is isomorphic to a direct summand of a free module. Proof. (a) = (b). Consider the diagram P h 1 P g M P 0 with exact row. If it commutes, then gh =1 P and the epimorphism g is split.
5 26 Section 3 (b) = (c). There is some free module R F and some epimorphism F P 0. Apply (b). (c) = (a). By Corollary 3.4 every free module is projective and by Proposition 3.3 every direct summand of a projective module is projective. Since every module is a factor of a free module, we have trivially the following important 3.6. Corollary. For every left R module R M there is a projective module R P and an R- epimorphism P M 0. The above results for projective modules all have duals for injective modules. There is one small hitch. The notion dual to that of a free module is not quite so obvious. So we will postpone discussion of these injective cogenerators. Fortunately, though, we can fairly easily find a dual to Corollary 3.6. We begin with a really nice test for injectivity Lemma. [The Injective Test Lemma.] A module R Q is injective iff for every left ideal I of R and every R homomorphism f : I Q there is a homomorphism g : R Q with g I = f. Proof. The direction (= ) is trivial. For the other direction, ( =), asume that Q satisfies the stated condition. As a first step we prove the claim Claim. If N is a submodule of a cyclic module Rx, and if f : N Q is an R homomorphism, then there is a homomorphism g : Rx Q with g N = f. To prove the claim, first note that right multiplication by x, ρ = ρ x : R Rx is an epimorphism and ρ (N) =I is a left ideal of R. Now consider the following diagram: 0 inc I R ρ I ρ 0 N inc Rx f Q By hypothesis there is a homomorphism h : R Q such that h I = fρ I. Since Ker ρ I, we have Ker ρ Ker h, so that h lifts to some g : Rx Q with h = gρ. But then for all a I, we have gρ(a) =h(a) =fρ(a),sog N = f, as claimed. Now consider the diagram Q f 0 N inc M
6 Non-Commutative Rings Section 3 27 Let F be the set of all R homomorphisms g such that R N D g = Dom g R M and g : D g Q with g N = f. Then F is a poset w.r.t. the relation g g iff both D g D g and g D g = g. By Zorn there exists a maximal g F. Let D = D g. We claim D = M. Indeed, suppose x M\D. Consisder the cyclic submodule Rx. Let K = Rx D Rx. By the Claim there is an h : Rx Q with h K = g K. Let y D and a R with ax + y =0,soax = y K. Then h(ax)+g(y) =g(ax) g(y) = 0. That is, there is an R homomorphism g : Rx + D Q defined by g(ax + y) =h(ax)+g(y), contrary to the maximality of g. Now we can begin to prove that injectives exist; we begin by finding some injective abelian groups. More generally, let R be a PID. A module R Q is divisible in case for each 0 d R, dq = Q. For example, the Z modules (= abelian groups) Q and Z p are divisible Lemma. A module R Q over a PID R is injective iff it is divisible. Proof. Let d R be non-zero. For each q Q there is an R-homomorphism f : Rd Q with f(d) =q. Then f has an extension g : R Q iff q = f(d) =g(d) =dg(1) iff q dq. So by the Injective Test Lemma 3.7 R Q is injective iff Q = dq for each non-zero d R. So there do exist some injective abelian groups. Now we prove that there exist a lot of them, enough so that every abelian group lies in at least one injecive Corollary. If M is an abelian group then there is some divisible group D and a monomorphism M D. Proof. There is an epimorphism from the free abelian group Z (M) onto M, so that for some K Z (M), M = Z (M) /K Q (M) /K = D a divisible group. But for an arbitrary ring R each of these divisible groups produces an injective R-module, so the injectives are starting to pile up Lemma. Let R be a ring. Then for every divisible abelian group D, the R-module Hom Z (R R,D) is injective. Proof. The proof uses one version of Adjoint Associativity ; namely, if R and S are rings and if there are modules R M, S N R, S K, then there is an isomorphism natural in each variable Hom R (M,Hom S (N,K)) = Hom S (N R M,K). Now R R is projective, so the functor R R ( ) is exact. Also Z D is injective, so the functor Hom Z (,D)
7 28 Section 3 is exact. Thus, the functor Hom Z (R R ( ),D) is exact. Then by Adjoint Associativity, the functor Hom R (, Hom Z (R, D)) is exact. Therefore, Hom Z (R, D) is injective. Now, at last. we have the important dual to Corollary Corollary. For every module R M there exists some injective R Q and a monomorphism M Q. Proof. By Corollary 3.9 the abelian group M can be embedded in some divisible group D. But then by Lemma 3.10, Hom(R R,D) is injective, and clearly, RM = Hom R (R, M) Hom Z (R, M) Hom Z (R, D). And with that we can obtain a (partial) dual to the important Proposition Proposition. A module R Q is injective iff every monomorphism 0 Q M splits. Proof. ( ) Consider the diagram Q 1 h Q 0 f Q M If it commutes, then hf =1 Q, and the monomorphism f is split. ( ) By Corollary 3.11, there is an injective module E with Q E. So if the inclusion map Q E splits, then E = Q Q and by Proposition 3.3, Q is injective. We conclude this Section with a brief return to projective modules. The point is to discuss an important characteristic property of finitely generated projectives. We begin with an arbitrary left R-module R M. Then its R-dual M = Hom R (M,R) is a right module. The elements of this R-dual M are often called linear functionals. And, here, we will write them as right operators. Thus, for each x M, r R, and f M we have (rx)f = r(xf) R. A pair of sequences (x 1,...,x n )inm and (f 1,...,f n )inm is called a dual basis for M in case for each x M, n x = (xf i )x i. i=1
8 Non-Commutative Rings Section 3 29 As an important example of such a dual basis, let R F be a free module with free basis (x 1,...,x n ). (See Exercise 2.4.) Then this free basis determines a unique dual basis for F. Indeed, for each x F there exists a unique element (a 1,...,a n ) R (n) with n x = a i x i. i=1 Then for each i =1,...,n the map p i : F R defined by p i : x a i is a linear functional and the pair (x 1,...,x n ) and (p 1,...,p n ) forms a dual basis for F. And now the important Lemma. [Dual Basis Lemma.] An R-module R P is finitely generated projective iff it has a finite dual basis. Proof. (= ) Since P is finitely generated there is a free module F with free basis (x 1,...,x n ) and an epimorphism ϕ : F P. Since P is also projective, this map splits and there is a monomorphism ψ : P F with (we ll write these functions on the right) ψϕ =1 P. By the above example, there is a dual basis (x 1,...,x n ), (p 1,...,p n ) for F. But then clearly, (x 1 ϕ,...,x n ϕ), (ψp 1,...,ψp n ) is a dual basis for P. ( =) Let (y 1,...,y n ), (f 1,...,f n ) be a dual basis for P. Then y 1,...,y n spans P, and there is a free module F with free basis (x 1,...,x n ) and an epimorpihsm ϕ : F P such that ϕ : x i y i for i =1,...,n. But there is a homomorphosm ψ : P F via n n ψ : x = (xf i )x i (xf i )y i. Then ψϕ =1 P and ϕ splits; thus, P is projective. i=1 i=1 Exercises Let e R be a non-zero idempotent and consider the functor Λ e : RMod eremod. (a) Show that Λ e is exact. (b) Show that there is a natural isomorphism η : er R ( ) Λ e. (c) Deduce that every projective module is flat. [A module M R is flat in case the functor M R ( ):RMod Ab is exact.] 3.2. Prove that if e, f R are non-zero idempotents, then Hom R (Re, Rf) = ere erf frf = HomR (fr,er).
9 30 Section Let R Q be a divisible module over a PID, R. (a) Prove that every factor module Q/K of Q is divisible. (b) Must every submodule of Q be divisible? Explain. (c) Suppose that 0 A B C 0 is a short exact sequence over R. If both A and C are divisible, must B be divisible? Explain Products of projective modules need not be projective. Indeed, prove that the abelian group Z N is not free. [Hint: Consider the subgroup M of Z N consisting of all the sequences (x 1,x 2,...) Z N such that each power of 2 divides all but finitely many of the terms. If Z N is free, then so is M. But then consider 2M.] 3.5. Prove that every coproduct of injective left R-modules is injective iff R is left noetherian. [Hint: Use the Injective Test Lemma. ( ) Every left ideal I of R is finitely generated, so if f : I Qα, then the image is in a finite sum of the Q α s. ( ) Suppose there is an infinite ascending chain I 1 <I 2 < of left ideals. For each n, let Q n be an injective module containing R/I n. LetI = n=1i n and let f : I Q = n=1 Q n be defined by π n f(a) =a + I n. Show that this cannot be extended to R.] 3.6. A ring R is (left) self-injective if the regular module R R is injective. (a) Let R be a PID and let I be a non-trivial ideal of R. Prove that R is self-injective. (b) More generally, let R be a commutative ring whose lattice of ideals is a finite chain, say 0 <I 1 < <I n = R. Prove that R is self-injective There is a version of the Dual Basis Lemma more general than that given in Lemma Indeed, let R M be an R-module. A pair of indexed sets (x α ) α ΩinM and (f α ) α ΩinM is a dual basis for M in case for each x M, xf α = 0 for almost all α Ω and x = α Ω(xf α )f α. Prove that a module R P is projective iff it has a dual basis.
Lectures on Non-Commutative Rings
Lectures on Non-Commutative Rings by Frank W. Anderson Mathematics 681 University of Oregon Fall, 2002 This material is free. However, we retain the copyright. You may not charge to redistribute this material,
More information11 Annihilators. Suppose that R, S, and T are rings, that R P S, S Q T, and R U T are bimodules, and finally, that
11 Annihilators. In this Section we take a brief look at the important notion of annihilators. Although we shall use these in only very limited contexts, we will give a fairly general initial treatment,
More information5 An Informative Example.
5 An Informative Example. Our primary concern with equivalence is what it involves for module categories. Once we have the Morita characterization of equivalences of module categories, we ll be able to
More information7 Rings with Semisimple Generators.
7 Rings with Semisimple Generators. It is now quite easy to use Morita to obtain the classical Wedderburn and Artin-Wedderburn characterizations of simple Artinian and semisimple rings. We begin by reminding
More information8 The Socle and Radical.
8 The Socle and Radical. Simple and semisimple modules are clearly the main building blocks in much of ring theory. Of coure, not every module can be built from semisimple modules, but for many modules
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationInjective Modules and Matlis Duality
Appendix A Injective Modules and Matlis Duality Notes on 24 Hours of Local Cohomology William D. Taylor We take R to be a commutative ring, and will discuss the theory of injective R-modules. The following
More informationTENSOR PRODUCTS. (5) A (distributive) multiplication on an abelian group G is a Z-balanced map G G G.
TENSOR PRODUCTS Balanced Maps. Note. One can think of a balanced map β : L M G as a multiplication taking its values in G. If instead of β(l, m) we write simply lm (a notation which is often undesirable)
More informationINJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA
INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA These notes are intended to give the reader an idea what injective modules are, where they show up, and, to
More informationProjective and Injective Modules
Projective and Injective Modules Push-outs and Pull-backs. Proposition. Let P be an R-module. The following conditions are equivalent: (1) P is projective. (2) Hom R (P, ) is an exact functor. (3) Every
More information38 Irreducibility criteria in rings of polynomials
38 Irreducibility criteria in rings of polynomials 38.1 Theorem. Let p(x), q(x) R[x] be polynomials such that p(x) = a 0 + a 1 x +... + a n x n, q(x) = b 0 + b 1 x +... + b m x m and a n, b m 0. If b m
More informationCATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.
CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationA COURSE IN HOMOLOGICAL ALGEBRA CHAPTER 11: Auslander s Proof of Roiter s Theorem E. L. Lady (April 29, 1998)
A COURSE IN HOMOLOGICAL ALGEBRA CHAPTER 11: Auslander s Proof of Roiter s Theorem E. L. Lady (April 29, 1998) A category C is skeletally small if there exists a set of objects in C such that every object
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationTCC Homological Algebra: Assignment #3 (Solutions)
TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate
More informationCOHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9
COHEN-MACAULAY RINGS SELECTED EXERCISES KELLER VANDEBOGERT 1. Problem 1.1.9 Proceed by induction, and suppose x R is a U and N-regular element for the base case. Suppose now that xm = 0 for some m M. We
More informationEXT, TOR AND THE UCT
EXT, TOR AND THE UCT CHRIS KOTTKE Contents 1. Left/right exact functors 1 2. Projective resolutions 2 3. Two useful lemmas 3 4. Ext 6 5. Ext as a covariant derived functor 8 6. Universal Coefficient Theorem
More informationMATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA. This is the title page for the notes on tensor products and multilinear algebra.
MATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA This is the title page for the notes on tensor products and multilinear algebra. Contents 1. Bilinear forms and quadratic forms 1 1.1.
More informationRing Theory Problems. A σ
Ring Theory Problems 1. Given the commutative diagram α A σ B β A σ B show that α: ker σ ker σ and that β : coker σ coker σ. Here coker σ = B/σ(A). 2. Let K be a field, let V be an infinite dimensional
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationGraduate Preliminary Examination
Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.
More informationMATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA. This is the title page for the notes on tensor products and multilinear algebra.
MATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA This is the title page for the notes on tensor products and multilinear algebra. Contents 1. Bilinear forms and quadratic forms 1 1.1.
More informationALGEBRA EXERCISES, PhD EXAMINATION LEVEL
ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)
More informationA TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor
A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationSmall-Essential Submodules and Morita Duality
Southeast Asian Bulletin of Mathematics (2011) 35: 1051 1062 Southeast Asian Bulletin of Mathematics c SEAMS. 2011 Small-Essential Submodules and Morita Duality D.X. Zhou and X.R. Zhang Department of Mathematics,
More informationHomework #05, due 2/17/10 = , , , , , Additional problems recommended for study: , , 10.2.
Homework #05, due 2/17/10 = 10.3.1, 10.3.3, 10.3.4, 10.3.5, 10.3.7, 10.3.15 Additional problems recommended for study: 10.2.1, 10.2.2, 10.2.3, 10.2.5, 10.2.6, 10.2.10, 10.2.11, 10.3.2, 10.3.9, 10.3.12,
More informationRecall: 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.,
23 Hom and We will do homological algebra over a fixed commutative ring R. There are several good reasons to take a commutative ring: Left R-modules are the same as right R-modules. [In general a right
More informationn P say, then (X A Y ) P
COMMUTATIVE ALGEBRA 35 7.2. The Picard group of a ring. Definition. A line bundle over a ring A is a finitely generated projective A-module such that the rank function Spec A N is constant with value 1.
More informationDerivations and differentials
Derivations and differentials Johan Commelin April 24, 2012 In the following text all rings are commutative with 1, unless otherwise specified. 1 Modules of derivations Let A be a ring, α : A B an A algebra,
More informationRelative Left Derived Functors of Tensor Product Functors. Junfu Wang and Zhaoyong Huang
Relative Left Derived Functors of Tensor Product Functors Junfu Wang and Zhaoyong Huang Department of Mathematics, Nanjing University, Nanjing 210093, Jiangsu Province, China Abstract We introduce and
More informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
More information3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection
3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given
More informationIntroduction to modules
Chapter 3 Introduction to modules 3.1 Modules, submodules and homomorphisms The problem of classifying all rings is much too general to ever hope for an answer. But one of the most important tools available
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23 6.4. Homotopy uniqueness of projective resolutions. Here I proved that the projective resolution of any R-module (or any object of an abelian category
More informationLecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).
Lecture 2 1. Noetherian and Artinian rings and modules Let A be a commutative ring with identity, A M a module, and φ : M N an A-linear map. Then ker φ = {m M : φ(m) = 0} is a submodule of M and im φ is
More informationSTABLE MODULE THEORY WITH KERNELS
Math. J. Okayama Univ. 43(21), 31 41 STABLE MODULE THEORY WITH KERNELS Kiriko KATO 1. Introduction Auslander and Bridger introduced the notion of projective stabilization mod R of a category of finite
More informationREPRESENTATION THEORY WEEK 9
REPRESENTATION THEORY WEEK 9 1. Jordan-Hölder theorem and indecomposable modules Let M be a module satisfying ascending and descending chain conditions (ACC and DCC). In other words every increasing sequence
More informationGood tilting modules and recollements of derived module categories, II.
Good tilting modules and recollements of derived module categories, II. Hongxing Chen and Changchang Xi Abstract Homological tilting modules of finite projective dimension are investigated. They generalize
More informationNotes on Homological Algebra. Ieke Moerdijk University of Utrecht
Notes on Homological Algebra Ieke Moerdijk University of Utrecht January 15, 2008 Contents Foreword iii 1 Modules over a ring 1 1.1 Modules................................ 1 1.2 The Hom Functor..........................
More informationNeat Homomorphisms over Dedekind Domains
Salahattin ÖZDEMİR (Joint work with Engin Mermut) Dokuz Eylül University, Izmir-Turkey NCRA, V 12-15 June 2017, Lens outline 1 Neat submodules 2 Neat homomorphisms 3 The class of neat epimorphisms 4 Z-Neat
More informationINTRO TO TENSOR PRODUCTS MATH 250B
INTRO TO TENSOR PRODUCTS MATH 250B ADAM TOPAZ 1. Definition of the Tensor Product Throughout this note, A will denote a commutative ring. Let M, N be two A-modules. For a third A-module Z, consider the
More informationREPRESENTATION THEORY, LECTURE 0. BASICS
REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite
More informationLOCALIZATIONS, COLOCALIZATIONS AND NON ADDITIVE -OBJECTS
LOCALIZATIONS, COLOCALIZATIONS AND NON ADDITIVE -OBJECTS GEORGE CIPRIAN MODOI Abstract. Given two arbitrary categories, a pair of adjoint functors between them induces three pairs of full subcategories,
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationAn Axiomatic Description of a Duality for Modules
advances in mathematics 130, 280286 (1997) article no. AI971660 An Axiomatic Description of a Duality for Modules Henning Krause* Fakulta t fu r Mathematik, Universita t Bielefeld, 33501 Bielefeld, Germany
More informationand this makes M into an R-module by (1.2). 2
1. Modules Definition 1.1. Let R be a commutative ring. A module over R is set M together with a binary operation, denoted +, which makes M into an abelian group, with 0 as the identity element, together
More informationCATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)
CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.
More informationCohomology and Base Change
Cohomology and Base Change Let A and B be abelian categories and T : A B and additive functor. We say T is half-exact if whenever 0 M M M 0 is an exact sequence of A-modules, the sequence T (M ) T (M)
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationTheorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.
5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field
More informationALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS
ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS Your Name: Conventions: all rings and algebras are assumed to be unital. Part I. True or false? If true provide a brief explanation, if false provide a counterexample
More information5 Dedekind extensions
18.785 Number theory I Fall 2016 Lecture #5 09/22/2016 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also
More informationNOTES ON CHAIN COMPLEXES
NOTES ON CHAIN COMPLEXES ANDEW BAKE These notes are intended as a very basic introduction to (co)chain complexes and their algebra, the intention being to point the beginner at some of the main ideas which
More informationMATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53
MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53 10. Completion The real numbers are the completion of the rational numbers with respect to the usual absolute value norm. This means that any Cauchy sequence
More informationMorita Equivalence. Eamon Quinlan
Morita Equivalence Eamon Quinlan Given a (not necessarily commutative) ring, you can form its category of right modules. Take this category and replace the names of all the modules with dots. The resulting
More informationEXTENSIONS OF GR O U P S AND M O D U L E S
M A T -3 9 M A S T E R S T H E S I S I N M A T H E M A T I C S EXTENSIONS OF GR O U P S AND M O D U L E S CatalinaNicole Vintilescu Nermo May, 21 FACULTY OF SCIENCE AND T ECH N OL O G Y Department of Mathematics
More informationGeneralized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485
Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757
More informationCommutative Algebra Lecture 3: Lattices and Categories (Sept. 13, 2013)
Commutative Algebra Lecture 3: Lattices and Categories (Sept. 13, 2013) Navid Alaei September 17, 2013 1 Lattice Basics There are, in general, two equivalent approaches to defining a lattice; one is rather
More informationReview of category theory
Review of category theory Proseminar on stable homotopy theory, University of Pittsburgh Friday 17 th January 2014 Friday 24 th January 2014 Clive Newstead Abstract This talk will be a review of the fundamentals
More informationLINEAR ALGEBRA II: PROJECTIVE MODULES
LINEAR ALGEBRA II: PROJECTIVE MODULES Let R be a ring. By module we will mean R-module and by homomorphism (respectively isomorphism) we will mean homomorphism (respectively isomorphism) of R-modules,
More information43 Projective modules
43 Projective modules 43.1 Note. If F is a free R-module and P F is a submodule then P need not be free even if P is a direct summand of F. Take e.g. R = Z/6Z. Notice that Z/2Z and Z/3Z are Z/6Z-modules
More informationALGEBRA HW 3 CLAY SHONKWILER
ALGEBRA HW 3 CLAY SHONKWILER (a): Show that R[x] is a flat R-module. 1 Proof. Consider the set A = {1, x, x 2,...}. Then certainly A generates R[x] as an R-module. Suppose there is some finite linear combination
More informationHomological Dimension
Homological Dimension David E V Rose April 17, 29 1 Introduction In this note, we explore the notion of homological dimension After introducing the basic concepts, our two main goals are to give a proof
More informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More information4.1. Paths. For definitions see section 2.1 (In particular: path; head, tail, length of a path; concatenation;
4 The path algebra of a quiver 41 Paths For definitions see section 21 (In particular: path; head, tail, length of a path; concatenation; oriented cycle) Lemma Let Q be a quiver If there is a path of length
More informationCOARSENINGS, INJECTIVES AND HOM FUNCTORS
COARSENINGS, INJECTIVES AND HOM FUNCTORS FRED ROHRER It is characterized when coarsening functors between categories of graded modules preserve injectivity of objects, and when they commute with graded
More informationDedicated to Helmut Lenzing for his 60th birthday
C O L L O Q U I U M M A T H E M A T I C U M VOL. 8 999 NO. FULL EMBEDDINGS OF ALMOST SPLIT SEQUENCES OVER SPLIT-BY-NILPOTENT EXTENSIONS BY IBRAHIM A S S E M (SHERBROOKE, QUE.) AND DAN Z A C H A R I A (SYRACUSE,
More informationNOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0
NOTES ON BASIC HOMOLOGICAL ALGEBRA ANDREW BAKER 1. Chain complexes and their homology Let R be a ring and Mod R the category of right R-modules; a very similar discussion can be had for the category of
More informationINJECTIVE MODULES AND THE INJECTIVE HULL OF A MODULE, November 27, 2009
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,
More informationGorenstein Injective Modules
Georgia Southern University Digital Commons@Georgia Southern Electronic Theses & Dissertations Graduate Studies, Jack N. Averitt College of 2011 Gorenstein Injective Modules Emily McLean Georgia Southern
More informationMath 210B: Algebra, Homework 4
Math 210B: Algebra, Homework 4 Ian Coley February 5, 2014 Problem 1. Let S be a multiplicative subset in a commutative ring R. Show that the localisation functor R-Mod S 1 R-Mod, M S 1 M, is exact. First,
More informationTHE GHOST DIMENSION OF A RING
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 THE GHOST DIMENSION OF A RING MARK HOVEY AND KEIR LOCKRIDGE (Communicated by Birge Huisgen-Zimmerman)
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2 RAVI VAKIL CONTENTS 1. Where we were 1 2. Yoneda s lemma 2 3. Limits and colimits 6 4. Adjoints 8 First, some bureaucratic details. We will move to 380-F for Monday
More informationDerived Categories. Mistuo Hoshino
Derived Categories Mistuo Hoshino Contents 01. Cochain complexes 02. Mapping cones 03. Homotopy categories 04. Quasi-isomorphisms 05. Mapping cylinders 06. Triangulated categories 07. Épaisse subcategories
More informationMorava K-theory of BG: the good, the bad and the MacKey
Morava K-theory of BG: the good, the bad and the MacKey Ruhr-Universität Bochum 15th May 2012 Recollections on Galois extensions of commutative rings Let R, S be commutative rings with a ring monomorphism
More informationA generalized Koszul theory and its applications in representation theory
A generalized Koszul theory and its applications in representation theory A DISSERTATION SUBMITTED TO THE FACULTY OF THE GRADUATE SCHOOL OF THE UNIVERSITY OF MINNESOTA BY Liping Li IN PARTIAL FULFILLMENT
More informationNotes on the definitions of group cohomology and homology.
Notes on the definitions of group cohomology and homology. Kevin Buzzard February 9, 2012 VERY sloppy notes on homology and cohomology. Needs work in several places. Last updated 3/12/07. 1 Derived functors.
More informationRelative FP-gr-injective and gr-flat modules
Relative FP-gr-injective and gr-flat modules Tiwei Zhao 1, Zenghui Gao 2, Zhaoyong Huang 1, 1 Department of Mathematics, Nanjing University, Nanjing 210093, Jiangsu Province, P.R. China 2 College of Applied
More informationRELATIVE EXT GROUPS, RESOLUTIONS, AND SCHANUEL CLASSES
RELATIVE EXT GROUPS, RESOLUTIONS, AND SCHANUEL CLASSES HENRIK HOLM Abstract. Given a precovering (also called contravariantly finite) class there are three natural approaches to a homological dimension
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationOn U-dominant dimension
Journal of Algebra 285 (2005) 669 68 www.elsevier.com/locate/jalgebra On U-dominant dimension Zhaoyong Huang Department of Mathematics, Nanjing University, Nanjing 20093, PR China Received 20 August 2003
More informationALGEBRA HW 4. M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are.
ALGEBRA HW 4 CLAY SHONKWILER (a): Show that if 0 M f M g M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are. Proof. ( ) Suppose M is Noetherian. Then M injects into
More informationHOMEWORK SET 3. Local Class Field Theory - Fall For questions, remarks or mistakes write me at
HOMEWORK SET 3 Local Class Field Theory - Fall 2011 For questions, remarks or mistakes write me at sivieroa@math.leidneuniv.nl. Exercise 3.1. Suppose A is an abelian group which is torsion (every element
More informationHomological Methods in Commutative Algebra
Homological Methods in Commutative Algebra Olivier Haution Ludwig-Maximilians-Universität München Sommersemester 2017 1 Contents Chapter 1. Associated primes 3 1. Support of a module 3 2. Associated primes
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationMath 762 Spring h Y (Z 1 ) (1) h X (Z 2 ) h X (Z 1 ) Φ Z 1. h Y (Z 2 )
Math 762 Spring 2016 Homework 3 Drew Armstrong Problem 1. Yoneda s Lemma. We have seen that the bifunctor Hom C (, ) : C C Set is analogous to a bilinear form on a K-vector space, : V V K. Recall that
More informationFrobenius Green functors
UC at Santa Cruz Algebra & Number Theory Seminar 30th April 2014 Topological Motivation: Morava K-theory and finite groups For each prime p and each natural number n there is a 2-periodic multiplicative
More informationNOTES ON SPLITTING FIELDS
NOTES ON SPLITTING FIELDS CİHAN BAHRAN I will try to define the notion of a splitting field of an algebra over a field using my words, to understand it better. The sources I use are Peter Webb s and T.Y
More informationWIDE SUBCATEGORIES OF d-cluster TILTING SUBCATEGORIES
WIDE SUBCATEGORIES OF d-cluster TILTING SUBCATEGORIES MARTIN HERSCHEND, PETER JØRGENSEN, AND LAERTIS VASO Abstract. A subcategory of an abelian category is wide if it is closed under sums, summands, kernels,
More informationProperties of Triangular Matrix and Gorenstein Differential Graded Algebras
Properties of Triangular Matrix and Gorenstein Differential Graded Algebras Daniel Maycock Thesis submitted for the degree of Doctor of Philosophy chool of Mathematics & tatistics Newcastle University
More informationADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS
ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS UZI VISHNE The 11 problem sets below were composed by Michael Schein, according to his course. Take into account that we are covering slightly different material.
More informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More informationGorenstein algebras and algebras with dominant dimension at least 2.
Gorenstein algebras and algebras with dominant dimension at least 2. M. Auslander Ø. Solberg Department of Mathematics Brandeis University Waltham, Mass. 02254 9110 USA Institutt for matematikk og statistikk
More informationON sfp-injective AND sfp-flat MODULES
Gulf Journal of Mathematics Vol 5, Issue 3 (2017) 79-90 ON sfp-injective AND sfp-flat MODULES C. SELVARAJ 1 AND P. PRABAKARAN 2 Abstract. Let R be a ring. A left R-module M is said to be sfp-injective
More informationIntegral Extensions. Chapter Integral Elements Definitions and Comments Lemma
Chapter 2 Integral Extensions 2.1 Integral Elements 2.1.1 Definitions and Comments Let R be a subring of the ring S, and let α S. We say that α is integral over R if α isarootofamonic polynomial with coefficients
More informationArtin algebras of dominant dimension at least 2.
WS 2007/8 Selected Topics CMR Artin algebras of dominant dimension at least 2. Claus Michael Ringel We consider artin algebras with duality functor D. We consider left modules (usually, we call them just
More informationII. Products of Groups
II. Products of Groups Hong-Jian Lai October 2002 1. Direct Products (1.1) The direct product (also refereed as complete direct sum) of a collection of groups G i, i I consists of the Cartesian product
More informationON THE SUBGROUP LATTICE OF AN ABELIAN FINITE GROUP
ON THE SUBGROUP LATTICE OF AN ABELIAN FINITE GROUP Marius Tărnăuceanu Faculty of Mathematics Al.I. Cuza University of Iaşi, Romania e-mail: mtarnauceanu@yahoo.com The aim of this paper is to give some
More information