3 The Hom Functors Projectivity and Injectivity.

Size: px
Start display at page:

Download "3 The Hom Functors Projectivity and Injectivity."

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 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 information

11 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. 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 information

5 An Informative Example.

5 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 information

7 Rings with Semisimple Generators.

7 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 information

8 The Socle and Radical.

8 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 information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

MATH 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 information

Injective Modules and Matlis Duality

Injective 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 information

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

TENSOR 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 information

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

INJECTIVE 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 information

Projective and Injective Modules

Projective 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 information

38 Irreducibility criteria in rings of polynomials

38 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 information

CATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.

CATEGORY 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 information

Honors 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 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 information

A 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 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 information

Algebraic Geometry Spring 2009

Algebraic 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 information

TCC Homological Algebra: Assignment #3 (Solutions)

TCC 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 information

COHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9

COHEN-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 information

EXT, TOR AND THE UCT

EXT, 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 information

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.

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. 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 information

Ring Theory Problems. A σ

Ring 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 information

Formal power series rings, inverse limits, and I-adic completions of rings

Formal 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 information

Graduate Preliminary Examination

Graduate 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 information

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.

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. 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 information

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

ALGEBRA 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 information

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

A 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 information

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED 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 information

Small-Essential Submodules and Morita Duality

Small-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 information

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

Homework #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 information

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.,

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., 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 information

n P say, then (X A Y ) P

n 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 information

Derivations and differentials

Derivations 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 information

Relative 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 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 information

A Primer on Homological Algebra

A 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 information

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

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 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 information

Introduction to modules

Introduction 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 information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23

MATH 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 information

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

Lecture 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 information

STABLE MODULE THEORY WITH KERNELS

STABLE 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 information

REPRESENTATION THEORY WEEK 9

REPRESENTATION 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 information

Good tilting modules and recollements of derived module categories, II.

Good 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 information

Notes on Homological Algebra. Ieke Moerdijk University of Utrecht

Notes 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 information

Neat Homomorphisms over Dedekind Domains

Neat 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 information

INTRO TO TENSOR PRODUCTS MATH 250B

INTRO 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 information

REPRESENTATION THEORY, LECTURE 0. BASICS

REPRESENTATION 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 information

LOCALIZATIONS, COLOCALIZATIONS AND NON ADDITIVE -OBJECTS

LOCALIZATIONS, 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 information

Math 121 Homework 5: Notes on Selected Problems

Math 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 information

An Axiomatic Description of a Duality for Modules

An 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 information

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

and 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 information

CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)

CATEGORICAL 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 information

Cohomology and Base Change

Cohomology 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 information

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

Course 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 information

Theorem 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.

Theorem 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 information

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS

ALGEBRA 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 information

5 Dedekind extensions

5 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 information

NOTES ON CHAIN COMPLEXES

NOTES 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 information

MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53

MATH 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 information

Morita Equivalence. Eamon Quinlan

Morita 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 information

EXTENSIONS OF GR O U P S AND M O D U L E S

EXTENSIONS 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 information

Generalized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485

Generalized 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 information

Commutative Algebra Lecture 3: Lattices and Categories (Sept. 13, 2013)

Commutative 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 information

Review of category theory

Review 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 information

LINEAR ALGEBRA II: PROJECTIVE MODULES

LINEAR 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 information

43 Projective modules

43 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 information

ALGEBRA HW 3 CLAY SHONKWILER

ALGEBRA 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 information

Homological Dimension

Homological 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 information

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)

De 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 information

4.1. Paths. For definitions see section 2.1 (In particular: path; head, tail, length of a path; concatenation;

4.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 information

COARSENINGS, INJECTIVES AND HOM FUNCTORS

COARSENINGS, 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 information

Dedicated to Helmut Lenzing for his 60th birthday

Dedicated 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 information

NOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0

NOTES 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 information

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

INJECTIVE 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 information

Gorenstein Injective Modules

Gorenstein 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 information

Math 210B: Algebra, Homework 4

Math 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 information

THE GHOST DIMENSION OF A RING

THE 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 information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2

FOUNDATIONS 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 information

Derived Categories. Mistuo Hoshino

Derived 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 information

Morava K-theory of BG: the good, the bad and the MacKey

Morava 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 information

A generalized Koszul theory and its applications in representation theory

A 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 information

Notes on the definitions of group cohomology and homology.

Notes 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 information

Relative FP-gr-injective and gr-flat modules

Relative 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 information

RELATIVE EXT GROUPS, RESOLUTIONS, AND SCHANUEL CLASSES

RELATIVE 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 information

NOTES ON FINITE FIELDS

NOTES 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 information

On U-dominant dimension

On 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 information

ALGEBRA 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. 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 information

HOMEWORK SET 3. Local Class Field Theory - Fall For questions, remarks or mistakes write me at

HOMEWORK 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 information

Homological Methods in Commutative Algebra

Homological 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 information

Notes on p-divisible Groups

Notes 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 information

Math 762 Spring h Y (Z 1 ) (1) h X (Z 2 ) h X (Z 1 ) Φ Z 1. h Y (Z 2 )

Math 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 information

Frobenius Green functors

Frobenius 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 information

NOTES ON SPLITTING FIELDS

NOTES 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 information

WIDE SUBCATEGORIES OF d-cluster TILTING SUBCATEGORIES

WIDE 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 information

Properties of Triangular Matrix and Gorenstein Differential Graded Algebras

Properties 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 information

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS

ADVANCED 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 information

Noetherian property of infinite EI categories

Noetherian 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 information

Gorenstein algebras and algebras with dominant dimension at least 2.

Gorenstein 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 information

ON sfp-injective AND sfp-flat MODULES

ON 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 information

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma

Integral 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 information

Artin algebras of dominant dimension at least 2.

Artin 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 information

II. Products of Groups

II. 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 information

ON THE SUBGROUP LATTICE OF AN ABELIAN FINITE GROUP

ON 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