Math 593: Problem Set 7

Size: px
Start display at page:

Download "Math 593: Problem Set 7"

Transcription

1 Math 593: Problem Set 7 Feng Zhu, Punya Satpathy, Alex Vargo, Umang Varma, Daniel Irvine, Joe Kraisler, Samantha Pinella, Lara Du, Caleb Springer, Jiahua Gu, Karen Smith 1 Basics properties of tensor product i. We have a bilinear map M N N M given by (m, n) n m by construction of the tensor product, (m, n 1 + n 2 ) n 2 m + n 1 m, (m, rn) r(n m), (m 1 + m 2, n) n m 1 + n m 2 and (rm, n) r(n m). Then, by the universal property of tensor, we have a unique R-module map : M N N M s.t. M N M N N M such that is given by n m m n. In the same way, we can construct an R-linear map φ : N M M N which is inverse to. Hence M N = N M. ii. For any fixed l L, we have a bilinear map f l : M N M (N L) defined by (m, n) m (n l). By the universal property of tensor products, we have a well-defined R-linear map f l : M N M (N L). It is then easy to check that the map (M N) L M (N L) given by (m n, l) f l (m n) = m (n l) is well-defined and bilinear. Then, applying again the universal property of tensor products, we have a R-module map : (M N) L M (N L) s.t. (M N) L (M N) L On simple tensors, we have ((m n) l) = m (n l). M (N L) Similarly, we get an R-module map φ in the other direction, by first fixing an m M and defining a bilinear map N L (M N) L by (n, l) (m n) l. We get an analogous an R-module map φ : M (N L) (M N) L satisfying φ(m (n l)) = m (n l). So φ and are inverses and we conclude that (M N) L = M (N L). iii. We have a bilinear map (M N) L (M L)(N L) given by (mn, l) (m l, n l) by construction of the tensor product and the properties of the direct sum, (m 1 + m 2 n 1 + n 2, l) ((m 1 + m 2 ) l, (n 1 + n 2 ) l) = (m 1, n 1 ) l + (m 2, n 2 ) l, (rm rn, l) (rm l, rn l) = r(m l, n l), (m n, l 1 + l 2 ) (m (l 1 + l 2 ), n (l 1 + l 2 )) = (m l 1, n l 1 ) + (m l 2, n l 2 ), (m n, rl) (m rl, n rl) = r(m l, n l). 1

2 Then, by the universal property of the tensor product, we have a unique R-module map : M N N M s.t. (M N) L (M N) L (M L) (N L) and we may verify by following the arrows that is given by (m, n) l (m l, n l). We may verify that such a is bijective on the simple tensors it is injective since m l = n l = 0 implies m + n l = 0; it is surjective because we may hit any m l by starting with (m, 0) l, and any n l by starting with (0, n) l and is hence a bijective R-module map between the tensor products. Hence (M N) L = (M L) (N L). iv. Let µ : M M and ν : N N be isomorphisms. We have a bilinear map M N M N given by (m, n) µ(m) ν(n) by construction of the tensor product and since µ and ν are R-module morphisms, (m, n 1 + n 2 ) µ(m) ν(n 1 ) + µ(m) ν(n 2 ), (m, rn) r(µ(m) ν(n)), (m 1 + m 2, n) µ(m 1 ) ν(n) + µ(m 2 ) ν(n) and (rm, n) r(µ(m) ν(n)). Then, by the universal property of the tensor product, we have a unique R-module map : M N M N s.t. M N M N M N and we may verify by following the arrows that is given by m n µ(m) ν(n). Analogously, by working with the maps µ 1 : M M and ν 1 : N N, we construct the inverse map. Hence M N = M N whenever M = M and N = N (as R-modules.) 2 Change of rings Since A B C, every C module is a B-module, and every B-module is an A-module. We abuse notation by writing b for both b B and its image in C, and likewise a will denote a A or its image in B or its image in C. In all cases, the meaning should be clear from context. There is a B-bilinear map C (B A M) C A M given by (c, b m) cb m (where [in the left tensor factor] on the RHS b denotes the image thereof in C by the abuse mentioned above). This map is well-defined by the linearity properties of the tensor product. Now by the universal property of the tensor product, we can find a unique B-module map : C B (B A M) C M s.t. C (B A M) C B (B A M) C A M In fact, it is easy to see that this map is indeed C-linear, since c(c (b m) = c(c b m) = cc b m = (c(c (b m))). There is also an A-bilinear map C M C B (B A M) given by (c, m) c (1 m) We verify this is bilinear by checking that 2

3 (rc 1 + c 2, m) (rc 1 + c 2 ) (1 m) = r(c 1 (1 m)) + c 2 (1 m) (c, rm 1 + m 2 ) c (1 (rm 1 + m 2 )) = r(c (1 m 1 )) + c (1 m 2 ) Now by the universal property of the tensor product, we can find a unique A-module map ψ : C A M C B (B A M) s.t. C M C A M C B (B A M) Claim. and ψ are inverses, so in particular they are bijective. To see this, note that (ψ )(c (b m)) = ψ(cb m) = cb (1 m) = c (b m) and ( ψ)(cb m) = cb (1 m) = cb m. Hence C B (B A M) = C A M. ψ 3 Tensor products in the category of A-algebras (a) First we show that R A S has a ring structure. R A S, being an A-module, is already an abelian group under +. Now define multiplication on R A S by (r s) (r s ) = rr ss extended linearly. This is well-defined by the following argument: the universal property of the tensor product gives us well-defined A-linear maps R A R R and S A S S, from R R R A R S S S A S (r,r ) rr (s,s ) ss R S and then, again by the universal property of the tensor product, we have an A-linear map : (R A S) A (R A S) R A S s.t. (R A R) (S A S) (R A R) (S A S) = (R A S) (R A S) (r r,s s ) rr ss R A S and now we may compose the natural map (R A S) (R A S) (R A S) (R A S) with to obtain the above-described map (R A S) (R A S) R A S. We note that multiplication hence defined is associative, by the associativity of multiplication in R and S, and has 1 1 as an identity element. Moreover multiplication distributes across addition by bilinearity. Now define an A-algebra structure on R A S by a a(1 1). This is a ring homomorphism because (a + b) (a + b)(1 1) = a(1 1) + b(1 1), ab ab(1 1) = a(b(1 1)), 1 (1 1), and 0 0(1 1) = 0. Moreover the image of A is clearly in the center of B (with multiplication as given above.) (b) Define a map R R A S by r r 1 and a map S R A S by s 1 s. These are ring maps by the way we have defined ring operations on R A S. To see that they are also A-algebra maps, we need a commutating diagram 3

4 R R A S A but this is easy since A R R A S sends a a a 1 = a(1 1). Similarly with S R S sending s 1 s is an A-algebra map. Now suppose we have an commutative A-algebra T s.t. we have A-algebra maps R T and S T. We wish to show that we can find a unique A-algebra map : R A S T s.t. T R A S R so that R A S is indeed a coproduct (of R and S) in the category of commutative A-algebras. Since R S T sending (r, s) rs is A-bilinear, the universal property of tensor products gives the map via: S R S R S We may verify that is a ring map: (1 1) = 1 and (0 1) = 0, and respects ring addition by definition, and ((r s)(r s )) = rr ss = (rs)(r s ). Moreover is an A-algebra map, since (a(1 1)) = a T. (c) Commutative rings are Z-algebras, so the result of the previous part applied to A = Z shows that coproducts exist in the category of commutative rings: in particular, given two rings R and S, the tensor product R Z S is a coproduct of R and S in the category of commutative rings. T 4 A-algebra isomorphisms a. Define the map : B A A[x, y] B[x, y] by (b f) bf. This is an isomorphism, from the chain of isomorphisms B A A[x, y] = B A A(x i y j ) i,j Z 0 = (B A A)(x i y j ) i,j = B(x i y j ) = B[x, y] b. We start with the exact sequence 0 (f 1,..., f t ) R[x 1,..., x d ] R[x 1,..., x d ]/(f 1,..., f t ) 0 i,j 4

5 and now we apply the functor R/I R to our sequence We know from [a similar argument to] the above, with A = R and B = R/I, that R/I R R[x 1,..., x d ] = R/I[x 1,..., x d ]. Similarly, R/I R (f 1,..., f t ) = ( f 1,..., f t ). By right-exactness of (and implicitly appealing to the above isomorphisms where required), we obtain the exact sequence im(r/i R (f 1,..., f t )) = ( f 1,..., f t ) R/I[x 1,..., x d ] R/I R R[x 1,..., x d ]/(f 1,..., f t ) 0 whence we may conclude R/I R R[x 1,..., x d ]/(f 1,..., f t ) = R/I[x 1,..., x d ]/( f 1,..., f t ). c. This follows from the result of the previous part with R = Z, I = (5), d = 2, t = 1 and f 1 (x, y) = x xy + y 5, where we verify that (x + y) 5 = x 5 + 5xy + y 5 when we reduce all coefficients modulo I = (5). 5 True or false True. We may verify that the map R R Z Q given by r (r 1) is an isomorphism (of Z-modules, i.e. of abelian groups): it is certainly injective, and it is surjective since any s a b = as 1 b = bas b 1 b = as b 1. False. The LHS (as a R-vector space) is generated by the basis {1 1, 1 i, i 1, i i}, and so has dimension 4, but the LHS has dimension 2 (being generated by 1 and i.) False, the LHS (as a R-vector space) has basis {i 1, 1 1} (and, in particular, is two-dimensional), but the RHS is a one-dimensional R-vector space. True, z w = wz 1, so C C C = C (as C-modules) by the C-vector space isomorphism z w wz. True. k[x] k k[y] is a k-vector space with basis (x a y b ) a,b Z 0. k[x, y] is a k-vector space with basis (x a y b ) a,b Z 0. Now we can put the bases in bijection with other by sending x a y b x a y b ; hence the two are isomorphic (as k-modules / k-vector spaces.) 6 First note Z[x, y]/(x 3 ) Z[x,y] Z[x, y]/(y 2 ) = Z[x, y]/(x 3, y 2 ); then observe that Z 10 Z Z[x, y]/(x 3, y 2 ) = Z[x, y]/(10, x 3, y 2 ). Now the ideals of Z[x, y]/(10, x 3, y 2 ) are in one-one correspondence with the ideals of Z[x, y] containing (10, x 3, y 2 ); under this correspondence, primes correspond to primes (by the third isomorphism theorem and the fact that P is prime if and only if R/P is omain). But a prime P containing y 2 = y y must contain y; likewise if x 3 = x x 2 must contain x. Also, since 10 P, either 2 or 5 is in P. So the only options for P are (2, x, y) and (5, x, y). Thus our ring has exactly 2 prime ideals. 5

6 7 (a) Let R denote our PID. We have M = R r1 R/(f 1 ) R/(f t ) N = R r2 R/(g 1 ) R/(g s ) and now M R N = (R r1 R/(f 1 ) R/(f t )) R (R r2 R/(g 1 ) R/(g s )) = R r1r2 R r1 R/(g 1 ) R r1 R/(g s ) R/(f 1 ) R r2 R/(f t ) R r2 (R/(f i ) R R/(g j )) 1 i t,1 j s = R r1r2 R/(g j ) r1 R/(f i ) r2 R/(f i, g j ) 1 j s 1 i t 1 i t,1 j s In particular, the rank is r 1 r 2. The last invariant factor is the annihilator of the torsion part of the module, which is displayed as irect sum of cyclic modules. Recall from a previous problem set that the annihilator of irect sum is the intersection of their annihilators. So we need to find the intersection of all the ideals (f i ), (g j ) (if r 2, respectively r 1 is not zero) and (f i, g j ) = gcd(f i, g j ). There are many inclusions among these ideals, since (f 1 ) (f 2 ) (f t ) and (g 1 ) (g 2 ) (g t ). Indeed, we only need to consider the ideals (f t ), (g s ) and (f t, g s ). Analyzing this, If r 1 r 2 > 0, then the top invariant factor is lcm(f t, g s ), since this generates (f t ) (g s ) (f t, g s ) = (f t ) (g s ). If r 1 0 but r 2 = 0, then the top invariant factor is g s, since (g s ) (f t, g s ) = (g s ). If r 2 0 but r 1 = 0, then the top invariant factor is f t, since (f t ) (f t, g s ) = (f t ). If r 1 = r 2 = 0, then the top invariant factor is gcd(f t, g s ), (provided it is not a unit!) since this generates (f t, g s ), which annihilates all R/(f i, g j ). If f t and g s have no common factors, then all the R/(f i, g j ) = 0, and there are no invariant factors (the tensor product is free). The first invariant factor will be moved to another problem set, with substantial hints. Part b will also appear again. 8 A QR problem Let Mat 2 2 (C) be the space of 2 2 matrices with complex entries. Fix an element A Mat[ 2 2 (C). ] 1 0 Show that the self-map L sending X to AX XA is a C-vector space endomorphism. When A =, 0 0 find its Jordan form. Let L: Mat 2 2 (C) Mat 2 2 (C) be as above. First we show that L is a C linear transformation. This is just a restatement of the fact that matrix multiplication distributes over matrix addition and that scalar multiplication (by λ C) commutes with matrix multiplication. Symbolically (A + B)C = AC + BC, and C (A + B) = C A + C B, and A(λB) = λab. 6

7 Now, fix A = [ ] 1 0 and fix a basis for Mat (C) as follows e 1 = [ ] 1 0, e = [ ] 0 1, e = [ ] 0 0, e = [ ] It should be clear that these matrices are linearly independent over C and that they span all of Mat 2 2 (C). We find how L acts on each of these basis vectors. L(e 1 ) = Ae 1 e 1 A = e 2 1 e 2 1 = 0, since e 1 = A. [ ] [ ] [ ] [ ] [ ] L(e 2 ) = = = e [ ] [ ] [ ] [ ] [ ] L(e 3 ) = = e [ ] [ ] [ ] [ ] L(e 4 ) = = This means that in this ordered basis B = {e 1, e 2, e 3, e 4 } the transformation L is presented by the matrix 0 [L] B = which is already in Jordan form. 9 Simple tensors (a) Given V and W of dimensions d and e, we fix bases so that they are identified with k d and k e, respectively. We interpret V as the column space k d and W as the row space k e. There is a bilinear map k d k e Mat de (k) given by matrix multiplication:., [ ] b 1 b 2... b e. [ ] b1 b 2... b e. This induces a linear map V k W M de (k) which sends the basis elements v i w j to the basis elements E ij of Mat de (k), the d e matrix with in the de entry and zeros everywhere else. Because this linear map is a bijection on basis elements, it is an isomorphism To understand the simple tensor v w in this set-up, note that v is interpreted as a row and w as a column. Their product is rank one; indeed, the j-column is b j times the column.., so all columns are scalar multiples of each other. Conversely, a rank one matrix corresponds to a 7

8 (non-zero) simple tensor: take any non-zero column, say the j-th column.. Every other column is a scalar multiple of this one, say column i is b i times column j (note: b j = 1). So the [ ] rank one matrix is (a i b j ), which means that it is the product b1 b 2... b e. This. means it corresponds to the simple tensor v w where v = a i v i and w = b j w j. To count the number of rank one matrices, we use the fact that (k d \ 0) (k e \ 0) maps onto the set of rank one matrices. This is not a bijection (kudos to Bob Lutz for being possibly the only 593 to realize this). Indeed, for any non-zero scalar λ, the pairs (v, w) and (λv, λ 1 w) have the same image (after multiplying column v times row w). But this is the only way two matrices can multiply to the same matrix, so each rank one matrix has exactly q 1 pre images. This means that the set of rank one matrices has cardinality (qd 1)(q e 1) (q 1), and so (adding in the zero tensor) there are exactly (qd+e q d q e +q) (q 1) simple tensors. So the fraction of simple tensors is (qd+e q d q e +q) (q de )(q 1). This is clearly a small fraction, roughly qd+e q de, unless d or e is one, in which case all tensors are simple. In particular, it goes to zero as q gets large. In R d R e = R de, the set of simple tensors corresponds the pre image of zero under the map Mat de (R) R (d 2)( e 2) sending each d e matrix to the list of determinants of all its 2 2 subminors (note that a matrix has rank one or less if and only if all 2 2 minors are zero). So it is a proper closed set (if e and d are greater than one) and by the inverse function theorem (removing 0) can be given the structure of a manifold of strictly smaller dimension. So is has Lebesque measure zero in Mat de (R). Put differently, if we randomly chose an element in V W (with d, e 2), the probability that it is a simple tensor is zero. 8

Math 593: Problem Set 10

Math 593: Problem Set 10 Math 593: Problem Set Feng Zhu, edited by Prof Smith Hermitian inner-product spaces (a By conjugate-symmetry and linearity in the first argument, f(v, λw = f(λw, v = λf(w, v = λf(w, v = λf(v, w. (b We

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

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

Math 210B:Algebra, Homework 2

Math 210B:Algebra, Homework 2 Math 210B:Algebra, Homework 2 Ian Coley January 21, 2014 Problem 1. Is f = 2X 5 6X + 6 irreducible in Z[X], (S 1 Z)[X], for S = {2 n, n 0}, Q[X], R[X], C[X]? To begin, note that 2 divides all coefficients

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

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

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

Math 121 Homework 4: Notes on Selected Problems

Math 121 Homework 4: Notes on Selected Problems Math 121 Homework 4: Notes on Selected Problems 11.2.9. If W is a subspace of the vector space V stable under the linear transformation (i.e., (W ) W ), show that induces linear transformations W on W

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

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

Math 121 Homework 2: Notes on Selected Problems

Math 121 Homework 2: Notes on Selected Problems Math 121 Homework 2: Notes on Selected Problems Problem 2. Let M be the ring of 2 2 complex matrices. Let C be the left M-module of 2 1 complex vectors; the module structure is given by matrix multiplication:

More information

Structure of rings. Chapter Algebras

Structure of rings. Chapter Algebras Chapter 5 Structure of rings 5.1 Algebras It is time to introduce the notion of an algebra over a commutative ring. So let R be a commutative ring. An R-algebra is a ring A (unital as always) together

More information

11. Finitely-generated modules

11. Finitely-generated modules 11. Finitely-generated modules 11.1 Free modules 11.2 Finitely-generated modules over domains 11.3 PIDs are UFDs 11.4 Structure theorem, again 11.5 Recovering the earlier structure theorem 11.6 Submodules

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

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

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

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND

More information

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

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 ALGEBRAIC GROUPS 33 3. Lie algebras Now we introduce the Lie algebra of an algebraic group. First, we need to do some more algebraic geometry to understand the tangent space to an algebraic variety at

More information

IDEAL CLASSES AND RELATIVE INTEGERS

IDEAL CLASSES AND RELATIVE INTEGERS IDEAL CLASSES AND RELATIVE INTEGERS KEITH CONRAD The ring of integers of a number field is free as a Z-module. It is a module not just over Z, but also over any intermediate ring of integers. That is,

More information

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.

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

D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties

D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski Solutions Sheet 1 Classical Varieties Let K be an algebraically closed field. All algebraic sets below are defined over K, unless specified otherwise.

More information

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

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 5. Finitely Generated Modules over a PID We want to give a complete classification of finitely generated modules over a PID. ecall that a finitely generated module is a quotient of n, a free module. Let

More information

Q N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of

Q N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of Additional Problems 1. Let A be a commutative ring and let 0 M α N β P 0 be a short exact sequence of A-modules. Let Q be an A-module. i) Show that the naturally induced sequence is exact, but that 0 Hom(P,

More information

5 Dedekind extensions

5 Dedekind extensions 18.785 Number theory I Fall 2017 Lecture #5 09/20/2017 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

TROPICAL SCHEME THEORY

TROPICAL SCHEME THEORY TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),

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

Algebra Exam Syllabus

Algebra Exam Syllabus Algebra Exam Syllabus The Algebra comprehensive exam covers four broad areas of algebra: (1) Groups; (2) Rings; (3) Modules; and (4) Linear Algebra. These topics are all covered in the first semester graduate

More information

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

18.312: Algebraic Combinatorics Lionel Levine. Lecture 22. Smith normal form of an integer matrix (linear algebra over Z). 18.312: Algebraic Combinatorics Lionel Levine Lecture date: May 3, 2011 Lecture 22 Notes by: Lou Odette This lecture: Smith normal form of an integer matrix (linear algebra over Z). 1 Review of Abelian

More information

Math 594, HW2 - Solutions

Math 594, HW2 - Solutions Math 594, HW2 - Solutions Gilad Pagi, Feng Zhu February 8, 2015 1 a). It suffices to check that NA is closed under the group operation, and contains identities and inverses: NA is closed under the group

More information

Total 100

Total 100 Math 542 Midterm Exam, Spring 2016 Prof: Paul Terwilliger Your Name (please print) SOLUTIONS NO CALCULATORS/ELECTRONIC DEVICES ALLOWED. MAKE SURE YOUR CELL PHONE IS OFF. Problem Value 1 10 2 10 3 10 4

More information

Problem 1.1. Classify all groups of order 385 up to isomorphism.

Problem 1.1. Classify all groups of order 385 up to isomorphism. Math 504: Modern Algebra, Fall Quarter 2017 Jarod Alper Midterm Solutions Problem 1.1. Classify all groups of order 385 up to isomorphism. Solution: Let G be a group of order 385. Factor 385 as 385 = 5

More information

Algebra Homework, Edition 2 9 September 2010

Algebra Homework, Edition 2 9 September 2010 Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.

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

Adjoints, naturality, exactness, small Yoneda lemma. 1. Hom(X, ) is left exact

Adjoints, naturality, exactness, small Yoneda lemma. 1. Hom(X, ) is left exact (April 8, 2010) Adjoints, naturality, exactness, small Yoneda lemma Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ The best way to understand or remember left-exactness or right-exactness

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

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties

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

Modules Over Principal Ideal Domains

Modules Over Principal Ideal Domains Modules Over Principal Ideal Domains Brian Whetter April 24, 2014 This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License. To view a copy of this

More information

August 2015 Qualifying Examination Solutions

August 2015 Qualifying Examination Solutions August 2015 Qualifying Examination Solutions If you have any difficulty with the wording of the following problems please contact the supervisor immediately. All persons responsible for these problems,

More information

Algebra SEP Solutions

Algebra SEP Solutions Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since

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

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

Topics in linear algebra

Topics in linear algebra Chapter 6 Topics in linear algebra 6.1 Change of basis I want to remind you of one of the basic ideas in linear algebra: change of basis. Let F be a field, V and W be finite dimensional vector spaces over

More information

Appendix Homework and answers

Appendix Homework and answers Appendix Homework and answers Algebra II: Homework These are the weekly homework assignments and answers. Students were encouraged to work on them in groups. Some of the problems turned out to be more

More information

Chapter 2 Linear Transformations

Chapter 2 Linear Transformations Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more

More information

Direct Limits. Mathematics 683, Fall 2013

Direct Limits. Mathematics 683, Fall 2013 Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry

More information

(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

(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 The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers

More information

ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS.

ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS. ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS. KEVIN MCGERTY. 1. RINGS The central characters of this course are algebraic objects known as rings. A ring is any mathematical structure where you can add

More information

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

Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0 1. Show that if B, C are flat and Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0 is exact, then A is flat as well. Show that the same holds for projectivity, but not for injectivity.

More information

Moreover this binary operation satisfies the following properties

Moreover this binary operation satisfies the following properties Contents 1 Algebraic structures 1 1.1 Group........................................... 1 1.1.1 Definitions and examples............................. 1 1.1.2 Subgroup.....................................

More information

Chapter 2 Notes, Linear Algebra 5e Lay

Chapter 2 Notes, Linear Algebra 5e Lay Contents.1 Operations with Matrices..................................1.1 Addition and Subtraction.............................1. Multiplication by a scalar............................ 3.1.3 Multiplication

More information

DIHEDRAL GROUPS II KEITH CONRAD

DIHEDRAL GROUPS II KEITH CONRAD DIHEDRAL GROUPS II KEITH CONRAD We will characterize dihedral groups in terms of generators and relations, and describe the subgroups of D n, including the normal subgroups. We will also introduce an infinite

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

Math 203A - Solution Set 3

Math 203A - Solution Set 3 Math 03A - Solution Set 3 Problem 1 Which of the following algebraic sets are isomorphic: (i) A 1 (ii) Z(xy) A (iii) Z(x + y ) A (iv) Z(x y 5 ) A (v) Z(y x, z x 3 ) A Answer: We claim that (i) and (v)

More information

MATH 326: RINGS AND MODULES STEFAN GILLE

MATH 326: RINGS AND MODULES STEFAN GILLE MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called

More information

Algebraic Number Theory

Algebraic Number Theory TIFR VSRP Programme Project Report Algebraic Number Theory Milind Hegde Under the guidance of Prof. Sandeep Varma July 4, 2015 A C K N O W L E D G M E N T S I would like to express my thanks to TIFR for

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

Exploring the Exotic Setting for Algebraic Geometry

Exploring the Exotic Setting for Algebraic Geometry Exploring the Exotic Setting for Algebraic Geometry Victor I. Piercey University of Arizona Integration Workshop Project August 6-10, 2010 1 Introduction In this project, we will describe the basic topology

More information

TENSOR PRODUCTS II KEITH CONRAD

TENSOR PRODUCTS II KEITH CONRAD TENSOR PRODUCTS II KEITH CONRAD 1. Introduction Continuing our study of tensor products, we will see how to combine two linear maps M M and N N into a linear map M R N M R N. This leads to flat modules

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

Sample algebra qualifying exam

Sample algebra qualifying exam Sample algebra qualifying exam University of Hawai i at Mānoa Spring 2016 2 Part I 1. Group theory In this section, D n and C n denote, respectively, the symmetry group of the regular n-gon (of order 2n)

More information

Math 120 HW 9 Solutions

Math 120 HW 9 Solutions Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z

More information

MATH5735 Modules and Representation Theory Lecture Notes

MATH5735 Modules and Representation Theory Lecture Notes MATH5735 Modules and Representation Theory Lecture Notes Joel Beeren Semester 1, 2012 Contents 1 Why study modules? 4 1.1 Setup............................................. 4 1.2 How do you study modules?.................................

More information

Math 370 Homework 2, Fall 2009

Math 370 Homework 2, Fall 2009 Math 370 Homework 2, Fall 2009 (1a) Prove that every natural number N is congurent to the sum of its decimal digits mod 9. PROOF: Let the decimal representation of N be n d n d 1... n 1 n 0 so that N =

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

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

Problem 1. Let I and J be ideals in a ring commutative ring R with 1 R. Recall

Problem 1. Let I and J be ideals in a ring commutative ring R with 1 R. Recall I. Take-Home Portion: Math 350 Final Exam Due by 5:00pm on Tues. 5/12/15 No resources/devices other than our class textbook and class notes/handouts may be used. You must work alone. Choose any 5 problems

More information

1 Linear transformations; the basics

1 Linear transformations; the basics Linear Algebra Fall 2013 Linear Transformations 1 Linear transformations; the basics Definition 1 Let V, W be vector spaces over the same field F. A linear transformation (also known as linear map, or

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

Representations of quivers

Representations of quivers Representations of quivers Gwyn Bellamy October 13, 215 1 Quivers Let k be a field. Recall that a k-algebra is a k-vector space A with a bilinear map A A A making A into a unital, associative ring. Notice

More information

3.2 Modules of Fractions

3.2 Modules of Fractions 3.2 Modules of Fractions Let A be a ring, S a multiplicatively closed subset of A, and M an A-module. Define a relation on M S = { (m, s) m M, s S } by, for m,m M, s,s S, 556 (m,s) (m,s ) iff ( t S) t(sm

More information

DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3. Contents

DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3. Contents DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3 T.K.SUBRAHMONIAN MOOTHATHU Contents 1. Cayley s Theorem 1 2. The permutation group S n 2 3. Center of a group, and centralizers 4 4. Group actions

More information

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

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35 Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35 1. Let R 0 be a commutative ring with 1 and let S R be the subset of nonzero elements which are not zero divisors. (a)

More information

Matsumura: Commutative Algebra Part 2

Matsumura: Commutative Algebra Part 2 Matsumura: Commutative Algebra Part 2 Daniel Murfet October 5, 2006 This note closely follows Matsumura s book [Mat80] on commutative algebra. Proofs are the ones given there, sometimes with slightly more

More information

Azumaya Algebras. Dennis Presotto. November 4, Introduction: Central Simple Algebras

Azumaya Algebras. Dennis Presotto. November 4, Introduction: Central Simple Algebras Azumaya Algebras Dennis Presotto November 4, 2015 1 Introduction: Central Simple Algebras Azumaya algebras are introduced as generalized or global versions of central simple algebras. So the first part

More information

Duality, Residues, Fundamental class

Duality, Residues, Fundamental class Duality, Residues, Fundamental class Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu May 22, 2011 Joseph Lipman (Purdue University) Duality, Residues, Fundamental class

More information

Exercises on chapter 0

Exercises on chapter 0 Exercises on chapter 0 1. A partially ordered set (poset) is a set X together with a relation such that (a) x x for all x X; (b) x y and y x implies that x = y for all x, y X; (c) x y and y z implies that

More information

Rings and groups. Ya. Sysak

Rings and groups. Ya. Sysak Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...

More information

Eighth Homework Solutions

Eighth Homework Solutions Math 4124 Wednesday, April 20 Eighth Homework Solutions 1. Exercise 5.2.1(e). Determine the number of nonisomorphic abelian groups of order 2704. First we write 2704 as a product of prime powers, namely

More information

Math 210B. Artin Rees and completions

Math 210B. Artin Rees and completions Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show

More information

UNIVERSAL IDENTITIES. b = det

UNIVERSAL IDENTITIES. b = det UNIVERSAL IDENTITIES KEITH CONRAD 1 Introduction We want to describe an idea which reduces the verification of algebraic identities valid over all commutative rings to the verification over the complex

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

MATH 631: ALGEBRAIC GEOMETRY: HOMEWORK 1 SOLUTIONS

MATH 631: ALGEBRAIC GEOMETRY: HOMEWORK 1 SOLUTIONS MATH 63: ALGEBRAIC GEOMETRY: HOMEWORK SOLUTIONS Problem. (a.) The (t + ) (t + ) minors m (A),..., m k (A) of an n m matrix A are polynomials in the entries of A, and m i (A) = 0 for all i =,..., k if and

More information

NOTES ON MODULES AND ALGEBRAS

NOTES ON MODULES AND ALGEBRAS NOTES ON MODULES AND ALGEBRAS WILLIAM SCHMITT 1. Some Remarks about Categories Throughout these notes, we will be using some of the basic terminology and notation from category theory. Roughly speaking,

More information

Part IV. Rings and Fields

Part IV. Rings and Fields IV.18 Rings and Fields 1 Part IV. Rings and Fields Section IV.18. Rings and Fields Note. Roughly put, modern algebra deals with three types of structures: groups, rings, and fields. In this section we

More information

Exercises on chapter 3

Exercises on chapter 3 Exercises on chapter 3 1. If M is a left R-module and X M, the annihilator of X, Ann R (X), denotes the set of all elements of R that act as zero on all elements of X, i.e. Ann R (X) = {a R ax = 0 for

More information

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the

More information

MATH 205 HOMEWORK #5 OFFICIAL SOLUTION

MATH 205 HOMEWORK #5 OFFICIAL SOLUTION MATH 205 HOMEWORK #5 OFFICIAL SOLUTION Problem 1: An inner product on a vector space V over F is a bilinear map, : V V F satisfying the extra conditions v, w = w, v, and v, v 0, with equality if and only

More information

Universal localization at semiprime Goldie ideals

Universal localization at semiprime Goldie ideals at semiprime Goldie ideals Northern Illinois University UNAM 23/05/2017 Background If R is a commutative Noetherian ring and P R is a prime ideal, then a ring R P and ring homomorphism λ : R R P can be

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

Algebraic structures I

Algebraic structures I MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one

More information

Modules over Principal Ideal Domains

Modules over Principal Ideal Domains Modules over Principal Ideal Domains Let henceforth R denote a commutative ring with 1. It is called a domain iff it has no zero-divisors, i.e. if ab = 0 then either a or b is zero. Or equivalently, two

More information

CONTINUITY. 1. Continuity 1.1. Preserving limits and colimits. Suppose that F : J C and R: C D are functors. Consider the limit diagrams.

CONTINUITY. 1. Continuity 1.1. Preserving limits and colimits. Suppose that F : J C and R: C D are functors. Consider the limit diagrams. CONTINUITY Abstract. Continuity, tensor products, complete lattices, the Tarski Fixed Point Theorem, existence of adjoints, Freyd s Adjoint Functor Theorem 1. Continuity 1.1. Preserving limits and colimits.

More information

3. Vector spaces 3.1 Linear dependence and independence 3.2 Basis and dimension. 5. Extreme points and basic feasible solutions

3. Vector spaces 3.1 Linear dependence and independence 3.2 Basis and dimension. 5. Extreme points and basic feasible solutions A. LINEAR ALGEBRA. CONVEX SETS 1. Matrices and vectors 1.1 Matrix operations 1.2 The rank of a matrix 2. Systems of linear equations 2.1 Basic solutions 3. Vector spaces 3.1 Linear dependence and independence

More information

DIVISORS ON NONSINGULAR CURVES

DIVISORS ON NONSINGULAR CURVES DIVISORS ON NONSINGULAR CURVES BRIAN OSSERMAN We now begin a closer study of the behavior of projective nonsingular curves, and morphisms between them, as well as to projective space. To this end, we introduce

More information

φ(xy) = (xy) n = x n y n = φ(x)φ(y)

φ(xy) = (xy) n = x n y n = φ(x)φ(y) Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =

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

[06.1] Given a 3-by-3 matrix M with integer entries, find A, B integer 3-by-3 matrices with determinant ±1 such that AMB is diagonal.

[06.1] Given a 3-by-3 matrix M with integer entries, find A, B integer 3-by-3 matrices with determinant ±1 such that AMB is diagonal. (January 14, 2009) [06.1] Given a 3-by-3 matrix M with integer entries, find A, B integer 3-by-3 matrices with determinant ±1 such that AMB is diagonal. Let s give an algorithmic, rather than existential,

More information

Unless otherwise specified, V denotes an arbitrary finite-dimensional vector space.

Unless otherwise specified, V denotes an arbitrary finite-dimensional vector space. MAT 90 // 0 points Exam Solutions Unless otherwise specified, V denotes an arbitrary finite-dimensional vector space..(0) Prove: a central arrangement A in V is essential if and only if the dual projective

More information