DOCSLIB.ORG

LINEAR ALGEBRA II: PROJECTIVE MODULES Let R Be a Ring. by 'Module' We Will Mean R-Module and by 'Homomorphism' (Respecti

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
LINEAR ALGEBRA II: PROJECTIVE MODULES Let R Be a Ring. by 'Module' We Will Mean R-Module and by 'Homomorphism' (Respecti 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, unless explicitly stated otherwise. 1. Definition and motivation Definition 1.1. A module P is projective if, given • any surjective homomorphism " : B C, and • any homomorphism γ : P ! C, there exists a homomorphism β : P ! B such that " ◦ β = γ. Proposition 1.2. Let P be a projective module. Then any surjective homomorphism ∼ " : Q P induces an isomorphism of the form Q = ker(") ⊕ P . Proof. Since P is projective, we may and will define a homomorphism β : P ! Q which satisfies ("◦β)(p) = p for all p 2 P . We may hence define a map α : ker(")⊕P ! Q by the formula α((q; p)) := q+β(p) and proceed to prove that it is an isomorphism. The fact that α is a homomorphism is a straightforward consequence of the fact that so is β. In order to prove injectiveness, we assume that α((q; p)) = q + β(p) = 0 and deduce that β(p) = −q 2 ker(") and hence that p = "(β(p)) = 0. It follows that q = −β(0) = 0 and hence that (q; p) = 0, as required. In order to prove surjectiveness, we let q be any element of Q. We then have that "(q−β("(q))) = "(q)−"(β("(q))) = "(q)−"(q) = 0. So we have that q−β("(q)) belongs to ker(") and finally find that α((q − β("(q));"(q))) = q − β("(q)) + β("(q)) = q. Remark 1.3. Proposition 1.2 shows than when studying the structure of a module, it can be useful to construct a surjective homomorphism to a projective module in order to shift attention to the two components in the direct sum decomposition given by the proposition, whose structure may then turn out to be easier to understand. We proved in Theorem 3.15 b) that free modules have the precise same property that Proposition 1.2 attributes to projective modules. In fact, it is easy to use Theorem 3.15 a) to show that every free module is projective. However, the converse is not true in general, which justifies giving a name to this important class of modules. Theorem 1.4. Every free module is projective. L Proof. Let F = j2J Rfj be a free module and suppose given any surjective homo- morphism " : B C and any homomorphism γ : F ! C. For any j 2 J, let bj be any 1 2 LINEAR ALGEBRA II: PROJECTIVE MODULES element of B such that "(bj) = γ(fj). By Theorem 3.15 a), there exists a homomor- phism β : F ! B such that β(fj) = bj for every j 2 J. But then (" ◦ β)(fj) = γ(fj) for every j 2 J, and since this equality holds for every generator fj of F , it is easy to deduce that " ◦ β = γ, as required. 2. Exact sequences and commutative diagrams Definition 2.1. • Let φ : A ! B and : B ! C be homomorphisms. The φ sequence of homomorphisms A ! B ! C is said to be exact at B if ker( ) = im(φ). • A sequence of homomorphisms M0 ! M1 ! ::: ! Mn ! Mn+1 is called exact if it is exact at M1;:::;Mn. • An exact sequence of the form 0 ! A ! B ! C ! 0 is called a short exact sequence (or s.e.s. for short). Here 0 denotes the trivial module, and both the arrow going from 0 to the A and the arrow going from C to 0 denote the zero homomorphism (i.e., the homomorphism sending every element to zero). Remark 2.2. To understand the significance of short exact sequences, consider the following situations: φ (1) Let 0 ! A ! B ! C ! 0 be a short exact sequence. Exactness at A is equiv- alent to φ being injective, exactness at C is equivalent to being surjective and exactness at B is equivalent to having ker( ) = im(φ). The first isomorphism theorem implies that φ induces an isomorphism of the form A=ker(φ) !∼ im(φ) and that induces an isomorphism of the form B=ker( ) !∼ im( ). So the assumption that the sequence is exact means that φ gives an isomorphism from A to the submodule im(φ) = φ(A) of B and that induces an isomorphism of the form B/φ(A) = B=im(φ) = B=ker( ) !∼ im( ) = C: (2) Conversely, let A be a submodule of a module B. Then we obtain a short exact sequence of the form 0 ! A !ι B !π B=A ! 0 where ι is just the tautological inclusion (i.e., ι(a) = a for all a 2 A) and π is just the natural projection given by π(b) := b + A for any b 2 B. Indeed, ι is clearly injective, π is clearly surjective and ker(π) = A = im(ι), so the sequence is exact. Definition 2.3. We say that a diagram of homomorphisms of the form A −−−!α B ? ? γ? β? y y C −−−!δ D LINEAR ALGEBRA II: PROJECTIVE MODULES 3 is commutative if β ◦ α = δ ◦ γ. This notion generalizes in an obvious way to more complicated diagrams of homomorphisms. Lemma 2.4. Let µ " A1 −−−! A2 −−−! A3 −−−! 0 ? ? ? α1? α2? α3? y y y µ0 "0 0 −−−! B1 −−−! B2 −−−! B3 be a commutative diagram with exact rows and assume that both α1 and α3 are iso- morphisms. Then α2 is an isomorphism. Proof. We first show that α2 is injective: suppose that a 2 A2 is such that α2(a) = 0. 0 Then (α3 ◦ ")(a) = (" ◦ α2)(a) = 0. Since α3 is injective, this implies that "(a) = 0. 0 0 0 0 Since ker(") = im(µ), there exists a 2 A1 such that µ(a ) = a. Then (µ ◦ α1)(a ) = 0 0 (α2 ◦ µ)(a ) = α2(a) = 0. But, since both µ and α1 are injective, this implies that a0 = 0, so that a = µ(a0) = µ(0) = 0, as required. We now show that α2 is surjective: let b 2 B2. Since α3 is surjective, there exists 0 0 a 2 A3 such that α3(a) = " (b), and since " is surjective, there exists a 2 A2 such that "(a0) = a. But then 0 0 0 0 0 0 0 0 0 " (b − α2(a )) = " (b) − (" ◦ α2)(a ) = " (b) − (α3 ◦ ")(a ) = " (b) − " (b) = 0: 0 0 0 0 0 0 Since ker(" ) = im(µ ), there exists b 2 B1 such that µ (b ) = b − α2(a ). Since α1 is 00 00 0 surjective, there exists a 2 A1 such that α1(a ) = b . But then 00 0 0 00 0 0 0 0 α2(µ(a ) + a ) = (µ ◦ α1)(a ) + α2(a ) = µ (b ) + α2(a ) = b; and we have proved that α2 is surjective. µ Definition 2.5. A short exact sequence 0 ! A ! B !" C ! 0 splits if there exists a homomorphism σ : C ! B with the property that " ◦ σ = idC . The homomorphism σ is then called a splitting. Remark 2.6. For any modules A and C, the short exact sequence 0 ! A !ιA A⊕C !πC C ! 0, where ιA(a) = (a; 0) and πC ((a; c)) = c, splits. Conversely, the following also holds: µ " Lemma 2.7. If the short exact sequence 0 ! A ! B ! C ! 0 splits, then B ∼= A ⊕ B. Proof. We fix a splitting σ : C ! B and define a homomorphism : A ⊕ C ! B by setting ((a; c)) := µ(a) + σ(c). We then have that (ιA(a)) = ((a; 0)) = µ(a) and that "( ((a; c))) = "(µ(a)) + "(σ(c)) = 0 + idC (c) = c = πC ((a; c)), where we have used the fact that ker(") = im(µ) so " ◦ µ = 0. We deduce the existence of a 4 LINEAR ALGEBRA II: PROJECTIVE MODULES commutative diagram with exact rows 0 −−−! A −−−!ιA A ⊕ C −−−!πC C −−−! 0 ? ? ? ? ? ? idAy y idC y µ 0 −−−! A −−−! B −−−!" C −−−! 0: Since idA and idC are clearly bijective, Lemma 2.4 implies that is an isomorphism. 3. The group of homomorphisms For any modules A and B, we write HomR(A; B) for the set of homomorphisms from A to B. We define a binary operation on HomR(A; B) as follows: given φ, 2 HomR(A; B), we define an element φ + of HomR(A; B) by the formula (φ + )(a) := φ(a) + (a); a 2 A: Lemma 3.1. The map φ + : A ! B is indeed an element of HomR(A; B). Fur- thermore, this binary operation makes HomR(A; B) into an abelian group (or, equiv- alently, a Z-module). Proof. The first assertion of the lemma is straightforward to prove, as is associativity of the binary operation. The identity element of HomR(A; B) with respect to this binary operation is the zero homomorphism given by sending any element of A to the identity element 0 of B, and for any φ 2 HomR(A; B), we obtain an inverse by setting (−φ)(a) := −φ(a) for every a 2 A. Let β : B1 ! B2 be a homomorphism (of R-modules). We define a map β∗ = HomR(A; β) : HomR(A; B1) ! HomR(A; B2) by setting β∗(φ) := β ◦ φ. Lemma 3.2. (1) β∗ is a Z-module homomorphism. 0 0 0 (2) Given β : B2 ! B3, we have that (β ◦ β)∗ = β∗ ◦ β∗. (3) (idB)∗ = idHomR(A;B) where, for any set S, idS denotes the identity function S ! S (i.e., idS(s) = s for all s 2 S). Proof. We prove claim (1) by obtaining identities β∗(φ + )(a) = β((φ + )(a)) = β(φ(a) + (a)) = β(φ(a)) + β( (a)) = β∗(φ)(a) + β∗( )(a) = (β∗(φ) + β∗( ))(a): Claim (2) is clear since 0 0 0 0 0 (β ◦ β)∗(φ) = (β ◦ β) ◦ φ = β ◦ (β ◦ φ) = β∗(β∗(φ)) = (β∗ ◦ β∗)(φ): Claim (3) is clear since (idB)∗(φ) = idB ◦ φ = φ, so that (idB)∗ is the identity map on HomR(A; B), as required.
Load more

Recommended publications
  • Math 615: Lecture of April 16, 2007 We Next Note the Following Fact
    Math 615: Lecture of April 16, 2007 We next note the following fact: n Proposition. Let R be any ring and F = R a free module. If f1, . , fn ∈ F generate F , then f1, . , fn is a free basis for F . n n Proof. We have a surjection R F that maps ei ∈ R to fi. Call the kernel N. Since F is free, the map splits, and we have Rn =∼ F ⊕ N. Then N is a homomorphic image of Rn, and so is finitely generated. If N 6= 0, we may preserve this while localizing at a suitable maximal ideal m of R. We may therefore assume that (R, m, K) is quasilocal. Now apply n ∼ n K ⊗R . We find that K = K ⊕ N/mN. Thus, N = mN, and so N = 0. The final step in our variant proof of the Hilbert syzygy theorem is the following: Lemma. Let R = K[x1, . , xn] be a polynomial ring over a field K, let F be a free R- module with ordered free basis e1, . , es, and fix any monomial order on F . Let M ⊆ F be such that in(M) is generated by a subset of e1, . , es, i.e., such that M has a Gr¨obner basis whose initial terms are a subset of e1, . , es. Then M and F/M are R-free. Proof. Let S be the subset of e1, . , es generating in(M), and suppose that S has r ∼ s−r elements. Let T = {e1, . , es} − S, which has s − r elements. Let G = R be the free submodule of F spanned by T .
    [Show full text]
  • Arxiv:2002.10139V1 [Math.AC]
    SOME RESULTS ON PURE IDEALS AND TRACE IDEALS OF PROJECTIVE MODULES ABOLFAZL TARIZADEH Abstract. Let R be a commutative ring with the unit element. It is shown that an ideal I in R is pure if and only if Ann(f)+I = R for all f ∈ I. If J is the trace of a projective R-module M, we prove that J is generated by the “coordinates” of M and JM = M. These lead to a few new results and alternative proofs for some known results. 1. Introduction and Preliminaries The concept of the trace ideals of modules has been the subject of research by some mathematicians around late 50’s until late 70’s and has again been active in recent years (see, e.g. [3], [5], [7], [8], [9], [11], [18] and [19]). This paper deals with some results on the trace ideals of projective modules. We begin with a few results on pure ideals which are used in their comparison with trace ideals in the sequel. After a few preliminaries in the present section, in section 2 a new characterization of pure ideals is given (Theorem 2.1) which is followed by some corol- laries. Section 3 is devoted to the trace ideal of projective modules. Theorem 3.1 gives a characterization of the trace ideal of a projective module in terms of the ideal generated by the “coordinates” of the ele- ments of the module. This characterization enables us to deduce some new results on the trace ideal of projective modules like the statement arXiv:2002.10139v2 [math.AC] 13 Jul 2021 on the trace ideal of the tensor product of two modules for which one of them is projective (Corollary 3.6), and some alternative proofs for a few known results such as Corollary 3.5 which shows that the trace ideal of a projective module is a pure ideal.
    [Show full text]
  • On Almost Projective Modules
    axioms Article On Almost Projective Modules Nil Orhan Erta¸s Department of Mathematics, Bursa Technical University, Bursa 16330, Turkey; [email protected] Abstract: In this note, we investigate the relationship between almost projective modules and generalized projective modules. These concepts are useful for the study on the finite direct sum of lifting modules. It is proved that; if M is generalized N-projective for any modules M and N, then M is almost N-projective. We also show that if M is almost N-projective and N is lifting, then M is im-small N-projective. We also discuss the question of when the finite direct sum of lifting modules is again lifting. Keywords: generalized projective module; almost projective modules MSC: 16D40; 16D80; 13A15 1. Preliminaries and Introduction Relative projectivity, injectivity, and other related concepts have been studied exten- sively in recent years by many authors, especially by Harada and his collaborators. These concepts are important and related to some special rings such as Harada rings, Nakayama rings, quasi-Frobenius rings, and serial rings. Throughout this paper, R is a ring with identity and all modules considered are unitary right R-modules. Lifting modules were first introduced and studied by Takeuchi [1]. Let M be a module. M is called a lifting module if, for every submodule N of M, there exists a direct summand K of M such that N/K M/K. The lifting modules play an important role in the theory Citation: Erta¸s,N.O. On Almost of (semi)perfect rings and modules with projective covers.
    [Show full text]
  • A Brief Introduction to Gorenstein Projective Modules
    A BRIEF INTRODUCTION TO GORENSTEIN PROJECTIVE MODULES PU ZHANG Department of Mathematics, Shanghai Jiao Tong University Shanghai 200240, P. R. China Since Eilenberg and Moore [EM], the relative homological algebra, especially the Gorenstein homological algebra ([EJ2]), has been developed to an advanced level. The analogues for the basic notion, such as projective, injective, flat, and free modules, are respectively the Gorenstein projective, the Gorenstein injective, the Gorenstein flat, and the strongly Gorenstein projective modules. One consid- ers the Gorenstein projective dimensions of modules and complexes, the existence of proper Gorenstein projective resolutions, the Gorenstein derived functors, the Gorensteinness in triangulated categories, the relation with the Tate cohomology, and the Gorenstein derived categories, etc. This concept of Gorenstein projective module even goes back to a work of Aus- lander and Bridger [AB], where the G-dimension of finitely generated module M over a two-sided Noetherian ring has been introduced: now it is clear by the work of Avramov, Martisinkovsky, and Rieten that M is Goreinstein projective if and only if the G-dimension of M is zero (the remark following Theorem (4.2.6) in [Ch]). The aim of this lecture note is to choose some main concept, results, and typical proofs on Gorenstein projective modules. We omit the dual version, i.e., the ones for Gorenstein injective modules. The main references are [ABu], [AR], [EJ1], [EJ2], [H1], and [J1]. Throughout, R is an associative ring with identity element. All modules are left if not specified. Denote by R-Mod the category of R-modules, R-mof the Supported by CRC 701 “Spectral Structures and Topological Methods in Mathematics”, Uni- versit¨atBielefeld.
    [Show full text]
  • On Projective Modules Over Semi-Hereditary Rings
    638 FELIX ALBRECHT [August References 1. W. Engel, Ganze Cremona—Transformationen von Primzahlgrad in der Ebene, Math. Ann. vol. 136 (1958) pp. 319-325. 2. H. W. E. Jung, Einführung in die Theorie der algebraischen Functionen zweier Veränderlicher, Berlin, Akademie Verlag, 1951, p. 61. 3. P. Samuel, Singularités des variétés algébriques, Bull. Soc. Math. France vol. 79 (1951) pp. 121-129. University of California, Berkeley Technion, Haifa, Israel ON PROJECTIVE MODULES OVER SEMI-HEREDITARY RINGS FELIX ALBRECHT This note contains a proof of the following Theorem. Each projective module P over a (one-sided) semi-heredi- tary ring A is a direct sum of modules, each of which is isomorphic with a finitely generated ideal of A. This theorem, already known for finitely generated projective modules[l, I, Proposition 6.1], has been recently proved for arbitrary projective modules over commutative semi-hereditary rings by I. Kaplansky [2], who raised the problem of extending it to the non- commutative case. We recall two results due to Kaplansky: Any projective module (over an arbitrary ring) is a direct sum of countably generated modules [2, Theorem l]. If any direct summand A of a countably generated module M is such that each element of N is contained in a finitely generated direct summand, then M is a direct sum of finitely generated modules [2, Lemma l]. According to these results, it is sufficient to prove the following proposition : Each element of the module P is contained in a finitely generated direct summand of P. Let F = P ®Q be a free module and x be an arbitrary element of P.
    [Show full text]
  • Theorems from Algebraic K-Theory
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF ALGEBRA 27, 278-305 (1973) Generating Modules Efficiently: Theorems from Algebraic K-Theory DAVID EISENBUD AND E. GRAHAM EVANS, JR.* Department of Mathematics, Brand&s University, Waltham, Massachusetts 02154 Department of Mathematics, University of Illinois, Urbana, Illinois 61801 Communicated by D. Buchsbaum Received December 15, 1971 1. INTRODUCTION Several of the fundamental theorems about algebraic K, and Kr are concerned with finding unimodular elements, that is, elements of a projective module which generate a free summand. In this paper we use the notion of a basic element (in the terminology of Swan [22]) to extend these theorems to the context of finitely generated modules. Our techniques allow a simpli- fication and strengthening of existing results even in the projective case. Our main theorem, Theorem A, is an extension to the nonprojective case of a strong version of Serre’s famous theorem on free summands of projective modules. It has as its immediate consequences (in the projective case) Bass’s theorems about cancellation of modules and stable range of rings [ 1, Theorems 9.3 and 11.11 and the theorem of Forster and Swan on “the number of generators of a module.” In the non-projective case it implies a mild strengthening of Kronecker’s well-known result that every radical ideal in an n-dimensional noetherian ring is the radical of n + 1 elements. (If the ring is a polynomial ring, then n elements suffice [7]; this can be proved by methods similar to those of Theorem A.) Theorem A also contains the essential point of Bourbaki’s theorem [4, Theorem 4.61 that any torsion-free module over an integrally closed ring is an extension of an ideal by a free module.
    [Show full text]
  • Projective Algebras
    Journal of Pure and Applied Algebra 21 (1981)339-358 North-Holland Publishing Company PROJECTIVE ALGEBRAS Joe YANIK Departmentof Mathematics, Louisiana State University, Baton Rouge, LA 70803, USA Communicated by H. Bass Received January 1980 Introduction Given a commutative ring R, a finitely generated augmented R-algebra A is projective over R if there is a finitely generated augmented R-algebra B such that the tensor product of A and B over R is a polynomial algebra over R. A is said to be weakly projective if A is a retract of a polynomial ring over R. A projective algebra is weakly projective but it is unknown whether the converse holds. These types of algebras were first studied in [8]. More recently, Connell has observed that the category of projective R-algebras under tensor product is a category with product in the sense of Bass, and hence, by the technique of [2], one can develop a K-theory for this category, defining the abelian groups KA,(R) and KAl(R) (see [5] and [6]). There are split monomorphisms Si :Ki(R)+ KAi(R), i = 1,2, induced by the symmetric algebra functor. One question that was raised by Connell is: Is So: KO(R)+ KAo(R) an isomorphism? Thai is, is every projective R-algebra stably equivalent to a symmetric algebra? In this article we develop a method for constructing weakly projective R-algebras by considering pullback diagrams of rings, a technique borrowed from the K-theory of projective modules (see [lo, Chapter 21). We demonstrate that, given a pullback diagram of rings PI R -Rt with j2 surjective, then the pullback in a universal pullback diagram of projective RI-, R2-, and R’-algebras is a weakly projective R-algebra.
    [Show full text]
  • Projective Modules with Free Multiples and Powers
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 96. Number 2. February 1986 PROJECTIVE MODULES WITH FREE MULTIPLES AND POWERS HYMAN BASS AND ROBERT GURALNICK Abstract. Let P be a finitely generated projective module over a commutative ring. Some tensor power of P is free iff some sum of copies of P is free. Theorem. Let A be a commutative ring and P a finitely generated projective A-module of rank r > 0. (a) Suppose that P8" (= P ®A • ■■ ®AP, n times) is free for some integer n > 0. Then mP (= P ffi • • • ffiP, m times) is free for some integer h > 0, where m = rh(n-l) . nh (b) Suppose that mP is free for some integer m > 0. Then for some integer t > 0, P®m' is free. Since P and the assumed isomorphisms with free modules are defined over some finitely generated subring of A, there is no loss in assuming, as we do, that A is noetherian, say of dimension d. In K0(A) we put x = [P] and y = x — r. Proof of (a). By hypothesis, x" = r" so (1) 0 = x" - r"=yz, where z = x""1 + x"~2r + ■■■ +xr"~2 + r"~\ We have n z - nr"-1 = £ (^"-'r'-1 - rn~l) / = i n = ¿r'-^je""'- r"-') = -yw ; = 1 for some w, whence n ■r"~1 = z + yw. For h > 0 we thus have (2) nhrh{"-1) = zu + yhwh for some u. According to [B, Chapter IX, Proposition (4.4)], y is nilpotent, in fact yh + l = 0 for some h < d = dim(^). It follows then from (1) and (2) that, with m = nhrh("-i)^ we have my = 0, i.e.
    [Show full text]
  • On Projective Modules of Finite Rank
    ON PROJECTIVE MODULES OF FINITE RANK WOLMER V. VASCONCELOS1 One of the aims of this paper is to answer the following question: Let A be a commutative ring for which projective ideals are finitely generated; is the same valid in A[x], the polynomial ring in one vari- able over A? A Hilbert basis type of argument does not seem to lead directly to a solution. Instead we were taken to consider a special case of the following problem : Let (X, Ox) be a prescheme and M a quasi-coherent Ox-module with finitely generated stalks; when is M of finite type? Examples abound where this is not so and here it is shown that a ring for which a projective module with finitely gen- erated localizations is always finitely generated, is precisely one of the kind mentioned above (Theorem 2.1). Such a ring R could also be characterized as "any finitely generated flat module is projective." 1. Preliminaries. Throughout R will denote a commutative ring. Let M be a projective A-module; for each prime p, Mp, the localiza- tion of M with respect to R—p, is by [4] a free Ap-module, with a basis of cardinality pm(p)- Pm is the so-called rank function of M and here it will be assumed that pM takes only finite values. The trace of M is defined to be the image of the map M®r HomÄ(Af, R)^>R, m®f^f(m); it is denoted by tr(M). If M®N= F(free), it is clear that tr(M) is the ideal of R generated by the coordinates of all elements in M, for any basis chosen in F.
    [Show full text]
  • Module (Mathematics) 1 Module (Mathematics)
    Module (mathematics) 1 Module (mathematics) In abstract algebra, the concept of a module over a ring is a generalization of the notion of vector space, wherein the corresponding scalars are allowed to lie in an arbitrary ring. Modules also generalize the notion of abelian groups, which are modules over the ring of integers. Thus, a module, like a vector space, is an additive abelian group; a product is defined between elements of the ring and elements of the module, and this multiplication is associative (when used with the multiplication in the ring) and distributive. Modules are very closely related to the representation theory of groups. They are also one of the central notions of commutative algebra and homological algebra, and are used widely in algebraic geometry and algebraic topology. Motivation In a vector space, the set of scalars forms a field and acts on the vectors by scalar multiplication, subject to certain axioms such as the distributive law. In a module, the scalars need only be a ring, so the module concept represents a significant generalization. In commutative algebra, it is important that both ideals and quotient rings are modules, so that many arguments about ideals or quotient rings can be combined into a single argument about modules. In non-commutative algebra the distinction between left ideals, ideals, and modules becomes more pronounced, though some important ring theoretic conditions can be expressed either about left ideals or left modules. Much of the theory of modules consists of extending as many as possible of the desirable properties of vector spaces to the realm of modules over a "well-behaved" ring, such as a principal ideal domain.
    [Show full text]
  • A Brief Introduction to Gorenstein Projective Modules
    A BRIEF INTRODUCTION TO GORENSTEIN PROJECTIVE MODULES PU ZHANG Department of Mathematics, Shanghai Jiao Tong University Shanghai 200240, P. R. China Since Eilenberg and Moore [EM], the relative homological algebra, especially the Gorenstein homological algebra ([EJ2]), has been developed to an advanced level. The analogues for the basic notion, such as projective, injective, flat, and free modules, are respectively the Gorenstein projective, the Gorenstein injective, the Gorenstein flat, and the strongly Gorenstein projective modules. One consid- ers the Gorenstein projective dimensions of modules and complexes, the existence of proper Gorenstein projective resolutions, the Gorenstein derived functors, the Gorensteinness in triangulated categories, the relation with the Tate cohomology, and the Gorenstein derived categories, etc. This concept of Gorenstein projective module even goes back to Auslander and Bridger [AB], where they introduced the G-dimension of finitely generated module M over a two-sided Noetherian ring: now it is clear by the work of Avramov, Martisinkovsky, and Rieten that M is Goreinstein projective if and only if the G-dimension of M is zero. The aim of this note is to choose some main concepts, results, and typical proofs on Gorenstein projective modules. We omit the dual version, i.e., the ones for Gorenstein injective modules. The main references are [EJ2], [H1], and [J1]. Throughout, R is an associative ring with identity element. All modules are left if not specified. Denote by R-Mod the category of R-modules, R-mof the category of all finitely generated R-modules, and R-mod the category of all finite-dimensional R-modules if R is an algebra over field k.
    [Show full text]
  • Projective Modules
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 59, Number 2, September 1976 PROJECTIVE MODULES S. J0NDRUP Abstract. In this note we prove that if R is a ring satisfying a polynomial identity and P is a projective left .R-module such that P is finitely generated modulo the Jacobson radical, then P is finitely generated. As a corollary we get that if R is a ring still satisfying a polynomial identity and M is a finitely generated flat /R-module such that M/JM is ^//-projective, then M is R- projective, J denotes the Jacobson radical. 0. Introduction. In this note R denotes an associative ring with an identity element, J denotes the Jacobson radical of R and all modules considered are unitary fi-modules. In [6] D. Lazard proved that a projective module P over a commutative ring R, such that P/JP is finitely generated, is finitely generated. Furthermore he remarked that is was unknown whether or not the commutativity of R was essential for the validity of the result. In this note we prove that the theorem holds in any P.L ring. 1. Flat and projective modules. Let us consider the following properties of a ring R. (i) Any projective left fi-module P, such that P/JP is finitely generated, is finitely generated. (ii) Any finitely generated submodule of a projective module is contained in a maximal submodule. (iii) Any finitely generated flat left fi-module M, such that M/JM is R/J- projective, is projective. First we prove that if (i) holds for all projective left fi-modules, then (iii) will also hold.
    [Show full text]