Appendix Homework and answers

Size: px
Start display at page:

Download "Appendix Homework and answers"

Transcription

1 Appendix Homework and answers

2 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 difficult than I intended. Homework. Homework (Abelian categories) 2. Homework 2 (Chain complexes) 3. Homework 3 (Ext ) 4. Homework 4 (Integral closure) 5. Homework 5 (Transcendence degree) 6. Homework 6 (Associated primes) 7. Homework 7 (Semisimplicity) 8. Homework 8 (Group rings) 9. Homework 9 (Character table) 0. Homework 0 (More characters) Answers to homework

3 MATH 0B: HOMEWORK. Homework 0 The following three problems are due next Thursday (/25/7)... Show that the category of finite abelian groups contains no nontrivial projective or injective objects. (Use the Fundamental Theorem: all finite abelian groups are direct sums of cyclic p-groups Z/p n.).2. Show that abelian categories have push-outs and pull-backs. I.e., Given an abelian category A and morphisms f : A C, g : B C there exists an object D (called the pull-back) with morphisms α : D A, β : D B forming a commuting square (f α = g β) so that for any other object X with maps to A, B forming another commuting square, there exists a unique morphism X D making a big commutative diagram. (Draw the diagram.) Hint: There is an exact sequence 0 D A B C.3. Let k be a field and let R be the polynomial ring R = k[x]. Let Q be the k vector space of all sequences: (a 0, a, a 2, ) where a i k with the action of X R given by shifting to the left: X(a 0, a, a 2, ) = (a, a 2, a 3, ) Then show that Q is injective. Hint: first prove that any homomorphism f : A Q is determined by its first coordinate. Date: January 8, 2007.

4 MATH 0B: HOMEWORK 2. Homework 02 The following three problems are due next Thursday (2/2/7). The strict deadline is :30pm Friday. 2.. Give a precise description of the ring R indicated below and show that it has the property that left R-modules are the same as chain complexes of abelian groups with three terms, i.e., d C 2 d 2 C C0 where C, C 2, C 3 are abelian groups and d, d 2 are homomorphisms so that d d 2 = 0 and a homomorphism of R-modules is a chain map f : C D, i.e. it consists of three homomomorphisms f i : C i D i so that the following diagram commutes. C 2 C C 0 f 2 f f 0 D 2 D D 0 R is a quotient ring: R = Z Z Z 0 Z Z / 0 0 Z Z [Hint: R is additively free abelian with five generators, three of which are idempotents e 0, e, e 2 and C i = e i C.] 2.2. Describe the chain complex corresponding to the free R-module R n (n finite) Assume without proof that the analogous statements hold for right R-modules, namely they are cochain complexes C 2 C C 0 where C i = Ce i (just as C i = e i C). Give a description (as a chain complex with three terms) of the injective R-module Hom Z (R n R, Q/Z). Date: January 25, 2007.

5 MATH 0B: HOMEWORK 3. Homework 03 The following problem is due next Thursday (2/8/7). deadline is :30pm Friday. The strict Compute Ext i Q[X](Q[X]/(f), Q[X]/(g)) using both the projective resolution of Q[X]/(f) and the injective coresolution of Q[X]/(g). [First take the projective resolution P of Q[X]/(f). Then Ext i Q[X](Q[X]/(f), Q[X]/(g)) = H i (Hom Q[X] (P, Q[X]/(g))) Then, find the injective (co)resolution Q of Q[X]/(g). The Ext groups can also be found by the formula Ext i Q[X](Q[X]/(f), Q[X]/(g)) = H i (Hom Q[X] (Q[X]/(f), Q )) The theorem that says that these two definitions are equivalent, we don t have time to prove. But working out this example might give you an idea on why it is true for i = 0,.] Date: February 2, 2007.

6 MATH 0B: HOMEWORK 4. Homework 04 The following problems are due Thursday (3//7). The strict deadline is :30pm Friday. () Show that unique factorization domains (UFDs) are integrally closed. (2) Show that the integral closure of Z[ 5] (in its fraction field) is Z[α] where α = (3) Combining these we see that Z[ 5] is not a UFD. Find a number which can be written in two ways as a product of irreducible elements. [Look at the proof of problem and see where it fails for the element α in problem 2.] (4) If E is a finite separable extension of K and α E show that the trace Tr E/K (α) is equal to the trace of the K linear endomorphism of E given by multiplication by α. [Show that the eigenvalues of this linear transformation are the Galois conjugates of α and each eigenvalue has the same multiplicity.] Date: February 5, 2007.

7 MATH 0B: HOMEWORK 5. Homework 05 The following problems are due Thursday (3/8/7). The strict deadline is :30pm Friday. () (Problems #3 on page 374) If L E are finitely generated field extension of K then show that the transcendence degree of E over K is equal to the product of the transcendence degree of E over L and the transcendence degree of L over K. (2) Let R = K[X, Y ]/(f) where f(x, Y ) = (X a)y 2 (X b) for some a b K. Find a transcendental element Z of R so that R is integral over K[Z]. [Use the proof of Noether Normalization.] Date: March 3, 2007.

8 MATH 0B: HOMEWORK 6. Homework 06 The following problems are due Thursday (3/22/7). The strict deadline is :30pm Friday. Assume R, M are both Noetherian. () Show that for any ideal I in R there are only finitely many minimal primes containing I. [Take a maximal counterexample.] (2) Suppose that p is a prime and n > 0. Let p (n) M := p n M p M Show that this is a p-primary submodule of M. (3) If φ : R S is a homomorphism of Noetherian rings and M is an S-module then show that ass R (M) = φ (ass S (M)) where φ : Spec(S) Spec(R) is the map induced by φ. Date: March 5, 2007.

9 MATH 0B: HOMEWORK 7. Homework 07 The following problems are due Thursday (4/2/7). The strict deadline is 3pm Friday. () Show that Z[/p]/Z is an Artinian Z-module. [Show that every proper subgroup is finite.] (2) Show that the center of the ring Mat n (R) is isomorphic to the center of R. [Show that the center Z(Mat n (R)) consists of the scalar multiples ai n of the identity matrix where a Z(R).] (3) Suppose that M is both Artinian and Noetherian. Then show that (a) r n M = 0 for some n > 0 (r n M := } rr {{ r} M) n (b) r i M/r i+ M is f.g. semisimple for all i 0. (4) Prove the converse, i.e., (a) and (b) imply that M is both Artinian and Noetherian. Date: April 4, 2007.

10 MATH 0B: HOMEWORK 8. Homework 08 The following problems are due Thursday (4/9/7). The strict deadline is :30pm Friday. () Let K be any field, let G be any finite group. Let V = K be the trivial representation of G. Let E = K[G] be the group ring considered as a representation (this is called the regular representation ) Find all G-homomorphisms f : V E (and show that you have a complete list). (2) If K is the field with two elements and G is the group with two elements then show that K[G] is not semisimple. [Using your answer to question, show that you have a short exact sequence 0 V E V 0 which does not split.] Date: April 5, 2007.

11 MATH 0B: HOMEWORK 09 one problem: 9. Homework 09 Calculate the character table of the quaternion group and find the 2-dim irreducible representation. Q = {, i, j, k, t, it, jt, kt} where t = i 2 = j 2 = k 2 is central and ij = k = jit, jk = i = kjt, ki = j = ikt.

12 MATH 0B: HOMEWORK 0. Homework 0 This is the last assignment. There is no final exam or any other work to do for this course! The following problems are due Thursday (5/3/7). The strict deadline is :30pm Friday. () If V, S are irreducible representations of G and S is one-dimensional, then show that V S is also irreducible. (2) Show that the irreducible representations of a product G H are the tensor products of irreducible representations of G, H. (3) Compute the character table of the alternating group A 4 and the induction-restriction table for the pair (S 4, A 4 ). Date: April 26, 2007.

13 Answers to homework

14 MATH 0B: HOMEWORK. Homework 0 The following three problems are due next Thursday (/25/7)... Show that the category of finite abelian groups contains no nontrivial projective or injective objects. (Use the Fundamental Theorem: all finite abelian groups are direct sums of cyclic p-groups Z/p n.) For any abelian group A, Hom(Z/n, A) is isomorphic to the set of all a A so that na = 0 with the isomorphism even by evaluating functions on a fixed generator of Z/n. If n = p k (p prime) and j 0 this gives Hom(Z/p k, Z/p j+k ) = p j Z/p j+k Z = Z/p k So, the short exact sequence (.) 0 Z/p k α Z/p 2k β Z/p k 0 gives the exact sequence 0 Hom(Z/p k, Z/p k ) α Hom(Z/p k, Z/p 2k ) β Hom(Z/p k, Z/p k ) which is isomorphic 0 Z/p k α Z/p k β Z/p k Therefore, α is an isomorphism and β = 0. This means that Z/p k is not projective for any k > 0. This implies that there are no nontrivial projectives in the category of finite abelian groups since any such projective P would have a direct summand of the form Z/p k for k > 0 by the fundamental theorem of finite abelian groups and any direct summand of a projective module is projective. (To see that suppose that P = X Y is projective and g : A B is an epimorphism. Then any morphism f : X B extends to a morphism f + 0 : P = X Y B which lifts to A. The restriction of the lifting to X gives a lifting of f making X projective.) Similarly, if we apply Hom(, Z/p k ) to the exact seqence (.) we get: 0 Hom(Z/p k, Z/p k ) β Hom(Z/p 2k, Z/p k ) α Hom(Z/p 2k, Z/p k ) Date: February 3, 2007.

15 2 MATH 0B: HOMEWORK which is isomorphic to 0 Z/p k β Z/p k α Z/p k So, α = 0 which implies that Z/p k is not injective for k > 0. Therefore there is no nontrivial injective object in the category of finite abelian groups..2. Show that abelian categories have push-outs and pull-backs. I.e., Given an abelian category A and morphisms f : A C, g : B C there exists an object D (called the pull-back) with morphisms α : D A, β : D B forming a commuting square (f α = g β) so that for any other object X with maps to A, B forming another commuting square, there exists a unique morphism X D making a big commutative diagram. (Draw the diagram.) Hint: There is an exact sequence 0 D A B C I will use the notation j A, j B for the inclusion maps of A, B into A B and p A, p B for the projections to A, B. Then j A p A + j B p B as part of the definition of a direct sum (or as a consequence as explained in the notes). Since A B is the coproduct of A and B, the morphisms f and g induce a morphism h = (f, g) : A B C so that h j A = f, h j B = g Let D A B be the kernel of this homomorphism. In other words D is the kernel in the exact sequence 0 D k A B h C Let α = p A k : D A and β = p B k : D B which is written k = ( α β). Then Claim. f α = g β : D C. In other words, f α g β = 0. This is a calculation: f α g β = (h j A ) (p A k) + (h j B ) (p B k) = h (j A p A + j B p B ) k = h k = 0 This calculation is often written in the matrix notation: ( ) α h k = (f, g) = f α g β β Claim 2. For any object X and any pair of morphisms α : X A, β : X B so that f α = g β there is a unique morphism γ : X D so that α = α γ and β = β γ.

16 MATH 0B: HOMEWORK 3 For existence, let φ = ( ) α β : X A B be the product of α and β. I.e., the unique morphism so that α = p A φ and β = p B φ. Then h φ = h (j A p A + j B p B ) φ = f α g β = 0 Therefore, there is a unique morphism γ : X D so that h γ = φ. Then α = p A φ = p A h γ = α γ and similarly, β = β γ. For uniqueness suppose that γ : X D is another morphism so that α = α γ and β = β γ. Then φ = h γ is another morphism so that p A φ = α and p B φ = β. By the universal property, φ = φ which implies that γ = γ. The conclusion is that D is the pull-back. If we reserve all the arrow in the above argument (or equivalently, repeat the same argument in the opposite category A op ) we see that the push-out of a diagram A f B is the cokernel of g C ( ) f : A B C g.3. Let k be a field and let R be the polynomial ring R = k[x]. Let Q be the k vector space of all sequences: (a 0, a, a 2, ) where a i k with the action of X R given by shifting to the left: X(a 0, a, a 2, ) = (a, a 2, a 3, ) Then show that Q is injective. Hint: first prove that any homomorphism f : A Q is determined by its first coordinate. Let p i : Q k be the projection to the i-th coordinate. This is linear map (i.e., a morphism of k-modules) and not a morphism of R-modules. Lemma.. For any R-module A there is an isomorphism φ : Hom R (A, Q) = Hom k (A, k) given by sending f : A Q to φ(f) = p f.

17 4 MATH 0B: HOMEWORK Proof. f can be reconstructed from g = φ(f) as follows. For any a A, let h(a) = (g(a), g(xa), g(x 2 a), g(x 3 a), ) If a is replaced by Xa then this entire sequence shifts to the left. Therefore h(xa) = Xh(a) making h into a homomorphism of R-modules h : A Q. To see that f = h look at the coordinates of f(a) f(a) = (f 0 (a), f (a), f 2 (a), ) g(a) is the first coordinate: g(a) = f 0 (a) and the other coordinates are given by shifting to the left and then taking the first coordinate: f n (a) = p 0 (X n f(a)) = p 0 (f(x n a) = g(x n a) = h n (a) Also, if we start with g and take h then φ(h) = g. So, φ if a bijection and thus an isomorphism. To show that Q is injective as an R-module suppose that (.2) 0 A α B β C 0 is a short exact sequence of R-modules. Then we want to show that induced sequence (.3) 0 Hom R (C, Q) β Hom R (B, Q) α Hom R (A, Q) 0 is exact. By composing with p 0 we get the sequence (.4) 0 Hom k (C, k) β Hom k (B, k) α Hom k (A, k) 0 which is exact since (.2) is a split exact sequence of k. Therefore the isomorphic sequence (.3) is also exact making Q into an injective R-module.

18 MATH 0B: HOMEWORK 2. Homework 02 The following three problems are due next Thursday (2/2/7). The strict deadline is :30pm Friday. 2.. Give a precise description of the ring R indicated below and show that it has the property that left R-modules are the same as chain complexes of abelian groups with three terms, i.e., d C 2 d 2 C C0 where C, C 2, C 3 are abelian groups and d, d 2 are homomorphisms so that d d 2 = 0 and a homomorphism of R-modules is a chain map f : C D, i.e. it consists of three homomomorphisms f i : C i D i so that the following diagram commutes. C 2 C C 0 f 2 f f 0 D 2 D D 0 R is a quotient ring: R = Z Z Z 0 Z Z / 0 0 Z Z [Hint: R is additively free abelian with five generators, three of which are idempotents e 0, e, e 2 and C i = e i C.] R is additively free abelian with five generators, e 0, e, e 2, α, β where the first three are diagonal matrices e 0 = diag(, 0, 0), e = diag(0,, 0), e 2 = diag(0, 0, ) and α is a matrix with a in the (0, )-entry and 0 s elsewhere and β is a matrix with in the (, 2)-entry and zeros elsewhere. Given an R-module C the corresponding chain complex is given as follows. Let C i = e i C. Since = e 0 + e + e 2 and e i are orthogonal idempotents in the sense that e i e j = δ ij e j, we get a decomposition C = e 0 C e C e 2 C = C 0 C C 2 Date: February 4, 2007.

19 2 MATH 0B: HOMEWORK Since α = e 0 αe, multiplication by α is zero on C 0 C 2 and has image in C 0. So it gives a homomorphism C C 0. Similarly, multiplication by β gives a homomorphism C 2 C. Since αβ = 0, the composition of these two homomorphisms is zero. Therefore, we have a chain complex structure on C. Conversely, suppose we have a chain complex C d 2 C d C 0. Then we have an action of R on C = C i by a 00 a a a 2 x 0 x = a 00x 0 + a 0 d(x ) a x + a 2 d(x 2 ) 0 0 a 22 x 2 a 22 x 2 where we write elements of C in column matrix form. We see that multiplication by e i is projection onto C i and multiplication by the matrix α sends (x 0, x, x 2 ) to (d(x ), 0, 0), i.e., it is projection to C followed by d : C C 0 followed by inclusion C 0 C. Similarly for β. So, the chain complex corresponding to this R-module is the original chain complex. Conversely, if we start with an R-module, form the chain complex and then make the chain complex back into an R-module by the above construction then we get back that same R-module. This is because d : C C 0 is α restricted to C and d 2 : C 2 C is β restricted to C Describe the chain complex corresponding to the free R-module R n (n finite). First take n =. Then R is free with 3 generators: e 0, e, e 2, α, β. Multiplying on the left with e 0 kills all but e 0, α. So, e 0 R = Z 2 with free generators e 0, α. Similarly, e R = Z 2 with free generators e, β and e 2 R = Z with free generator ɛ 2. So, the chain complex is: Z d 2 Z 2 d Z 2 As we already discussed, d 2 is left multiplication by β which sends the generator e 2 of C 2 = Z to the second generator β of C = Z 2. And d is left multiplication by α which sends the first generator e of C to the second generator α of C 0 = Z 2 and sends the second generator β of C to zero. If we take the direct sum of n copies of this we get the chain complex Z n d 2 Z 2n d Z 2n where d 2 is the inclusion into the first factor of Z 2n = Z n Z n and d is the projection to the second coordinate of C followed by inclusion

20 MATH 0B: HOMEWORK 3 into the second factor of C 0. In matrix notation: ( ) ( ) 0 0 In d 2 =, d = 0 0 I n 2.3. Assume without proof that the analogous statements hold for right R-modules, namely they are cochain complexes C 2 C C 0 where C i = Ce i (just as C i = e i C). Give a description (as a chain complex with three terms) of the injective R-module Hom Z (R n R, Q/Z). The right R-module R is the cochain complex C 2 = Re 2 = Z 2 with free generators e 2, β, C = Re = Z 2 with generators e, α and C 0 = Re 0 = Z with generator e0. d : C C 2, being right multiplication by β, is an isomorphism of the first factor of C to the second factor of C 2 and d 0 : C 0 C is an isomorphism of C 0 onto the second factor of C. If we hom into Q/Z we get (Q/Z) 2 d 2 (Q/Z) 2 d Q/Z Where d 2 is an isomorphism from the second factor of C 2 to the first factor of C and d is an isomorphism from the second factor of C to C 0. Hom Z (RR n, Q/Z) is a direct sum of n copies of this chain complex. So, it is (Q/Z) 2n d 2 (Q/Z) 2n d (Q/Z) n where ( ) 0 In d 2 =, d 0 0 = ( ) 0 I n

21 MATH 0B: HOMEWORK 3. Homework 03 answers The following problem was due Thursday (2/8/7). Compute Ext i Q[X](Q[X]/(f), Q[X]/(g)) using both the projective resolution of Q[X]/(f) and the injective coresolution of Q[X]/(g). [First take the projective resolution P of Q[X]/(f). Then Ext i Q[X](Q[X]/(f), Q[X]/(g)) = H i (Hom Q[X] (P, Q[X]/(g))) Then, find the injective (co)resolution Q of Q[X]/(g). The Ext groups can also be found by the formula Ext i Q[X](Q[X]/(f), Q[X]/(g)) = H i (Hom Q[X] (Q[X]/(f), Q )) The theorem that says that these two definitions are equivalent, we don t have time to prove. But working out this example might give you an idea on why it is true for i = 0,.] Actually, I did end up proving that theorem. 3.. projective resolution. Since Q[X] is a domain, the projective resolution of Q[X]/(f) is given by 0 Q[X] f Q[X] Q[X]/(f) 0 where f is multiplication by f. Since Hom R (R, M) = M, we get: Hom Q[X] (Q[X], Q[X]/(g)) = Q[X]/(g) The isomorphism φ x x is given by φ x () = x. The map induced by f is precomposition with f which corresponds to multiplication by f: (f ) (x) = (f ) (φ x ) = φ x (f ) = f x So, Ext Q[X](Q[X]/(f), Q[X]/(g)) is the cokernel of the map Q[X]/(g) Q[X]/(g) given by multiplication by f. This is Q[X] modulo the ideal I consisting of all Q[X]-linear combinations of f and g. In other words, I = (f, g). But Q[X] is PID. So this ideal is generated by one element, the greatest common divisor of f and g. Call this h. Then Ext Q[X](Q[X]/(f), Q[X]/(g)) = Q[X]/(h) Date: February 27, 2007.

22 2 MATH 0B: HOMEWORK Ext 0 Q[X](Q[X]/(f), Q[X]/(g)) = Hom Q[X] (Q[X]/(f), Q[X]/(g)) is the kernel of the map Q[X]/(g) f Q[X]/(g) This is K/(g) where K is the kernel of the composite map Q[X] Q[X]/(g) f Q[X]/(g) But this means that K is the set of all polynomials which, when multiplied by f become divisible by g. To figure out what this is you need to write f and g as products f = ha, g = hb where h = gcd(f, g). (So, a, b are relatively prime.) kf = kha is divisible by g = hb iff k is divisible by b. Therefore, K = (b) and Ext 0 Q[X](Q[X]/(f), Q[X]/(g)) = K/(g) = Q[X]/(h) where the isomorphism Q[X]/(h) = K/(g) is given by multiplication by b Injective resolution. To get an injective resolution of Q[X]/(g) we first need a lemma: Lemma 3.. The module Q[X]/(g) is isomorphic to its dual: Q[X]/(g) = Hom Z (Q[X]/(g), Q) = Q[X]/(g) Suppose that this is true. Then the short exact sequence: (3.) 0 Q[X] g Q[X] Q[X]/(g) 0 when dualized gives an injective coresolution of Q[X]/(g) = Q[X]/(g) : (3.2) 0 Q[X]/(g) Q[X] g Q[X] 0 This is exact since (3.) splits over Q. The injective module Q[X] consists of infinite sequences of rational numbers (a 0, a, a 2, ) where X acts by moving the sequence to the left: X(a 0, a, ) = (a, a 2, ) From the previous homework we know that Hom Q[X] (Q[X]/(f), Q[X] ) = Hom Z (Q[X]/(f), Q) which, by the lemma, is isomorphic to Q[X]/(f). When we apply Hom Q[X] (Q[X]/(f), ) to the injective coresolution (3.2) we get Q[X]/(f) g Q[X]/(f)

23 which has cokernel MATH 0B: HOMEWORK 3 Ext Q[X](Q[X]/(f), Q[X]/(g)) = Q[X]/(f, g) = Q[X](h) where h is the greatest common divisor of f and g and kernel where a = f/h. Ext 0 Q[X](Q[X]/(f), Q[X]/(g)) = (a)/(f) = Q[X]/(h) Proof of the lemma. Suppose first that g is irreducible of degree n. Then M = Q[X]/(g) is n dimensional over Q and is annihilated by multiplication by g. Then M is also n dimensional and is annihilated by multiplication by g. So, M = M. Next suppose that g is a power g = p k of an irreducible polynomial p of degree n. Then M is characterized by the fact that it is nk dimensional and is annihilated by p k but not by p k. But M also has this property. So, M = M. Finally suppose that g = p k i i where p i are distinct irreducible monic polynomials. Then M = Q[X]/(p k i i ) and M = Q[X]/(p k i i ) = Q[X]/(p k i i ) = M

24 MATH 0B: HOMEWORK 4. Homework 04 answers The following problems were due Thursday (3//7).. Show that unique factorization domains (UFDs) are integrally closed. Suppose that R is a UFD with quotient field QR. Then we want to show that any element x = a/b QR which is integral over R lies in R. By writing a, b as products of primes, we may assume that they are relatively prime. If x is integral over R then there are elements c,, c n R so that Multiplying by b n gives x n + c x n + + c n = 0 a n + c a n b + + c n b n = 0 So, b divides a n. This is impossible unless b is a unit in which case a/b R. 2. Show that the integral closure of Z[ 5] (in its fraction field) is Z[α] where α = Let R be the integral closure of Z[ 5] in its fraction field Q[ 5]. Then R contains α and R is integral over Z. So it suffices to show that any a + b 5 Q[ 5] which is integral over Z lies in Z[α]. You can prove this using the trace: Tr : R Z which is given by Tr(a + b 5) = (a + 5) + (a 5) = 2a 2a Z a = n/2 for some n Z and the norm: N : R Z given by N(a + b 5) = (a + 5)(a 5) = a 2 5b 2 Using the unique factorization of b we see that this is an integer iff b = m/2 where m n + 2Z. So, a + b 5 lies in either Z[ 5] or α + Z[ 5] in either case a + b 5 lies in Z[α]. So, R = Z[α] is the integer closure of Z and thus of Z[ 5] in Q[ 5]. Date: March 8, 2007.

25 2 MATH 0B: HOMEWORK 3. Combining these we see that Z[ 5] is not a UFD. Find a number which can be written in two ways as a product of irreducible elements. [Look at the proof of problem and see where it fails for the element α in problem 2.] The proof in problem fails for α = + 5 because, although the 2 numerator a = + 5 and the denominator 2 are relatively prime, the denominator divides the square of the numerator: ( + 5) 2 = = 2(3 + 5) This gives two factorizations of the same number into irreducible factors. To show that + 5, 2, are irreducible note that their norms are 4, 4, 4 respectively. Lemma 4.. Any element of Z[ 5] with norm ±4 is irreducible. Proof. This follows from the following two statements: () There is no element of Z[ 5] with norm ±2. (2) Any element of Z[ 5] with norm ± is a unit. The first follows immediately from the fact that 2 and 3 are not squares modulo 5. The second follows from that fact that if the norm of a+b 5 is ± then its inverse is given by ±(a b 5). Given these two facts, any element of Z[ 5] with norm ±4 must be irreducible since, if it factors, one factor must have norm ± since the only way that ±4 factors as a product of integers is ± 4 and ± If E is a finite separable extension of K and α E show that the trace Tr E/K (α) is equal to the trace of the K linear endomorphism of E given by multiplication by α. [Show that the eigenvalues of this linear transformation are the Galois conjugates of α and each eigenvalue has the same multiplicity.] The first proof ignores the hint. For any α E take the intermediate field K(α). Then n = [K(α) : K] is the degree of the minimal polynomial of α which is given by f(x) = (X α i ) = X n + c X n + + c n where c = α i and c n = ( ) n α i. A basis for K(α) over K is given by, α, α 2,, α n. Let x,, x m be a basis for E as a vector space over K(α). Then b ij = α i x j, i = 0, n, j =,, m forms a basis for E over K. The linear function α E : E E given by

26 MATH 0B: HOMEWORK 3 multiplication by α takes b ij to b i+,j if i n and n n α E (b n,j ) = α n x j = c k α n k x j = c k b n k,j So, the trace of α E is Tr(α E ) = k= m c = m α i j= We need to show that this is equal to Tr E/K (α). Let φ i : K(α) K, i =,, n be the n distinct embeddings of K(α) over K. Then φ i (α) = α i are the Galois conjugates of α. Each embedding φ i extends in exactly m ways to an embedding ψ ij : E K over K since E is a separable extension of K(α). Therefore, k= Tr E/K (α) = ψ ij (α) = m φ i (α) = m α i which is the same as the trace of α E. Now, a proof using the hint. Let g(x) K[X] be the minimal polynomial of the K-linear endomorphism α E : E E. Since g(α) = g(α E )() = 0 it follows that f(x) g(x). Conversely, g(x) f(x) since f(α E ) is multiplication by f(α) = 0. Therefore g(x) = f(x) (assuming they are chosen to be monic). So, deg(g) = deg(f) = n = [K(α), K]. Choose a basis x,, x m for E over K(α). Then E = K(α)x K(α)x 2 K(α)x m and each summand K(α)x j is invariant under the endomorphism α E. By the same argument as above, the minimal polynomial of α E restricted to each summand is f(x). So, the characteristic polynomial of α E is f(x) m. The eigenvalues of α E are the roots of the characteristic polynomial which are the roots of f(x) each with multiplicity m. Therefore, the trace of the matrix of α E is m α i = Tr E/K (α). This proof uses the following two facts about the characteristic polynomial of a linear endomorphism φ of a vector space V () If V = V V 2 where V, V 2 are both invariant under φ then the characteristic polynomial of φ is the product of the characteristic polynomials of φ V i. (2) The minimal polynomial of φ divided the characteristic polynomial of φ. In particular, they are equal if they have the same degree.

27 5. Homework 05 answers The following problems were due Thursday (3/8/7). () (Problems #3 on page 374) If L E are finitely generated field extension(s) of K then show that the transcendence degree of E over K is equal to the sum of the transcendence degree of E over L and the transcendence degree of L over K. Lang says: Let x,, x n be a transcendence basis for L over K and let y,, y m be a transcendence basis for E over L. Then show that x,, x n, y,, y m form a transcendence basis for E over K. So, we need to show (a) x,, x n, y,, y m are algebraically independent and (b) Every element of E is algebraic over K(x,, y m ). Proof of (): Suppose that f(x, Y ) K[X, Y ] so that f(x,, x n, y,, y m ) = 0 Rewrite f(x, Y ) as f(x, Y ) = f α (X)Y α α where f α (X) K[X] for all multiindices α. If we substitute X i = x i then each f α (x) K[x] L. So, f(x, Y ) is an element of L[Y ]. Since the y j are algebraically independent over L and f(x, y) = 0 it must be that f α (x) = 0 for all α. But, the x i are algebraically independent over K. So, f α (X) = 0 for all α. So, f(x, Y ) is the zero polynomial and the x i and y j together form an alg. ind. set. Proof of (2): We have to show that E is algebraic over K(x, y). So, take any element a E. Then a is algebraic over L(y) = L(Y ). So, there is a polynomial g(z) with coefficients in L(y) so that g(a) = 0. But each of the coefficients of g is a rational function in y,, y m with coefficients in L. The set of these coefficients forms a finite set S L so that a is algebraic over K(x, S, y). But each element of S is algebraic over K(x) and therefore also over K(x, y). So, a is also algebraic over K(x, y) as claimed. (2) Let R = K[X, Y ]/(f) where f(x, Y ) = (X a)y 2 (X b) for some a b K. Find a transcendental element Z of R so that R is integral over K[Z]. [Use the proof of Noether Normalization.] The proof of Noether normalization says that Z = X Y m for some large m. But m = is large enough. Then Z = X Y and X = Z + Y. We see that K[X, Y ] = K[Z, Y ]. The polynomial f, when written in terms of Y and Z becomes: f(z, Y ) = (Z + Y a)y 2 (Z b) = Y 3 + (Z a)y 2 Y (Z b) Since this is a monic polynomial in Y with coefficients in K[Z] we see two things: (a) Y is integral over K[Z] (b) R = K[Z, Y ]/(f) is a free module over K[Z] of rank 3. This implies that R is infinite dimensional as a vector space over K. Therefore, it cannot be an algebraic extension of K. So, Z is transcendental and R is integral over K[Z].

28 6. Homework 06 answers The following problems was due Thursday (3/22/7). Assume R, M are both Noetherian. () Show that for any ideal I in R there are only finitely many minimal primes containing I. [Take a maximal counterexample.] Let M = R/I. Then I p iff M p 0. (Proof: M p = 0 iff 0 in M p iff s / p s.t. s = 0 in M iff s I.) Therefore, the minimal primes containing I are exactly the minimal supporting primes of R/I which are the same as the minimal associated primes. We proved that there are only finitely many of these. (2) Suppose that p is a prime and n > 0. Let p (n) M := p n M p M Show that this is a p-primary submodule of M. Let N = p (n) M. Then, by definition, N is the inverse image of p n M p in M. So, M/N is isomorphic to an R-submodule of M p /p n M p. So, it suffices to show that p is the only associated prime of M p /p n M p. In M p each element s S = R\p act as isomorphisms (with inverse s R p ). This means that on M p and more generally on any R p -module, when considered as an R-module, the annihilator of any nonzero element will be disjoint from S, i.e., ann R (x) p. On the other hand p annihilates the entire module p k M p /p k+ M p. So, every nonzero element x will have ann R (x) = p. This means that p is the only associated prime (in R) of Q k = p k M p /p k+ M p. But, Q = M p /p n M p is an extension of the quotients Q k. So, p is the only associated prime of Q. Since M/N is a submodule of Q, p is also the only prime associated to M/N. So, N is p-primary. (3) If φ : R S is a homomorphism of Noetherian rings and M is an S-module then show that ass R (M) = φ (ass S (M)) where φ : Spec(S) Spec(R) is the map induced by φ. (φ (p) = φ (p)) Suppose first that M has only one associated prime in S, call it p. Then p is the set of zero divisors of M and every zero divisor acts nilpotently on M in the sense that a power of it annihilates M. Then q = φ (p) is the set of zero divisors of M in R. And each element of q acts nilpotently on M. This means that ass R (M) = {q}. So, the theorem is true in this case. Let 0 = Q i be a primary decomposition of 0 M as an S-submodule. Suppose that Q i is p i -primary. Then ass S (M/Q i ) = {p i } ass R (M/Q i ) = {q i } where q i = φ (p i ) by the argument above. This implies that 0 = Q i is also a primary decomposition of 0 as an R-submodule of M. So, ass R (M) = ass R (M/Q i ) = {q,, q n } = φ (ass S (M))

29 7. Homework 07 answers The following problems were due Thursday (4/2/7). () Show that Z[/p]/Z is an Artinian Z-module. [Show that every proper subgroup is finite.] The logic of the argument is as follows. This abelian group A = Z[/p]/Z has a sequence of elements a, a 2, satisfying the following two conditions: (a) The sequence generates the group. (b) If a subgroup B A does not contain a n+ then it has at most p n elements. Together, these two statements imply that any proper subgroup of A is finite. So, the DCC must hold for subgroups and A is Artinian. (a) The generating elements are: a n = /p n. By definition, any element of Z[/p] is an integer linear combination of these elements. So, they generate Z[/p] and, consequently, they also generate A. (b) Suppose that B is a subgroup of A which does not contain /p n+. Then the highest denominator in the elements of B is p n. So, the only possible elements of B are i/p n + Z where 0 i < p n. So, B p n. (2) Show that the center of the ring Mat n (R) is isomorphic to the center of R. [Show that the center Z(Mat n (R)) consists of the scalar multiples ai n of the identity matrix where a Z(R).] Let Z = Z(Mat n (R)) be the center of Mat n (R). Let x ij be the matrix with in the (i, j) position and zero everywhere else. Then, any matrix in Mat n (R) can be written as A = a ij x ij where a ij R. If A Z then, e.g., n n x 2 A = a 2j x j = Ax 2 = a i x i2 j= Comparing the coefficients of x 2 on both sides we see that a 22 = a. For j 2 the RHS has no x j terms. So, a 2j = 0. Changing, 2 to other indices we see that a ij = 0 if i j and the diagonal terms a ii must all be equal. To see that these diagonal entries must lie in the center of R, take any r R. Then (rx )A = ra x = A(rx ) = a rx So, ra = a r. i=

30 2 (3) Suppose that M is both Artinian and Noetherian. Then show that () r n M = 0 for some n > 0 (r n M := rr }{{ r} M) n Since M is Noetherian, it has at least one maximal submodule (assuming M 0). Therefore, the radical of M is a proper submodule. Repeating this process we get a descending sequence of submodules M rm r 2 M Since M is Artinian, the sequence stops: r n M = r n+ M. But this can happen only if r n M = 0 (2) r i M/r i+ M is f.g. semisimple for all i 0. By the finite intersection lemma, rm = N i is a finite intersection of maximal submodules N i. So, M/rM is a submodule of the semisimple module M/Ni, making it semisimple. Similarly each of the other subquotients r i M/r i+ M is semisimple. (4) Prove the converse, i.e., (a) and (b) imply that M is both Artinian and Noetherian. Suppose that n =. Then rm = 0 and M = M/rM is semisimple by assumption. But we know that semisimple modules are both Artinian and Noetherian. Now suppose that n 2. We may assume by induction that rm is Artinian and Noetherian. We also know that M/rM satisfies both chain conditions. Let N, N 2, be a sequence of submodules which is either increasing or decreasing. Then N i rm must eventually become stationary. Similarly, the image of N i in M/rM must also become stationary. Using the 5-lemma on the following diagram (just as we did for Noetherian modules over commutative rings), we see that the inclusion N i N j is an isomorphism and thus an equality for sufficiently large i, j. (i < j or i > j depending on whether N i is an ascending or descending chain.) 0 N i rm N N i + rm i rm = 0 N N j rm N j + rm j 0 rm = 0

31 8. Homework 08 answers The following problems were due Thursday (4/9/7). 8.. Let K be any field, let G be any finite group. Let V = K be the trivial representation of G. Let E = K[G] be the group ring considered as a representation (this is called the regular representation ) Find all G-homomorphisms (and show that you have a complete list). f : V E Let N K[G] denote the sum of all the elements of the group: N = σ G σ Then N is clearly invariant under multiplication by elements of G: τn = N τ G For any a K let f a : V E be given by f a (x) = axn. Then this is a linear map which is G-equivariant: f a (σx) = f a (x) = axn = axσn = σf a (x) To show that the f a are the homomorphisms V E, let f : V E be a homomorphism of G-modules. Let Then f() = a σ σ f() = f(τ) = τf() = a σ τσ Comparing the coefficients of τσ we see that a τσ = a σ for all σ, τ G. Taking σ = we see that a τ = a for all τ, i.e., the coefficients are the same. So, f() = an for some a K. But then f(x) = axn. So, f = f a If K is the field with two elements and G is the group with two elements then show that K[G] is not semisimple. [Using your answer to question, show that you have a short exact sequence 0 V E V 0 which does not split.] By problem there are only two homomorphisms V E, namely f 0 = 0 and f : V E which has image V 0 = {0, N}. The second point is that all one dimensional representations are isomorphic to the trivial representation. This is because Aut K (K) = K has only one element. If E were semisimple, then E = V 0 W where W E is another -dimensional submodule of E. But then W = V and we would get another homomorphism V E contradicting Problem. So, E is not a semisimple module. So, K[G] is not a semisimple ring.

32 9. Homework 09 answers The following problems were due Thursday (4/26/7). 9.. Calculate the character table of the quaternion group Q and find the 2-dimensional irreducible representation. If we mod out the central element t then we get Q/ t = Z/2 Z/2 with character table i j k Pulling this back to Q gives: χ χ 2 χ 3 χ 4 i j k t χ χ 2 χ 3 χ 4 χ Since characters determine the representation, the unique 2-dimensional irreducible representation is any representation with character χ 5. The module is the quaternions H viewed as a right C module. The units ±, ±i, ±j, ±k in H form a group isomorphic to the quaternion group Q and left multiplication by these elements commutes with right multiplication by elements of C and is therefore C-linear. To find matrices for the elements of Q we choose a basis for H, say v =, v 2 = j. Then the matrices for i, j, k are given by: ρ(i) = ( ) i 0, ρ(j) = 0 i ( ) 0, ρ(k) = 0 ( 0 ) i i 0 for example, iv = v i, iv 2 = v 2 ( i) making ρ(i) = D(i, i). Taking traces we see that this is the representation with character χ 5. So, it is the one we want.

33 0. Homework 0 This was the last assignment. It was due Thursday (5/3/7). 0.. If V, S are irreducible representations of G and S is one-dimensional, then show that V S is also irreducible. There are two proofs. The first proof uses the fact that tensor product distributes over direct sum and one dimensional characters have inverses. The second proof is a computation. First note that V C = V as G-modules if C is the trivial representation. This follows from the compuation: χ V C (σ) = χ V (σ)χ (σ) = χ V (σ) = χ V (σ) If χ is a one dimension character then χ is its inverse since for all σ G. Consequently χ(σ) = ζ = ζ (V S) S = V S S = V C = V is irreducible. This implies that V S must be irreducible. The second proof is just a computation. If V S = n i S i then χ V S 2 = n 2 i = χ V χ S, χ V χ S = χv (σ)χ S (σ)χ V (σ)χ S (σ) = n n Which implies that V S is irreducible. χv (σ)χ V (σ) = 0.2. Show that the irreducible representations of a product G H are the tensor products of irreducible representations of G, H. Suppose that φ,, φ a are the irreducible representations of G and ψ,, ψ b are the irreducible representations of H. Let π G : G H G, π H : G H G be the projection maps. Let φ i = φ i π G, ψ j = ψ j π H be the pull-backs of φ i, ψ j to G H. Claim : φi ψ j is irreducible. Proof: The restriction of φ i ψ j to G = G is irreducible: Res G H G φ i ψ j = φ i Claim 2: The irreducible representations φ i ψ j are distinct. Proof: φi ψ j restricts to φ i on G and ψ j on H.

34 2 Claim 3: G H has ab conjugacy classes. Proof: (σ, τ) and (σ τ ) are conjugate in G H iff σ, σ are conjugate in G and τ, τ are conjugate in H. These three together show that φ i ψ j give a complete set of irreducible representations of G H. Another proof uses the equation: χ φi, χ ψj φk = χ ψl φi, χ φk χ ψj, χ ψl = δ ik δ jl This equation shows simultaneously that φ i ψ j are irreducible and that they are distinct. Since there are ab of them, these are all the irreducible characters on G H Compute the character table of the alternating group A 4 and the induction-restriction table for the pair (S 4, A 4 ). First you need to find the conjugacy classes of A 4. By the orbitstabilizer formula, the size of the conjugacy class of σ in G is equal to the index of C G (σ) the stabilizer of σ in G. It is easy to see what these centralizers are: σ C(σ) A 4 : C(σ) A 4 (23) {, (23), (32)} 4 (2)(34) {, (2)(34), (3)(24), (4)(23)} 3 Since A 4 has 8 elements of cycle type (abc) and (23) has only 4 conjugates, it must mean that there is another conjugacy class of 3-cycles which also has 4 elements (elements of N G which are conjugate in G have the same number of conjugates in N). To find it you just conjugate (23) by any odd permutation, e.g., (23) to give (32). The quotient of A 4 by the Klein 4-group K = {, (2)(34), (3)(24), (4)(23)} is cyclic of order 3. So, its character table is: where ω = (23)K (32)K χ χ 2 ω w 2 χ 3 ω 2 ω

35 3 Pulling back to A 4, we get: (23) (32) (2)(34) χ χ 2 ω w 2 χ 3 ω 2 ω χ Here we use the fact that (2)(34) K to get χ i ((2)(34) = χ i () for i =, 2, 3 and χ 4 () = 3 is the only solution to the equation 2 = χ 4 () 2. The other values of χ 4 are obtained by column orthogonality. Looking at the character table of S 4 which I did in class we can get the induction restriction table: S 4 A 4 (2) (23) (2)(34) (234) χ χ 2 χ 3 χ 4 χ χ χ χ χ The induction-restriction table is obtained by looking at the values of the characters of S 4 on the conjugacy classes, (23), (2)(34). The restricted characters have the same value on the conjugacy classes (23) and (32).

Algebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.

More information

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)

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

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

ALGEBRA QUALIFYING EXAM SPRING 2012

ALGEBRA QUALIFYING EXAM SPRING 2012 ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.

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

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

Assigned homework problems S. L. Kleiman, fall 2008

Assigned homework problems S. L. Kleiman, fall 2008 18.705 Assigned homework problems S. L. Kleiman, fall 2008 Problem Set 1. Due 9/11 Problem R 1.5 Let ϕ: A B be a ring homomorphism. Prove that ϕ 1 takes prime ideals P of B to prime ideals of A. Prove

More information

1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism

1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism 1 RINGS 1 1 Rings Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism (a) Given an element α R there is a unique homomorphism Φ : R[x] R which agrees with the map ϕ on constant polynomials

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

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

QUALIFYING EXAM IN ALGEBRA August 2011

QUALIFYING EXAM IN ALGEBRA August 2011 QUALIFYING EXAM IN ALGEBRA August 2011 1. There are 18 problems on the exam. Work and turn in 10 problems, in the following categories. I. Linear Algebra 1 problem II. Group Theory 3 problems III. Ring

More information

Exercises on chapter 4

Exercises on chapter 4 Exercises on chapter 4 Always R-algebra means associative, unital R-algebra. (There are other sorts of R-algebra but we won t meet them in this course.) 1. Let A and B be algebras over a field F. (i) Explain

More information

Injective Modules and Matlis Duality

Injective Modules and Matlis Duality Appendix A Injective Modules and Matlis Duality Notes on 24 Hours of Local Cohomology William D. Taylor We take R to be a commutative ring, and will discuss the theory of injective R-modules. The following

More information

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

Algebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3... Algebra Exam Fall 2006 Alexander J. Wertheim Last Updated: October 26, 2017 Contents 1 Groups 2 1.1 Problem 1..................................... 2 1.2 Problem 2..................................... 2

More information

ALGEBRA QUALIFYING EXAM PROBLEMS

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

More information

REPRESENTATION THEORY WEEK 9

REPRESENTATION THEORY WEEK 9 REPRESENTATION THEORY WEEK 9 1. Jordan-Hölder theorem and indecomposable modules Let M be a module satisfying ascending and descending chain conditions (ACC and DCC). In other words every increasing sequence

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

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

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of

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

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

Since G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =

Since G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg = Problem 1 Show that if π is an irreducible representation of a compact lie group G then π is also irreducible. Give an example of a G and π such that π = π, and another for which π π. Is this true for

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

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

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

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

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

1. Group Theory Permutations.

1. Group Theory Permutations. 1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7

More information

Solutions of exercise sheet 11

Solutions of exercise sheet 11 D-MATH Algebra I HS 14 Prof Emmanuel Kowalski Solutions of exercise sheet 11 The content of the marked exercises (*) should be known for the exam 1 For the following values of α C, find the minimal polynomial

More information

Algebra Exam Topics. Updated August 2017

Algebra Exam Topics. Updated August 2017 Algebra Exam Topics Updated August 2017 Starting Fall 2017, the Masters Algebra Exam will have 14 questions. Of these students will answer the first 8 questions from Topics 1, 2, and 3. They then have

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

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

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is

More information

4.4 Noetherian Rings

4.4 Noetherian Rings 4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)

More information

Extension theorems for homomorphisms

Extension theorems for homomorphisms Algebraic Geometry Fall 2009 Extension theorems for homomorphisms In this note, we prove some extension theorems for homomorphisms from rings to algebraically closed fields. The prototype is the following

More information

IUPUI Qualifying Exam Abstract Algebra

IUPUI Qualifying Exam Abstract Algebra IUPUI Qualifying Exam Abstract Algebra January 2017 Daniel Ramras (1) a) Prove that if G is a group of order 2 2 5 2 11, then G contains either a normal subgroup of order 11, or a normal subgroup of order

More information

Fundamental theorem of modules over a PID and applications

Fundamental theorem of modules over a PID and applications Fundamental theorem of modules over a PID and applications Travis Schedler, WOMP 2007 September 11, 2007 01 The fundamental theorem of modules over PIDs A PID (Principal Ideal Domain) is an integral domain

More information

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

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter

More information

Algebra Exam, Spring 2017

Algebra Exam, Spring 2017 Algebra Exam, Spring 2017 There are 5 problems, some with several parts. Easier parts count for less than harder ones, but each part counts. Each part may be assumed in later parts and problems. Unjustified

More information

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS Your Name: Conventions: all rings and algebras are assumed to be unital. Part I. True or false? If true provide a brief explanation, if false provide a counterexample

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

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

Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Directions: Solve 10 of the following problems. Mark which of the problems are to be graded. Without clear indication which problems are to be graded

More information

ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra

ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra ORAL QUALIFYING EXAM QUESTIONS JOHN VOIGHT Below are some questions that I have asked on oral qualifying exams (starting in fall 2015). 1.1. Core questions. 1. Algebra (1) Let R be a noetherian (commutative)

More information

Math 593: Problem Set 7

Math 593: Problem Set 7 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

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

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

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 31, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Symbolic Adjunction of Roots When dealing with subfields of C it is easy to

More information

REPRESENTATION THEORY, LECTURE 0. BASICS

REPRESENTATION THEORY, LECTURE 0. BASICS REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite

More information

INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA

INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA These notes are intended to give the reader an idea what injective modules are, where they show up, and, to

More information

Algebra Review. Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor. June 15, 2001

Algebra Review. Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor. June 15, 2001 Algebra Review Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor June 15, 2001 1 Groups Definition 1.1 A semigroup (G, ) is a set G with a binary operation such that: Axiom 1 ( a,

More information

Algebra Qualifying Exam Solutions. Thomas Goller

Algebra Qualifying Exam Solutions. Thomas Goller Algebra Qualifying Exam Solutions Thomas Goller September 4, 2 Contents Spring 2 2 2 Fall 2 8 3 Spring 2 3 4 Fall 29 7 5 Spring 29 2 6 Fall 28 25 Chapter Spring 2. The claim as stated is false. The identity

More information

Solutions to Assignment 4

Solutions to Assignment 4 1. Let G be a finite, abelian group written additively. Let x = g G g, and let G 2 be the subgroup of G defined by G 2 = {g G 2g = 0}. (a) Show that x = g G 2 g. (b) Show that x = 0 if G 2 = 2. If G 2

More information

Algebra Qualifying Exam, Fall 2018

Algebra Qualifying Exam, Fall 2018 Algebra Qualifying Exam, Fall 2018 Name: Student ID: Instructions: Show all work clearly and in order. Use full sentences in your proofs and solutions. All answers count. In this exam, you may use the

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

Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018

Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018 Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018 Do 6 problems with at least 2 in each section. Group theory problems: (1) Suppose G is a group. The

More information

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

Commutative Algebra. Contents. B Totaro. Michaelmas Basics Rings & homomorphisms Modules Prime & maximal ideals... Commutative Algebra B Totaro Michaelmas 2011 Contents 1 Basics 4 1.1 Rings & homomorphisms.............................. 4 1.2 Modules........................................ 6 1.3 Prime & maximal ideals...............................

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

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

Group Theory. Ring and Module Theory

Group Theory. Ring and Module Theory Department of Mathematics University of South Florida QUALIFYING EXAM ON ALGEBRA Saturday, May 14, 016 from 9:00 am to 1:00 noon Examiners: Brian Curtin and Dmytro Savchuk This is a three hour examination.

More information

n P say, then (X A Y ) P

n P say, then (X A Y ) P COMMUTATIVE ALGEBRA 35 7.2. The Picard group of a ring. Definition. A line bundle over a ring A is a finitely generated projective A-module such that the rank function Spec A N is constant with value 1.

More information

Projective and Injective Modules

Projective and Injective Modules Projective and Injective Modules Push-outs and Pull-backs. Proposition. Let P be an R-module. The following conditions are equivalent: (1) P is projective. (2) Hom R (P, ) is an exact functor. (3) Every

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

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

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon

More information

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

Commutative Algebra. B Totaro. Michaelmas Basics Rings & homomorphisms Modules Prime & maximal ideals... Commutative Algebra B Totaro Michaelmas 2011 Contents 1 Basics 2 1.1 Rings & homomorphisms................... 2 1.2 Modules............................. 4 1.3 Prime & maximal ideals....................

More information

Math 603, Spring 2003, HW 6, due 4/21/2003

Math 603, Spring 2003, HW 6, due 4/21/2003 Math 603, Spring 2003, HW 6, due 4/21/2003 Part A AI) If k is a field and f k[t ], suppose f has degree n and has n distinct roots α 1,..., α n in some extension of k. Write Ω = k(α 1,..., α n ) for the

More information

Algebra Prelim Notes

Algebra Prelim Notes Algebra Prelim Notes Eric Staron Summer 2007 1 Groups Define C G (A) = {g G gag 1 = a for all a A} to be the centralizer of A in G. In particular, this is the subset of G which commuted with every element

More information

Representations and Linear Actions

Representations and Linear Actions Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category

More information

Math 250: Higher Algebra Representations of finite groups

Math 250: Higher Algebra Representations of finite groups Math 250: Higher Algebra Representations of finite groups 1 Basic definitions Representations. A representation of a group G over a field k is a k-vector space V together with an action of G on V by linear

More information

Permutation groups H. W. Lenstra, Fall streng/permutation/index.html

Permutation groups H. W. Lenstra, Fall streng/permutation/index.html Permutation groups H. W. Lenstra, Fall 2007 http://www.math.leidenuniv.nl/ streng/permutation/index.html Solvable groups. Let G be a group. We define the sequence G (0) G (1) G (2)... of subgroups of G

More information

Algebra Questions. May 13, Groups 1. 2 Classification of Finite Groups 4. 3 Fields and Galois Theory 5. 4 Normal Forms 9

Algebra Questions. May 13, Groups 1. 2 Classification of Finite Groups 4. 3 Fields and Galois Theory 5. 4 Normal Forms 9 Algebra Questions May 13, 2013 Contents 1 Groups 1 2 Classification of Finite Groups 4 3 Fields and Galois Theory 5 4 Normal Forms 9 5 Matrices and Linear Algebra 10 6 Rings 11 7 Modules 13 8 Representation

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

33 Idempotents and Characters

33 Idempotents and Characters 33 Idempotents and Characters On this day I was supposed to talk about characters but I spent most of the hour talking about idempotents so I changed the title. An idempotent is defined to be an element

More information

12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.

12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12.1. Indecomposability of M and the localness of End

More information

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

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and CHAPTER I Rings 1.1 Definitions and Examples Definition 1.1.1. A ring R is a set with two binary operations, addition + and multiplication satisfying the following conditions for all a, b, c in R : (i)

More information

0 Sets and Induction. Sets

0 Sets and Induction. Sets 0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

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

RUDIMENTARY GALOIS THEORY

RUDIMENTARY GALOIS THEORY RUDIMENTARY GALOIS THEORY JACK LIANG Abstract. This paper introduces basic Galois Theory, primarily over fields with characteristic 0, beginning with polynomials and fields and ultimately relating the

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

MAT 535 Problem Set 5 Solutions

MAT 535 Problem Set 5 Solutions Final Exam, Tues 5/11, :15pm-4:45pm Spring 010 MAT 535 Problem Set 5 Solutions Selected Problems (1) Exercise 9, p 617 Determine the Galois group of the splitting field E over F = Q of the polynomial f(x)

More information

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then

More information

18. Cyclotomic polynomials II

18. Cyclotomic polynomials II 18. Cyclotomic polynomials II 18.1 Cyclotomic polynomials over Z 18.2 Worked examples Now that we have Gauss lemma in hand we can look at cyclotomic polynomials again, not as polynomials with coefficients

More information

A connection between number theory and linear algebra

A connection between number theory and linear algebra A connection between number theory and linear algebra Mark Steinberger Contents 1. Some basics 1 2. Rational canonical form 2 3. Prime factorization in F[x] 4 4. Units and order 5 5. Finite fields 7 6.

More information

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009)

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009) ERRATA Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009) These are errata for the Third Edition of the book. Errata from previous editions have been fixed

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

MINKOWSKI THEORY AND THE CLASS NUMBER

MINKOWSKI THEORY AND THE CLASS NUMBER MINKOWSKI THEORY AND THE CLASS NUMBER BROOKE ULLERY Abstract. This paper gives a basic introduction to Minkowski Theory and the class group, leading up to a proof that the class number (the order of the

More information

FIELD THEORY. Contents

FIELD THEORY. Contents FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions

More information

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely

More information

NOTES ON SPLITTING FIELDS

NOTES ON SPLITTING FIELDS NOTES ON SPLITTING FIELDS CİHAN BAHRAN I will try to define the notion of a splitting field of an algebra over a field using my words, to understand it better. The sources I use are Peter Webb s and T.Y

More information

Homework problems from Chapters IV-VI: answers and solutions

Homework problems from Chapters IV-VI: answers and solutions Homework problems from Chapters IV-VI: answers and solutions IV.21.1. In this problem we have to describe the field F of quotients of the domain D. Note that by definition, F is the set of equivalence

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

Finite Fields. Sophie Huczynska. Semester 2, Academic Year

Finite Fields. Sophie Huczynska. Semester 2, Academic Year Finite Fields Sophie Huczynska Semester 2, Academic Year 2005-06 2 Chapter 1. Introduction Finite fields is a branch of mathematics which has come to the fore in the last 50 years due to its numerous applications,

More information

MATH 131B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA

MATH 131B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA MATH 131B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA I want to cover Chapters VIII,IX,X,XII. But it is a lot of material. Here is a list of some of the particular topics that I will try to cover. Maybe I

More information

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0

More information

COMMUNICATIONS IN ALGEBRA, 15(3), (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY. John A. Beachy and William D.

COMMUNICATIONS IN ALGEBRA, 15(3), (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY. John A. Beachy and William D. COMMUNICATIONS IN ALGEBRA, 15(3), 471 478 (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY John A. Beachy and William D. Weakley Department of Mathematical Sciences Northern Illinois University DeKalb,

More information

Exercises on chapter 1

Exercises on chapter 1 Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G

More information

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018)

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018) ERRATA Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018) These are errata for the Third Edition of the book. Errata from previous editions have been

More information

4. Noether normalisation

4. Noether normalisation 4. Noether normalisation We shall say that a ring R is an affine ring (or affine k-algebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,

More information

MATH 221 NOTES BRENT HO. Date: January 3, 2009.

MATH 221 NOTES BRENT HO. Date: January 3, 2009. MATH 22 NOTES BRENT HO Date: January 3, 2009. 0 Table of Contents. Localizations......................................................................... 2 2. Zariski Topology......................................................................

More information