DOCSLIB.ORG

Chapter 2. Background Material: Module Theory

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Chapter 2. Background Material: Module Theory Chapter 2. Background Material: Module Theory The aim of this chapter is to recall the basics of the theory of modules, which we will use throughout. We review elementary constructions such as quotients, direct sum, direct products, exact sequences, free/projective/injective modules and tensor products, where we emphasise the approach via universal properties. Particularly important for the forthcoming homological algebra and cohomology of groups are the notions of free and, more generally, of projective modules. Throughout this chapter we let R and S denote rings, and unless otherwise specified, all rings are assumed to be unital and associative. Most results are stated without proof, as they have been studied in the B.Sc. lecture Commutative Algebra. As further reference I recommend for example: Reference: [Rot10] J. J. R, Advanced modern algebra. 2nd ed., Providence, RI: American Mathematical Society (AMS), 2010. 3 Modules, Submodules, Morphismsp q Definition 3.1 (Left R-module, right R-module,p R`qS -bimodule, homomorphism of modules) ¨ ˆ ›Ñ p qfiÑ ¨ (a) A left R-module is an abelian group M endowed with a scalar multiplication (or external composition law) : R M ›ÑM p q such that the map fiÑ p q “ ›Ñ fiÑ ¨ λ : R End M λ : λ : M M , ¨ is a ring homomorphism. By convention, when no confusion is to be made, we will simply write "R-module" to mean "left R-module", and instead of . ¨ ˆ ›Ñ p qfiÑ ¨ (a’) A right R-module is defined analogously using a scalar multiplication : M R M on the right-handp side.q p `q (a”) If S is a second ring, then an RS -bimodule is an abelian group M which is both a left R-module and a right¨p ¨S-module,q“p ¨ andq¨ which@ satisfiesP @ theP axiom@ P R S M 17 Skript zur Vorlesung: Cohomology of Groups SS 2018 18 § ¨ P P P (b) An R-submodule of an R-module M is a subgroup N M such that N for every R and every N. (Similarly for right modules and bimodules.) ›Ñ (c) A (homo)morphism of R-modules (or an R-linear map, or an R-homomorphism) is a map of R-modules : M N such that: (i) pis¨ a groupq“ ¨ homomorphism;p q@ P @ and P (ii) R, M. – A bijective homomorphism of R-modules is called an isomorphism (or an R-isomorphism), and ã we write M N if there exists an R-isomorphism between M and N. Ñ An injective (resp.⇣ surjective) homomorphism of R-modules is sometimes called a monomor- phism (resp. epimorphism) and we sometimes denote it with a hook arrow " " (resp. a two-head arrow " "). (Similarly for right modules and bimodules.) R Notation: We let Mod denote the category of left R-modules (with R-linear maps as morphisms), we R p q p q R S let Mod denote the category of right R-modules (with R-linear maps as morphisms), and we let Mod denote the category of RS -bimodules (with RS -linear maps as morphisms). For the language of category theory, see the Appendix. Convention: From now on, unless otherwise stated, we will always work with left modules. Example 5 Z (a) Vector spaces over a field K are K -modules, and conversely. (b) Abelian groups are -modules, and conversely. (c) If the ring R is commutative, then any right module can be made into a left module, and conversely.›Ñ p q p q “ p q (d) If : M N is a morphism of R-modules, then the kernel ker of is an R-submodule of M and the image Im : M of is an R-submodule of N. Notation 3.2 p q “t ›Ñ | u R Given R-modules M and N, we set Hom MN : : M N is an R-homomorphism . This is an` abelian groupp forqˆ the pointwisep q addition›Ñ of functions:p q R p qR fiÑ ` R ›Ñ fiÑ p q` p q : Hom MN Hom MN Hom MN “ ψ p q “ p qψ : M N ψ . p q R R In case N M, we write End M : Hom MM for the set of endomorphisms of M and R Aut M for the set of automorphisms of M, i.e. the set of invertible endomorphisms of M. Skript zur Vorlesung: Cohomology of Groups SS 2018 19 Exercise [Exercise 1, Exercise Sheet 3] Let MN bep Rq-modules. Prove that: R (a) End M , endowed with the usual composition andp sumq of functions, is a ring. R (b) If R is commutative then the abelian group Hom MN is a left R-module. Lemma-Definition 3.3 (Quotients of modules) { Let U be an R-submodule of an R-module M. The quotient group M U can be endowed with the structure of an R-module in a natural way:ˆ { ›Ñ { R `M fi›Ñ M¨ ` ` U˘ U ›Ñ { fiÑ `U U The canonical map π : M M U U is R-linear. Proof : Direct calculation. Theorem 3.4 ›Ñ Ñ p q (a) Universal property of{ the›Ñ quotient: Let ˝: M“ N be a homomorphism of R-modules. If U is an R-submodule of M such that U ker , then there exists a unique R-module homomorphism : M U N such that π , or in other words such that the following diagram commutes: ö M D N π { ! M p ` q“ p q@ ` P U { Concretely, U U M U . “ p q (b) 1st isomorphism theorem: With the notation of (a), if U ker , then { p q ›Ñ p q : M ker Im is an isomorphism of R-modules. X ` 1 2 1 2 1 2 (c) 2nd isomorphism theorem: If U U are R-submodules of M, then so are U U and U U , and there is an an isomorphism of R-modules p ` q{ – { X 1 2 1 U U 2 U 1 2 Ñ U U U 1 2 (d) 3rd isomorphism theorem: If U U are R-submodules of M, then there is an an isomor- { { – { phism of R-modules { ´ ¯ ´ ¯ M 1 2 1 M 2 U U U U (e) Correspondence theorem: If U is an R-submodule of M, then there is a bijection Skript zur Vorlesung: Cohomology of Groups SS 2018 20 t | Ñ u–Ñt { u fiÑ { XR-submodule´ p ofqM U X –R-submodules of M U X1 X U π Z [ Z . Proof : We assume it is known from the "Einführung in die Algebra" that these results hold for abelian groups and morphisms of abelian groups. Exercise: check that they carry over to the R-module structure. DefinitionP 3.5 (Cokernel,p q coimage) { R { Let Hom MN . Then, the cokernel of is the quotient R-module N Im , and the coimage of is the quotient R-module M ker . 4t Directu P products and direct sums P t u P I ± I Let M be a family of R-modules. Then the abelian group I M , that is the product of M seen as a family of abelian groups, becomesˆ an R›-moduleÑ via the following external composition law: P P π π R M M p qI P fi›Ñ I¨ P ` ˘ ` ˘ I I P P ›Ñ ± Furthermore, for each I, we let π : I M M denotes the -th projection from the product to the module M . Proposition 4.1›Ñ (Universalu P property of the direct product) ›Ñ I P ˝ “ P If : L M is a collection of R-linear maps, then there exists a unique morphism of ± R-modules : L I M such that π for every I. L ✏ P ± I { M # ⌘ π π M M In other words ›Ñ p q ´ P ¯ P R π π R Hom L M Hom LM I fi›Ñ I ˝ ` ˘ π is an isomorphism of abelian groups. Skript zur Vorlesung: Cohomology of Groups SS 2018 21 Proof : Exercise 2, Exercise Sheet 3. P P p q P “ À “ ± P I Now let I M be the subgroup of I M consisting of the elements such that 0 al- t u P P most everywhere (i.e. 0 exept for a finite subset of indices I). This subgroup is called the ›Ñ P I direct sum of the family M and is in fact an R-submodule of the product. For each I, we let À η : M I M denote the canonical injection of M in the direct sum. Proposition 4.2› (UniversalÑ u P property of the direct sum) P I ›Ñ ˝ “ P If : M L is a collection of R-linear maps, then there exists a unique morphism of À I R-modules : M L such that η CO [ for every I. L ; P c À I M η η M M In other words ›Ñ p q ´ P ¯ P R à π R Hom M L Hom M L I fi›Ñ I˝ ` ˘ η is an isomorphism of abelian groups. Proof : Exercise 2, Exercise Sheet 3. Remark 4.3 | |†8 P “ P À ± It is clear that if I , then I M I M . The direct sum as defined above is often called an external direct sum. This relates as follows with the usual notion of internal direct sum: Definition 4.4 (“Internal” direct sums) “ ‘ P 1 2 “ ` P P 1 2 Let M be an R-module and N N be two R-submodules of M. We write M N N if every 1 2 1 1 2 2 M“can be‘ written in a unique way as ,“ where` N andX N“t.
Load more

Recommended publications
  • The Exchange Property and Direct Sums of Indecomposable Injective Modules
    Pacific Journal of Mathematics THE EXCHANGE PROPERTY AND DIRECT SUMS OF INDECOMPOSABLE INJECTIVE MODULES KUNIO YAMAGATA Vol. 55, No. 1 September 1974 PACIFIC JOURNAL OF MATHEMATICS Vol. 55, No. 1, 1974 THE EXCHANGE PROPERTY AND DIRECT SUMS OF INDECOMPOSABLE INJECTIVE MODULES KUNIO YAMAGATA This paper contains two main results. The first gives a necessary and sufficient condition for a direct sum of inde- composable injective modules to have the exchange property. It is seen that the class of these modules satisfying the con- dition is a new one of modules having the exchange property. The second gives a necessary and sufficient condition on a ring for all direct sums of indecomposable injective modules to have the exchange property. Throughout this paper R will be an associative ring with identity and all modules will be right i?-modules. A module M has the exchange property [5] if for any module A and any two direct sum decompositions iel f with M ~ M, there exist submodules A\ £ At such that The module M has the finite exchange property if this holds whenever the index set I is finite. As examples of modules which have the exchange property, we know quasi-injective modules and modules whose endomorphism rings are local (see [16], [7], [15] and for the other ones [5]). It is well known that a finite direct sum M = φj=1 Mt has the exchange property if and only if each of the modules Λft has the same property ([5, Lemma 3.10]). In general, however, an infinite direct sum M = ®i&IMi has not the exchange property even if each of Λf/s has the same property.
    [Show full text]
  • WHEN IS ∏ ISOMORPHIC to ⊕ Introduction Let C Be a Category
    WHEN IS Q ISOMORPHIC TO L MIODRAG CRISTIAN IOVANOV Abstract. For a category C we investigate the problem of when the coproduct L and the product functor Q from CI to C are isomorphic for a fixed set I, or, equivalently, when the two functors are Frobenius functors. We show that for an Ab category C this happens if and only if the set I is finite (and even in a much general case, if there is a morphism in C that is invertible with respect to addition). However we show that L and Q are always isomorphic on a suitable subcategory of CI which is isomorphic to CI but is not a full subcategory. If C is only a preadditive category then we give an example to see that the two functors can be isomorphic for infinite sets I. For the module category case we provide a different proof to display an interesting connection to the notion of Frobenius corings. Introduction Let C be a category and denote by ∆ the diagonal functor from C to CI taking any object I X to the family (X)i∈I ∈ C . Recall that C is an Ab category if for any two objects X, Y of C the set Hom(X, Y ) is endowed with an abelian group structure that is compatible with the composition. We shall say that a category is an AMon category if the set Hom(X, Y ) is (only) an abelian monoid for every objects X, Y . Following [McL], in an Ab category if the product of any two objects exists then the coproduct of any two objects exists and they are isomorphic.
    [Show full text]
  • Clifford Algebras
    Preprint typeset in JHEP style - HYPER VERSION Chapter 10:: Clifford algebras Abstract: NOTE: THESE NOTES, FROM 2009, MOSTLY TREAT CLIFFORD ALGE- BRAS AS UNGRADED ALGEBRAS OVER R OR C. A CONCEPTUALLY SUPERIOR VIEWPOINT IS TO TREAT THEM AS Z2-GRADED ALGEBRAS. SEE REFERENCES IN THE INTRODUCTION WHERE THIS SUPERIOR VIEWPOINT IS PRESENTED. April 3, 2018 -TOC- Contents 1. Introduction 1 2. Clifford algebras 1 3. The Clifford algebras over R 3 3.1 The real Clifford algebras in low dimension 4 3.1.1 C`(1−) 4 3.1.2 C`(1+) 5 3.1.3 Two dimensions 6 3.2 Tensor products of Clifford algebras and periodicity 7 3.2.1 Special isomorphisms 9 3.2.2 The periodicity theorem 10 4. The Clifford algebras over C 14 5. Representations of the Clifford algebras 15 5.1 Representations and Periodicity: Relating Γ-matrices in consecutive even and odd dimensions 18 6. Comments on a connection to topology 20 7. Free fermion Fock space 21 7.1 Left regular representation of the Clifford algebra 21 7.2 The Exterior Algebra as a Clifford Module 22 7.3 Representations from maximal isotropic subspaces 22 7.4 Splitting using a complex structure 24 7.5 Explicit matrices and intertwiners in the Fock representations 26 8. Bogoliubov Transformations and the Choice of Clifford vacuum 27 9. Comments on Infinite-Dimensional Clifford Algebras 28 10. Properties of Γ-matrices under conjugation and transpose: Intertwiners 30 10.1 Definitions of the intertwiners 31 10.2 The charge conjugation matrix for Lorentzian signature 31 10.3 General Intertwiners for d = r + s even 32 10.3.1 Unitarity properties 32 10.3.2 General properties of the unitary intertwiners 33 10.3.3 Intertwiners for d = r + s odd 35 10.4 Constructing Explicit Intertwiners from the Free Fermion Rep 35 10.5 Majorana and Symplectic-Majorana Constraints 36 { 1 { 10.5.1 Reality, or Majorana Conditions 36 10.5.2 Quaternionic, or Symplectic-Majorana Conditions 37 10.5.3 Chirality Conditions 38 11.
    [Show full text]
  • Arxiv:1604.01247V2 [Math.QA] 1 May 2016 a ,2016 3, May [email protected] Orsay
    EXCEPTIONAL QUANTUM GEOMETRY AND PARTICLE PHYSICS Michel DUBOIS-VIOLETTE 1 To the memory of Raymond Stora Abstract Based on an interpretation of the quark-lepton symmetry in terms of the unimodularity of the color group SU(3) and on the existence of 3 generations, we develop an argumentation suggesting that the “finite quantum space” corresponding to the exceptional real Jordan algebra of dimension 27 (the Euclidean Albert algebra) is relevant for the description of internal spaces in the theory of particles. In par- ticular, the triality which corresponds to the 3 off-diagonal octonionic elements of the exceptional algebra is associated to the 3 generations of the Standard Model while the representation of the octonions as a complex 4-dimensional space C ⊕ C3 is associated to the quark-lepton symmetry, (one complex for the lepton and 3 for the corresponding quark). More generally it is is suggested that the replacement of the algebra of real functions on spacetime by the algebra of functions on spacetime with values in a finite-dimensional Euclidean Jordan alge- arXiv:1604.01247v2 [math.QA] 1 May 2016 bra which plays the role of “the algebra of real functions” on the corresponding almost classical quantum spacetime is relevant in par- ticle physics. This leads us to study the theory of Jordan modules and to develop the differential calculus over Jordan algebras, (i.e. to introduce the appropriate notion of differential forms). We formulate the corresponding definition of connections on Jordan modules. May 3, 2016 1Laboratoire de Physique Th´eorique, CNRS, Universit´eParis-Sud, Universit´eParis- Saclay, Bˆatiment 210, F-91 405 Orsay.
    [Show full text]
  • Purity, Algebraic Compactness, Direct Sum Decompositions, And
    PURITY, ALGEBRAIC COMPACTNESS, DIRECT SUM DECOMPOSITIONS, AND REPRESENTATION TYPE Birge Huisgen-Zimmermann Helmut Lenzing zu seinem 60. Geburtstag gewidmet Introduction The idea of purity pervades human culture, from religion through sexual and moral codes, cleansing rituals and dietary rules, to stratifications of societies into castes. It does so to an extent which is hardly backed up by the following definition found in the Oxford English Dictionary: freedom from admixture of any foreign substance or matter. In fact, in a process of blending and fusing of ideas and ideals (which stands in stark contrast to the dictionary meaning of the term itself), the concept has acquired dozens of additional connotations. They have proved notoriously hard to pin down, to judge by the incongruence of the emotional and poetic reactions they have elicited. Here is a small sample: Purity is obscurity. Ogden Nash. One cannot be precise and still be pure. Marc Chagall. Unto the pure all things are pure. New Testament. To the pure all things are impure. Mark Twain. To the pure all things are indecent. Oscar Wilde. Blessed are the pure in heart for they have so much more to talk about. Edith Wharton. Be thou as chaste as ice, as pure as snow, thou shalt not escape calumny. Get thee to a nunnery, go. W. Shakespeare. arXiv:1407.2360v1 [math.RA] 9 Jul 2014 Necessary, for ever necessary, to burn out false shames and smelt the heaviest ore of the body into purity. D. H. Lawrence. Mathematics possesses not only truth, but supreme beauty – a beauty cold and austere, like that of a sculpture, without appeal to any part of our weaker nature, sublimely pure, and capable of a stern perfection such as only the greatest art can show.
    [Show full text]
  • Quantum Algebras Associated to Irreducible Generalized Flag Manifolds
    Quantum Algebras Associated to Irreducible Generalized Flag Manifolds by Matthew Tucker-Simmons A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Mathematics in the Graduate Division of the University of California, Berkeley arXiv:1308.4185v1 [math.QA] 19 Aug 2013 Committee in charge: Professor Marc A. Rieffel, Chair Professor Nicolai Reshetikhin Professor Ori Ganor Fall 2013 Quantum Algebras Associated to Irreducible Generalized Flag Manifolds Copyright 2013 by Matthew Tucker-Simmons 1 Abstract Quantum Algebras Associated to Irreducible Generalized Flag Manifolds by Matthew Tucker-Simmons Doctor of Philosophy in Mathematics University of California, Berkeley Professor Marc A. Rieffel, Chair In the first main part of this thesis we investigate certain properties of the quantum sym- metric and exterior algebras associated to Type 1 representations of quantized universal enveloping algebras of semisimple Lie algebras, which were defined and studied by Beren- stein and Zwicknagl in [BZ08, Zwi09a]. We define a notion of a commutative algebra object in a coboundary monoidal category, and we prove that, analogously to the classical case, the quantum symmetric algebra associated to a module is the universal commutative algebra generated by that module. That is, the functor assigning to a module its quantum symmet- ric algebra is left adjoint to an appropriate forgetful functor, and likewise for the quantum exterior algebra. We also prove a strengthened version of a conjecture of Berenstein and Zwicknagl, which states that the quantum symmetric and exterior cubes exhibit the same amount of “collapsing” relative to their classical counterparts. More precisely, the difference in dimension between the classical and quantum symmetric cubes of a given module is equal to the difference in dimension between the classical and quantum exterior cubes.
    [Show full text]
  • Representations of Finite Groups Course Notes
    Representations of Finite Groups Course Notes Katherine Christianson Spring 2016 Katherine Christianson Representation Theory Notes 2 A Note to the Reader These notes were taken in a course titled \Representations of Finite Groups," taught by Professor Mikhail Khovanov at Columbia University in spring 2016. With the exception of the proofs of a few theorems in the classification of the McKay graphs of finite subgroups of SU(2) (at the end of Section 4.2.3), I believe that these notes cover all the material presented in class during that semester. I have not organized the notes in chronological order but have instead arranged them thematically, because I think that will make them more useful for reference and review. The first chapter contains all background material on topics other than representation theory (for instance, abstract algebra and category theory). The second chapter contains the core of the representation theory covered in the course. The third chapter contains several constructions of representations (for instance, tensor product and induced representations). Finally, the fourth chapter contains applications of the theory in Chapters 2 and 3 to group theory and also to specific areas of interest in representation theory. Although I have edited these notes as carefully as I could, there are no doubt mistakes in many places. If you find any, please let me know at this email address: [email protected]. If you have any other questions or comments about the notes, feel free to email me about those as well. Good luck, and happy studying! i Katherine Christianson Representation Theory Notes ii Chapter 1 Algebra and Category Theory 1.1 Vector Spaces 1.1.1 Infinite-Dimensional Spaces and Zorn's Lemma In a standard linear algebra course, one often sees proofs of many basic facts about finite-dimensional vector spaces (for instance, that every finite-dimensional vector space has a basis).
    [Show full text]
  • Lectures on Modules Over Principal Ideal Domains
    Lectures on Modules over Principal Ideal Domains Parvati Shastri Department of Mathematics University of Mumbai 1 − 7 May 2014 Contents 1 Modules over Commutative Rings 2 1.1 Definition and examples of Modules . 2 1.2 Free modules and bases . 4 2 Modules over a Principal Ideal Domain 6 2.1 Review of principal ideal domains . 6 2.2 Structure of finitely generated modules over a PID: Cyclic Decomposition . 6 2.3 Equivalence of matrices over a PID . 8 2.4 Presentation Matrices: generators and relations . 10 3 Classification of finitely generated modules over a PID 11 3.1 Finitely generated torsion modules . 11 3.2 Primary Decomposition of finitely generated torsion modules over a PID . 11 3.3 Uniqueness of Cyclic Decomposition . 13 4 Modules over k[X] and Linear Operators 15 4.1 Review of Linear operators on finite dimensional vector spaces . 15 4.2 Canonical forms: Rational and Jordan . 17 4.3 Rational canonical form . 17 4.4 Jordan canonical form . 17 5 Exercises 19 5.1 Exercises I ............................................. 19 5.2 Exercises II ............................................. 19 5.3 Exercises III ............................................ 20 5.4 Exercises IV ............................................ 21 5.5 Exercises V: Miscellaneous ................................... 22 6 26 1 1 Modules over Commutative Rings 1.1 Definition and examples of Modules (Throughout these lectures, R denotes a commutative ring with identity, k denotes a field, V denotes a finite dimensional vector space over k and M denotes a module over R, unless otherwise stated.) The notion of a module over a commutative ring is a generalization of the notion of a vector space over a field, where the scalars belong to a commutative ring.
    [Show full text]
  • ENDOTRIVIAL MODULES for P-SOLVABLE GROUPS 1
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 363, Number 9, September 2011, Pages 4979–4996 S 0002-9947(2011)05307-9 Article electronically published on April 19, 2011 ENDOTRIVIAL MODULES FOR p-SOLVABLE GROUPS JON F. CARLSON, NADIA MAZZA, AND JACQUES THEVENAZ´ Abstract. We determine the torsion subgroup of the group of endotrivial modules for a finite solvable group in characteristic p. We also prove that our result would hold for p-solvable groups, provided a conjecture can be proved for the case of p-nilpotent groups. 1. Introduction In this paper, we analyse the group T (G) of endotrivial modules in characteris- tic p for a finite group G which is p-solvable. Our results are mainly concerned with the torsion subgroup TT(G)ofT (G). The description is not quite complete since it depends on a conjecture1 for the p-nilpotent case. However, we can prove the conjecture in the solvable case, hence we obtain final results for all solvable groups. Recall that endotrivial modules were introduced by Dade [9] and appear natu- rally in modular representation theory. Several contributions towards the general goal of classifying those modules have already been obtained. The most important result for our purposes is the classification of all endotrivial modules for p-groups ([6], [7], [8], [2]). Other results have been obtained in [4], [5], [3], [15], and [16]. We start with the analysis of T (G) for a finite p-nilpotent group G.LetP be a ∼ Sylow p-subgroup of G and N = Op (G)sothatG/N = P . We first show that ∼ T (G) = K(G) ⊕ T (P ) , where K(G) is the kernel of the restriction to P .
    [Show full text]
  • MATH 210A NOTES Contents Part 1. Basic Theory of Rings and Modules
    MATH 210A NOTES ARUN DEBRAY DECEMBER 16, 2013 These notes were taken in Stanford's Math 210a class in Fall 2013, taught by Professor Zhiwei Yun. I TEXed them up using vim, and as such there may be typos; please send questions, comments, complaints, and corrections to [email protected]. Contents Part 1. Basic Theory of Rings and Modules 2 1. Introduction to Rings and Modules: 9/23/132 2. More Kinds of Rings and Modules: 9/25/135 3. Tema con Variazioni, or Modules Over Principal Ideal Domains: 9/27/138 4. Proof of the Structure Theorem for Modules over a Principal Ideal Domain: 10/2/13 11 Part 2. Linear Algebra 14 5. Bilinear and Quadratic Forms: 10/4/13 14 Part 3. Category Theory 17 6. Categories, Functors, Limits, and Adjoints: 10/9/13 17 Part 4. Localization 20 7. Introduction to Localization: 10/11/13 20 8. Behavior of Ideals Under Localization: 10/16/13 23 9. Nakayama's Lemma: 10/18/13 26 10. The p-adic Integers: 10/23/13 28 Part 5. Tensor Algebra 30 11. Discrete Valuation Rings and Tensor Products: 10/25/13 30 12. More Tensor Products: 10/30/13 33 13. Tensor, Symmetric, and Skew-Symmetric Algebras: 11/1/13 35 14. Exterior Algebras: 11/6/13 38 Part 6. Homological Algebra 41 15. Complexes and Projective and Injective Modules: 11/8/13 41 16. The Derived Functor Exti(M; N): 11/13/13 44 17. More Derived Functors: 11/15/13 47 18. Flatness and the Tor Functors: 11/18/13 50 Part 7.
    [Show full text]
  • Some Examples in Modules
    SOME EXAMPLES IN MODULES Miodrag Cristian Iovanov Faculty of Mathematics, University of Bucharest,[email protected] Abstract The problem of when the direct product and direct sum of modules are iso- morphic is discussed. A series of examples where the product and coproduct of an infinite family of modules are isomorphic is given. One may see that if we Ä require that the isomorphism of É and be a natural (functorial) one, then I I this can only be done for finite sets I. If this is the case for modules, we show that for comodules over a coalgebra the product and coproduct of a family of comodules can be isomorphic even via the canonical morphism. 2000 MSC: primary 18A30; secondary 20K25, 16A. Keywords: product, coproduct. 1. INTRODUCTION Given a family (Mi)i∈I of (left) R modules, we consider the problem of when the direct sum and direct product of this family are isomorphic. It is obvious that if we require that the isomorphism is the canonic isomorphism, then we can easily see that the set must be finite, unless all but a finite part of the modules are 0. Nevertheless we may ask wether the direct product and direct sum of a module can be isomorphic via other isomorphisms. We produce a large class of examples that show that this is possible, so the direct product, by the categorical point of view (classification of modules) is not necessarily very different of the direct sum. We also show that in the case of categories other than categories of modules, namely for comodules over a coalgebra, the direct sum and direct product of a family of objects can be isomorphic even through the canonical morphism.
    [Show full text]
  • Finite Group Representations for the Pure Mathematician
    Finite Group Representations for the Pure Mathematician by Peter Webb Preface This book started as notes for courses given at the graduate level at the University of Minnesota. It is intended to be used at the level of a second-year graduate course in an American university. At this level the book should provide material for a year-long course in representation theory. It is supposed that the reader has already studied the material in a first-year graduate course on algebra and is familiar with the basic properties, for example, of Sylow subgroups and solvable groups, as well as the examples which are introduced in a first group theory course, such as the dihedral, symmetric, alternating and quaternion groups. The reader should also be familiar with other aspects of algebra which appear in or before a first- year graduate course, such as Galois Theory, tensor products, Noetherian properties of commutative rings, the structure of modules over a principal ideal domain, and the first properties of ideals. The Pure Mathematician for whom this course is intended may well have a primary in- terest in an area of pure mathematics other than the representation theory of finite groups. Group representations arise naturally in many areas, such as number theory, combinatorics and topology, to name just three, and the aim of this course is to give students in a wide range of areas the technique to understand the representations which they encounter. This point of view has determined to a large extent the nature of this book: it should be suffi- ciently short, so that students who are not specialists in group representations can get to the end of it.
    [Show full text]