Math 210B: Algebra, Homework 4

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

Math 210B:Algebra, Homework 2

Math 121 Homework 5: Notes on Selected Problems

Math 120 HW 9 Solutions

Math 210A: Algebra, Homework 5

Ring Theory Problems. A σ

A Primer on Homological Algebra

IDEAL CLASSES AND RELATIVE INTEGERS

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

Math 210A: Algebra, Homework 6

Topics in Module Theory

Total 100

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

Introduction to modules

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

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

ALGEBRA QUALIFYING EXAM SPRING 2012

Bulletin of the Iranian Mathematical Society

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 Exam Syllabus

Math 210B: Algebra, Homework 6

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

13 More on free abelian groups

Math 581 Problem Set 7 Solutions

Algebra Homework, Edition 2 9 September 2010

Profinite Groups. Hendrik Lenstra. 1. Introduction

Math 210B: Algebra, Homework 1

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS

3.2 Modules of Fractions

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

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.

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.

x y B =. v u Note that the determinant of B is xu + yv = 1. Thus B is invertible, with inverse u y v x On the other hand, d BA = va + ub 2

0.1 Universal Coefficient Theorem for Homology

Injective Modules and Matlis Duality

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

120A LECTURE OUTLINES

MA 252 notes: Commutative algebra

RINGS: SUMMARY OF MATERIAL

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

Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009

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

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS

Graduate Preliminary Examination

Modules Over Principal Ideal Domains

EXAM 3 MAT 423 Modern Algebra I Fall c d a + c (b + d) d c ad + bc ac bd

NOTES ON FINITE FIELDS

IUPUI Qualifying Exam Abstract Algebra

Groups of Prime Power Order with Derived Subgroup of Prime Order

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

Homework #5 Solutions

Projective and Injective Modules

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

Name: Solutions Final Exam

Algebra Prelim Notes

Algebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3...

Solutions to Assignment 4

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

Computations/Applications

4.2 Chain Conditions

Math 602, Fall 2002, HW 2, due 10/14/2002

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and

D-MATH Algebra I HS 2013 Prof. Brent Doran. Exercise 11. Rings: definitions, units, zero divisors, polynomial rings

(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

Topics in linear algebra

Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0

Math 547, Exam 1 Information.

Sample algebra qualifying exam

STRONGLY JÓNSSON AND STRONGLY HS MODULES

MATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.

Tensor Product of modules. MA499 Project II

Exercises MAT2200 spring 2014 Ark 5 Rings and fields and factorization of polynomials

Structure of rings. Chapter Algebras

Algebra SEP Solutions

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

Chapter 5. Linear Algebra

MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition).

ALGEBRA HW 3 CLAY SHONKWILER

Algebra Qualifying Exam Solutions. Thomas Goller

Factorization in Polynomial Rings

Homework 10 M 373K by Mark Lindberg (mal4549)

Euler s, Fermat s and Wilson s Theorems

The Number of Homomorphic Images of an Abelian Group

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

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

2 (17) Find non-trivial left and right ideals of the ring of 22 matrices over R. Show that there are no nontrivial two sided ideals. (18) State and pr

August 2015 Qualifying Examination Solutions

COMMUTATIVE ALGEBRA, LECTURE NOTES

ISOMORPHISMS KEITH CONRAD

TCC Homological Algebra: Assignment #3 (Solutions)

Math 210B. Artin Rees and completions

Commutative Algebra. Contents. B Totaro. Michaelmas Basics Rings & homomorphisms Modules Prime & maximal ideals...

MATH 25 CLASS 21 NOTES, NOV Contents. 2. Subgroups 2 3. Isomorphisms 4

43 Projective modules

Math 581 Problem Set 3 Solutions

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman

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

Transcription:

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, without loss of generality, we assume that 1 S since previous homework assignments have shown that inclusion of units in a localisation changes nothing. Second, we assume that 0 / S, so that S 1 R-Mod contains more than the zero module. Let 0 X f Y g Z 0 be an exact sequence of R-modules. Then we need to show that 0 S 1 X f S 1 Y g S 1 Z 0 is also exact. Suppose that f (x/s) = f(x)/s = 0/1 S 1 Y. This implies that there exists t S so that t f(x) = 0. Since f is an R-module homomorphism, this implies f(t x) = 0. Since f is injective, t x = 0. Therefore we see x/s = 0/1, since t(x 1 + 0 s) = t x = 0. Therefore f is injective. Now we need to show that im f = ker g. We have g (f (x/s)) = g(f(x)/s) = (g f)(x)/s = 0, so im f ker g. Conversely, if g (y/s) = 0, then g(y)/s = 0, so there exists t S so that t g(y) = g(t y) = 0. Therefore t y ker g, so t y im f. Let x X so that f(x) = t y. Then f (x/(st)) = f(x)/(st) = (t y)/(st) = y/s, so y/s im f. Therefore the sequence is exact in at the middle term. Finally, we need to show that g is surjective. Let z/s S 1 Z. Then there exists y Y so that g(y) = z. Then g (y/s) = g(y)/s = z/s, so g is surjective. This completes the proof. Problem 2. Prove that if for a module M over a commutative ring R one has M m = 0 for any maximal ideal m R, then M = 0. Here M m is the localisation of M with respect to the multiplicative subset R \ m. 1

Suppose that M is not the zero module, so 0 m M. Consider a = ann(m) = {r R : r x = 0}, the annihilator ideal of m. This is a proper ideal of R, so a m for some maximal ideal m. In the localisation M m, we have m/1 = 0/1, so there exists some s / m so that s m = 0. But this is a contradiction since any such element is in a m. Therefore we must have M = 0. Problem 3. Determine the torsion part of the group Z 2 /N, where N is the cyclic subgroup of Z 2 generated by (6, 21). First, we take the exact sequence 0 N Z 2 G 0, where G is the group in question. We can write (6, 21) = 6 (1, 0) + 21 (0, 1) in terms of the generators e 1, e 2 of Z 2. This yields a matrix ( ) 6 A =. 21 We now reduce this matrix until it is diagonal as possible. ( ) ( ) ( ) ( 6 r 2 3r! 6 r 1 2r 2 0 r 2 r 1 3 21 3 3 0 This yields a factorisation of the group G as G = Z Z/3Z. Therefore the torsion part of this group is Z/3Z. ). Problem 4. Find the rank of the subgroup in Z 3 generated by (2, 2, 0), (0, 4, 4), and (5, 0, 5). We know that a submodule of a module over a PID is free itself. We know that the above three generators are a generating set, but we do not know if it is a basis. To show this, we need to show that the map f : Z 3 M by f(a, b, c) = a(2, 2, 0) + b(0, 4, 4) + c(5, 0, 5) is an isomorphism. It is surjective by construction. Suppose that f(a, b, c) = 0. Then (2a + 5c, 4b 2a, 4b 5c) = (0, 0, 0). 2

Solving these equations, we see a = 2b, so replacing we have 4b + 5c = 0, 4b 5c = 0. Therefore we see b = 5 and c = 4 is a solution, so in total f(10, 5, 4) = (0, 0, 0). Additionally, any integer multiple f(α(10, 5, 4)) = αf(10, 5, 4) = 0 since f is a Z-module homomorphism.. Therefore ker f = Z is a free module of rank 1. Therefore M is a free module of rank 2. Problem 5. Let f : A A be an endomorphism of an abelian group A such that f(f(a)) = a for all a A. Show that there is a structure of a Z[i]-module on A such that ia = f(a) for all a A. We let the action of a + bi on g A be given by (a + bi) g = a g + b f(g). We need to check that this action is appropriately distributive, since it is clear that 1 g = g and A is an abelian group. First, all nice properties hold for the action of Z Z[i] on A. Now, we have (a + bi) g + (a + bi) h = a g + b f(g) + a h + b f(h) = a (g + h) + b [f(g) + f(h)] = a (g + h) + b f(g + h) = (a + bi) (g + h), where we use that f is a group homomorphism. Similarly, (a + bi) [(c + di) g] = (a + bi) (c g + d f(g)) = a (c g) + a (d f(g)) + b f(c g) + b f(d f(g)) = (ac) g + (ad + bc) f(g) + bd f(f(g)) = (ac bd) g + (ad + bc) f(g) = (ac + adi + bci + bdi 2 ) g = [(a + bi)(c + di)] g. Therefore A is an Z[i]-module with this structure. Problem 6. Classify all finitely generated modules over Z/nZ. Recall from the last homework that if M is a Z-module such that nz M = 0, then M is naturally a Z/nZ-module. Conversely, if M is a Z/nZ-module, then we may view M as a Z-module via a m = [a]ṁ, where [a] is the equivalence class of a modulo n. 3

Therefore all finitely generated modules over Z/nZ are Z-modules which are annihilated by n Z. Let n = p k 1 1 p km m be the (distinguished) prime factorisation of n. Using the classification theorem of finitely generated abelian groups, such Z-modules are exactly: M = Z/q α 1 1 Z Z/q α l l Z, where q i = p j for some prime and α i k j, so that n annihilates each term. These are all such modules. Problem 7. Classify all finitely generated modules over S 1 Z where S = {p n, n 0} and S = Z \ pz (p is a prime integer). We claim that the localisation of a PID is a PID. Let I S 1 Z be an ideal. Then by previous results, there exists J Z so that I = JS 1 Z. Let J = (n). Then we claim J = (n/1). let x I be any element. Then x (n)s 1 Z = x = (n/1) (a/b) (n/1). So S 1 Z is a PID. Therefore we may apply the classification theorem of modules over a PID. To do so, we need only determine the prime elements of S 1 Z in each case. In the first case, S = {p n }. In S 1 Z, this p is no longer a prime element, since it is invertible. However, all other prime elements are still prime, since S 1 (Z/(q)) = S 1 Z/(q/1) is still a domain, as the localisation of a domain is a domain by another previous result. Therefore modules over this S 1 Z are of the form S 1 Z r S 1 Z/(q k 1 1 /1) S 1 Z/(q kn n /1), where q p, the localised prime. On the other hand, if S = Z \ pz, then p is the only prime element of S 1 Z, since every other prime element is invertible. Hence modules of this PID are S 1 Z r S 1 Z/(p k 1 /1) S 1 Z/(p kn /1). This completes the proof. Problem 8. Let N be a submodule of a free finitely generated module F over a PID R. Show that N is a direct summand of F if and only if N af = an for all a R. If N is a submodule of F = R n, then N = n N i, 4

where each N i R is a submodule, i.e. an ideal. Further, N = R r, since it is a submodule of a free module. Clearly r n, and indeed we see r + k n by Problem 9. Hence N is a direct summand of F if and only if N i = R or 0 at every place. Suppose now that this is so. Then up to reordering, N is generated by e 1,..., e r, the standard basis of F = R n. Then N af = span{ae 1,..., ae r } = an. Problem 9. Show that a submodule N of a module M generated by n elements over a PID also can be generated by n elements. Let {x 1,..., x n } be a basis for M, and consider the canonical projection π : M N. Then let π(x i ) = x i for all i. We claim this is a basis of N. To see this, we have a surjective homomorphism R n M given by n (r 1,..., r n ) r i x i. Then we may compose these (R-module) homomorphisms to get a total homomorphism R n N by n (r 1,..., r n ) r i x i. This homomorphism is still surjective, hence { x 1,... x n } generate N. Problem 10. Let M (resp. N) be a product (resp. a direct sum) of countably many copies of the group Z. Show that the sequence of abelian groups is not split. 0 N M M/N 0 If the above sequence is split, then in particular there exists an injective splitting map M/N M. We claim no such map exists. We examine so-called infinitely-divisible elements. If A is an arbitrary abelian group, we consider the subgroup n N 2 n A, whose elements we call 2 -divisible. Note that in Z, the only 2 -divisible element is 0, hence in M the only 2 -divisible element is the infinite product of 0. However, M/N has nontrivial 2 -divisible elements. Let N N be an arbitrary large number, and let α = (2 0, 2 1,..., 2 n,...) + N M/N. Then 2 N α = (2 N, 2 N+1,...) = (2 0, 2 1,..., 2 N, 2 N+1,...) = α mod N since modulo N means we may modify any finite number of elements. Since an Z-linear injection M/N M must preserve the 2 -divisible elements, we conclude that no injection exists since α 0. Therefore the sequence is not split. 5