COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA


 Theresa Hunter
 2 years ago
 Views:
Transcription
1 COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties (e.g., uniqueness of identity and inverses) Discussed examples: (Z, +), (R, ), ((Z/p), ), symmetries of the square (i.e., the dihedral group D 8 ), general linear group, symmetric group Defined subgroups Discussed examples: Z R, D 8 S 4, the subgroup a 1,..., a n G generated by elements a 1,..., a n G Defined the order G of a group G and the order a of an element a G. Stated Lagrange s theorem: if G is a finite group and H G, then H divides G. Showed how Lagrange s theorem implies Fermat s Little Theorem: if p is a prime and a is an integer not divisible by p, then a p 1 1 mod p. Lecture 2: Group homomorphisms and normal subgroups. Defined group homomorphisms, injectivity, surjectivity, isomoprhisms, automorphisms, kernels, and images. Discussed centers, normalizers and centralizers. Discussed cosets and quotients. Showed if H G is a normal subgroup, then G/H is naturally a group such that the projection G G/H is a surjective homomorphism. Discussed the four basis isomorphism theorems. Discussed direct and semidirect products. Week 2, Oct 2, 4, 6: Products, simple groups and group actions Lecture 3: Semidirect products. Discussed definition of semidirect products. Proved that if G is a group, H G normal subgroup and K G is a subgroup satisfying HK = G and H K = 1, then G is isomorphic to the semidirect product H φ K where φ: K Aut(H) is defined by φ(k)(h) = hkh 1 for h H and k K. Discussed examples: D 2n = Z/n Z/2 and Q Q. Discussed the universal property of the direct product. Defined the free product in terms of a universal property. Lecture 4: Free groups, finitely generated groups, simple groups and the Jordan Hölder theorem. Defined the free group F (S) on a set S in terms of the universal property: for any map S G to a group G, there is a unique group homomorphism F (S) G compatible with the maps from S. 1
2 Constructed the free group F (S) directly and showed that its satisfies the universal property. Showed that finitely generated groups are quotients of free groups. Stated the classification theorem for finitely generated abelian groups (to be proved later when we discuss finitely generated modules over a PID). Defined simple groups and composition series. Stated the Jordan Hölder theorem and proved the existence of composition series (while the uniqueness is a homework exercise). Lecture 5: Group actions. Introduced the notion of a group G acting on a set Ω. Defined the stabilizer G x G and orbit O(x) Ω of a point x Ω. Proved that the map G/G x O(x) taking a coset hg x to hx is bijective. Discussed the examples of G acting on itself via left multiplication and via conjugation. Discussed again the symmetries of the regular ngon and cube. Defined the orthogonal group O n (R). Proved that any finite subgroup G O 2 (R) is isomorphic to Z/n or D 2n for some n. Week 3, Oct 9, 11, 13: Platonic solids and the Sylow theorems Lecture 6: Platonic solids. Proved that any element of SO 3 (R) is a rotation about some line. Stated the theorem that any finite subgroup G SO 3 (R) is isomorphic to either: (1) Z/n as the subgroup of rotations about a fixed line, (2) D 2n as the subgroup of symmetries of a regular ngon in a plane, (3) A 4 as the subgroup of symmetries of a tetrahedron, (4) S 4 as the subgroup of symmetries of a cube or octahedron, or (5) A 5 as the subgroup of symmetries of a dodecahedron or icosahedron. Following the exposition in Chapter 6, Artin s Algebra, we proved the theorem in the case that the action of G on the set Ω = {p S 2 g 1 G with gp = p} has one or two orbits. Lecture 7: More on Platonic solids and Cauchy s theorem. Finished the classification of finite subgroups of SO 3 (R) handling the case when Ω has 3 orbits. Proved the following key lemma: Let H be a finite group of order p n for a prime p and S be a finite set with an action of H. Define S H = {s S hs = s for all h H}. Then S H S mod p. Using this lemma, we proved Cauchy s theorem: If G is a finite group and p is a prime dividing G, then there exists an element of order p. Lecture 8: The Sylow theorems. Recalled key lemma from last lecture which was used repeatedly in the proofs of Sylow s theorems. Defined pgroups and psubgroups. Proved that if H G is a psubgroup of a finite group, then N G (H) : H G : H mod p. Proved the First Sylow Theorem: If G is a finite group of order p n m where p is a prime not dividing m, then for each i = 0,..., n, there exists a subgroup of G of order p i. In fact, for each i = 0,..., n 1, any subgroup of order p i is normal in some subgroup of order p i+1. Defined psylow subgroups. 2
3 Proved the Second Sylow Theorem: Let H, P be psubgroups of a finite group G such that P is a psylow subgroup. Then H gp g 1 for some g G. In particular, all psylow subgroups are conjugate. Proved the Third Sylow Theorem. Let G be a finite group of order p n m where p is a prime not dividing m. Let n p be the number of psylow subgroups of G. Then n p 1 mod p and n p m. Week 4, Oct 16, 18, 20: Classification of finite groups and Introduction to Rings Lecture 9: Classification of finite groups. Today s lecture summarized various material on finite groups that useful to classify all finite groups of a particular order. Began by summarizing Sylow s theorems. Stated the proposition: if G is a finite group and H G is a subgroup such that G : H is the smallest prime dividing G, then H is normal. Stated the proposition: Let H, K be groups and ϕ: K Aut(H) be a group homomorphism. Then (1) If φ Aut(K), then H ϕ K = H ϕ φ K; and (2) If ψ Aut(H), then H ϕ K = H ψ 1 ϕψ K. Stated the proposition that { Aut(Z/p n ) = (Z/p n ) Z/((p 1)p n 1 ) if p is odd Z/2 Z/2 n 1 if p=2. and Aut(Z/p n1 1 Z/p n k k ) = (Z/p n1 1 ) (Z/p n k k ) if p 1,..., p k are distinct primes. Classified groups of order pq for primes p < q. Classified groups of order p 2 for a prime p. Classified groups of order p 3 for a prime p. Lecture 10: Introduction to Rings I. Corrected discussion of the classification of groups of order p 3 with an emphasis on distinguishing the case p = 2 from the case of odd primes p. Defined rings. Our definition requires that a ring has a multiplicative identity 1. Defined commutative rings, division rings and fields. Provided basic examples: Z, Q, R, C, Z/n Provided additional examples: zero ring, quaternions, matrix rings Discussed the group of units R in a ring R. Showed that the units M n (R) in the matrix ring M n (R) over a ring R is precisely GL n (R) = {A M n (R) det(a) R. Lecture 11: Introduction to Rings II. Defined the group ring R[G] of a finite group G over a ring R. Discussed the ring of continuous functions on a topological space X. Defined an integral domain and zerodivisors. Proved that an integral domain which is a finite set is necessarily a field. Defined a ring homomorphism φ: R S of rings R and S. Our definition requires that φ(1) = 1. Defined a ring isomorphism to be a bijective ring homomorphism, and show that this implies that that there is an inverse which is also a ring isomorphism. Defined the kernel and image of a ring homomorphism. Defined left ideals, right ideals and twosided ideals. 3
4 Discussed examples: (1) if φ: R S is a ring homomorphism, then ker(φ) is a 2sided ideal, (2) if R is a ring and a R, then Ra = {xa x R} is a left ideal and ar = {ax x R} is a right ideal (and if R is commutative, we denote (a) := Ra = ar), (3) discussed examples of left ideals in matrix rings that are not right ideals. Showed that any ideal in Z is equal to (n) for some integer n. Quickly defined prime ideals and maximal ideals. Week 5, Oct 23, 25, 27: More on Rings Lecture 12: Quotient rings, localization and Euclidean domains. Discussed the quotient ring R/I of a ring R by a twosided ideal I. Discussed the four isomorphism theorem for rings. Defined the localization S 1 R of a commutative ring R at a multiplicative system. Discussed the examples: (1) if R is an integral domain, the fraction field of R is Frac(R) := S 1 R where S = (R \ 0) 1, (2) if f R, the ring R f := S 1 R where S = {1, f, f 2,...}, if p R is a prime ideal, then R p := S 1 R where S = R \ p. Defined Euclidean domains and principal ideal domains (PIDs). Showed that any Euclidean domain is a PID. Lecture 13: UFDs. Showed that if R is a PID, then every nonzero prime is maximal. Defined prime and irreducible elements in an integral domain. Showed that in any integral domain R, prime elements are always irreducible. Moreover, we established the converse if R is a PID. Motivated and defined a Unique Factorization Domain (UFD). Showed that if R is a UFD, then every irreducible element is prime. Stated the main theorem: If R is a PID, then R is a UFD. This gives us the implications Euclidean domain PID UFD. Showed that if R is a commutative ring, then the following are equivalent: (1) Every ascending chain of ideals terminates, and (2) Every ideal is finitely generated. These equivalent properties define a Noetherian ring. Proved that if R is Noetherian domain, then every element has a factorization into irreducible elements. Lecture 14: Gauss s lemma. Finished the proof from last time that a PID is a UFD. In fact, we proved that if R is a Noetherian ring, then R is a UFD if and only if every irreducible element is prime. Proved Gauss s lemma. Discussed an important corollary of Gauss s lemma: if R is a UFD with fraction field K and f(x) R[x] is a polynomial such that the greatest common divisor of the coefficients is 1 (e.g., f is a monic polynomial), then f is irreducible in R[x] if and only if f is irreducible in K[x]. Week 6, Oct 30, Nov 1, 3: Criteria for irreducibility and Introduction to modules Lecture 15: Criteria for irreducibility. Proved that if R is a UFD, so is R[x]. Discussed examples. Discussed various methods to show a polynomial is irreducible. Proved Eisenstein s criterion. 4
5 Discussed examples including x and x p 1 + x p x + 1 for a prime p. Lecture 16: Introduction to Modules I. Defined a left Rmodule M (also called just an Rmodule) over a ring R. Discussed the case that R = k is a field. In this case modules are simply vector spaces. Discussed examples of Rmodules: (1) R, (2) R n, (3) left ideals I R, (4) if R S is a ring homomorphism, S can be viewed as an Rmodule. Discussed modules over particular rings: (1) R = k is a field, (2) R = Z, and (3) R = k[x]. Defined ring homomorphisms (and isomorphisms, injections, surjections), kernels, and images. Lecture 17: Introduction to Modules II. Defined quotients M/N of an Rmodule M by a submodule N M. Discussed the isomorphism theorems for Rmodules. Defined a basis of an Rmodule and the notion of a free module. Given a set {M i } i I of Rmodules, defined direct products i I M i and direct sums i I M i. Discussed their universal properties. Proved that an Rmodule M is free if and only if M = i I R for some index set I. Defined the annihilator Ann R (M) of an Rmodule M. Showed that if M is free, then Ann R (M) = 0. Gave the counterexample of M = I = (x, y) of a module over k[x, y] which has Ann R (M) = 0 but is not free. Lecture 18: Week 7, Nov 6, 8 Defined the condition that an Rmodule be finitely generated. Defined the rank of a module. Given an Rmodule M, also discussed the submodule Tor R (M) = {m M rm = 0 for some r 0}, and the ideal Ann R (M) = {r R rm = 0 for all m im M}. Stated Theorem 1: if R is a PID and M is a finitely generated Rmodule, then M = R r R/(a 1 ) R/(a k ) for r Z and nonzero and nonunit elements a 1,..., a k R such that a 1 a k. Discussed a general sketch of the proof. Stated Theorem 2: If R is a PID and N R n is a submodule, then (1) N is free of some rank k, and (2) there exists a basis y 1,..., y n of R n and nonzero elements a 1 a k of R such that a 1 y 1,..., a k y k is a basis of N. Showed how Theorem 2 implies Theorem 1. Lecture 19: Proved Theorem 2 from last lecture. Lecture 20: Week 8, Nov 13, 15, 17 Showed using the Chinese Remainder Theorem that if R is a PID and a = p n1 1 pns s is a factorization of an element a R, then R/a = R/p n1 1 R/pns s. Stated a second version of the classification of finitely generated modules over a PID: if R is a PID and M is a finitely generated Rmodule, then M = R r R/(p n1 1 ) R/(pns s ) for r Z and irreducible (but not necessarily distinct) elements p i R. 5
6 Stated the uniqueness properties in the two versions of the main decompositions results for finitely generated modules over a PID. Sketched the proof of this. Showed how the first version of the classification theorem for finitely generated modules over a PID implies the rational canonical form of a linear transformation of a finite dimensional vector space. That is, we showed: if T : V V is a linear transformation of a finite dimensional vector space V over k, then there exists polynomials f 1 f 2 f k and a basis β of V such that the matrix representation of T with respect to β is a block diagonal matrix with blocks M fi, where each block has 1 s along the subdiagonal and the negative of the coefficients of f i in last column. Lecture 21: Recalled the definition of the minimal and characteristic polynomial. With the notation of the rational canonical form (from the last lecture) of a linear transformation T : V V of a finite dimensional vector space, we showed that: (1) the characteristic polynomial of T is k i=1 f k, (2) the minimal polynomial is f k, (3) (CayleyHamilton) the minimal polynomial divides the characteristic polynomial, and (4) the characteristic polynomial divides some power (in fact, the kth power suffices) of the minimal polynomial. Recalled the eigenvalues of a linear transformation. Showed how the second version of the classification theorem for finitely generated modules over a PID implies the Jordan canonical form of a linear transformation T : V V of a finite dimensional vector space over k as the long as the characteristic polynomial of T splits over k. If R is a ring, we defined simple Rmodules and composition series. We stated that any two composition series have the same length and the same factors after reordering. The proof follows from the same proof (from HW) for the analogous fact for composition series of finite groups. Lecture 22: We discussed many examples of noncommutative rings. Recalled the group algebra R[G] of a finite group G over a ring R. Recalled the matrix rings M n (R) over a ring R. If R is a ring and M is an Rmodule, we defined the endomorphism ring End R (M) of M over R. If M = R, we showed that End R (R) = R op is the opposite ring. If I R is a twosided ideal, then End R (R/I) = End R/I (R/I) = (R/I) op. If M = R n, we showed that End R (R n ) = M n (R op ). If R is a ring, we defined the free algebra R x 1,..., x n over R. If R is a ring and M is an Rmodule, we showed that the following are equivalent: (1) M is simple, (2) M = Rx for any nonzero x M, and (3) M = R/I where I R is a maximal left ideal. We stated that an Rmodule M has a composition series if and only if M is Artinian and Noetherian. We proved the direction. Lecture 23: Week 9, Nov 20, 22 Recalled the proposition from last time that an Rmodule M has a composition series if and only if M is Artinian and Noetherian. We proved the direction. If D is a division ring and R = M n (D), we showed that D n is a simple Rmodule. Moreover, we gave a composition series of R as an Rmodule. We also discussed the simple modules over a PID. 6
7 We proved Schur s lemma: If φ: M N is an Rmodule homomorphism of simple Rmodules, then either φ = 0 or φ is an isomorphism. We discussed the corollary: if M is a simple Rmodule, then End R (M) is a division ring. If D is a division ring, V = D n, and R = End D (V ) = M n (D op ), then V is also an Rmodule. We proved that the morphism D End R (V ), which sends d D to the Rmodule homomorphism V V, v dv, is an isomorphism. We proved that if R is a kalgebra with k algebraically closed and M is a simple Rmodule of finite dimension as a kvector space, then End R (M) = k. If G is a finite group, we defined a representation of G as a vector space V together with a group homomorphism G GL(V ). We emphasized that a C[G]module is precisely the same as a representation of G and that under this corresponding a simple C[G]module corresponds to an irreducible representation of G. Lecture 24: Discussed Zorn s lemma. Used Zorn s lemma to prove that if R is a ring and M is a semisimple Rmodule, then M contains a simple Rmodule. We defined an Rmodule M to be semisimple if and only if for every Rsubmodule P M, there exists an Rsubmodule Q M such that M = P Q. We proved that any submodule or quotient module of a semisimple module is also semisimple. We proved that for an Rmodule M, the following are equivalent: (1) M is semisimple, (2) M = i I M i where each M i M is simple, and (3) M = i I M i where each M i M is simple. Lecture 25: Week 10, Nov 27, 29, Dec 1 We defined a semisimple module M to be of finite length if M = n i=1 M i where each M i is simple. We proved that if M is a semisimple Rmodule of finite length, then End R (M) = M n1 (D 1 ) M nk (D k ) for division rings D 1,..., D k. We defined a ring R to be semisimple if R is semisimple as a left Rmodule. We proved that for a ring R, the following are equivalent: (1) R is semisimple, (2) every Rmodule is semisimple, and (3) every short exact sequence of Rmodules splits. Moreover, if these conditions hold, then R is of finite length and every simple Rmodule appears as an Rsubmodule of R. Discussed in detail the example of a matrix ring M n (D) over a division ring D. Discussed other examples. We proved the Artin Wederburn theorem: if R is a semisimple ring, then R is isomorphic to a finite product of matrix rings over division rings; that is, R = M n1 (D 1 ) M nk (D k ) (as rings) where each D i is a division ring. Lecture 26: (Guest lecture by Jake Levinson) Proved that the ring Z[x 1,..., x n ] Sn of S n invariant polynomials is the polynomial ring Z]e 1,..., e n ] genererated by the elementary symmetric polynomials e 1,..., e n. Lecture 27: (Discussion section led by Charles Godfrey) 7
8 Lecture 28: Week 11, Dec 4, 6, 8 If R is a ring, M is a right Rmodule, and N is a left Rmodule, we defined the concept of a middle linear map M N G to an abelian group G. We defined the tensor product of M and N over R as an abelian group M R N together with a middle linear map φ: M N M R N such that if ψ : M N G is any other middle linear map, then there exists a unique group homomorphism χ: M R N G such that ψ = χ φ. We constructed M R N as the quotient of the free abelian group F generated by the set M N by the subgroup generated by (1) (x + x, y) (x, y) (x, y) for x, x M and y N, (2) (x, y + y ) (x, y) (x, y ) for x M and y, y N and (3) (xr, y) = (x, ry) for x M, y N and r R. Specializing to the case that R is commutative, we showed that if M and N are Rmodules, then M R N is an Rmodule and M N M R N is bilinear. Moreover, M R N satisfies the following universal property: if ψ : M N Q is a bilinear map to an Rmodule Q, then there is a unique Rmodule homomorphism χ: M R N Q such that ψ = χ φ. We established that Hom R (M R N, Q) = Hom R (M, Hom R (N, Q)). Lecture 29: Recalled the definition of the universal property of the tensor product M R N of modules M and N over a commutative ring R. Established that there are isomorphisms: (1) M R N N R M where x y y x, (2) (M R N) R P M R (N R P ) where (x y) z x (y z), (3) M R R M where x r rx, and (4) ( i I M i) R N i I (M i R N) (here {M i } i I is a set of Rmodules) defined by q i (x) n q i (x n), where q i : M i i I M i and q i : M i R N i I (M i R N) denote the inclusions into the direct sums. (5) Established that if M is a free Rmodule with basis {x i } i I and N is a free Rmodule with basis {y j } j J, then M R N is a free Rmodule with basis {x i y j } (i,j) I J. In particular, R n R m = R nm. (6) Discussed the following additional structures on tensor products. (1) If R S is a ring homomorphism and M is an Rmodule, then M R S is naturally an Smodule where if s S and m s M R S, then s (m s ) = m (ss ). (2) If R S and R T are ring homomorphisms, then S R T is naturally a ring where (s t) (s t ) = (ss ) (tt ) for s, s S and t, t T. Lecture 30: We introduced the following classical question in 19th century invariant theory. Let Pol d (C n ) be the vector space of homogeneous degree d polynomials in x 1,..., x n. Explicitly, Pol d (C n ) = { a I x I a I C }, I=(i 1,...,i n) where x I = x i1 1 xin n. Defined the polynomial ring C[a I ] over the ( ) n+d 1 d variables ai. The ring C[a i ] is the ring of polynomials defined on the vector space Pol d (C n ). The group SL n acts on C n and therefore on Pol d (C n ) and therefore also on C[a I ]. 8
9 The question of tremendous importance in the 19th century was: What is the ring C[a I ] SLn consisting of polynomials in the a I s invariant under SL n? Discussed the case of binary quadrics (n = d = 2) and binary quartics (n = 2, d = 4). We sketched Hilbert s original argument that the invariant ring C[a I ] SLn is finitely generated as a Calgebra. 9
SUMMARY ALGEBRA I LOUISPHILIPPE THIBAULT
SUMMARY ALGEBRA I LOUISPHILIPPE 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 informationHonors 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 informationList of topics for the preliminary exam in algebra
List of topics for the preliminary exam in algebra 1 Basic concepts 1. Binary relations. Reflexive, symmetric/antisymmetryc, and transitive relations. Order and equivalence relations. Equivalence classes.
More informationAlgebra 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 informationQ 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 Amodules. Let Q be an Amodule. i) Show that the naturally induced sequence is exact, but that 0 Hom(P,
More informationProblem 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 informationMath 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 informationAlgebra 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 informationDefinitions. 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 informationAlgebra 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 informationRINGS: SUMMARY OF MATERIAL
RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 1113 of Artin. Definitions not included here may be considered
More informationAlgebra 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 informationAlgebra 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 informationStructure 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 Ralgebra is a ring A (unital as always) together
More informationAlgebra 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 informationAlgebra 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 informationMath 547, Exam 2 Information.
Math 547, Exam 2 Information. 3/19/10, LC 303B, 10:1011:00. Exam 2 will be based on: Homework and textbook sections covered by lectures 2/33/5. (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)
More informationTwo subgroups and semidirect products
Two subgroups and semidirect products 1 First remarks Throughout, we shall keep the following notation: G is a group, written multiplicatively, and H and K are two subgroups of G. We define the subset
More informationMath 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 informationALGEBRA 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 informationPRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators.
PRACTICE FINAL MATH 18.703, MIT, SPRING 13 You have three hours. This test is closed book, closed notes, no calculators. There are 11 problems, and the total number of points is 180. Show all your work.
More informationFILTERED 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 informationExercises 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 informationALGEBRA 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 informationCOURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA
COURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA JAROD ALPER WEEK 1, JAN 4, 6: DIMENSION Lecture 1: Introduction to dimension. Define Krull dimension of a ring A. Discuss
More informationLecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).
Lecture 2 1. Noetherian and Artinian rings and modules Let A be a commutative ring with identity, A M a module, and φ : M N an Alinear map. Then ker φ = {m M : φ(m) = 0} is a submodule of M and im φ is
More informationMath 4400, Spring 08, Sample problems Final Exam.
Math 4400, Spring 08, Sample problems Final Exam. 1. Groups (1) (a) Let a be an element of a group G. Define the notions of exponent of a and period of a. (b) Suppose a has a finite period. Prove that
More information1 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φ(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 informationSolutions of exercise sheet 8
DMATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 8 1. In this exercise, we will give a characterization for solvable groups using commutator subgroups. See last semester s (Algebra
More informationSUMMARY OF GROUPS AND RINGS GROUPS AND RINGS III Week 1 Lecture 1 Tuesday 3 March.
SUMMARY OF GROUPS AND RINGS GROUPS AND RINGS III 2009 Week 1 Lecture 1 Tuesday 3 March. 1. Introduction (Background from Algebra II) 1.1. Groups and Subgroups. Definition 1.1. A binary operation on a set
More informationSchool 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 informationCourse 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 informationMath 2070BC Term 2 Weeks 1 13 Lecture Notes
Math 2070BC 2017 18 Term 2 Weeks 1 13 Lecture Notes Keywords: group operation multiplication associative identity element inverse commutative abelian group Special Linear Group order infinite order cyclic
More informationGraduate Preliminary Examination
Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counterexample to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.
More informationAlgebra 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 informationAppendix 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 informationAbstract Algebra Study Sheet
Abstract Algebra Study Sheet This study sheet should serve as a guide to which sections of Artin will be most relevant to the final exam. When you study, you may find it productive to prioritize the definitions,
More informationALGEBRA 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 informationChapter 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 informationInjective 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 Rmodules. The following
More information1 Finite abelian groups
Last revised: May 16, 2014 A.Miller M542 www.math.wisc.edu/ miller/ Each Problem is due one week from the date it is assigned. Do not hand them in early. Please put them on the desk in front of the room
More informationAssigned 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 informationPh.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 information38 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 informationAlgebra. Travis Dirle. December 4, 2016
Abstract Algebra 2 Algebra Travis Dirle December 4, 2016 2 Contents 1 Groups 1 1.1 Semigroups, Monoids and Groups................ 1 1.2 Homomorphisms and Subgroups................. 2 1.3 Cyclic Groups...........................
More informationTotal 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 informationAlgebra 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 information11. Finitelygenerated modules
11. Finitelygenerated modules 11.1 Free modules 11.2 Finitelygenerated modules over domains 11.3 PIDs are UFDs 11.4 Structure theorem, again 11.5 Recovering the earlier structure theorem 11.6 Submodules
More informationRings 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 informationNOTES 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 information120A LECTURE OUTLINES
120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication
More informationINTRODUCTION TO COMMUTATIVE ALGEBRA MAT6608. References
INTRODUCTION TO COMMUTATIVE ALGEBRA MAT6608 ABRAHAM BROER References [1] Atiyah, M. F.; Macdonald, I. G. Introduction to commutative algebra. AddisonWesley Publishing Co., Reading, Mass.LondonDon Mills,
More informationMath Studies Algebra II
Math Studies Algebra II Prof. Clinton Conley Spring 2017 Contents 1 January 18, 2017 4 1.1 Logistics..................................................... 4 1.2 Modules.....................................................
More informationCommutative Algebra and Algebraic Geometry. Robert Friedman
Commutative Algebra and Algebraic Geometry Robert Friedman August 1, 2006 2 Disclaimer: These are rough notes for a course on commutative algebra and algebraic geometry. I would appreciate all suggestions
More informationMTH 302: Modules. Semester 2, Dr. Prahlad Vaidyanathan
MTH 302: Modules Semester 2, 20132014 Dr. Prahlad Vaidyanathan Contents Finite Abelian Groups............................... 3 I. Rings...................................... 3 1. Definition and Examples.......................
More informationALGEBRA 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 informationMATH 1530 ABSTRACT ALGEBRA Selected solutions to problems. a + b = a + b,
MATH 1530 ABSTRACT ALGEBRA Selected solutions to problems Problem Set 2 2. Define a relation on R given by a b if a b Z. (a) Prove that is an equivalence relation. (b) Let R/Z denote the set of equivalence
More informationREPRESENTATION THEORY WEEK 9
REPRESENTATION THEORY WEEK 9 1. JordanHö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 informationbe any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism
21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore
More informationCHAPTER 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 informationMATH 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 informationQuizzes for Math 401
Quizzes for Math 401 QUIZ 1. a) Let a,b be integers such that λa+µb = 1 for some inetegrs λ,µ. Prove that gcd(a,b) = 1. b) Use Euclid s algorithm to compute gcd(803, 154) and find integers λ,µ such that
More informationALGEBRA 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 informationMath 547, Exam 1 Information.
Math 547, Exam 1 Information. 2/10/10, LC 303B, 10:1011:00. Exam 1 will be based on: Sections 5.1, 5.2, 5.3, 9.1; The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)
More informationAlgebra 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 informationIUPUI 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 informationAugust 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 informationMATH5735 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 informationMINKOWSKI 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 informationHonors 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 information12. Projective modules The blanket assumptions about the base ring k, the kalgebra A, and Amodules enumerated at the start of 11 continue to hold.
12. Projective modules The blanket assumptions about the base ring k, the kalgebra A, and Amodules enumerated at the start of 11 continue to hold. 12.1. Indecomposability of M and the localness of End
More informationAlgebra Ph.D. Preliminary Exam
RETURN THIS COVER SHEET WITH YOUR EXAM AND SOLUTIONS! Algebra Ph.D. Preliminary Exam August 18, 2008 INSTRUCTIONS: 1. Answer each question on a separate page. Turn in a page for each problem even if you
More informationAlgebra 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 informationAzumaya 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 informationINJECTIVE 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 informationBENJAMIN LEVINE. 2. Principal Ideal Domains We will first investigate the properties of principal ideal domains and unique factorization domains.
FINITELY GENERATED MODULES OVER A PRINCIPAL IDEAL DOMAIN BENJAMIN LEVINE Abstract. We will explore classification theory concerning the structure theorem for finitely generated modules over a principal
More informationGroup 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 informationTheorems and Definitions in Group Theory
Theorems and Definitions in Group Theory Shunan Zhao Contents 1 Basics of a group 3 1.1 Basic Properties of Groups.......................... 3 1.2 Properties of Inverses............................. 3
More informationCommutative 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 informationCHAPTER 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 informationMATH 101: ALGEBRA I WORKSHEET, DAY #3. Fill in the blanks as we finish our first pass on prerequisites of group theory.
MATH 101: ALGEBRA I WORKSHEET, DAY #3 Fill in the blanks as we finish our first pass on prerequisites of group theory 1 Subgroups, cosets Let G be a group Recall that a subgroup H G is a subset that is
More informationMath 120: Homework 6 Solutions
Math 120: Homewor 6 Solutions November 18, 2018 Problem 4.4 # 2. Prove that if G is an abelian group of order pq, where p and q are distinct primes then G is cyclic. Solution. By Cauchy s theorem, G has
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
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 informationAlgebra 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 informationAlgebraic 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 informationALGEBRA 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 informationOhio State University Department of Mathematics Algebra Qualifier Exam Solutions. Timothy All Michael Belfanti
Ohio State University Department of Mathematics Algebra Qualifier Exam Solutions Timothy All Michael Belfanti July 22, 2013 Contents Spring 2012 1 1. Let G be a finite group and H a nonnormal subgroup
More informationCommutative 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 informationAlgebra 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 information4. Noether normalisation
4. Noether normalisation We shall say that a ring R is an affine ring (or affine kalgebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,
More informationA GLIMPSE OF ALGEBRAIC KTHEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC KTHEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More informationExercises on chapter 4
Exercises on chapter 4 Always Ralgebra means associative, unital Ralgebra. (There are other sorts of Ralgebra but we won t meet them in this course.) 1. Let A and B be algebras over a field F. (i) Explain
More informationProjective and Injective Modules
Projective and Injective Modules Pushouts and Pullbacks. Proposition. Let P be an Rmodule. The following conditions are equivalent: (1) P is projective. (2) Hom R (P, ) is an exact functor. (3) Every
More informationLecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman
Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 17, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Factorization 0.1.1 Factorization of Integers and Polynomials Now we are going
More informationSupplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.
Glossary 1 Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.23 Abelian Group. A group G, (or just G for short) is
More informationSchool of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and ReActivation
MRQ 2009 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet I: Revision and ReActivation 1. Let H and K be subgroups of a group G. Define HK = {hk h H, k K }. (a) Show that HK
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
More informationRepresentation Theory
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section II 19I 93 (a) Define the derived subgroup, G, of a finite group G. Show that if χ is a linear character
More information