Assigned homework problems S. L. Kleiman, fall 2008

Size: px
Start display at page:

Download "Assigned homework problems S. L. Kleiman, fall 2008"

Transcription

1 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 in particular that, if A B, then A P is a prime ideal of A. Problem R 1.6 Prove or give a counterexample: (a) the intersection of two prime ideals P 1, P 2 is prime; (b) the ideal P 1 + P 2 generated by two prime ideals P 1, P 2 is again prime; (c) if ϕ: A B is a ring homomorphism, then ϕ 1 takes maximal ideals of B to maximal ideals of A; (d) the map ϕ 1 of Proposition 1.2 takes maximal ideals of A/I to maximal ideals of A. Problem R 1.12(a) Let I and J be ideals, and P a prime ideal. Prove that IJ P iff I J P iff I or J P. * Problem SLK1 (The * means that this problem is to be presented in class.) Let B be a ring, I an ideal, and A := B[y] the polynomial ring. Construct an isomorphism from A/IA onto (B/I)[y]. Problem Set 2. Due 9/18 Problem SLK2 Let B be a UFD, and A := B[y] the polynomial ring. Let f be a polynomial that has a term by i with i > 0 such that b is not divisible by some prime element p in B. Prove that the ideal (f) is not maximal. * Problem R 1.18 Use Zorn s lemma to prove that any prime ideal P contains a minimal prime. Problem R 1.9 (a) Let a be a unit, and x a nilpotent. Prove that a + x is again a unit. [Hint: expand (1 + x/a) 1 as a power series to guess the inverse.] (b) Let A be a ring, and I nilrad A an ideal; if x A maps to an invertible element of A/I, prove that x is invertible in A. Problem R 1.4 Two ideal I and J are said to be (strongly) coprime if I + J = A. Check that this notion is the usual notion of coprime for A = Z or k[x]. (Recall that two elements in a UFD are said to be coprime, or relatively prime, if they share no common factors.) Prove that, if I and J are strongly coprime, then IJ = I J and A/IJ = (A/I) (A/J). Prove also that, if I and J are coprime, then so are I n and J n for n 1. Problem R 1.11 Find the nilpotent and idempotent elements of Z/(n) where n = 6, 12, pq, pq 2 or p n i i where p, q, p i are distinct prime numbers. * Problem R 1.10 Think through the equivalent conditions in the definition of local ring in In particular, let A be a ring and I a maximal ideal such that 1 + x is a unit for every x I, and prove that A is a local ring. Does the implication still hold if I is not maximal? 1

2 Problem Set 3. Due 9/25 Problem R 2.1 Let A be an integral domain with field of fractions K, and let f A. Prove that A[1/f] is not a finite A-module. [Hint: assuming A[1/f] has a finite set of generators, prove that 1, f 1, f 2..., f k also form a finite set of generators for some k > 0, so that f k+1 can be expresses as a linear combination of them. Use this statement to prove that f is a unit.] * Problem R 2.6 Let (A,m,k) be a local ring, M a finite A-module, and s 1,...,s n M. Set M := M/mM, and write s i M for the image of s i. Prove that s 1,...,s n form a basis of M if and only if s 1,...,s n form a minimal generating set of M, and prove that every minimal generating set of M has the same number of elements. Problem R 2.8 Let A be a ring, and I an ideal. Assume I is finitely generated and satisfies I = I 2. Prove that there exists a unique idempotent e such that (e) = I. * Problem R 2.9 Let 0 L M N 0 be a short exact sequence of A-modules. Prove that, if L and N are finitely generated, then so is M. Problem SLK3 Let L, M, N be A-modules, and α: L M, β: M N, σ: N M, ρ: M L homomorphisms. Prove that M = L N and α = i L, β = π N, σ = i N, ρ = π L if and only and if and only if the following relations hold: βα = 0, βσ = 1, ρσ = 0, ρα = 1, and αρ + σβ = 1. Problem R 3.2 Let k be a field, and A k an overring. Assume that A is finite dimensional as a k-vector space. Prove that A is Noetherian and Artinian. Problem R 3.5 Let 0 L M N 0 be a short exact sequence of A-modules, and M 1, M 2 two submodules of M. Decide whether the following implication holds (prove it, or give a counterexample): β(m 1 ) = β(m 2 ) and α 1 (M 1 ) = α 1 (M 2 ) = M 1 = M 2. Problem Set 4. Due 10/2 Problem R 3.3 Let A be a ring, and I 1,...,I k ideals such that each A/I i is a Noetherian ring. Prove that A/I i is a Noetherian A-module, and deduce that, if I i = 0, then A too is a Noetherian ring. Problem R 3.4 Let A be a Noetherian ring, and M a finite A-module. Prove that there exists an exact sequence A q α A p β M 0. (That is, M has a presentation as an A-module in terms of finitely many generators and relations.) Problem R 3.7 Consider the Z-module M := (Z[1/p]) / Z with p a prime. Prove that any submodue N M is either finite (as a set) or the whole of M. Deduce that M is an Artinian Z-module, and prove that it is not finitely generated (so not Noetherian). * Problem R 3.8 Let A be an Artinian integral domain (see 3.2 for the definition). Prove that A is a field. [Hint: for f A, the dcc applied to (f) (f 2 ) gives a relation f k = af k+1.] Deduce that every prime ideal of an Artinian ring is maximal. Problem R 4.1(a) The extension k[x 2 ] k[x] is finite, hence integral. Find the equation of integral dependence for an arbitrary f k[x]. 2

3 * Problem R 4.5 Set A := k[x,y ] / (Y 2 X 2 X 3 ), and let x, y A be the residues of X, Y. Set t := y/x Frac(A). As in 4.4, Example (iii), prove that k[t] is the normalization of A. Problem AM 5.6, p. 67 Let B 1,...,B n be integral A-algebras. Show that their product B i is an integral A-algebra. Problem Set 5. Due 10/9 Problem R 4.9 Let k be an arbitrary field, and set A := k[x,y,z] / (X 2 Y 3 1, XZ 1). Find α,β k such that A is integral over B := k[x + αy + βz], and for your choice, write down a set of generators of A as a B-module. * Problem R 4.10 Let k := F q be the finite field with q elements, and consider the polynomial f := XY q 1 X q in k[x,y ]. Set A := k[x,y ] / (f). For every α k, show that A is not module-finite over B α := k[x αy ]. (In other words, the alternative proof of Section 4.8 does not work in this case.) [First examine the case α = 0.] Problem AM 5.9, p. 68 Let B be a ring, A a subring, and C the integral closure of A in B. Prove that the polynomial ring in one variable C[x] is the integral closure of A[x] in B[x]. [Hint: Let f B[x] be integral over A[x], say f m + g 1 f m g m = 0 with g i A[x]. Let r be an integer larger than m and the degrees of g 1,...,g m. Set f 1 := f x r. Then or say (f 1 + x r ) m + g 1 (f 1 + x r ) m g m = 0, f m 1 + h 1 f m h m = 0 where h m := (x r ) m + g 1 (x r ) m g m A[x]. Apply [AM 5.8, p.67] to the polynomials f 1 and g := f1 m 1 + h 1 f1 m h m 1 (do not work [AM 5.8], as it was done in class).] * Problem R 6.3(a) Let A and A be rings, and set A := A A. Prove that A and A are rings of fractions of A. Problem R 6.1 Find a ring A and a multiplicative set S such that the relation (a,s) (b,t) at = bs is not an equivalence relation. (Show that the ring A of Exer. 6.3(a) works.) Problem R 6.5 Find all intermediate rings Z A Q. (Describe each A as a localization of Z.) [Hint: as a starter, consider the subring Z[2/3] Q. Is 1/3 Z[2/3]?] 3

4 Problem Set 6. Due 10/16 * Problem R 6.13 Let S T be multiplicative sets in a ring A. Set A := S 1 A, and let ϕ: A A be the canonical map. Set T := ϕ(t). Prove that T 1 A = T 1 A. In other words, a composite of two localizations is a localization. [Hint: the easiest way to proceed is to use the UMP of 6.2 (c) and Ex ] Problem SLK 4 Let k be a field, and K an algebraically closed field containing k. (Recall that K contains a copy of every algebraic extension of k.) Let A be the polynomial ring in n variables over k, and f,f 1,...,f r polynomials in A. Suppose that, for any n-tuple a := (a 1,...,a n ) of elements a i of K such that f 1 (a) = 0,...,f r (a) = 0, also f(a) = 0. Prove that there are an integer N and polynomials g 1,...,g r in A such that f N = g 1 f g r f r. Problem SLK5 Let A be a ring, and P a module. Then P is called projective if the functor N Hom(P, N) is exact. (1) Prove that P is projective if and only if, given any surjection ψ: M N, every map ν : P N lifts to a map µ: P M; that is, ψµ = ν. (2) Prove that P is projective if and only if every short exact sequence 0 L φ M ψ P 0 is split. (3) Prove that P is projective if and only if P is a direct summand of a free module F; that is, F = P L for some L. (4) Assume that A is local and that P is finitely generated; then prove that P is projective if and only if P is free. Problem SLK 6 Let A be a Noetherian ring, and P a finitely generated A-module. Prove that the following three conditions are equivalent: (1) P is projective; (2) P p is free over A p for every prime ideal p; and (3) P m is free over A m for every maximal ideal m. * Problem AM 3.1, p.43 Let S be a muliplicative set of a ring A, and M a finitely generated A-module. Prove that S 1 M = 0 if and only if there exists an s S such that sm = 0. Problem SLK7 Let A be a ring, M an arbitrary A-module, and I the annihilator of M. Prove that the support Supp(M) is always contained in the set V(I) of primes containing I. Problem SLK8 Let Z be the ring of integers, Q the rational numbers, and set M := Q/Z. Find the support Supp(M), and show that it s not Zariski closed (that is, it does not consist of all the primes containing any ideal). Problem Set 7. Due 10/23 * Problem R 7.2 Set M := Z/(2) Z and view M as a Z-module. Prove (i) AssM = {(0), (2)} and (ii) there exist two submodules M 1,M 2 M such that M 1,M 2 = Z and M = M1 + M 2. Problem R 7.3 If M = M 1 + M 2, then Ass M = Ass M 1 Ass M 2 : true or false? (If true, prove it; if false, give a counterexample.) Problem SLK 9 Let A be a Noetherian ring, M a finitely generated module. Prove that the intersection of all the associated primes of M is equal to the radical of the annihilator Ann(M). Problem Set 8. Due 10/30 Problem R 7.4 Give an example of a ring A and an ideal I that is not primary, but satisfies the condition fg I f n I or g n I for some n. [Hint: that is, find a nonprimary ideal whose radical is prime; there s only one counterexample in primary decomposition!] 4

5 Problem R 7.6 Let A be a ring, S a multipicative set, and ϕ: A S 1 A the natural map. Let P A be a prime disjoint from S, and Q a P-primary ideal. Prove that S 1 P is a prime of S 1 A. (This statement was proved in class via a direct computation. Give an alternative proof: show that S 1 A/S 1 P is a domain by using the exactness of localization.) Prove also that S 1 Q is S 1 P-primary and that ϕ 1 (S 1 Q) = Q. * Problem R 7.7 Let ϕ: A B be a ring homomorphism, and Q B a P-primary ideal. Show that ϕ 1 Q A is ϕ 1 P-primary. Problem R 7.8 Let A be the polynomial ring k[x,y,z], and I the ideal (XY, X Y Z). Find a primary decomposition I = Q 1 Q n, and determine P i := Q i. Hint: to guess the result, draw the variety V(I). To prove it, note that the variety V(X Y Z) is the graph of a function, so isomorphic to the (Y, Z)-plane; consider the homomorphism A k[y, Z] sending X to Y Z, and use Problem 7.7.] Problem R 7.10 Let A := k[x,y,z]/(xz Y 2 and P := (X,Y ) (as in 7.10, Example 2), and set M := A/P 2. (a) Determine Ass M. [Hint: use 7.10, Example 2, and Theorem 7.12 (The First Uniqueness Theorem).] (b) Find elements of M annihilated by each assasin. (c) Find a chain of submodules M 1 M n := M as in Theorem 7.6. * Problem SLK10 Let A be a Noetherian ring, I and J ideals. Assume JA P is contained in IA P for all associated primes P of A/I. Prove J is contained in I. Problem Set 9. Due 11/6 * Problem SLK11 Let A be a Noetherian ring, x A. Assume x lies in no associated prime of A/I. Prove the intersection of the ideals (x) and I is equal to their product (x)i. Problem R 8.1 Using Nakayama s lemma, show that, if (A, m) is a Noetherian local ring, then the maximal ideal m is principal if and only if m/m 2 is 1-dimensional over k := A/m. Deduce from Proposition 8.3 that A is a DVR if and only if A is Noetherian and local with SpecA = {0,m} and m/m 2 is 1-dimensional over k. Problem R 8.2 DVRs and nonsingular curves Let k be an algebraically closed field and f k[x,y ] an irreducible polynomial of the form f = l(x,y ) + g(x,y ) with l(x,y ) = ax + by and g (X,Y ) 2. Set R = k[x,y ]/(f) and P = (X,Y )/(f) and (A,m) = (R P,m P. Prove that A is a DVR if and only if l 0. [Hint: use Exercise 8.1.] (The result says that A is a DVR if and only if the plane curve C : f = 0 k 2 is nonsingular at (0,0).) Problem R 8.4 Let A be an intermediate ring between the polynomial ring and the formal power series ring in one variable, k[x] A k[[x]], and suppose that A is local with maximal ideal (x). Prove that A is a DVR, and in particular A is Noetherian. [Hint: use Proposition 8.3.] (Local rings of this type include the localization of very complicated rings, but they are all covered by the theory of DVRs. They can be viewed from an anyalytic point of view as rings of power series with curious convergence conditions.) 5

6 Problem SLK 12 Let A be a Noetherian ring, M a finitely generated module, Q a submodule. Set P := Ann(M/Q). Prove the equivalence of these two conditions: (1) Q is P-primary; that is, Ass(M/Q) = {P }; and (2) every zero divisor on M/Q is nilpotent on M/Q; in other words, given an a A for which there exists an x M Q such that ax Q, necessarily a P. Problem SLK13 Let A be a domain, K its fraction field. Show that A is a valuation ring if and only if, given any two ideals I and J, either I lies in J or J lies in I. * Problem R 8.6 Let A be a general valuation ring, m its maximal ideal, and P m another prime ideal. Prove that there is a valuation ring B A such that P is the maximal ideal of B, and prove that A/P is a valuation ring of the fields B/P. Problem Set 10. Due 11/13 * Problem SLK14 Let v be a valuation of a field K, and x 1,...,x n nonzero elements of K with n > 1. Show that (1) if v(x 1 ) and v(x 2 ) are distinct, then v(x 1 + x 2 ) = min{v(x 1 ),v(x 2 )} and that (2) if x x n = 0, then v(x i ) = v(x j ) for two distinct indices i and j. Problem SLK15 Prove that a valuation ring is normal. Problem R 8.7 Let k be a field, and K := k(y ) the field of rational functions in one variable. Form the valuation ring C := k[y ] (Y ) of K. Form the field K(X) = k(x,y ) of rational functions, and form its valuation ring B := K[X] (X). Finally, let A B be the inverse image of C under the canonical surjection of B onto K = B/(X). Prove that A is a valuation ring whose value group K(X) /A is equal to Z Z with the lex order (compare the first components, and break ties with the second). Problem SLK16 Let A be a Dedekind domain. Suppose A is semilocal (that is, A has only finitely many maximal ideals). Prove A is a PID. Problem AM 9.7, p.99 Let A be a Dedekind domain, and I, J two nonzero ideals. (1) Prove every ideal in A/I is principal. (2) Prove J can be generated by two elements. Problem AM 9.8, p.99 Let A be a Dedekind domain, and I, J, K ideals. By first reducing to the case that A is local, prove that I (J + K) = (I J) + (I K), I + (J K) = (I + J) (I + K). Problem Set 11. Due 11/20 Problem SLK17 Let A be a Noetherian ring, and suppose A P is a domain for every prime P. Prove the following four statements: (1) Every associated prime of A is minimal. (2) The ring A is reduced. (3) The minimal primes of A are pairwise coprime. (4) The ring A is equal to the product of its quotients A/P as P ranges over the set of all minimal primes. 6

7 Problem SLK18 Let A be a UFD, and M an invertible fractional ideal. Prove M is principal. * Problem SLK 19 Let A be a domain, K its fraction field, L a finite extension field, and B the integral closure of A in L. Show that L is the fraction field of B. Show that, in fact, every element of L can be expressed as a fraction b/a where b is in B and a is in A. Problem SLK20 Let A B be domains, and K, L their fraction fields. Assume that B is a finitely generated A-algebra, and that L is a finite dimensional K-vector space. Prove that there exists an f A such that B f is a finite generated A f -module. Problem E13.2 Let G be a finite group acting on a domain T, and R := T G the ring of invariants. Show that every element b T is integral over R, in fact, over its subring S generated by the elementary symmetric functions in the conjugates gb for g G. * Problem E 13.3 Prove the following celebrated theorem of E. Noether (1926): in the setup of the preceding problem, if T is a finitely generated algebra over the field k, then so is R. Problem SLK 21 Let A be a ring, P a prime ideal, and B an integral extension ring. Suppose B has just one prime Q over P. Show (a) that QB P is the only maximal ideal of B P, (b) that B Q = B P, and (c) that B Q is integral over A P. Problem SLK22 Let A be a ring, P a prime ideal, B an integral extension ring. Suppose B is a domain, and has at least two distinct primes Q and Q over P. Show B Q is not integral over A P. Show, in fact, that if x lies in Q, but not in Q, then 1/x B Q is not integral over A P. Problem SLK23 Let k be a field, and x an indeterminate. Set B := k[x], and set y := x 2 and A := k[y]. Set P := (y 1)A and Q := (x 1)B. Is B Q is integral over A P? Explain. Problem Set 12. Due 12/4 * Problem SLK24 Let A be a ring (possibly not Noetherian), P a prime ideal, and B a modulefinite A-algebra. Show that B has only finitely many primes Q over P. [Hint: reduce to the case that A is a field by localizing at P and passing to the residue rings.] Problem E9.4 Let A be a ring, S a multiplicative set, Q a prime of the localization S 1 A, and P its contraction in A. Prove that Q and P have the same height: ht(q) = ht(p). Problem SLK25 Let k be a field, A a finitely generated k-algebra, and f a nonzero element of A. Assume A is a domain. Prove that A and its localization A f have the same dimension. Problem SLK26 Let A be a DVR, and f a uniformizing parameter. Show that A and its localization A f do NOT have the same dimension. Problem SLK27 Let L/K be an algebraic field extension. Let X 1,...,X n be indeterminates, and A and B the corresponding polynomial rings over K and L. (1) Let Q be a prime of B, and P its contraction in A. Show ht(p) = ht(q). (2) Let f and g be two polynomials in A with no common factors in A. Show f and g have no common factors in B. * Problem SLK28 Let k be a field, and A a finitely generated k-algebra. Prove that A is Artin if and only if A is a finite-dimensional k-vector space. 7

8 Problem SLK 29 Let A be an r-dimensional finitely generated domain over a field, and x an element that s neither 0 nor a unit. Set B := A/(x). Prove that B is equidimensional of dimension r 1 (that is, dim(b/q) = r 1 for every minimal prime Q); prove that, in fact, r 1 is the length of any maximal chain of primes in B. * Problem SLK30 Let A,m be a Noetherian local ring. Assume that m is generated by an A-sequence x 1,...,x r. Prove that A is regular of dimension r. Problem SLK31 Let A,m be a Noetherian local ring of dimension r, and B := A/I a factor ring of dimension s. Set t := r s. Prove that the following three conditions are equivalent: (1) A is regular, and I is generated by t members of a regular sop; (2) B is regular, and I is generated by t elements; and (3) A and B are regular. Problem SLK32 (a) Let A be a Noetherian local ring, and P a principal prime ideal of height 1. Prove that A is a domain. (b) Let k be a field, and x an indeterminate. Show that the product ring k[x] k[x] is not a domain, yet it contains a principal prime ideal P of height 1. Problem Set 13. Due 12/19 Problem SLK33 (a) Let A be a ring, S a multiplicative set, and M an A-module. Prove that S 1 M = S 1 A M by showing that the two natural maps M S 1 M and M S 1 A M enjoy the same universal property. (b) Show that (1,1,... ) is nonzero in Q ( i Z/(i)). * Problem SLK34 Let A be a ring, I and J ideals, and M an A-module. (a) Use the right exactness of tensor product to show that (A/I) M = M/IM. (b) Show that (A/I) (A/J) = A/(I + J). (c) Assume that A is a local ring with residue field k, and that M is finitely generated. Show that M = 0 if and only if M k = 0. (d) Let R be the real numbers, C the complex numbers, and X an indeterminate. Using the formula C = R[X]/(1 + X 2 ), express C R C as a product of Artin local rings, identifying the factors. Problem SLK35: Let A be an arbitary ring, M and N A-modules, and k a field. (a) Assume M and N are free of ranks m and n. Prove that M N is free of rank mn. (b) Given nonzero k-vector spaces V and W, show that V W is also nonzero. (c) Assume A is local, and M and N are finitely generated. Prove that M N = 0 if only only if M = 0 or N = 0. (d) Assume M and N are finitely generated. Prove Supp(M N) = Supp(M) Supp(N). 8

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

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

More information

Extended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module

Extended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module Extended Index cokernel 19f for Atiyah and MacDonald's Introduction to Commutative Algebra colon operator 8f Key: comaximal ideals 7f - listings ending in f give the page where the term is defined commutative

More information

4.4 Noetherian Rings

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

More information

Algebra Homework, Edition 2 9 September 2010

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

More information

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

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

More information

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

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

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

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

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

More information

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

Ring Theory Problems. A σ

Ring Theory Problems. A σ Ring Theory Problems 1. Given the commutative diagram α A σ B β A σ B show that α: ker σ ker σ and that β : coker σ coker σ. Here coker σ = B/σ(A). 2. Let K be a field, let V be an infinite dimensional

More information

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

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

More information

Homological Methods in Commutative Algebra

Homological Methods in Commutative Algebra Homological Methods in Commutative Algebra Olivier Haution Ludwig-Maximilians-Universität München Sommersemester 2017 1 Contents Chapter 1. Associated primes 3 1. Support of a module 3 2. Associated primes

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

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

In Theorem 2.2.4, we generalized a result about field extensions to rings. Here is another variation.

In Theorem 2.2.4, we generalized a result about field extensions to rings. Here is another variation. Chapter 3 Valuation Rings The results of this chapter come into play when analyzing the behavior of a rational function defined in the neighborhood of a point on an algebraic curve. 3.1 Extension Theorems

More information

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers

More information

Homework 2 - Math 603 Fall 05 Solutions

Homework 2 - Math 603 Fall 05 Solutions Homework 2 - Math 603 Fall 05 Solutions 1. (a): In the notation of Atiyah-Macdonald, Prop. 5.17, we have B n j=1 Av j. Since A is Noetherian, this implies that B is f.g. as an A-module. (b): By Noether

More information

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

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

More information

MATH 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

5 Dedekind extensions

5 Dedekind extensions 18.785 Number theory I Fall 2016 Lecture #5 09/22/2016 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also

More information

Introduction Non-uniqueness of factorization in A[x]... 66

Introduction Non-uniqueness of factorization in A[x]... 66 Abstract In this work, we study the factorization in A[x], where A is an Artinian local principal ideal ring (briefly SPIR), whose maximal ideal, (t), has nilpotency h: this is not a Unique Factorization

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

CRing Project, Chapter 5

CRing Project, Chapter 5 Contents 5 Noetherian rings and modules 3 1 Basics........................................... 3 1.1 The noetherian condition............................ 3 1.2 Stability properties................................

More information

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

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

More information

1 Absolute values and discrete valuations

1 Absolute values and discrete valuations 18.785 Number theory I Lecture #1 Fall 2015 09/10/2015 1 Absolute values and discrete valuations 1.1 Introduction At its core, number theory is the study of the ring Z and its fraction field Q. Many questions

More information

Math 611 Homework 6. Paul Hacking. November 19, All rings are assumed to be commutative with 1.

Math 611 Homework 6. Paul Hacking. November 19, All rings are assumed to be commutative with 1. Math 611 Homework 6 Paul Hacking November 19, 2015 All rings are assumed to be commutative with 1. (1) Let R be a integral domain. We say an element 0 a R is irreducible if a is not a unit and there does

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

Fall 2014 Commutative Algebra Final Exam (Solution)

Fall 2014 Commutative Algebra Final Exam (Solution) 18.705 Fall 2014 Commutative Algebra Final Exam (Solution) 9:00 12:00 December 16, 2014 E17 122 Your Name Problem Points 1 /40 2 /20 3 /10 4 /10 5 /10 6 /10 7 / + 10 Total /100 + 10 1 Instructions: 1.

More information

Advanced Algebra II. Mar. 2, 2007 (Fri.) 1. commutative ring theory In this chapter, rings are assume to be commutative with identity.

Advanced Algebra II. Mar. 2, 2007 (Fri.) 1. commutative ring theory In this chapter, rings are assume to be commutative with identity. Advanced Algebra II Mar. 2, 2007 (Fri.) 1. commutative ring theory In this chapter, rings are assume to be commutative with identity. 1.1. basic definitions. We recall some basic definitions in the section.

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

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

Spring 2016, lecture notes by Maksym Fedorchuk 51

Spring 2016, lecture notes by Maksym Fedorchuk 51 Spring 2016, lecture notes by Maksym Fedorchuk 51 10.2. Problem Set 2 Solution Problem. Prove the following statements. (1) The nilradical of a ring R is the intersection of all prime ideals of R. (2)

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

PRIMARY DECOMPOSITION OF MODULES

PRIMARY DECOMPOSITION OF MODULES PRIMARY DECOMPOSITION OF MODULES SUDHIR R. GHORPADE AND JUGAL K. VERMA Department of Mathematics, Indian Institute of Technology, Mumbai 400 076, India E-Mail: {srg, jkv}@math.iitb.ac.in Abstract. Basics

More information

6 Ideal norms and the Dedekind-Kummer theorem

6 Ideal norms and the Dedekind-Kummer theorem 18.785 Number theory I Fall 2016 Lecture #6 09/27/2016 6 Ideal norms and the Dedekind-Kummer theorem Recall that for a ring extension B/A in which B is a free A-module of finite rank, we defined the (relative)

More information

Extension theorems for homomorphisms

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

More information

Math 120 HW 9 Solutions

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

More information

5 Dedekind extensions

5 Dedekind extensions 18.785 Number theory I Fall 2017 Lecture #5 09/20/2017 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also

More information

1.5 The Nil and Jacobson Radicals

1.5 The Nil and Jacobson Radicals 1.5 The Nil and Jacobson Radicals The idea of a radical of a ring A is an ideal I comprising some nasty piece of A such that A/I is well-behaved or tractable. Two types considered here are the nil and

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

ALGEBRA HW 4. M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are.

ALGEBRA HW 4. M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are. ALGEBRA HW 4 CLAY SHONKWILER (a): Show that if 0 M f M g M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are. Proof. ( ) Suppose M is Noetherian. Then M injects into

More information

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

Injective Modules and Matlis Duality

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

More information

NOTES FOR COMMUTATIVE ALGEBRA M5P55

NOTES FOR COMMUTATIVE ALGEBRA M5P55 NOTES FOR COMMUTATIVE ALGEBRA M5P55 AMBRUS PÁL 1. Rings and ideals Definition 1.1. A quintuple (A, +,, 0, 1) is a commutative ring with identity, if A is a set, equipped with two binary operations; addition

More information

Commutative Algebra. Timothy J. Ford

Commutative Algebra. Timothy J. Ford Commutative Algebra Timothy J. Ford DEPARTMENT OF MATHEMATICS, FLORIDA ATLANTIC UNIVERSITY, BOCA RA- TON, FL 33431 Email address: ford@fau.edu URL: http://math.fau.edu/ford Last modified January 9, 2018.

More information

Math 711: Lecture of September 7, Symbolic powers

Math 711: Lecture of September 7, Symbolic powers Math 711: Lecture of September 7, 2007 Symbolic powers We want to make a number of comments about the behavior of symbolic powers of prime ideals in Noetherian rings, and to give at least one example of

More information

ON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS. Christian Gottlieb

ON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS. Christian Gottlieb ON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS Christian Gottlieb Department of Mathematics, University of Stockholm SE-106 91 Stockholm, Sweden gottlieb@math.su.se Abstract A prime ideal

More information

A connection between number theory and linear algebra

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

More information

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

Dedekind Domains. Mathematics 601

Dedekind Domains. Mathematics 601 Dedekind Domains Mathematics 601 In this note we prove several facts about Dedekind domains that we will use in the course of proving the Riemann-Roch theorem. The main theorem shows that if K/F is a finite

More information

Algebra Exam Syllabus

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

More information

COMMUTATIVE ALGEBRA, LECTURE NOTES

COMMUTATIVE ALGEBRA, LECTURE NOTES COMMUTATIVE ALGEBRA, LECTURE NOTES P. SOSNA Contents 1. Very brief introduction 2 2. Rings and Ideals 2 3. Modules 10 3.1. Tensor product of modules 15 3.2. Flatness 18 3.3. Algebras 21 4. Localisation

More information

Selected Math 553 Homework Solutions

Selected Math 553 Homework Solutions Selected Math 553 Homework Solutions HW6, 1. Let α and β be rational numbers, with α 1/2, and let m > 0 be an integer such that α 2 mβ 2 = 1 δ where 0 δ < 1. Set ǫ:= 1 if α 0 and 1 if α < 0. Show that

More information

Solutions to Homework 1. All rings are commutative with identity!

Solutions to Homework 1. All rings are commutative with identity! Solutions to Homework 1. All rings are commutative with identity! (1) [4pts] Let R be a finite ring. Show that R = NZD(R). Proof. Let a NZD(R) and t a : R R the map defined by t a (r) = ar for all r R.

More information

8. Prime Factorization and Primary Decompositions

8. Prime Factorization and Primary Decompositions 70 Andreas Gathmann 8. Prime Factorization and Primary Decompositions 13 When it comes to actual computations, Euclidean domains (or more generally principal ideal domains) are probably the nicest rings

More information

Appendix Homework and answers

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

More information

Math 210B. Artin Rees and completions

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

More information

EXERCISES. = {1, 4}, and. The zero coset is J. Thus, by (***), to say that J 4- a iu not zero, is to

EXERCISES. = {1, 4}, and. The zero coset is J. Thus, by (***), to say that J 4- a iu not zero, is to 19 CHAPTER NINETEEN Whenever J is a prime ideal of a commutative ring with unity A, the quotient ring A/J is an integral domain. (The details are left as an exercise.) An ideal of a ring is called proper

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

Lecture 8. Throughout this lecture, A will be a ring and M, N etc will be A-modules.

Lecture 8. Throughout this lecture, A will be a ring and M, N etc will be A-modules. Lecture 8 1. Associated Primes and Primary decomposition for Modules We would like to describe in more detail the structure of submodules of a finitely generated module M over a Noetherian ring A. We will

More information

4.2 Chain Conditions

4.2 Chain Conditions 4.2 Chain Conditions Imposing chain conditions on the or on the poset of submodules of a module, poset of ideals of a ring, makes a module or ring more tractable and facilitates the proofs of deep theorems.

More information

Math 121 Homework 5: Notes on Selected Problems

Math 121 Homework 5: Notes on Selected Problems Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements

More information

Commutative Algebra and Algebraic Geometry. Robert Friedman

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

Yuriy Drozd. Intriduction to Algebraic Geometry. Kaiserslautern 1998/99

Yuriy Drozd. Intriduction to Algebraic Geometry. Kaiserslautern 1998/99 Yuriy Drozd Intriduction to Algebraic Geometry Kaiserslautern 1998/99 CHAPTER 1 Affine Varieties 1.1. Ideals and varieties. Hilbert s Basis Theorem Let K be an algebraically closed field. We denote by

More information

CRing Project, Chapter 7

CRing Project, Chapter 7 Contents 7 Integrality and valuation rings 3 1 Integrality......................................... 3 1.1 Fundamentals................................... 3 1.2 Le sorite for integral extensions.........................

More information

Thus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally

Thus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally Math 248A. Discriminants and étale algebras Let A be a noetherian domain with fraction field F. Let B be an A-algebra that is finitely generated and torsion-free as an A-module with B also locally free

More information

MAS 6396 Algebraic Curves Spring Semester 2016 Notes based on Algebraic Curves by Fulton. Timothy J. Ford April 4, 2016

MAS 6396 Algebraic Curves Spring Semester 2016 Notes based on Algebraic Curves by Fulton. Timothy J. Ford April 4, 2016 MAS 6396 Algebraic Curves Spring Semester 2016 Notes based on Algebraic Curves by Fulton Timothy J. Ford April 4, 2016 FLORIDA ATLANTIC UNIVERSITY, BOCA RATON, FLORIDA 33431 E-mail address: ford@fau.edu

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

ABSTRACT NONSINGULAR CURVES

ABSTRACT NONSINGULAR CURVES ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine n-space the collection A n k of points P = a 1, a,..., a

More information

SCHEMES. David Harari. Tsinghua, February-March 2005

SCHEMES. David Harari. Tsinghua, February-March 2005 SCHEMES David Harari Tsinghua, February-March 2005 Contents 1. Basic notions on schemes 2 1.1. First definitions and examples.................. 2 1.2. Morphisms of schemes : first properties.............

More information

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

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

More information

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

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

More information

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

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

More information

MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1

MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1 MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1 CİHAN BAHRAN I discussed several of the problems here with Cheuk Yu Mak and Chen Wan. 4.1.12. Let X be a normal and proper algebraic variety over a field k. Show

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

Locally Free Sheaves

Locally Free Sheaves Locally Free Sheaves Patrick Morandi Algebra Seminar, Spring 2002 In these talks we will discuss several important examples of locally free sheaves and see the connection between locally free sheaves and

More information

LECTURE 4: GOING-DOWN THEOREM AND NORMAL RINGS

LECTURE 4: GOING-DOWN THEOREM AND NORMAL RINGS LECTURE 4: GOING-DOWN THEOREM AND NORMAL RINGS Definition 0.1. Let R be a domain. We say that R is normal (integrally closed) if R equals the integral closure in its fraction field Q(R). Proposition 0.2.

More information

List of topics for the preliminary exam in algebra

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

THE ALGEBRAIC GEOMETRY DICTIONARY FOR BEGINNERS. Contents

THE ALGEBRAIC GEOMETRY DICTIONARY FOR BEGINNERS. Contents THE ALGEBRAIC GEOMETRY DICTIONARY FOR BEGINNERS ALICE MARK Abstract. This paper is a simple summary of the first most basic definitions in Algebraic Geometry as they are presented in Dummit and Foote ([1]),

More information

MINKOWSKI THEORY AND THE CLASS NUMBER

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

More information

Solutions of exercise sheet 8

Solutions of exercise sheet 8 D-MATH 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 information

7 Orders in Dedekind domains, primes in Galois extensions

7 Orders in Dedekind domains, primes in Galois extensions 18.785 Number theory I Lecture #7 Fall 2015 10/01/2015 7 Orders in Dedekind domains, primes in Galois extensions 7.1 Orders in Dedekind domains Let S/R be an extension of rings. The conductor c of R (in

More information

Homework 6 Solution. Math 113 Summer 2016.

Homework 6 Solution. Math 113 Summer 2016. Homework 6 Solution. Math 113 Summer 2016. 1. For each of the following ideals, say whether they are prime, maximal (hence also prime), or neither (a) (x 4 + 2x 2 + 1) C[x] (b) (x 5 + 24x 3 54x 2 + 6x

More information

MATH32062 Notes. 1 Affine algebraic varieties. 1.1 Definition of affine algebraic varieties

MATH32062 Notes. 1 Affine algebraic varieties. 1.1 Definition of affine algebraic varieties MATH32062 Notes 1 Affine algebraic varieties 1.1 Definition of affine algebraic varieties We want to define an algebraic variety as the solution set of a collection of polynomial equations, or equivalently,

More information

The Geometry-Algebra Dictionary

The Geometry-Algebra Dictionary Chapter 1 The Geometry-Algebra Dictionary This chapter is an introduction to affine algebraic geometry. Working over a field k, we will write A n (k) for the affine n-space over k and k[x 1,..., x n ]

More information

Polynomial Rings. i=0. i=0. n+m. i=0. k=0

Polynomial Rings. i=0. i=0. n+m. i=0. k=0 Polynomial Rings 1. Definitions and Basic Properties For convenience, the ring will always be a commutative ring with identity. Basic Properties The polynomial ring R[x] in the indeterminate x with coefficients

More information

CHEVALLEY S THEOREM AND COMPLETE VARIETIES

CHEVALLEY S THEOREM AND COMPLETE VARIETIES CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized

More information

Sample algebra qualifying exam

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

More information

1. Group Theory Permutations.

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

More information

Structure of rings. Chapter Algebras

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

More information

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics REPRESENTATION TYPE OF COMMUTATIVE NOETHERIAN RINGS I: LOCAL WILDNESS Lee Klingler and Lawrence S. Levy Volume 200 No. 2 October 2001 PACIFIC JOURNAL OF MATHEMATICS Vol.

More information

Section Divisors

Section Divisors Section 2.6 - Divisors Daniel Murfet October 5, 2006 Contents 1 Weil Divisors 1 2 Divisors on Curves 9 3 Cartier Divisors 13 4 Invertible Sheaves 17 5 Examples 23 1 Weil Divisors Definition 1. We say a

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 418 Algebraic Geometry Notes

Math 418 Algebraic Geometry Notes Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R

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

Commutative Algebra. Andreas Gathmann. Class Notes TU Kaiserslautern 2013/14

Commutative Algebra. Andreas Gathmann. Class Notes TU Kaiserslautern 2013/14 Commutative Algebra Andreas Gathmann Class Notes TU Kaiserslautern 2013/14 Contents 0. Introduction......................... 3 1. Ideals........................... 9 2. Prime and Maximal Ideals.....................

More information

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

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

More information

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

Polynomials, Ideals, and Gröbner Bases

Polynomials, Ideals, and Gröbner Bases Polynomials, Ideals, and Gröbner Bases Notes by Bernd Sturmfels for the lecture on April 10, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra We fix a field K. Some examples of fields

More information