IDEAL CLASSES AND RELATIVE INTEGERS


 Veronica Tyler
 2 years ago
 Views:
Transcription
1 IDEAL CLASSES AND RELATIVE INTEGERS KEITH CONRAD The ring of integers of a number field is free as a Zmodule. It is a module not just over Z, but also over any intermediate ring of integers. That is, if E Q we can consider O E as an O module. Since O E is finitely generated over Z, it is also finitely generated over O (just a larger ring of scalars), but O E may or may not have a basis over O. When we treat O E as a module over O, rather than over Z, we speak about a relative extension of integers. If O is a PID then O E will be a free O module, so O E will have a basis over O. Such a basis is called a relative integral basis for E over. The next three examples illustrate some possibilities when O is not a PID. Example 1. Let = Q( 5) and E = Q(i, 5) = (i). Although O = Z[ 5] is not a PID, O E is a free O module with relative integral basis {1, i+ 5 }. Example. Let = Q( 15) and E = Q( 15, 6) = ( 6). Then h( ) =, so O is not a PID, but it turns out that O E = O O 6, so OE is a free O module. Example 3. Let = Q( 6) and E = Q( 6, 3) = ( 3). Then h( ) =, so O is not a PID, and it turns out that (1) O E = O e 1 pe, where e 1 = 1+ 3, e = 1 3, and p = (3, 6). (Although e is not in O E, there isn t a problem with the direct sum decomposition (1) for O E over O since the coefficients of e run not over O but over the ideal p, which doesn t include 1, so e pe.) Equation (1) says that as an O module, O E p. The ideal p is not principal and this suggests O E is not a free O module, although that does require an argument. To reinforce this point, p p does not look like a free O module, since p is not principal, but p p has a second direct sum decomposition that admits an O basis, so a direct sum of two nonfree modules can be free. We will see how in Example 9 below. What we are after is a classification of finitely generated torsionfree modules over a Dedekind domain, which will then be applied in the number field setting to describe O E as an O module. The extent to which O E could fail to have an O basis will be related to ideal classes in. A technical concept we need to describe modules over a Dedekind domain is projective modules. Definition 4. Let A be any commutative ring. An Amodule P is called projective if every surjective linear map f : M P from any Amodule M onto P looks like a projection out of a direct sum: there is an isomorphism h: M = P N for some Amodule N such that h(m) = (f(m), ) for all m M. The isomorphism h is not unique. or example, taking A = Z, P = Z, and M = Z Z with f(a, b) = a b, we can use h: M P Z by h(a, b) = (a b, b) or h(a, b) = 1
2 KEITH CONRAD (a b, a b). Each of these works since the first coordinate of h(a, b) is f(a, b) and h is obviously invertible. The complementary summand N in the definition of a projective module is isomorphic to the kernel of f. Indeed, the condition h(m) = (f(m), ) means f(m) = 0 if and only if h(m) is in {0} N, which means h restricts to an isomorphism between ker f and {0} N = N. It is easy to give examples of nonprojective modules. or instance, if P is a projective Amodule with n generators there is a surjective Alinear map A n P, so A n = P Q for some Amodule Q. When A is a domain, any submodule of A n is torsionfree, so a finitely generated projective module over a domain is torsionfree. Therefore a finitely generated module over a domain that has torsion is not projective: Z Z/() is not a projective Zmodule. More importantly for us, though, is that fractional ideals in a Dedekind domain are projective modules. Lemma 5. or a domain A, any invertible fractional Aideal is a projective Amodule. In particular, when A is a Dedekind domain all fractional Aideals are projective Amodules. Proof. Let a be an invertible fractional Aideal. Then k x iy i = 1 for some x i a and y i a 1. or each x a, x = 1 x = x 1 (x 1x) + + x k (x k x) and x i x a 1 a = A, so a k Ax i a, so a = Ax Ax k. In a similar way, a 1 = Ay Ay k. Suppose f : M a is a surjective Alinear map. Choose m i M such that f(m i ) = x i. Define g : a M by g(x) = k (xy i)m i. Note xy i aa 1 = A for all i, so g(x) makes sense and g is Alinear. Then f(g(x)) = k (xy i )f(m i ) = n (xy i )x i = x n x i y i = x. Check the Alinear map h: M a ker f given by the formula h(m) = (f(m), m g(f(m))) has inverse (x, y) g(x) + y. Here is the main structure theorem. Theorem 6. Every finitely generated torsionfree module over a Dedekind domain A is isomorphic to a direct sum of ideals in A. Proof. Let M be a finitely generated torsionfree Amodule. We can assume M 0 and will show there is an embedding M A d for some d 1 such that the image of M intersects each standard coordinate axis of A d. Let be the fraction field of A and x 1,..., x n be a generating set for M as an Amodule. We will show n is an upper bound on the size of any Alinearly independent subset of M. Let f : A n M be the linear map where f(e i ) = x i for all i. (By e 1,..., e n we mean the standard basis of A n.) Let y 1,..., y k be linearly independent in M, so their Aspan is isomorphic to A k. Write y j = n a ijx i with a ij A. We pull the y j s back to A n by setting v j = (a 1j,..., a nj ), so f(v j ) = y j. A linear dependence relation on the v j s is transformed by f into a linear dependence relation on the y j s, which is a trivial relation by their linear independence. Therefore v 1,..., v k is Alinearly independent in A n, hence linearly independent in n. By linear algebra over fields, k n. rom the bound k n, there is a linearly independent subset of M with maximal size, say t 1,..., t d. Then d j=1 At j = A d by identifying t j with the jth standard basis
3 IDEAL CLASSES AND RELATIVE INTEGERS 3 vector in A d. We will find a scalar multiple of M inside d j=1 At j. or any x M, the set {x, t 1,..., t d } is linearly dependent by maximality of d, so there is a nontrivial linear relation a x x + d a it i = 0, necessarily with a x 0 in A. Thus a x x d j=1 At j. Letting x run through the spanning set x 1,..., x n, we have ax i d j=1 At j for all i where a = a x1 a xn 0. Thus am d j=1 At j. Multiplying by a is an isomorphism of M with am, so we have the sequence of Alinear maps M am d At j A d, j=1 where the first and last maps are Amodule isomorphisms. In the above composite map, t j M is mapped to ae j in A d, so this composite map is an embedding M A d such that M meets each standard coordinate axis of A d in a nonzero vector. Compose this linear map with projection A d A onto the last coordinate in the standard basis: a 1 e a d e d a d. Denote the restriction of this to a map M A as ϕ, so a := ϕ(m) is a nonzero ideal in A. With ϕ we get a surjective map M a, so Lemma 5 (the first time we need A to be a Dedekind domain, not just an integral domain) tells us M = a ker ϕ. Obviously ker ϕ A d 1 0 = A d 1, so ker ϕ is a finitely generated (and torsionfree) Amodule with at most d 1 Alinearly independent elements. Using induction on the largest number of linearly independent elements in the module, ker ϕ is a direct sum of ideals in A. Remark 7. Using equations rather than isomorphisms, Theorem 6 says M = M 1 M d where each M i is isomorphic to an ideal in A. Those ideals need not be principal, so M i need not have the form Am i. If M is inside a vector space over the fraction field of A, then M = d a ie i for some linearly independent e i s, but be careful: if a i is a proper ideal in A then e i is not in M since 1 a i. The e i s are not a spanning set for M as a module since their coefficients are not running through A. The decomposition of the integers of Q( 6, 3) as a module over Z[ 6] in Example 3 illustrates this point. How much does a direct sum a 1 a d, as a module, depend on the individual a i s? Lemma 8. Let A be a Dedekind domain. Amodule isomorphism a b = A ab. or fractional Aideals a and b, there is an Proof. Both sides of the isomorphism are unchanged up to Amodule isomorphism when we scale a and b, so without loss of generality a and b are nonzero ideals in A. We can further scale so a and b are relatively prime. Indeed, let a 1 a 0 where a 0 A. Using the Chinese remainder theorem in A, there is a nonzero ideal c such that a 0 c is principal and gcd(c, b) = (1). Since c a 1 0 a, we can replace a by c without changing a b or A ab up to Amodule isomorphism. The linear map f : a b a + b = A given by f(a, b) = a b is surjective and ker f = {(a, a) : a a b} = a b, which is ab since gcd(a, b) = (1). Applying Lemma 5 to the fractional Aideal A, a b = A ker f = A ab. Example 9. or A = Z[ 5], let p = (, 1 + 5), so p is not principal but p = A is principal. Then there is an Amodule isomorphism p p = A p = A A. That is intriguing: p does not have an Abasis but p p does! Working through the proof of
4 4 KEITH CONRAD Lemma 8 will show you how to write down a basis of p p explicitly. In a similar way, p p in Example 3 is a free Z[ 6]module since p is principal. Theorem 10. Let A be a Dedekind domain. or fractional Aideals a 1,..., a d, there is an Amodule isomorphism a 1 a d = A d 1 a 1 a d. Proof. Induct on d and use Lemma 8. Corollary 11. Let E/ be a finite extension of number fields with [E : ] = n. As an O module, O E n 1 a for some nonzero ideal a in O. Proof. Since O E is a finitely generated Zmodule it is a finitely generated O module and obviously has no torsion, so Theorems 6 and 10 imply O E d 1 a for some d 1 and nonzero ideal a in O. Letting m = [ : Q], both O and a are free of rank m over Z, while O E is free of rank mn over Z. Computing the rank of O E and O d 1 a over Z, mn = m(d 1) + m = md, so d = n. Thus O E is almost a free O module. If a is principal then O E is free. As an O module up to isomorphism, O n 1 a only depends on a through its ideal class, since a and any xa (x ) are isomorphic O modules. Does O n 1 a, as an O module, depend on a exactly through its ideal class? That is, if O n 1 a n 1 b as O modules, does [a] = [b] in Cl( )? The next two theorems together say the answer is yes. Theorem 1. Let A be a domain with fraction field. or fractional Aideals a and b in, a = b as Amodules if and only if a = xb for some x. Here is any field, not necessarily a number field. Proof. ( ): Multiplication by x is an Amodule isomorphism from b to a. ( ): Suppose f : a b is an Amodule isomorphism. We want an x such that f(t) = xt for all t a. or this to be possible, f(t)/t has to be independent of the choice of nonzero t. Then we could define x to be this common ratio, so f(t) = xt for all t in a (including t = 0). or any nonzero t 1 and t in a, f(t 1 )? f(t ) = t f(t 1 ) =? t 1 f(t ). t 1 t You may be tempted to pull the t and t 1 inside on the right, confirming the equality, but that is bogus because f is Alinear and we don t know if t 1 and t are in A (they are just in ). This is easy to fix. Since a is a fractional Aideal, it has a denominator: da A for some nonzero d A. Then dt 1, dt A, so t f(t 1 )? = t 1 f(t ) dt f(t 1 )? = dt 1 f(t ) f(dt t 1 ) = f(dt 1 t ). Theorem 13. or nonzero ideals a 1,..., a m and b 1,..., b n in a Dedekind domain A,we have a 1 a m = b1 b n as Amodules if and only if m = n and [a 1 a m ] = [b 1 b n ] in Cl(A). Proof. The if direction follows from Theorems 10 and 1: a 1 a m = A m 1 a 1 a m, so if m = n and [a 1 a m ] = [b 1 b m ] in Cl(A) then A m 1 a 1 a m = A m 1 b 1 b m = b1 b m.
5 IDEAL CLASSES AND RELATIVE INTEGERS 5 Turning to the only if direction, we show m is determined by the Amodule structure of a 1 a m : it is the largest number of Alinearly independent elements in this module. Picking a nonzero a i a i, the mtuples (..., 0, a i, 0,... ) for 1 i m are easily Alinearly independent, so m a i has m linearly independent members. Since a 1 a m m, where is the fraction field of A, any set of more than m members of a 1 a m has a nontrivial linear relation in m, which can be scaled to a nontrivial Alinear relation in m a i by clearing a common denominator in the coefficients. Therefore if a 1 a m = b 1 b n as Amodules we must have m = n by computing the maximal number of Alinearly independent elements in both modules. To show m a i = m b i a 1 a m and b 1 b m are scalar multiples, we can collect ideals by multiplication into the last summands: it is enough to show A m 1 a = A m 1 b a and b are scalar multiples. Let ϕ: A m 1 a A m 1 b be an Amodule isomorphism. Viewing A m 1 a and A m 1 b as column vectors of length m with the last coordinate in a or b, ϕ can be represented as an m m matrix of Alinear maps (ϕ ij ), where ϕ ij has domain A or a and target A or b. The proof of Theorem 1 shows any Alinear map from one fractional Aideal to another (not necessarily injective or surjective) is a scaling function. Therefore ϕ is described by an m m matrix of numbers, say M, acting in the usual way on column vectors. or any α a, let D α = diag(1,..., 1, α) be the diagonal m m matrix with α in the lower right entry. Then D α (A m 1 A) A m 1 a, so MD α maps A m 1 A to A m 1 b. This means the bottom row of MD α has all entries in b, so det(md α ) b. Since D α has determinant α and α is arbitrary in a, det(m)a b. In the same way, det(m 1 )b a, so det(m)a = b. Example 14. Let s return to Example 3: = Q( 6), E = ( 3), and O E p, where p = (3, 6). We can show O E is not a free O module: if it were free then O E, so O p O as O modules. Then Theorem 13 implies p as O modules, so p is principal, but p is nonprincipal. This is a contradiction. We can now associate to any finite extension of number fields E/ a canonical ideal class in Cl( ), namely [a] where O E n 1 a as O modules. Theorem 13 assures us [a] is welldefined. Since the construction of [a] is due to Steinitz (191), [a] is called the Steinitz class of E/. Example 15. By Example 14, when = Q( 6) the nontrivial member of Cl( ) is the Steinitz class of the quadratic extension ( 3)/. Since the ideal class group of a number field is finite, as E varies over all extensions of with a fixed degree n the different O E s have finitely many possible O module structures, in fact at most h( ) of them. There are infinitely many nonisomorphic extensions of with degree n, so it is natural to ask if each ideal class is realized among them: for any [a] Cl( ) and integer n is there some extension E/ of degree n whose Steinitz class is [a], i.e., O E n 1 a as O modules? The answer is yes for n = and n = 3, and in fact Kable and Wright [1] have proved an equidistribution of the E s with degree or 3 over in terms of their Steinitz classes in Cl( ). In particular, each ideal class in Cl( ) is a Steinitz class for infinitely many nonisomorphic degree n extensions of when n = or 3. The extension to general degrees is still an open problem in general. We have focused on the description of a single finitely generated torsionfree module over a Dedekind domain. What if we want to compare such a module and a submodule? If A
6 6 KEITH CONRAD is a PID, M is a finite free Amodule and M is a submodule then we can align M and M in the sense that there is a basis e 1,..., e n of M and nonzero scalars a 1,..., a m in A (where m n) such that M = n Ae i and M = m j=1 Ae j. This has an analogue over Dedekind domains, but it doesn t use bases. If A is a Dedekind domain, M is a finitely generated torsionfree Amodule, and M is a submodule of M, then we can align M and M in the sense that we can write n m M = M i and M = a j M j where m n, each M i is isomorphic to a nonzero ideal in A, and each a j is a nonzero ideal in A. It is generally false that such an alignment is compatible with an isomorphism M = A n 1 a. That is, such an isomorphism need not restrict to M to give an isomorphism M = A m 1 a with a a, even for A = Z. Consider, for instance, M = Z Z and M = az az for a > 1 (so m = n = ). We can t write M = Ze 1 Ze and M = Ze 1 bze for some integer b since that would imply M/M = Z/bZ is cyclic, whereas M/M = (Z/aZ) is not cyclic. References [1] A. C. Kable and D. J. Wright, Uniform distribution of the Steinitz invariants of quadratic and cubic extensions, Compositio Math. 14 (006), j=1
STABLY FREE MODULES KEITH CONRAD
STABLY FREE MODULES KEITH CONRAD 1. Introduction Let R be a commutative ring. When an Rmodule has a particular moduletheoretic property after direct summing it with a finite free module, it is said to
More informationx y B =. v u Note that the determinant of B is xu + yv = 1. Thus B is invertible, with inverse u y v x On the other hand, d BA = va + ub 2
5. Finitely Generated Modules over a PID We want to give a complete classification of finitely generated modules over a PID. ecall that a finitely generated module is a quotient of n, a free module. Let
More information(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 informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More information5 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 informationFinitely Generated Modules over a PID, I
Finitely Generated Modules over a PID, I A will throughout be a fixed PID. We will develop the structure theory for finitely generated Amodules. Lemma 1 Any submodule M F of a free Amodule is itself
More informationMath 210B: Algebra, Homework 4
Math 210B: Algebra, Homework 4 Ian Coley February 5, 2014 Problem 1. Let S be a multiplicative subset in a commutative ring R. Show that the localisation functor RMod S 1 RMod, M S 1 M, is exact. First,
More informationUNIVERSAL 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 informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
More informationNOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1.
NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS Contents 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4 1. Introduction These notes establish some basic results about linear algebra over
More information18.312: Algebraic Combinatorics Lionel Levine. Lecture 22. Smith normal form of an integer matrix (linear algebra over Z).
18.312: Algebraic Combinatorics Lionel Levine Lecture date: May 3, 2011 Lecture 22 Notes by: Lou Odette This lecture: Smith normal form of an integer matrix (linear algebra over Z). 1 Review of Abelian
More informationTHE MINIMAL POLYNOMIAL AND SOME APPLICATIONS
THE MINIMAL POLYNOMIAL AND SOME APPLICATIONS KEITH CONRAD. Introduction The easiest matrices to compute with are the diagonal ones. The sum and product of diagonal matrices can be computed componentwise
More informationALGEBRA EXERCISES, PhD EXAMINATION LEVEL
ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)
More informationZORN S LEMMA AND SOME APPLICATIONS
ZORN S LEMMA AND SOME APPLICATIONS KEITH CONRAD 1. Introduction Zorn s lemma is a result in set theory that appears in proofs of some nonconstructive existence theorems throughout mathematics. We will
More informationMINKOWSKI THEORY AND THE CLASS NUMBER
MINKOWSKI THEORY AND THE CLASS NUMBER BROOKE ULLERY Abstract. This paper gives a basic introduction to Minkowski Theory and the class group, leading up to a proof that the class number (the order of the
More informationALGEBRAIC 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 informationLINEAR ALGEBRA BOOT CAMP WEEK 1: THE BASICS
LINEAR ALGEBRA BOOT CAMP WEEK 1: THE BASICS Unless otherwise stated, all vector spaces in this worksheet are finite dimensional and the scalar field F has characteristic zero. The following are facts (in
More informationMODULES OVER A PID. induces an isomorphism
MODULES OVER A PID A module over a PID is an abelian group that also carries multiplication by a particularly convenient ring of scalars. Indeed, when the scalar ring is the integers, the module is precisely
More informationAlgebraic Number Theory
TIFR VSRP Programme Project Report Algebraic Number Theory Milind Hegde Under the guidance of Prof. Sandeep Varma July 4, 2015 A C K N O W L E D G M E N T S I would like to express my thanks to TIFR for
More informationIntroduction to modules
Chapter 3 Introduction to modules 3.1 Modules, submodules and homomorphisms The problem of classifying all rings is much too general to ever hope for an answer. But one of the most important tools available
More informationThus, the integral closure A i of A in F i is a finitely generated (and torsionfree) Amodule. 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 Aalgebra that is finitely generated and torsionfree as an Amodule with B also locally free
More informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationInjective Modules and Matlis Duality
Appendix A Injective Modules and Matlis Duality Notes on 24 Hours of Local Cohomology William D. Taylor We take R to be a commutative ring, and will discuss the theory of injective Rmodules. The following
More informationDedekind 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 RiemannRoch theorem. The main theorem shows that if K/F is a finite
More informationALGEBRA HW 3 CLAY SHONKWILER
ALGEBRA HW 3 CLAY SHONKWILER (a): Show that R[x] is a flat Rmodule. 1 Proof. Consider the set A = {1, x, x 2,...}. Then certainly A generates R[x] as an Rmodule. Suppose there is some finite linear combination
More informationMath 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 informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationGALOIS GROUPS AS PERMUTATION GROUPS
GALOIS GROUPS AS PERMUTATION GROUPS KEITH CONRAD 1. Introduction A Galois group is a group of field automorphisms under composition. By looking at the effect of a Galois group on field generators we can
More information11. Finitelygenerated modules
11. Finitelygenerated modules 11.1 Free modules 11.2 Finitelygenerated modules over domains 11.3 PIDs are UFDs 11.4 Structure theorem, again 11.5 Recovering the earlier structure theorem 11.6 Submodules
More informationMathematics Department Stanford University Math 61CM/DM Vector spaces and linear maps
Mathematics Department Stanford University Math 61CM/DM Vector spaces and linear maps We start with the definition of a vector space; you can find this in Section A.8 of the text (over R, but it works
More information5 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 informationAlgebraic structures I
MTH5100 Assignment 110 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 informationMath 762 Spring h Y (Z 1 ) (1) h X (Z 2 ) h X (Z 1 ) Φ Z 1. h Y (Z 2 )
Math 762 Spring 2016 Homework 3 Drew Armstrong Problem 1. Yoneda s Lemma. We have seen that the bifunctor Hom C (, ) : C C Set is analogous to a bilinear form on a Kvector space, : V V K. Recall that
More informationMath 110, Summer 2012: Practice Exam 1 SOLUTIONS
Math, Summer 22: Practice Exam SOLUTIONS Choose 3/5 of the following problems Make sure to justify all steps in your solutions Let V be a Kvector space, for some number field K Let U V be a nonempty subset
More informationISOMORPHISMS KEITH CONRAD
ISOMORPHISMS KEITH CONRAD 1. Introduction Groups that are not literally the same may be structurally the same. An example of this idea from high school math is the relation between multiplication and addition
More informationTENSOR PRODUCTS II KEITH CONRAD
TENSOR PRODUCTS II KEITH CONRAD 1. Introduction Continuing our study of tensor products, we will see how to combine two linear maps M M and N N into a linear map M R N M R N. This leads to flat modules
More informationMATH PRACTICE EXAM 1 SOLUTIONS
MATH 2359 PRACTICE EXAM SOLUTIONS SPRING 205 Throughout this exam, V and W will denote vector spaces over R Part I: True/False () For each of the following statements, determine whether the statement is
More informationSPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS
SPRING 006 PRELIMINARY EXAMINATION SOLUTIONS 1A. Let G be the subgroup of the free abelian group Z 4 consisting of all integer vectors (x, y, z, w) such that x + 3y + 5z + 7w = 0. (a) Determine a linearly
More informationSolution. That ϕ W is a linear map W W follows from the definition of subspace. The map ϕ is ϕ(v + W ) = ϕ(v) + W, which is welldefined since
MAS 5312 Section 2779 Introduction to Algebra 2 Solutions to Selected Problems, Chapters 11 13 11.2.9 Given a linear ϕ : V V such that ϕ(w ) W, show ϕ induces linear ϕ W : W W and ϕ : V/W V/W : Solution.
More informationIntegral 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 informationElementary linear algebra
Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The
More information3.1. Derivations. Let A be a commutative kalgebra. Let M be a left Amodule. 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 informationLinear Algebra. Min Yan
Linear Algebra Min Yan January 2, 2018 2 Contents 1 Vector Space 7 1.1 Definition................................. 7 1.1.1 Axioms of Vector Space..................... 7 1.1.2 Consequence of Axiom......................
More informationAlgebra Exam Syllabus
Algebra Exam Syllabus The Algebra comprehensive exam covers four broad areas of algebra: (1) Groups; (2) Rings; (3) Modules; and (4) Linear Algebra. These topics are all covered in the first semester graduate
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 As usual, all the rings we consider are commutative rings with an identity element. 18.1 Regular local rings Consider a local
More informationDMATH Algebra I HS 2013 Prof. Brent Doran. Exercise 11. Rings: definitions, units, zero divisors, polynomial rings
DMATH 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 informationModules Over Principal Ideal Domains
Modules Over Principal Ideal Domains Brian Whetter April 24, 2014 This work is licensed under the Creative Commons AttributionNonCommercialShareAlike 4.0 International License. To view a copy of this
More informationNONCOMMUTATIVE POLYNOMIAL EQUATIONS. Edward S. Letzter. Introduction
NONCOMMUTATIVE POLYNOMIAL EQUATIONS Edward S Letzter Introduction My aim in these notes is twofold: First, to briefly review some linear algebra Second, to provide you with some new tools and techniques
More informationALGEBRA HW 4. M 0 is an exact sequence of Rmodules, 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 Rmodules, then M is Noetherian if and only if M and M are. Proof. ( ) Suppose M is Noetherian. Then M injects into
More informationTensor 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 informationMath 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 Amodule. In class we defined the Iadic completion of M to be M = lim M/I n M. We will soon show
More informationGALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)
GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) KEITH CONRAD We will describe a procedure for figuring out the Galois groups of separable irreducible polynomials in degrees 3 and 4 over
More informationDefinition 2.3. We define addition and multiplication of matrices as follows.
14 Chapter 2 Matrices In this chapter, we review matrix algebra from Linear Algebra I, consider row and column operations on matrices, and define the rank of a matrix. Along the way prove that the row
More information2.2. Show that U 0 is a vector space. For each α 0 in F, show by example that U α does not satisfy closure.
Hints for Exercises 1.3. This diagram says that f α = β g. I will prove f injective g injective. You should show g injective f injective. Assume f is injective. Now suppose g(x) = g(y) for some x, y A.
More informationCYCLICITY OF (Z/(p))
CYCLICITY OF (Z/(p)) KEITH CONRAD 1. Introduction For each prime p, the group (Z/(p)) is cyclic. We will give seven proofs of this fundamental result. A common feature of the proofs that (Z/(p)) is cyclic
More informationOSTROWSKI S THEOREM FOR Q(i)
OSTROWSKI S THEOREM FOR Q(i) KEITH CONRAD We will extend Ostrowki s theorem from Q to the quadratic field Q(i). On Q, every nonarchimedean absolute value is equivalent to the padic absolute value for
More informationφ(xy) = (xy) n = x n y n = φ(x)φ(y)
Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =
More informationMATH 326: RINGS AND MODULES STEFAN GILLE
MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called
More informationBENJAMIN LEVINE. 2. Principal Ideal Domains We will first investigate the properties of principal ideal domains and unique factorization domains.
FINITELY GENERATED MODULES OVER A PRINCIPAL IDEAL DOMAIN BENJAMIN LEVINE Abstract. We will explore classification theory concerning the structure theorem for finitely generated modules over a principal
More informationModules over Principal Ideal Domains
Modules over Principal Ideal Domains Let henceforth R denote a commutative ring with 1. It is called a domain iff it has no zerodivisors, i.e. if ab = 0 then either a or b is zero. Or equivalently, two
More informationTopics in linear algebra
Chapter 6 Topics in linear algebra 6.1 Change of basis I want to remind you of one of the basic ideas in linear algebra: change of basis. Let F be a field, V and W be finite dimensional vector spaces over
More informationGraduate Preliminary Examination
Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counterexample to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.
More informationComputing Invariant Factors
Computing Invariant Factors April 6, 2016 1 Introduction Let R be a PID and M a finitely generated Rmodule. If M is generated by the elements m 1, m 2,..., m k then we can define a surjective homomorphism
More informationNumber Theory Fall 2016 Problem Set #3
18.785 Number Theory Fall 2016 Problem Set #3 Description These problems are related to the material covered in Lectures 57. Your solutions are to be written up in latex and submitted as a pdffile via
More information1 Linear Algebra Problems
Linear Algebra Problems. Let A be the conjugate transpose of the complex matrix A; i.e., A = A t : A is said to be Hermitian if A = A; real symmetric if A is real and A t = A; skewhermitian if A = A and
More informationLecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman
Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 17, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Integral Domains and Fraction Fields 0.1.1 Theorems Now what we are going
More information120A LECTURE OUTLINES
120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication
More informationh Q h Ç h  In S.
ON THE JACOBIAN IDEAL OF THE MODULE OF DIFFERENTIALS1 JOSEPH LIPMAN Let A be a reduced algebra of finite type over a field k, and let J be the Jacobian ideal of A/k (i.e. J is the smallest nonzero Fitting
More informationEighth Homework Solutions
Math 4124 Wednesday, April 20 Eighth Homework Solutions 1. Exercise 5.2.1(e). Determine the number of nonisomorphic abelian groups of order 2704. First we write 2704 as a product of prime powers, namely
More informationBulletin of the Iranian Mathematical Society
ISSN: 1017060X (Print) ISSN: 17358515 (Online) Special Issue of the Bulletin of the Iranian Mathematical Society in Honor of Professor Heydar Radjavi s 80th Birthday Vol 41 (2015), No 7, pp 155 173 Title:
More informationDUAL MODULES KEITH CONRAD
DUAL MODULES KEITH CONRAD 1. Introduction Let R be a commutative ring. For two (left) Rmodules M and N, the set Hom R (M, N) of all Rlinear maps from M to N is an Rmodule under natural addition and
More informationand this makes M into an Rmodule by (1.2). 2
1. Modules Definition 1.1. Let R be a commutative ring. A module over R is set M together with a binary operation, denoted +, which makes M into an abelian group, with 0 as the identity element, together
More informationThe 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 informationReview of Linear Algebra
Review of Linear Algebra Throughout these notes, F denotes a field (often called the scalars in this context). 1 Definition of a vector space Definition 1.1. A F vector space or simply a vector space
More informationChapter 2 Linear Transformations
Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more
More informationGRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.
GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,
More informationTROPICAL SCHEME THEORY
TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),
More information0.2 Vector spaces. J.A.Beachy 1
J.A.Beachy 1 0.2 Vector spaces I m going to begin this section at a rather basic level, giving the definitions of a field and of a vector space in much that same detail as you would have met them in a
More informationAnswers in blue. If you have questions or spot an error, let me know. 1. Find all matrices that commute with A =. 4 3
Answers in blue. If you have questions or spot an error, let me know. 3 4. Find all matrices that commute with A =. 4 3 a b If we set B = and set AB = BA, we see that 3a + 4b = 3a 4c, 4a + 3b = 3b 4d,
More informationTHE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS
THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear
More informationFirst we introduce the sets that are going to serve as the generalizations of the scalars.
Contents 1 Fields...................................... 2 2 Vector spaces.................................. 4 3 Matrices..................................... 7 4 Linear systems and matrices..........................
More informationChapter 1 Vector Spaces
Chapter 1 Vector Spaces PerOlof Persson persson@berkeley.edu Department of Mathematics University of California, Berkeley Math 110 Linear Algebra Vector Spaces Definition A vector space V over a field
More informationEXTERIOR POWERS KEITH CONRAD
EXTERIOR POWERS KEITH CONRAD 1. Introduction Let R be a commutative ring. Unless indicated otherwise, all modules are Rmodules and all tensor products are taken over R, so we abbreviate R to. A bilinear
More informationADVANCED 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 informationThis is a closed subset of X Y, by Proposition 6.5(b), since it is equal to the inverse image of the diagonal under the regular map:
Math 6130 Notes. Fall 2002. 7. Basic Maps. Recall from 3 that a regular map of affine varieties is the same as a homomorphism of coordinate rings (going the other way). Here, we look at how algebraic properties
More informationSolution to Homework 1
Solution to Homework Sec 2 (a) Yes It is condition (VS 3) (b) No If x, y are both zero vectors Then by condition (VS 3) x = x + y = y (c) No Let e be the zero vector We have e = 2e (d) No It will be false
More informationLinear Equations in Linear Algebra
1 Linear Equations in Linear Algebra 1.7 LINEAR INDEPENDENCE LINEAR INDEPENDENCE Definition: An indexed set of vectors {v 1,, v p } in n is said to be linearly independent if the vector equation x x x
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics PICARD VESSIOT EXTENSIONS WITH SPECIFIED GALOIS GROUP TED CHINBURG, LOURDES JUAN AND ANDY R. MAGID Volume 243 No. 2 December 2009 PACIFIC JOURNAL OF MATHEMATICS Vol. 243,
More informationSPLITTING OF SHORT EXACT SEQUENCES FOR MODULES. 1. Introduction Let R be a commutative ring. A sequence of Rmodules and Rlinear maps.
SPLITTING OF SHORT EXACT SEQUENCES FOR MODULES KEITH CONRAD 1. Introduction Let R be a commutative rin. A sequence o Rmodules and Rlinear maps N M P is called exact at M i im = ker. For example, to say
More information(1.) For any subset P S we denote by L(P ) the abelian group of integral relations between elements of P, i.e. L(P ) := ker Z P! span Z P S S : For ea
Torsion of dierentials on toric varieties Klaus Altmann Institut fur reine Mathematik, HumboldtUniversitat zu Berlin Ziegelstr. 13a, D10099 Berlin, Germany. Email: altmann@mathematik.huberlin.de Abstract
More informationLecture 7. This set is the set of equivalence classes of the equivalence relation on M S defined by
Lecture 7 1. Modules of fractions Let S A be a multiplicative set, and A M an Amodule. In what follows, we will denote by s, t, u elements from S and by m, n elements from M. Similar to the concept of
More informationLecture Summaries for Linear Algebra M51A
These lecture summaries may also be viewed online by clicking the L icon at the top right of any lecture screen. Lecture Summaries for Linear Algebra M51A refers to the section in the textbook. Lecture
More informationMATH 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 informationJORDAN NORMAL FORM. Contents Introduction 1 Jordan Normal Form 1 Conclusion 5 References 5
JORDAN NORMAL FORM KATAYUN KAMDIN Abstract. This paper outlines a proof of the Jordan Normal Form Theorem. First we show that a complex, finite dimensional vector space can be decomposed into a direct
More informationMath 4310 Solutions to homework 1 Due 9/1/16
Math 0 Solutions to homework Due 9//6. An element [a] Z/nZ is idempotent if [a] 2 [a]. Find all idempotent elements in Z/0Z and in Z/Z. Solution. First note we clearly have [0] 2 [0] so [0] is idempotent
More informationGROUPS OF ORDER p 3 KEITH CONRAD
GROUPS OF ORDER p 3 KEITH CONRAD For any prime p, we want to describe the groups of order p 3 up to isomorphism. From the cyclic decomposition of finite abelian groups, there are three abelian groups of
More informationMATH 320: PRACTICE PROBLEMS FOR THE FINAL AND SOLUTIONS
MATH 320: PRACTICE PROBLEMS FOR THE FINAL AND SOLUTIONS There will be eight problems on the final. The following are sample problems. Problem 1. Let F be the vector space of all real valued functions on
More informationLinear Algebra. Paul Yiu. Department of Mathematics Florida Atlantic University. Fall 2011
Linear Algebra Paul Yiu Department of Mathematics Florida Atlantic University Fall 2011 Linear Algebra Paul Yiu Department of Mathematics Florida Atlantic University Fall 2011 1A: Vector spaces Fields
More information