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

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

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

Modules Over Principal Ideal Domains

A Primer on Homological Algebra

NOTES IN COMMUTATIVE ALGEBRA: PART 2

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

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

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

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

Review of Linear Algebra

15. Polynomial rings Definition-Lemma Let R be a ring and let x be an indeterminate.

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

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

Introduction to modules

Presentation 1

Lecture 28: Fields, Modules, and vector spaces

Lecture 7 Cyclic groups and subgroups

Structure of rings. Chapter Algebras

Lectures - XXIII and XXIV Coproducts and Pushouts

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

38 Irreducibility criteria in rings of polynomials

ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS.

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

18.312: Algebraic Combinatorics Lionel Levine. Lecture 22. Smith normal form of an integer matrix (linear algebra over Z).

Notes on tensor products. Robert Harron

(Rgs) Rings Math 683L (Summer 2003)

3. The Sheaf of Regular Functions

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

TROPICAL SCHEME THEORY

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

2. Modules. Definition 2.1. Let R be a ring. Then a (unital) left R-module M is an additive abelian group together with an operation

Categories and functors

DIHEDRAL GROUPS II KEITH CONRAD

Math 210B:Algebra, Homework 2

Category O and its basic properties

ABSOLUTE VALUES AND VALUATIONS

MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis

Written Homework # 5 Solution

Tensor Product of modules. MA499 Project II

Topics in Module Theory

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

Math 121 Homework 5: Notes on Selected Problems

Math Studies Algebra II

Solutions to Assignment 4

Rings and Fields Theorems

Notes on Tensor Products

MATH 326: RINGS AND MODULES STEFAN GILLE

Total 100

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

Math 121 Homework 4: Notes on Selected Problems

MULTILINEAR ALGEBRA: THE TENSOR PRODUCT

DUAL MODULES KEITH CONRAD

Algebraic Geometry Spring 2009

NOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0

ZORN S LEMMA AND SOME APPLICATIONS

Modern Algebra Prof. Manindra Agrawal Department of Computer Science and Engineering Indian Institute of Technology, Kanpur

Equational Logic. Chapter Syntax Terms and Term Algebras

Homework 10 M 373K by Mark Lindberg (mal4549)

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

COHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

Written Homework # 2 Solution

Section 3 Isomorphic Binary Structures

Non-commutative Algebra

Direct Limits. Mathematics 683, Fall 2013

LECTURE 3: RELATIVE SINGULAR HOMOLOGY

Math 210B. Profinite group cohomology

ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION

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

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

A Little Beyond: Linear Algebra

Chapter 4 Vector Spaces And Modules

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31

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

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

PRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators.

Math 120 HW 9 Solutions

which is a group homomorphism, such that if W V U, then

NOTES ON FINITE FIELDS

Systems of linear equations. We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K,

Algebraic Geometry Spring 2009

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

Algebraic structures I

4.2 Chain Conditions

2) e = e G G such that if a G 0 =0 G G such that if a G e a = a e = a. 0 +a = a+0 = a.

Lecture 1. (i,j) N 2 kx i y j, and this makes k[x, y]

LECTURE 13. Quotient Spaces

Rings and groups. Ya. Sysak

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

Chapter 5. Modular arithmetic. 5.1 The modular ring

Elliptic Curves Spring 2015 Lecture #7 02/26/2015

Boolean Algebras, Boolean Rings and Stone s Representation Theorem

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

Properties of the Integers

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.

3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that

NOTES ON SPLITTING FIELDS

43 Projective modules

MATH 8020 CHAPTER 1: COMMUTATIVE RINGS

Transcription:

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 with a rule of multiplication, such that the following hold, R M M (r, m) r m, (1) 1 m = m, (2) (rs) m = r(s m), (3) (r + s) m = r m + s m, (4) r (m + n) = r m + r n, for every r and s R and m and n M. We will also say that M is an R-module and often refer to the multiplication as scalar multipplication. There are three key examples of modules. Suppose that F is a field. Then an F -module is precisely the same as a vector space. Indeed, in this case (1.1) is nothing more than the definition of a vector space. Now suppose that R = Z. What are the Z-modules? Clearly given a Z-module M, we get a group. Just forget the fact that one can multiply by the integers. On the other hand, in fact multiplication by an element of Z is nothing more than addition of the corresponding element of the group with itself the appropriate number of times. That is given an abelian group G, there is a unique way to make it into a Z-module, Z G G, (n, g) n g = g + g + g + + g where we just add g to itself n times. Note that uniqueness is forced by (1) and (3) of (1.1), by an obvious induction. It follows then that the data of a Z-module is precisely the same as the data of an abelian group. Let R be a ring. Then R can be considered as a module over itself. Indeed the rule of multiplication as a module is precisely the rule of multiplication as a ring. The axioms for a ring, ensure that the axioms for a module hold. It turns out to be extremely useful to have one definition of an object that captures all three notions: vector spaces, abelian groups and rings. 1

Here is a very non-trivial example. Let F be a field. What does a F [x]-module look like? Well obviously any F [x]-module is automatically a vector space over F. So we are given a vector space V, with the additional data of how to multiply by x. Multiplication by x induces a transformation of V. The axioms for a module ensure that this transformation is in fact linear. On the other hand, suppose we are given a linear transformation φ of a vector space V. We can define an F [x]-module as follows. Given v V, and f(x) F [x], define f(x) v = f(φ)v, where we substitute x for φ. Note that φ 2, and so on, means just apply φ twice and that we can add linear transformations. Thus the data of an F [x]-module is exactly the data of a vector space over F, plus a linear transformation φ. Note that the definition of f(φ) hides one subtelty. Suppose that one looks at polynomials in two variables f(x, y). Then it does not really make sense to substitute for both x and y, using two linear transformations φ and ψ. The problem is that φ and ψ won t always commute, so that the meaning of xy is unclear (should we replace this by φψ of ψφ?). Of course the powers of a single linear transformation will automatically commute, so that this problem disappears for a polynomial of one variable. Lemma 1.2. Let φ: R S be a ring homomorphism. Let M be an S-module. Then M is an R-module in a natural way. Proof. It suffices to define a scalar multiplication map R M M and show that this satisifies the axioms for a module. Given r R and m M, set r m = φ(r) M. It is easy to check the axioms for a module. For example, every R-module M is automatically a Z-module. There are two ways to see this. First every R-module is in particular an abelian group, by definition, and an abelian group is the same as a Z-module. Second observe that there is a unique ring homomorphism Z R and this makes M into an R-module by (1.2). 2

Lemma 1.3. Let M be an R-module. Then (1) r 0 = 0, for every r R. (2) 0 m = 0, for every m M. (3) 1 m = m, for every m M. Proof. We have r 0 = r (0 + 0) = r 0 + r 0. Cancelling, we have (1). For (2), observe that Cancelling, gives (2). Finally 0 m = (0 + 0) m 0 = 0 m = 0 m + 0 m. = (1 + 1) m = 1 m + ( 1) m = m + ( 1) m, so that ( 1) m is indeed the additive inverse of m. Definition 1.4. Let M and N be two R-modules. An R-module homomorphism is a map such that φ: M N φ(m + n) = φ(m) + φ(n) and φ(rm) = rφ(n). We will also say that φ is R-linear. In other words, φ is a homomorphism of groups that also respects scalar multiplication. If F is a field, then an F -linear map is the same as a linear map, in the sense of linear algebra. If R = Z, a Z-module homomorphism is nothing but a group homomorphism. Note that we now have a category, the category of all R-modules; the objects are R-modules, and the morphisms are R-linear maps. Given any ring R, the associated category captures a lot of the properties of R. Lemma 1.5. Let M be an R-module and let r R. Then the natural map M M given by m rm is R-linear. 3

Proof. Easy check left as an exercise for the reader. Definition 1.6. Let M be an R-module. A submodule N of M is a subset that is a module with the inherited addition and scalar multiplication. Let F be a field. Then a submodule is the same as a subvector space. Let R = Z. Then a submodule is the same as a subgroup. Consider R as a module over itself. Then a subset I is a submodule if and only if I is an ideal in the ring R. Lemma 1.7. Let M be an R-module and let N be a subset of M. Then N is a submodule of M if and only if it is closed under addition and scalar multiplication. Proof. Easy exercise for the reader. Definition-Lemma 1.8. Let φ: M N be an R-module homomorphism. The kernel of φ, denoted Ker φ, is the inverse image of the zero element of N. The kernel is a submodule. Proof. Easy exercise for the reader. Definition-Lemma 1.9. Let M be an R-module and let N be a submodule. Then the quotient group M/N can be made into a quotient module in an obvious way. Furthermore there is a natural R-module homomorphism u: M M/N, which is universal in the following sense. Let φ: M P be any R-module homomorphism, whose kernel contains N. Then there is a unique induced R-module homomorphism ψ : M P, such that the following diagram commutes, M M/N. Proof. Easy exercise for the reader. u ψ φ P... As always, a standard consequence is: Theorem 1.10. Let φ : M N be a surjective R-linear map, with kernel K. 4

Then N M/K. Definition 1.11. Let M be an R-module and let X be a subset. The R-module generated by X, denoted X, is equal to the smallest submodule that contains X. We say that the set X generates M if the submodule generated by X is the whole of M. We say that M is finitely generated if it is generated by a finite set. We say that M is cyclic if it is generated by a single element. Note that the definition of X makes sense; it is easy to adapt the standard arguments. Suppose that R is a field, so that an R-module is a vector space. Then a vector space is finitely generated if and only if it is of finite dimension and it is cyclic if and only if it has dimension at most one. If R = Z, then these are the standard definitions. Note that a ring R is automatically finitely generated. In fact it is cyclic, considered as a module over itself, generated by 1, that is R = 1. This is clear, since if r R, then r = r 1 1. This is our first indication that the notion of being finitely generated is not strong enough. Lemma 1.12. Let M be a cyclic R-module. Then M is isomorphic to a quotient of R. Proof. Let m M be a generator of M. Define a map φ: R M, by sending r R to rm. It is easy to check that this map is R- linear. Since the image of φ contains m = φ(1), and m generates M, it follows that φ is surjective. The result follows by the Isomorphism Theorem. Definition 1.13. Let M and N be two R-modules. The direct sum of M and N, denoted M N, is the R-module, which as a set is the Cartesian product of M and N, with addition and multiplication defined coordinate by coordinate: (m 1, n 1 )+(m 2, n 2 ) = (m 1 +m 2, n 1 +n 2 ) and r(m, n) = (rm, rn). Note that the direct sum is a direct sum in the category of R- modules. Note that the direct sum of R with itself is generated by (1, 0) and (0, 1). Definition 1.14. Let M be an R-module. We say that M is free if it is isomorphic to a direct sum of copies (possibly infinite) of R. We say that generators X of M are free 5

generators if there is an identification of M with a direct sum of copies of R, under which the standard generators of the direct sum corresponds to X. Suppose that F is a field. Then a set of free generators for a vector space V is the same as a basis of V. Since every vector space admits a basis, it follows that every vector space is free. R is a free module over itself, generated by 1, or indeed by any unit. A set of free generators, comes with an extremely useful universal property. Lemma 1.15. Let M be a free R-module, freely generated by X. Let N be any R-module and let f : X N be any map. Then there is unique induced ring homorphism φ: M N which makes the following diagram commute X φ f N M Proof. Let m M. By assumption, there are x 1, x 2,..., x k X and r 1, r 2,..., r k R, such that... m = r 1 x 1 + r 2 x 2 + + r k x k. In this case, we are obliged to send m to r 1 f(x 1 ) + r 2 f(x 2 ) + + r k f(x k ), if we want φ to be a ring homomorphism. It suffices to check that this does indeed define an R-linear map, which is easy to check. If R is a field, this is equivalent to saying that a linear map is determined by its action on basis and that given any choice of where to send the elements of a basis, there is a unique linear map. One obvious consequence of (1.15) and (1.10) is that every module is a quotient of a free module, that is a direct sum of copies of R. In particular Lemma 1.16. Let M be a finitely generated R-module. Then M is a quotient of R n, the direct sum of R with itself n times. 6