Resultants. summary and questions. December 7, 2011

Size: px
Start display at page:

Download "Resultants. summary and questions. December 7, 2011"

Transcription

1 Resultants summary and questions December 7, An exercise about free modules Let A be a unitary commutative integral ring. Let K be the fraction field of A. Let n 1 be an integer. Set V = A n and V = K n. We have a natural inclusion V V. The canonical basis of the free A-module V is also the canonical basis of the K-vector space V. Let M n n (A) be the set of n n matrices with entries in A. Let M M n n (A) be such an n n matrix with entries in A. We can associate to M an endomorphism Φ of the A-module V, namely the endomorphism whose matrix in the canonical basis is M. We can associate to M an endomorphism φ of the K-vector space V, namely the endomorphism whose matrix in the canonical basis is M. Of course Φ is the restriction of φ to V. Question 1 Deduce that φ is injective if and only if Φ is injective, if and only if the determinant of M is non-zero. What about surjectivity? 2 The comatrix Let A be a communtative ring with unit and let m, n be two positive integers. Let M m n (A) be the set of m n matrices with entries in A. We note C m (A) = M m 1 (A) the set of column vectors of length m. This is a rank m free A- module. Let M M m m (A). We associate to M an endomorphism of A-modules (an A-linear map) Φ M : C m (A) C m (A) defined by Φ M (c) = Mc. We note N the transposed of the comatrix of M and Φ N : C m (A) C m (A) the associated A-linear map. We know that MN is det(m) times the identity matrix. So Φ M Φ N = det(m) Id. In particular, the image of Φ M contains det(m)c m (A) : if c has the form c = det(m)d with d C m (A) then set e = Φ N (d). We have Φ M (e) = Φ M (Φ N (d)) = det(m)d = c. 1

2 3 Definition of the resultant Let again A be a commutative integral ring with unit. Let K be its fraction field. Let f and g be two polynomials in A[x]. We set l = deg(f) and m = deg(g) and we assume that m 1 and l 1. For every integer k 0 we call A[x] k the A-module consisting of all polynomials with coefficients in A having degree k. The A-module V = A[x] m 1 A[x] l 1 is free of rank m + l. We choose a natural basis. The polynomials x m 1, x m 2,..., x, 1 form a basis of A-module A[x] m 1. The polynomials x l 1, x l 2,..., x, 1 form a basis of the A-module A[x] l 1. The pairs (x m 1, 0), (x m 2, 0),..., (1, 0), (0, x l 1 ), (0, x l 2 ),..., (0, 1) form a basis Θ for the A-module V = A[x] m 1 A[x] l 1. If P = 0 k m 1 p kx k and if Q = 0 k l 1 q kx k, then the pair (P, Q) lies in V and its coordinates in the basis Θ form the column vector t (p m 1, p m 2,..., p 0, q l 1, q l 2,..., q 0 ). So we have an isomorphism between V and C m+l. We are interested in the A-linear map defined by µ : V = A[x] m 1 A[x] l 1 A[x] m+l 1 µ(c, D) = Cf + Dg. We set W = A[x] m+l 1. We note that W is a rank m + l free A-module. The polynomials x m+l 1, x m+l 2,..., x, 1, form a basis Ω of this A-module. The matrix of the linear map µ in the bases Θ (of V) and Ω (of W) is called the Sylvester matrix of the polynomials f and g. We denote it Syl(f, g). This is a square matrix of size (m + l) (m + l). Its determinant is called the resultant of f and g and denoted Res(f, g). Remark : one sometimes writes Syl l,m (f, g) and Res l,m (f, g) to stress the dependency in l and m. Otherwise, l is assumed to be the degree of f and m the degree of g. We note that Res(f, g) lies in A and is zero if and only if the linear map µ is not injective. See section 1. So Res(f, g) = 0 if and only if the exist two polynomials C and D in A[x] such that deg(c) m 1 and deg(d) l 1 and Cf + Dg = 0 and (C, D) (0, 0). This amounts to saying that the gcd of f and g in K[x] is not a constant : there exist h, F, G K[x] such that f = F h and g = Gh and deg(h) 1. Question 2 Why? Another important remark : considerations in section 2 show that the image of µ contains Res(f, g)w. In particular, it contains the constant polynomial 2

3 Res(f, g). So there exist two polynomials C and D in A[x] such that Cf +Dg = Res(f, g). We write the Sylvester matrix in a simple case. We assume l = 2 and and m = 3 and f(x) = f 2 x 2 + f 1 x + f 0 g(x) = g 3 x 3 + g 2 x 2 + g 1 x + g 0. Here V = A[x] 2 A[x] 1. The image of (x 2, 0) by µ is x 2 f(x) + 0 g(x) = x 2 f(x). The image of (x, 0) is xf(x). The image of (1, 0) is f(x). The image of (0, x) by µ is 0 f(x) + x g(x) = xg(x). The image of (0, 1) by µ is g(x). The matrix of µ in the bases Θ (of V) and Ω (of W) is Syl(f, g) = f g 3 0 f 1 f 2 0 g 2 g 3 f 0 f 1 f 2 g 1 g 2 0 f 0 f 1 g 0 g f 0 0 g 0 If f = f 0 is a non-zero constant, it is natural to take for Syl(f, g) the scalar matrix of order deg(g) = m Syl(f 0, g) = Diag(f 0,..., f 0 ). So Res(f 0, g) = f deg(g) 0 and Res(f, g 0 ) = g deg(f) 0 if f 0 and g 0 are non-zero constants and f and g are non-zero polynomials. Finaly we set Res(0, g) = Res(f, 0) = 0. 4 First properties Some simple properties can be proved by operating on columns. If m l then Res(f, g) = ( 1) lm Res(g, f). Res(f, g) = f m d l Res(f, g%f) where d is the degree of g%f. If m l then where d is the degree of f%g. Res(f, g) = g l d m ( 1) m(l d) Res(f%g, g) 3

4 5 The K-algebra K[x]/f(x) Let f K[x] be a polynomial with degree l 1. We write Q for the K-algebra K[x]/f(x). For every polynomial g(x) K[x] with degree m 0 we denote by φ g the map from Q to Q that sends h mod f onto g h mod f. The family (x l 1 mod f, x l 2 mod f,..., x 2 mod f, x mod f, 1 mod f) is a K-basis of Q. We write the matrix of φ g in this basis. We compare it to the Sylvester matrix Syl(f, g). We check that Res(f, g) = f m l det(φ g ). We deduce that Similarly Res(f, g 1 g 2 ) = Res(f, g 1 ) Res(f, g 2 ). Res(f 1 f 2, g) = Res(f 1, g) Res(f 2, g). If K is an algebraic closure of K, then there exist α1,..., α l and β 1,..., β m in K such that f = f l (x α 1 )... (x α l ) and g = g m (x β 1 )... (x β m ). Applying repeatedly the above multiplicativity rules and noting that we prove that Equivalently Res(f, g) = f m l Res(x α, x β) = α β, g l m Res(f, g) = ( 1) lm g l m 6 First applications 1 i l 1 j m and xs 1 j m f(β j ) = f m l (α i β j ). 1 i l g(α i ). Question 3 Let K be a field such that P (x) = x 3 1 and Q(x) = x 2 + 3x + 1 have a common root. Which is the characteristic of K? We compute the resultant of these two polynomials. Since they are unitary, the Sylvester matrix does not depend on K. >> polylib::resultant(x^3-1,x^2+3*x+1,x); 20 Since 20 = the resultant is zero if and only if the characteristic p of K is 2 or 5. We assume that p = 2 and compute the gcd of P (x) and Q(x) in F 2 [x]. R := Dom :: IntegerMod(2); P := poly(x^3-1,r); Q:= poly(x^2+3*x+1,r); >> gcd(p,q); 2 poly(x + x + 1, [x], Dom::IntegerMod(2)) 4

5 We assume now that p = 5 and compute the gcd of P (x) and Q(x) in F 5 [x]. R := Dom :: IntegerMod(5); P := poly(x^3-1,r); Q:= poly(x^2+3*x+1,r); >> gcd(p,q); poly(x + 4, [x], Dom::IntegerMod(5)) Remark : Let A and B be two commutative integral rings with unit. Let φ : A B be a ring homomorphism. There exists a ring homomorphism Φ : A[x] B[x] such that Φ(x) = x and the restriction of Φ to A is φ. Let P (x) and Q(x) be two non-zero polynomials in A[x]. Let p 0 and q 0 be their leading coefficients. Assume φ(p 0 ) 0 and φ(q 0 ) 0. The the resultant of Φ(P ) and Φ(Q) is φ(res(p, Q)). Question 4 Let C 1 C 2 be the plane curve with equation x 2 + 2y 3 = 3. Let C 2 C 2 be the plane curve with equation x 2 + xy + y 2 = 3. Let P = (x P, y P ) C 2 be a point in the intersection of C 1 and C 2. What can we say about y P? We note f(x, y) = x 2 + 2y 3 3 and g(x, y) = x 2 + xy + y 2 3 the two polynomials involved in the question. Let V (f, g) be the set of points P = (x P, y P ) such that f(x P, y P ) = 0 and g(x P, y P ) = 0. We say that V (f, g) is an algebraic set. Let I be the ideal in C[x, y] generated by f and g. Let h be a polynomial in this ideal. Then for every point P = (x P, y P ) in V we have h(x P, y P ) = 0. Set A = C[y]. We identify C[x, y] and A[x]. We denote by Res x (f, g) the resultant of f and g seen as polynomials in the indeterminate x having coefficients in A = C[y]. We have seen that the resultant belongs to A and also to the ideal generated by f and g : Res x (f, g) C[y] I. So Res x (f, g) is an equations resulting from f and g and depending only on one parameter y. We say that we have eliminated x. We set r(y) = Res x (f, g) and we compute f:=x^2+2*y^3-3; g := x^2+x*y+y^2-3; >> r:=polylib::resultant(f,g,x); y - 2 y + y - 3 y >> factor(r); y (y - 1) (3 y + 2 y + 4 y + 3) So every point P = (x P, y P ) V satisfies y 2 P (y P 1)(4y 3 P + 2y 2 P + 3y P + 3) = 0. 5

6 If y P = 0 we have f(x P, 0) = 0 = x 2 P 3 and g(x P, 0) = 0 = x 2 P 3. So x P = ± 3. We check that ( 3, 0) and ( 3, 0) lie in the intersection of C 1 and C 2. If y P = 1 we have f(x P, 1) = 0 = x 2 P 1 and g(x P, 0) = 0 = x 2 P + x P 2. We compute the gcd if x 2 1 and x 2 + x 2 : >> gcd(x^2-1,x^2+x-2); x - 1 So we find the point with coordinates (1, 1). If y P is a root of 4y 3 + 2y 2 + 3y + 3 = 0 then we check that x P = 2y 2 P y P. The three roots of 4y 3 + 2y 2 + 3y + 3 = 0 are distinct : >> polylib::discrim(4*y^3+2*y^2+3*y+3,y); We have found 3 more intersection points. So have found a total of 6 intersection points. Question 5 Let α 1, α 2, α 3 be the three roots of A(x) = x 3 + 5x + 7. Compute B(x) = (x α 2 1 )(x α2 2 )(x α2 3 ) without computing the α i. Let C(x) be a polynomial with degree 1. Give a formula for (x C(α 1 ))(x C(α 2 ))(x C(α 3 )). A:=x^3+5*x+7; B:=x^2-y; polylib::resultant(a,b,x); 3 2 y + 10 y + 25 y - 49 Question 6 Let α 1, α 2, α 3 be the three roots of A(x) = x 3 + 5x + 7. Let β 1, β 2, β 3, β 4 be the roots of B(x) = x x Give a formula for (X α i β j ). 1 i 3 1 j 3 A:=x^3+5*x+7; B:=y^4+11*y+13; C:=collect(subs(B,y=z/x)*x^4,x); x + 11 x z + z C:=C/coeff(C,x,4); x z z 6

7 x >> r:=polylib::resultant(a,c,x); z 231 z 50 z z 1925 z 1605 z z z >> numer(r); z z z z z z z z >> 13^3*7^4; Question 7 Let A be an integral ring and K its fraction field. Let K be an algebraic closure of K. An element in K is said to be integral over A if it is canceled by a unitary polynomial with coefficients in A. Prove that the set of integral elements is a subring of K containing A. Question 8 We consider the plane curve C R 2 parametrized by the equations and Give an equation for this curve. A:=(1+t^2)^3*x-4*t*(1-t^2)^2; B:=(1+t^2)^3*y-8*t^2*(1-t^2); r:=polylib::resultant(a,b,t); x(t) = 4t(1 t2 ) 2 (1 + t 2 ) 3, y(t) = 8t2 (1 t 2 ) (1 + t 2 ) x x y x y x y y 7

8 >> factor(r); (- 4 x y + 3 x y + 3 x y + x + y ) 7 The discriminant Let K be a field. If P (x) K[x] is a degree d unitary polynomial we define the discriminant of P to be Disc(P ) = ( 1) d(d 1) 2 Res(P, P ) = ( 1) d(d 1) 2 P (α i ) (1) = ( 1) d(d 1) 2 1 i d 1 i d (α i α j ) = 1 j d j i 1 i<j d (α i α j ) 2 (2) where d is the degree of P, and α 1, α 2,..., α d are the roots of P in some algebraic closure of K. Question 9 Which is the degree of P? so In general, if P d is the leading coefficient of P, we set Disc(P ) = P 2d 2 d (α i α j ) 2 1 i<j d P d Disc(P ) = ( 1) d(d 1) 2 Res d,d 1 (P, P ). 8

1. Algebra 1.5. Polynomial Rings

1. Algebra 1.5. Polynomial Rings 1. ALGEBRA 19 1. Algebra 1.5. Polynomial Rings Lemma 1.5.1 Let R and S be rings with identity element. If R > 1 and S > 1, then R S contains zero divisors. Proof. The two elements (1, 0) and (0, 1) are

More information

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism

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

Resultants. Chapter Elimination Theory. Resultants

Resultants. Chapter Elimination Theory. Resultants Chapter 9 Resultants 9.1 Elimination Theory We know that a line and a curve of degree n intersect in exactly n points if we work in the projective plane over some algebraically closed field K. Using the

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

1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by

1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by Seminar 1 1. Which ones of the usual symbols of addition, subtraction, multiplication and division define an operation (composition law) on the numerical sets N, Z, Q, R, C? 2. Let A = {a 1, a 2, a 3 }.

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

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

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

CS 829 Polynomial systems: geometry and algorithms Lecture 3: Euclid, resultant and 2 2 systems Éric Schost

CS 829 Polynomial systems: geometry and algorithms Lecture 3: Euclid, resultant and 2 2 systems Éric Schost CS 829 Polynomial systems: geometry and algorithms Lecture 3: Euclid, resultant and 2 2 systems Éric Schost eschost@uwo.ca Summary In this lecture, we start actual computations (as opposed to Lectures

More information

COMMUTATIVE RINGS. Definition 3: A domain is a commutative ring R that satisfies the cancellation law for multiplication:

COMMUTATIVE RINGS. Definition 3: A domain is a commutative ring R that satisfies the cancellation law for multiplication: COMMUTATIVE RINGS Definition 1: A commutative ring R is a set with two operations, addition and multiplication, such that: (i) R is an abelian group under addition; (ii) ab = ba for all a, b R (commutative

More information

D-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 6. Unique Factorization Domains

D-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 6. Unique Factorization Domains D-MATH Algebra I HS18 Prof. Rahul Pandharipande Solution 6 Unique Factorization Domains 1. Let R be a UFD. Let that a, b R be coprime elements (that is, gcd(a, b) R ) and c R. Suppose that a c and b c.

More information

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

15. Polynomial rings Definition-Lemma Let R be a ring and let x be an indeterminate. 15. Polynomial rings Definition-Lemma 15.1. Let R be a ring and let x be an indeterminate. The polynomial ring R[x] is defined to be the set of all formal sums a n x n + a n 1 x n +... a 1 x + a 0 = a

More information

Some practice problems for midterm 2

Some practice problems for midterm 2 Some practice problems for midterm 2 Kiumars Kaveh November 14, 2011 Problem: Let Z = {a G ax = xa, x G} be the center of a group G. Prove that Z is a normal subgroup of G. Solution: First we prove Z is

More information

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

2 (17) Find non-trivial left and right ideals of the ring of 22 matrices over R. Show that there are no nontrivial two sided ideals. (18) State and pr MATHEMATICS Introduction to Modern Algebra II Review. (1) Give an example of a non-commutative ring; a ring without unit; a division ring which is not a eld and a ring which is not a domain. (2) Show that

More information

Total 100

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

More information

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

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

Projective Varieties. Chapter Projective Space and Algebraic Sets

Projective Varieties. Chapter Projective Space and Algebraic Sets Chapter 1 Projective Varieties 1.1 Projective Space and Algebraic Sets 1.1.1 Definition. Consider A n+1 = A n+1 (k). The set of all lines in A n+1 passing through the origin 0 = (0,..., 0) is called the

More information

Polynomial Rings : Linear Algebra Notes

Polynomial Rings : Linear Algebra Notes Polynomial Rings : Linear Algebra Notes Satya Mandal September 27, 2005 1 Section 1: Basics Definition 1.1 A nonempty set R is said to be a ring if the following are satisfied: 1. R has two binary operations,

More information

Section 4.4 Functions. CS 130 Discrete Structures

Section 4.4 Functions. CS 130 Discrete Structures Section 4.4 Functions CS 130 Discrete Structures Function Definitions Let S and T be sets. A function f from S to T, f: S T, is a subset of S x T where each member of S appears exactly once as the first

More information

Math 4310 Solutions to homework 7 Due 10/27/16

Math 4310 Solutions to homework 7 Due 10/27/16 Math 4310 Solutions to homework 7 Due 10/27/16 1. Find the gcd of x 3 + x 2 + x + 1 and x 5 + 2x 3 + x 2 + x + 1 in Rx. Use the Euclidean algorithm: x 5 + 2x 3 + x 2 + x + 1 = (x 3 + x 2 + x + 1)(x 2 x

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

Rings. Chapter Definitions and Examples

Rings. Chapter Definitions and Examples Chapter 5 Rings Nothing proves more clearly that the mind seeks truth, and nothing reflects more glory upon it, than the delight it takes, sometimes in spite of itself, in the driest and thorniest researches

More information

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

D-MATH Algebra I HS 2013 Prof. Brent Doran. Exercise 11. Rings: definitions, units, zero divisors, polynomial rings D-MATH Algebra I HS 2013 Prof. Brent Doran Exercise 11 Rings: definitions, units, zero divisors, polynomial rings 1. Show that the matrices M(n n, C) form a noncommutative ring. What are the units of M(n

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

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS UZI VISHNE The 11 problem sets below were composed by Michael Schein, according to his course. Take into account that we are covering slightly different material.

More information

Math 121 Homework 2: Notes on Selected Problems

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

More information

D-MATH Alessio Savini. Exercise Sheet 4

D-MATH Alessio Savini. Exercise Sheet 4 ETH Zürich Exercise Sheet 4 Exercise 1 Let G, H be two Lie groups and let ϕ : G H be a smooth homomorphism. Show that ϕ has constant rank. Solution: We need to show that for every g G the rank of the linear

More information

where c R and the content of f is one. 1

where c R and the content of f is one. 1 9. Gauss Lemma Obviously it would be nice to have some more general methods of proving that a given polynomial is irreducible. The first is rather beautiful and due to Gauss. The basic idea is as follows.

More information

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

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

More information

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

Modern Computer Algebra

Modern Computer Algebra Modern Computer Algebra Exercises to Chapter 25: Fundamental concepts 11 May 1999 JOACHIM VON ZUR GATHEN and JÜRGEN GERHARD Universität Paderborn 25.1 Show that any subgroup of a group G contains the neutral

More information

Tensor Product of modules. MA499 Project II

Tensor Product of modules. MA499 Project II Tensor Product of modules A Project Report Submitted for the Course MA499 Project II by Subhash Atal (Roll No. 07012321) to the DEPARTMENT OF MATHEMATICS INDIAN INSTITUTE OF TECHNOLOGY GUWAHATI GUWAHATI

More information

MATH RING ISOMORPHISM THEOREMS

MATH RING ISOMORPHISM THEOREMS MATH 371 - RING ISOMORPHISM THEOREMS DR. ZACHARY SCHERR 1. Theory In this note we prove all four isomorphism theorems for rings, and provide several examples on how they get used to describe quotient rings.

More information

Algebraic Geometry: MIDTERM SOLUTIONS

Algebraic Geometry: MIDTERM SOLUTIONS Algebraic Geometry: MIDTERM SOLUTIONS C.P. Anil Kumar Abstract. Algebraic Geometry: MIDTERM 6 th March 2013. We give terse solutions to this Midterm Exam. 1. Problem 1: Problem 1 (Geometry 1). When is

More information

Finite Fields. Sophie Huczynska (with changes by Max Neunhöffer) Semester 2, Academic Year 2012/13

Finite Fields. Sophie Huczynska (with changes by Max Neunhöffer) Semester 2, Academic Year 2012/13 Finite Fields Sophie Huczynska (with changes by Max Neunhöffer) Semester 2, Academic Year 2012/13 Contents 1 Introduction 3 1 Group theory: a brief summary............................ 3 2 Rings and fields....................................

More information

AN INTRODUCTION TO GALOIS THEORY

AN INTRODUCTION TO GALOIS THEORY AN INTRODUCTION TO GALOIS THEORY STEVEN DALE CUTKOSKY In these notes we consider the problem of constructing the roots of a polynomial. Suppose that F is a subfield of the complex numbers, and f(x) is

More information

2.1 Modules and Module Homomorphisms

2.1 Modules and Module Homomorphisms 2.1 Modules and Module Homomorphisms The notion of a module arises out of attempts to do classical linear algebra (vector spaces over fields) using arbitrary rings of coefficients. Let A be a ring. An

More information

div(f ) = D and deg(d) = deg(f ) = d i deg(f i ) (compare this with the definitions for smooth curves). Let:

div(f ) = D and deg(d) = deg(f ) = d i deg(f i ) (compare this with the definitions for smooth curves). Let: Algebraic Curves/Fall 015 Aaron Bertram 4. Projective Plane Curves are hypersurfaces in the plane CP. When nonsingular, they are Riemann surfaces, but we will also consider plane curves with singularities.

More information

Homotopy-theory techniques in commutative algebra

Homotopy-theory techniques in commutative algebra Homotopy-theory techniques in commutative algebra Department of Mathematical Sciences Kent State University 09 January 2007 Departmental Colloquium Joint with Lars W. Christensen arxiv: math.ac/0612301

More information

RINGS: SUMMARY OF MATERIAL

RINGS: 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 11-13 of Artin. Definitions not included here may be considered

More information

HARTSHORNE EXERCISES

HARTSHORNE EXERCISES HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing

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

Integral Bases. 1. Resultants

Integral Bases. 1. Resultants . Resultants Integral Bases Suppose f and g are polynomials in one or more variables including x) with integer coefficients. Say f = A 0 x m + A x m + + A m, g = B 0 x n + B x n + + B n, with A 0,...,

More information

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

3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that ALGEBRAIC GROUPS 33 3. Lie algebras Now we introduce the Lie algebra of an algebraic group. First, we need to do some more algebraic geometry to understand the tangent space to an algebraic variety at

More information

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

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

More information

Finite Fields. Saravanan Vijayakumaran Department of Electrical Engineering Indian Institute of Technology Bombay

Finite Fields. Saravanan Vijayakumaran Department of Electrical Engineering Indian Institute of Technology Bombay 1 / 25 Finite Fields Saravanan Vijayakumaran sarva@ee.iitb.ac.in Department of Electrical Engineering Indian Institute of Technology Bombay September 25, 2014 2 / 25 Fields Definition A set F together

More information

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

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

Algorithms for Algebraic Geometry

Algorithms for Algebraic Geometry Chapter 2 Algorithms for Algebraic Geometry Outline: 1. Gröbner basics. 39 47 9 2. Algorithmic applications of Gröbner bases. 48 56 9 3. Resultants and Bézout s Theorem. 57 69 13 4. Solving equations with

More information

Chapter 4 Finite Fields

Chapter 4 Finite Fields Chapter 4 Finite Fields Introduction will now introduce finite fields of increasing importance in cryptography AES, Elliptic Curve, IDEA, Public Key concern operations on numbers what constitutes a number

More information

(Rgs) Rings Math 683L (Summer 2003)

(Rgs) Rings Math 683L (Summer 2003) (Rgs) Rings Math 683L (Summer 2003) We will first summarise the general results that we will need from the theory of rings. A unital ring, R, is a set equipped with two binary operations + and such that

More information

Polynomial Rings. (Last Updated: December 8, 2017)

Polynomial Rings. (Last Updated: December 8, 2017) Polynomial Rings (Last Updated: December 8, 2017) These notes are derived primarily from Abstract Algebra, Theory and Applications by Thomas Judson (16ed). Most of this material is drawn from Chapters

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

Algebraic Topology exam

Algebraic Topology exam Instituto Superior Técnico Departamento de Matemática Algebraic Topology exam June 12th 2017 1. Let X be a square with the edges cyclically identified: X = [0, 1] 2 / with (a) Compute π 1 (X). (x, 0) (1,

More information

Algebra Review 2. 1 Fields. A field is an extension of the concept of a group.

Algebra Review 2. 1 Fields. A field is an extension of the concept of a group. Algebra Review 2 1 Fields A field is an extension of the concept of a group. Definition 1. A field (F, +,, 0 F, 1 F ) is a set F together with two binary operations (+, ) on F such that the following conditions

More information

Primary Decomposition

Primary Decomposition Primary Decomposition p. Primary Decomposition Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern Primary Decomposition p. Primary Decomposition:References

More information

U + V = (U V ) (V U), UV = U V.

U + V = (U V ) (V U), UV = U V. Solution of Some Homework Problems (3.1) Prove that a commutative ring R has a unique 1. Proof: Let 1 R and 1 R be two multiplicative identities of R. Then since 1 R is an identity, 1 R = 1 R 1 R. Since

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

D-MATH Algebra I HS17 Prof. Emmanuel Kowalski. Solution 12. Algebraic closure, splitting field

D-MATH Algebra I HS17 Prof. Emmanuel Kowalski. Solution 12. Algebraic closure, splitting field D-MATH Algebra I HS17 Prof. Emmanuel Kowalski Solution 1 Algebraic closure, splitting field 1. Let K be a field of characteristic and L/K a field extension of degree. Show that there exists α L such that

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

ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!

ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes! ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.

More information

ne varieties (continued)

ne varieties (continued) Chapter 2 A ne varieties (continued) 2.1 Products For some problems its not very natural to restrict to irreducible varieties. So we broaden the previous story. Given an a ne algebraic set X A n k, we

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

Math 547, Exam 2 Information.

Math 547, Exam 2 Information. Math 547, Exam 2 Information. 3/19/10, LC 303B, 10:10-11:00. Exam 2 will be based on: Homework and textbook sections covered by lectures 2/3-3/5. (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)

More information

2. Intersection Multiplicities

2. Intersection Multiplicities 2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.

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

NOTES ON MODULES AND ALGEBRAS

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

More information

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

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

Formal power series rings, inverse limits, and I-adic completions of rings Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely

More information

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

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

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

More information

Module MA3411: Abstract Algebra Galois Theory Michaelmas Term 2013

Module MA3411: Abstract Algebra Galois Theory Michaelmas Term 2013 Module MA3411: Abstract Algebra Galois Theory Michaelmas Term 2013 D. R. Wilkins Copyright c David R. Wilkins 1997 2013 Contents 1 Basic Principles of Group Theory 1 1.1 Groups...............................

More information

UNIVERSAL IDENTITIES. b = det

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

More information

2 ALGEBRA II. Contents

2 ALGEBRA II. Contents ALGEBRA II 1 2 ALGEBRA II Contents 1. Results from elementary number theory 3 2. Groups 4 2.1. Denition, Subgroup, Order of an element 4 2.2. Equivalence relation, Lagrange's theorem, Cyclic group 9 2.3.

More information

Section III.6. Factorization in Polynomial Rings

Section III.6. Factorization in Polynomial Rings III.6. Factorization in Polynomial Rings 1 Section III.6. Factorization in Polynomial Rings Note. We push several of the results in Section III.3 (such as divisibility, irreducibility, and unique factorization)

More information

Projective modules: Wedderburn rings

Projective modules: Wedderburn rings Projective modules: Wedderburn rings April 10, 2008 8 Wedderburn rings A Wedderburn ring is an artinian ring which has no nonzero nilpotent left ideals. Note that if R has no left ideals I such that I

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

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

Part 1. For any A-module, let M[x] denote the set of all polynomials in x with coefficients in M, that is to say expressions of the form

Part 1. For any A-module, let M[x] denote the set of all polynomials in x with coefficients in M, that is to say expressions of the form Commutative Algebra Homework 3 David Nichols Part 1 Exercise 2.6 For any A-module, let M[x] denote the set of all polynomials in x with coefficients in M, that is to say expressions of the form m 0 + m

More information

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

Lecture 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 A-linear map. Then ker φ = {m M : φ(m) = 0} is a submodule of M and im φ is

More information

Matrix representation of a linear map

Matrix representation of a linear map Matrix representation of a linear map As before, let e i = (0,..., 0, 1, 0,..., 0) T, with 1 in the i th place and 0 elsewhere, be standard basis vectors. Given linear map f : R n R m we get n column vectors

More information

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics GROUP ACTIONS ON POLYNOMIAL AND POWER SERIES RINGS Peter Symonds Volume 195 No. 1 September 2000 PACIFIC JOURNAL OF MATHEMATICS Vol. 195, No. 1, 2000 GROUP ACTIONS ON POLYNOMIAL

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

THROUGH THE FIELDS AND FAR AWAY

THROUGH THE FIELDS AND FAR AWAY THROUGH THE FIELDS AND FAR AWAY JONATHAN TAYLOR I d like to thank Prof. Stephen Donkin for helping me come up with the topic of my project and also guiding me through its various complications. Contents

More information

Algebraic Geometry. Contents. Diane Maclagan Notes by Florian Bouyer. Copyright (C) Bouyer 2011.

Algebraic Geometry. Contents. Diane Maclagan Notes by Florian Bouyer. Copyright (C) Bouyer 2011. Algebraic Geometry Diane Maclagan Notes by Florian Bouyer Contents Copyright (C) Bouyer 2011. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation

More information

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES

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

More information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

Algebraic structures I

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

More information

Math 210B:Algebra, Homework 2

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

More information

Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d

Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).

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

Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians

Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians T. Shaska Oakland University Rochester, MI, 48309 April 14, 2018 Problem Let X be an algebraic curve defined over a field

More information

The most important result in this section is undoubtedly the following theorem.

The most important result in this section is undoubtedly the following theorem. 28 COMMUTATIVE ALGEBRA 6.4. Examples of Noetherian rings. So far the only rings we can easily prove are Noetherian are principal ideal domains, like Z and k[x], or finite. Our goal now is to develop theorems

More information

Kevin James. MTHSC 412 Section 3.1 Definition and Examples of Rings

Kevin James. MTHSC 412 Section 3.1 Definition and Examples of Rings MTHSC 412 Section 3.1 Definition and Examples of Rings A ring R is a nonempty set R together with two binary operations (usually written as addition and multiplication) that satisfy the following axioms.

More information

Matrix representation of a linear map

Matrix representation of a linear map Matrix representation of a linear map As before, let e i = (0,..., 0, 1, 0,..., 0) T, with 1 in the i th place and 0 elsewhere, be standard basis vectors. Given linear map f : R n R m we get n column vectors

More information

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R. Chapter 1 Rings We have spent the term studying groups. A group is a set with a binary operation that satisfies certain properties. But many algebraic structures such as R, Z, and Z n come with two binary

More information

CSL361 Problem set 4: Basic linear algebra

CSL361 Problem set 4: Basic linear algebra CSL361 Problem set 4: Basic linear algebra February 21, 2017 [Note:] If the numerical matrix computations turn out to be tedious, you may use the function rref in Matlab. 1 Row-reduced echelon matrices

More information

FIELDS AND GALOIS THEORY

FIELDS AND GALOIS THEORY FIELDS AND GALOIS THEORY J.S. Milne August 31, 2003 Abstract These notes, which are a revision of those handed out during a course taught to first-year graduate students, give a concise introduction to

More information

INTRODUCTION TO LIE ALGEBRAS. LECTURE 1.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 1. INTRODUCTION TO LIE ALGEBRAS. LECTURE 1. 1. Algebras. Derivations. Definition of Lie algebra 1.1. Algebras. Let k be a field. An algebra over k (or k-algebra) is a vector space A endowed with a bilinear

More information