ALGEBRAIC NUMBER THEORY - COURSE NOTES

Size: px
Start display at page:

Download "ALGEBRAIC NUMBER THEORY - COURSE NOTES"

Transcription

1 ALGEBRAIC NUMBER THEORY - COURSE NOTES STEVE DONNELLY Housekeeping (1) There ll be a final exam (3 hours or so) on the whole semester (representation theory and algebraic number theory) weighted towards algebraic number theory (2) There ll be homework assignments each week, due on Tuesdays by lunchtime (3) The assignments will consist of core problems and more challenging problems for discussion ; we ll schedule a couple of extra meetings to discuss them (4) I ll hand out complete lecture notes for each class On the course material: Useful books in the library Stewart & Tall: Algebraic Number Theory And Fermat s Last Theorem Simple and elementary treatment of the most basic points Janusz: Algebraic Number Fields Well explained, taking a fairly algebraic point of view Neukirch: Algebraic Number Theory Editions in English and German Thorough and meticulously written by a number theorist of the old German school Swinnerton-Dyer: A Brief Guide to Algebraic Number Theory (QA241S85) Concisely presented (possibly too terse in places), by a famous number theorist Some nice books of wider or historical interest: Cox: Primes of the form x 2 + ny 2 Introduces several classical subjects beautifully, with the goal of motivating class field theory Ribenboim, Paulo: Fermat s last theorem for amateurs Ribenboim is a well known number theorist who loves to explain things in the most elegant, elementary way Ribenboim, Paulo: 13 lectures on Fermat s last theorem (We have several of Ribenboim s number theory books that you may enjoy browsing) 1

2 2 STEVE DONNELLY Lecture One: Introduction and examples Quadratic rings and fields Let s start by considering the ring of Gaussian integers Z+Zi = {a+bi : a, b Z} We ll view it as a natural generalization of the ring Z, and investigate to what extent they are similar The two rings are connected via the norm map N(a + bi) = (a + bi)(a bi) = a 2 + b 2 = a + bi 2, which will often be useful Recall that for an integral domain, Euclidean Principal Ideal Domain Unique Factorization Domain Our domain Z + Zi is Euclidean with respect to the norm, since for any α, β Z + Zi we can find q, r Z + Zi such that α = qβ + r with N(r) < N(β) as follows Notice that the ideal (Z + Zi)β is a square lattice and r can be chosen inside a central square {aβ + biβ : 1 2 a, b 1 2 } (Drawing a picture makes it very clear) So Z + Zi is a PID and a UFD The units in Z are the multiplicative group {1, 1} What are the units in Z+Zi? Notice that the norm is a multiplicative map, meaning N(αβ) = N(α)N(β) for all α, β So the norm of a unit must be a unit, and one finds that the group of units is the group of 4th roots of unity, {i, 1, i, 1} Recall that in a UFD, irreducible elements generate prime ideals Reason: suppose α is irreducible, and suppose ab is in the ideal (α) Writing a and b as products of irreducibles, we have a 1 a n (α) Since α is irreducible, we must have α = ua i for one of the a i and some unit u Thus a i (α), which means a or b is in (α); this shows (α) is prime The elements 1 + i, 3, 2 + i, 7, 11 and 3 + 2i are examples of prime Gaussian integers (generators of prime ideals in the PID Z + Zi) To see this, we could check that they are irreducible For instance, if one could write αβ = 2 + i, it would follow that N(α)N(β) = 5 and hence either α or β is a unit Similarly, if one had a nontrivial decomposition αβ = 7, then N(α) and N(β) are ±7 But one can t write 7, or 7, in the form a 2 + b 2 An odd prime p Z can be written in this form iff p 1 mod 4 Hence, p remains prime in Z + Zi iff p 3 mod 4 Here s a more algebraic way of looking at it An ideal (α) of Z+Zi is prime iff the residue ring Z+Zi/α(Z+Zi) is a domain (equivalently, a field, since it is finite) Now, Z + Zi/(2 + i) is isomorphic to the field of 5 elements, denoted F 5 = GF (5) = Z/(5), because Z (2 + i) = 5Z and i 2 mod 2 + i Therefore 2 + i is a prime To see that (7) is prime, note that (Z + Zi)/(7) = F 7 [x]/(x 2 + 1) is a field because x is irreducible (has no root) over F 7 Indeed,

3 ALGEBRAIC NUMBER THEORY 3 x has a root over F p iff the multiplicative group {1, 2,, p 1} has order divisible by 4, iff p = 1 mod 4 Thus we see again that an odd prime p remains prime in Z + Zi iff p 3 mod 4 Note that the odd primes which don t remain prime all split as products of two distinct primes (p) = (a + bi)(a bi) What happens to the prime 2? Well, 2 = i(1 + i) 2 where i is a unit and 1 + i is a prime Thus the ideal (2) = (1 + i) 2 decomposes as the square of a prime ideal This phenomenon, where a Z-prime is contained in a higher power of a prime ideal, is called ramification As already noted, 2 is the only prime that ramifies in Z + Zi We will see later that in general the set of ramified primes is finite, and how to determine them Recall the construction known as the field of fractions of a domain The field of fractions of Z is Q The field of fractions of Z+Zi is Q+Qi (because you can always rationalize the denominator) Let s look now at the ring Z + Z 3 One might also be interested in the ring generated by a primitive cube root of unity ζ 3 Its minimal polynomial (the monic polynomial in Q[x] of smallest possible degree for which ζ 3 is a zero) is x 2 + x + 1, so ζ3 2 = 1 ζ 3, and the ring generated by ζ 3 is Z + Zζ 3 Since ζ 3 = 1± 3, one finds that Z + 2 Z 3 Z + Zζ 3 Now we have two interesting rings inside Q + Qζ 3 So, which is the most natural one to take as the ring of integers, in analogy with Z inside Q? The largest possible ring (if it exists)? Notice that all the elements we ve discussed have minimal polynomials with integer coeffecients Maybe we could take the set of all such elements but is that a ring? Next let s consider the ring Z+Z 5, which is the textbook example of a non-ufd because 3 2 = (1 + 5) (1 5), where all four elements are irreducible since there are no elements of norm 2 or 3 Another example: Z + Z 3 is not a UFD, even though Z + Zζ 3 is a UFD and even a PID The issue of whether a given ring is a PID, or to what extent it fails to be (as measured by the ideal class group ) raises many open questions in number theory One of my favourite ironies is that we have a precise conjecture for the proportion of primes p > 0, p 3 mod 4 such that the real quadratic field Z+Z p is a PID (approx 77% of them, counting primes in increasing order); however we can t even prove that Z + Z p is a PID for infinitely many primes For imaginary quadratic fields, in contrast, it is known that the only values of d > 0 for which Z + Z d is a PID are 1 and 2 It is straightforward to see that, for many values of d, it is not a PID, by observing that the norm N(a + b d) = a 2 + db 2 takes no prime values less than d That means that if Z + Z d were a PID, then all the primes less than d would have to remain prime in Z + Z d But, using reasoning we used before, p remains prime iff x 2 + d has no root

4 4 STEVE DONNELLY ( in F p, equivalently d p ) = 1 For example, 3 does not remain prime whenever d 1 mod 3; so in these cases there must be some other prime ideal of Z + Z d containing 3, which cannot be principal A heuristic calculation suggests that beyond some finite bound, no values of d will satisfy ( d p ) = 1 for all primes less than d, implying that there are only finitely many d for which Z + Z d is a PID Cyclotomic rings and fields Let p be prime, and let ζ p be a primitive pth root of unity The minimal polynomial of ζ p is p 1 ( ) Φ p (x) := x p x + 1 = x ζ k p, so Z+Zζ p + +Zζp p 2 is a ring which can be identified with Z[x]/(Φ p ) and is denoted Z[ζ p ] Similarly, Q[ζ p ] := Q[x]/(Φ p ) = Q + Qζ p + + Qζ p 2 p is a field (using that Φ p is irreducible) If you know some Galois theory, you ll realize that the extension of fields Q[ζ p ] Q is Galois and that Q[ζ p ] and Z[ζ p ] possess p 1 automorphisms sending ζ p to the other primitive pth roots of unity We ll construct these automorphisms by hand, without Galois theory For 1 k p 1, consider the ring homomorphism σ k : Z[x] Z[x] that sends x to x k One checks that σ k maps the ideal Φ p Z[x] into itself by calculating σ(φ p ) = xpk 1 x k 1 (xp 1)Z[x] x k 1 k=1 = Φ p(x)z[x] x k , and noting that Φ p (x) and x k are relatively prime elements of Z[x] (meaning they generate the unit ideal) Therefore σ k gives a well defined ring homomorphism from Z[x]/(Φ p ) to itself Moreover, if kl 1 mod p then σ k and σ l are inverse to each other; in particular all the σ k are automorphisms of Z[ζ p ] (and they fix Z, as any automorphism must) They also induce automorphisms of Q[ζ p ] (fixing Q) We can deduce from this that Φ p is irreducible (which we haven t used in this paragraph) For let f be the minimal polynomial of ζ p, which is one of the irreducible factors of Φ p The coefficients of f, because they are rational, are fixed by each σ k Therefore each σ k (ζ p ) = ζ k p also satisfies f, which means f is all of Φ p Define a norm map N : Z[ζ p ] Z by p 1 N(α) = σ k (α) k=1 To see that the image really lies in Z, note that (1) for any α, N(α) is fixed by every σ k, and (2) the set of elements of Z[ζ p ] that are fixed by every σ k is Z

5 ALGEBRAIC NUMBER THEORY 5 The argument given above is more conceptual than the usual proof that Φ p (x) is irreducible, in which one proves (equivalently) that the polynomial p 1 ( x (1 ζ k p ) ) = Φ p (1 x) k=1 is irreducible The constant coefficient is Φ p (1 0) = Φ p (1) = p, and it s an elementary exercise to show the other coefficients (except the leading coefficient) are also divisible by p; hence the polynomial is irreducible according to Eisenstein s criterion 1 This argument draws attention to two noteworthy features of Z[ζ p ] The first is that 1 ζ p, because it has norm p, generates a prime ideal with residue field F p (exercise: prove this carefully) Moreover for any k, 1 ζp k = (1 ζ p )(1 + + ζp k 1 ) (1 ζ p )Z[ζ p ] and reversing the roles of ζ p and ζp k we get 1 ζ p (1 ζp k )Z[ζ p ] Hence the ideals (1 ζp k ) for 1 k p 1 are all the same ideal, and so the ideal (p) = (1 ζ p ) p 1 (we say (p) is totally ramified ) We ll see later that p is the only ramified prime This explains why the coefficients of Φ p (1 x) are divisible by p: they are in the ideal generated by the roots, which is (1 ζ p ), and they are integers The second interesting feature, which follows from what we ve said above, is that ζp k 1 is a unit for 1 k < p Note that each such unit is the product of a root of unity in Z[ζ p ] and a unit of the real subring Z[ζ p ] R, and that the same group U R is generated using only 2 k p 1 U 2 R turns out to be free abelian of rank p By a standard theorem that determines how many units there are in rings of algebraic integers (which we won t quite have time to prove in this course), U R has finite index inside the group of all units of Z[ζ p ] (in particular, up to finite index all units are real) Further, a result special to cyclotomic rings states that the group generated U R and the obvious roots of unity equals the whole group of units of Z[ζ p ] exactly when Z[ζ p ] is a PID Homework: Read through these notes, and make sure you can give solid proofs of all assertions beginning with Note that, as well as any other assertions for which an argument is given (but not given in full detail) Ask next time or by if there are any details that you can t clarify (These examples will guide us as we develop the subject abstractly, starting next time) 1 Eisenstein s criterion says that if a monic polynomial has all coefficients divisible by a prime p, and the constant coefficient not divisible by p 2, then it is irreducible

6 6 STEVE DONNELLY Lecture Two: Number fields and rings of integers A number field is a field obtained from Q by adjoining a root of an irreducible polynomial Let s review the construction known as adjoining the root of a polynomial Proposition 21 Let F be any field For an irreducible element f F [x], the ring F [x]/(f) is a field Proof: Exercise As a consequence of the proposition, given any ring R F containing the coefficients of f, the ring R[x]/(f) is an integral domain, because you can define an injective ring homomorphism R[x]/(f) F [x]/(f) Notation Q[α] and Z[α] When α is a root of f in some given ring R (such as C), then Z[α] denotes the smallest subring of R that contains Z and α Otherwise, when α does not explicitly denote an element of a previously defined ring, then Z[α] is simply a name for the ring Z[x]/(f), and α is a name for the image of x in Z[x]/(f) We don t automatically identify Z[x]/(f) with a subring of R or C The same comments apply to Q[α] When Q[α] is a field we also write Q(α) Example Adjoining the square root of an integer d Z Q[ d] := Q[x]/(x 2 d), Z[ d] := Z[x]/(x 2 d) Definition An algebraic number field is a field of the form Q[x]/(f) for some irreducible element f Q[x] Recall that given an extension of fields K L, also denoted L/K, L is a vector space over K and the dimension is called the degree of L over K, deg(l/k) Proposition 22 ( Theorem of the primitive element ) A number field is the same thing as a finite extension of Q Proof Clearly every element in a finite extension K/Q is algebraic (satisfies a polynomial in Q[x]), so K = Q(α 1, α 2,, α k ) It suffices to show that the field generated by any two elements α, β K can be generated by a single element (and then apply induction) We ll use the fact from Galois theory that a finite extension K/Q has only finitely many intermediate subfields Q F K Consider the subfields Q(α + qβ) for q Q Since there are only finitely many subfields, we must have Q(α + q 1 β) = Q(α + q 2 β) for some q 1 q 2 But then that field must contain α and β, so Q(α, β) = Q(α + q 1 β) is generated by a single element In particular, a finite extension is algebraic, so every element satisfies a polynomial with coefficients in the ground field

7 ALGEBRAIC NUMBER THEORY 7 Definition For an element β in a number field K, the minimal polynomial of β is the monic polynomial in Q[x] satisfied by β of smallest possible degree The minimal polynomial is uniquely determined: it is determined up to a unit as a generator of the ideal in Q[x] of polynomials satisfied by β, and there is a unique monic generator since the units in Q[x] are Q Check that the minimal polynomial of any element is irreducible In these notes K will always denote a number field Algebraic integers Inside any number field, we wish to define a ring of integers, generalising Z inside Q Definition Let K be a number field An element α K is an algebraic integer if its minimal polynomial has coefficients in Z Example The golden number is an algebraic integer, since its minimal polynomial is x 2 x 1 The next lemma tells us that a number is an algebraic integer iff it satisfies some monic polynomial in Z[x] (the polynomial doesn t need to be irreducible) Lemma 23 (Gauss Lemma) Let f Z[x] be monic and suppose f = gh for monic g, h Q[x] Then g, h Z[x] Proof See any general purpose algebra book We want to show that sums and products of algebraic integers are again algebraic integers It is too awkward to work with the minimal polynomial of a sum or product, so we take a more abstract approach, and use the finiteness criterion for integrality given in the next lemma The intuition here is that if α is not an integer, α n will have larger and larger denominators as n grows, and α n won t be an integer combination of smaller powers of α In other words the ring Z[α] generated by α will not be finitely generated as a Z-module For instance [ ] 1 Z = { a : a Z, n 0} 2 2n whereas the Z-module generated by any finite subset of Z[ 1 ] has bounded 2 denominators Lemma 24 α is an algebraic integer iff Z[α] is finitely generated as a Z-module Proof: Exercise Corollary 25 The set of algebraic integers inside a number field K forms a ring, which we denote O K

8 8 STEVE DONNELLY Proof We must show the set is closed under addition and multiplication Suppose α and β are integers in K, so Z[α] and Z[β] are finitely generated Z-modules, say with generators {α i : i I} and {β j : j J} respectively Then the ring Z[α, β] generated by α and β, is generated as a Z-module by the finite set {α i β j : (i, j) I J} Recall that submodules of finitely generated Z-modules are themselves finitely generated Since Z[α, β] contains Z[α+β] and Z[αβ], they are also finitely generated Z-modules, which shows that α + β and αβ are algebraic integers Corollary 26 Let Q denote an algebraic closure of Q The set of algebraic integers in Q forms a ring Note that every element of Q is algebraic (satisfies a polynomial in Q[x]), so Q is the union of the number fields it contains Proof of the corollary For any algebraic integers α and β in Q, the field Q[α, β] which they generate is a number field by Prop 22 Hence α + β and αβ are algebraic integers by the previous corollary Proposition 27 For any number field K, O K is finitely generated as a Z-module Hence O K = Zα 1 + +Zα n for some algebraic integers α i Proof: Exercise Real and complex embeddings, trace and norm Let K = Q[x]/(f) be a number field, with f monic Note that since f is irreducible, it has distinct roots (over any field containing Q) By the fundamental theorem of algebra, f = (x α 1 ) (x α r )(x β 1 )(x β 1 ) (x β s )(x β s ) where α 1 α r are the real roots and β i, β i are the conjugate pairs of complex roots So we get r embeddings (injective homomorphisms of fields) K R, sending x to α i, and additionally s pairs of embeddings K C They are well defined homomorphisms from Q[x]/(f) because the image of f is f(α i ) = 0 Note that any nonzero homomorphism of fields is injective Conversely there are no other embeddings K C, since any homomorphism from Q[x] to any ring R that sends f to 0 must send x to a root of f in R Definition Trace and norm For α K let T r K/Q (α) := σ(α), N K/Q (α) := σ:k C σ:k C σ(α) Note that for α, β K, T r K/Q (α + β) = T r K/Q (α) + T r K/Q (β), N K/Q (α + β) = N K/Q (α)n K/Q (β) and

9 ALGEBRAIC NUMBER THEORY 9 Proposition 28 Suppose K = Q(α) has degree d, and let the minimal polynomial of α be x d + a 1 x d a d Then T r K/Q (α) = a 1 and N K/Q (α) = ( 1) d a d Proof: By definition In particular, the trace and norm lie in Q in this situation We now look at the situation where Q(α) is a proper subfield of K In particular for a Q, it s clear that T r K/Q (a) = da and N K/Q (a) = a d, where d = deg(k/q) Proposition 29 Suppose α K Let M = Q(α), so Q M K, and let d = deg(m/k) Then T r K/Q (α) = dt r M/Q (α) and N K/Q (α) = N M/Q (α) d Proof By Prop 22, K = Q(β) for some beta Now let m β,m M[x] be the minimal polynomial of β over M, which has degree d The embedddings K C can be described as follows For each embedding σ : M C, the polynomial σ m β,m C[x] obtained by applying σ to the coefficients of m β,m is irreducible over σ(m), since σ is an isomorphism of fields M = σ(m) The embeddings K C extending σ must send β to a root of m β,m, so there are precisely d such embeddings The proposition follows Corollary 210 For any α K, T r K/Q (α) and N K/Q (α) belong to Q If α O K, they belong to Z Proof Use the previous two propositions For the second statement, since α is integral, each σ(α) is integral, and together they generate a number field L C Since the algebric integers in L form a ring, the trace and norm are algebraic integers lying in Q, and so they belong to Z Homework Set One Core Problems Worth 40 points Due Tuesday April 19 by 2pm (1) Prove Prop 21 (2) For any integral element α in a number field K = Q[x]/(f) and any prime number p, show that the residue ring Z[α]/(p) is isomorphic to F p [x]/(f) With K = Q[ 3 2] give an example of α and p for which Z[α]/(p) is a field; give another example for which it is not a field and express it as a direct sum of fields (3) Prove Lemma 24 and Prop 27 (4) Find the ring of integers in Q[ 2d] for an odd integer d, and in Q[x]/(x 3 x 1) (5) Let K = Q( m, n) where m, n are coprime, odd integers What are the subfields of K? For which values of m, n is O K = Z[ m, n]? For which values does O K have odd discriminant?

10 10 STEVE DONNELLY (6) The theory we re studying started its life around the 1840s with the work of Kummer, in the hope of proving Fermat s Last Theorem For an odd prime p, suppose there are coprime x, y, z Z satisfying z p = x p + y p = (x + y)(x + ζ p y) (x + ζ p 1 p y) Show that the factors on the right are nearly coprime to eachother in Z[ζ p ], by identifying the possibilities for the ideal generated by two of them Deduce that if Z[ζ p ] is a UFD, each factor is nearly a pth power Problems for discussion (in 2 weeks time) Worth 20 points, no deadline for solutions What s expected here? At a minimum (for 10 points), you should think about some of the problems, try out several ideas/examples, and come to our discussion session ready to explain where you got stuck (1) (15 points) Let K = Q(ζ p ) for an odd prime p Recall that (1 ζ p ) p 1 Z[ζ p ] = pz[ζ p ] (a) Show that the discriminant of Z[ζ p ] is a power of p (b) Show that (1 ζ p )O K is a prime ideal (c) Show that O K = Z[ζ p ] (Hint: Think in Z[1 ζ p ] instead Suppose α = a 0 +a 1 (1 ζ p )+ +a p 1 (1 ζ p ) p 1 is integral, and consider powers of 1 ζ p ) You can do (b) and (c) in either order (2) (25 points) Investigate whether there exists a number field K for which O K is not equal to Z[α] for any α K Representations and integrality Proposition 211 Let G be a finite group and let χ be the character associated to a representation of G over C Then for each g G, χ(g) is an algebraic integer Proof Let n be the order of g The representation associates to g a matrix M which must satisfy M d = I; in particular all eigenvalues of M must satisfy ω d = 1 By Gauss Lemma 23, they are algebraic integers in C The set of all algebraic integers in C forms a ring Therefore χ(g), which is the sum of the eigenvalues, is also an algebraic integer The following proposition was stated without proof by Michael, and used in showing that the dimension of an irreducible representation over C divides the group order Proposition 212 Suppose u = g u(g)g C[G], where the coefficients u(g) are algebraic integers Then u is integral over Z, in other words u satisfies a monic polynomial in Z[x]

11 ALGEBRAIC NUMBER THEORY 11 Proof We can work in O K [G], where K C is a number field containing u(g) for all g As a Z-module, O K [G] is generated by the finite set {α i g : 1 i n, g G} where α 1,, α n is an integral basis of O K Let M be the Z-submodule of O K [G] generated by the powers of u Since any submodule of a finitely generated Z-module is also finitely generated, M must be generated by {1, u, u 2,, u k } for some k But u k+1 is also in M, so u k+1 = a 0 + a 1 u + a k u k with a i Z, showing that u satisfies a monic polynomial in Z[x] Lecture Three: Discriminants We would like to be able to easily determine the ring of integers in a number field The discriminant will be a helpful tool Definition Let K be a number field of degree n, and let σ 1, σ n denote the embeddings K C We define the discriminant of a basis α 1, α n of K (as a vector space over Q) to be 2 σ 1 (α 1 ) σ 1 (α n ) disc(α 1, α n ) := = det ( T r K/Q (α i α j ) ) 1 i,j n σ n (α 1 ) σ n (α n ) The two formulas for the discriminant are equal because both of them are equal to σ 1 (α 1 ) σ n (α 1 ) σ 1 (α 1 ) σ 1 (α n ) σ 1 (α n ) σ n (α n ) σ n (α 1 ) σ n (α n ) Where does this crazy determinant come from? The ith column is the image of α i under the map (σ 1,, σ n ) : K C n This map is injective (indeed each embedding individually is injective) We will show later that disc(α 1, α n ) is nonzero, which means that the images of α 1,, α n under this map are C-linearly independent It s unnecessary to use all the embeddings when some of them occur in conjugate pairs: one from each pair is enough So it s nicer instead to map the K into R r C s = R n using all r real embeddings of K and one embedding chosen from each pair of complex conjugate embeddings The images of α 1,, α n are linearly independent over R (Otherwise, if there were real numbers r j such that r 1 σ i (α 1 ) + + r n σ i (α n ) for all the chosen embeddings σ i, then the same relation would hold for the other embeddings too, simply by taking conjugates But this would contradict the fact that disc(α 1, α n ) is nonzero) Therefore the image is a lattice in R n (in other words, a copy of Z n R n that spans R n ) For any generating set b 1,, b n of a lattice in R n, the associated fundamental domain is the set {β 1 b 1 + +β n b n : 0 β i 1} R n Its volume, up to sign, is the determinant of the matrix of basis vectors b i In our situation, when all the embeddings are real, the first matrix

12 12 STEVE DONNELLY appearing in the definition above is the matrix of basis vectors general there is a slight change of basis involved, and one has disc(α 1, α n ) = 2 2s V ol(zα Zα n ) 2 Using the second formula in the definition of the discriminant, we see that the discriminant of any basis α 1, α n of K lies in Q, and the discriminant of an integral basic (a basis consisting of algebraic integers) lies in Z This means that the discriminant gives us information about the ring of integers, as we will see next First we prove a fact about Z-modules which is useful in many situations Lemma 313 Suppose φ is a homomorphism of Z-modules from Z n to itself, given by a matrix M Then det M equals the index [Z n : φ(z n )] Proof View Z n R n Let H be the basic hypercube in R n, in other words H = {a 1 e a n e n R n : 0 a i < 1} where the e i s denote the standard basis of R n Now, φ : Z n Z n extends to a linear transformation φ : R n R n, also given by M Since φ(z n ) has finite index in Z n, φ(z n ) spans R n, which implies that φ is surjective Note that H is a set of coset representatives for R n /Z n, and hence φ(h) is a set of coset representatives for R n /φ(z n ) Since Z n /φ(z n ) has order m, this implies V ol( φ(h)) = mv ol(h) = m On the other hand, φ(h) = {a 1 φ(e 1 ) + + a n φ(e n ) R n : 0 a i < 1}, where the vectors φ(e i ) are the columns of M, so V ol( φ(h)) = det(m) Proposition 314 Suppose L = Zα Zα n is a submodule of index m in L = Zα Zα n Then disc(α 1, α n ) = m 2 disc(α 1,, α n) Proof Let φ : L L be the map sending α i to α i for each i Thus φ(l ) = L, which has index m in L Therefore using the previous lemma, the associated matrix M M n (Z) has determinant m Since [α 1,, α n]m = [α 1,, α n ] and M has integer entries, we have σ 1 (α 1) σ 1 (α n) σ 1 (α 1 ) σ 1 (α n ) M = σ n (α 1) σ n (α n) σ n (α 1 ) σ n (α n ) and the proposition follows Recall Prop 27, that O K = Zα Zα n for some integral basis Corollary 315 Suppose α 1, α n is an integral basis with discriminant D Let d be the largest integer with d 2 D Then O K Z α 1 d + + Zα n d Proof Using Prop 314, the order of O K /Zα Zα n divides d Hence do K Zα Zα n In

13 ALGEBRAIC NUMBER THEORY 13 Example Rings of integers in K = Q( d) for odd d We calculate disc(1, d) = 4d Therefore Z[ d] is either equal to O K or is a submodule of index 2 in O K, and O K 1 2 Z[ d] Considering the quotient of abelian groups 1 2 Z[ d]/z[ d] = Z/2 Z/2, we see there are three possibilities for O K Clearly 1 and d are not integral 2 2 On the other hand we calculate that the minimal polynomial of 1+ d 2 is x 2 x d 1 Therefore O 4 K equals Z[ 1+ d] for d 1 mod 4, and 2 Z[ d] for d 3 mod 4 Definitions The discriminant of α K is disc(1, α,, α deg(k/q) 1 ) The discriminant of K, or of O K is the discriminant of an integral basis that generates O K as a Z-module Proposition 316 The discriminant of an irreducible polynomial equals the discriminant of one of its roots Proof Suppose f(x) = (x α 1 ) (x α n ) is irreducible Then 1 α 1 α n disc(α 1 ) = det = (α i α j ) 2 = disc(f) 1 α n αn n 1 1 i<j n using the Vandemonde determinant Corollary 317 The discriminant of any basis of K over Q is nonzero Proof The discriminant of a basis of the form 1, α, α deg(k/q) 1 is nonzero by the previous proposition, since an irreducible polynomial over Q has distinct roots The discriminants of any two bases differ by a nonzero square factor, as a consequence of Prop 314 Office 126, Research 1, phone address: sdonnelly@iu-bremende

Explicit Methods in Algebraic Number Theory

Explicit Methods in Algebraic Number Theory Explicit Methods in Algebraic Number Theory Amalia Pizarro Madariaga Instituto de Matemáticas Universidad de Valparaíso, Chile amaliapizarro@uvcl 1 Lecture 1 11 Number fields and ring of integers Algebraic

More information

18. Cyclotomic polynomials II

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

More information

Algebraic number theory Revision exercises

Algebraic number theory Revision exercises Algebraic number theory Revision exercises Nicolas Mascot (n.a.v.mascot@warwick.ac.uk) Aurel Page (a.r.page@warwick.ac.uk) TA: Pedro Lemos (lemos.pj@gmail.com) Version: March 2, 20 Exercise. What is the

More information

FACTORIZATION OF IDEALS

FACTORIZATION OF IDEALS FACTORIZATION OF IDEALS 1. General strategy Recall the statement of unique factorization of ideals in Dedekind domains: Theorem 1.1. Let A be a Dedekind domain and I a nonzero ideal of A. Then there are

More information

(January 14, 2009) q n 1 q d 1. D = q n = q + d

(January 14, 2009) q n 1 q d 1. D = q n = q + d (January 14, 2009) [10.1] Prove that a finite division ring D (a not-necessarily commutative ring with 1 in which any non-zero element has a multiplicative inverse) is commutative. (This is due to Wedderburn.)

More information

Some algebraic number theory and the reciprocity map

Some algebraic number theory and the reciprocity map Some algebraic number theory and the reciprocity map Ervin Thiagalingam September 28, 2015 Motivation In Weinstein s paper, the main problem is to find a rule (reciprocity law) for when an irreducible

More information

NOTES ON FINITE FIELDS

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

More information

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015 Galois Theory TCU Graduate Student Seminar George Gilbert October 201 The coefficients of a polynomial are symmetric functions of the roots {α i }: fx) = x n s 1 x n 1 + s 2 x n 2 + + 1) n s n, where s

More information

Graduate Preliminary Examination

Graduate Preliminary Examination Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.

More information

6]. (10) (i) Determine the units in the rings Z[i] and Z[ 10]. If n is a squarefree

6]. (10) (i) Determine the units in the rings Z[i] and Z[ 10]. If n is a squarefree Quadratic extensions Definition: Let R, S be commutative rings, R S. An extension of rings R S is said to be quadratic there is α S \R and monic polynomial f(x) R[x] of degree such that f(α) = 0 and S

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

GALOIS THEORY. Contents

GALOIS THEORY. Contents GALOIS THEORY MARIUS VAN DER PUT & JAAP TOP Contents 1. Basic definitions 1 1.1. Exercises 2 2. Solving polynomial equations 2 2.1. Exercises 4 3. Galois extensions and examples 4 3.1. Exercises. 6 4.

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

Math 6370: Algebraic Number Theory

Math 6370: Algebraic Number Theory Math 6370: Algebraic Number Theory Taught by David Zywina Notes by David Mehrle dmehrle@math.cornell.edu Cornell University Spring 2018 Last updated May 13, 2018. The latest version is online here. Contents

More information

TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction

TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS KEITH CONRAD A (monic) polynomial in Z[T ], 1. Introduction f(t ) = T n + c n 1 T n 1 + + c 1 T + c 0, is Eisenstein at a prime p when each coefficient

More information

Algebraic number theory

Algebraic number theory Algebraic number theory F.Beukers February 2011 1 Algebraic Number Theory, a crash course 1.1 Number fields Let K be a field which contains Q. Then K is a Q-vector space. We call K a number field if dim

More information

ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra

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

More information

Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.

Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u. 5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field

More information

Algebra Qualifying Exam Solutions. Thomas Goller

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

More information

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

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

More information

Homework problems from Chapters IV-VI: answers and solutions

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

More information

ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011

ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011 ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved

More information

MAT 535 Problem Set 5 Solutions

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

More information

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

Dirichlet s Theorem and Algebraic Number Fields. Pedro Sousa Vieira

Dirichlet s Theorem and Algebraic Number Fields. Pedro Sousa Vieira Dirichlet s Theorem and Algebraic Number Fields Pedro Sousa Vieira February 6, 202 Abstract In this paper we look at two different fields of Modern Number Theory: Analytic Number Theory and Algebraic Number

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

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

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 17, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Factorization 0.1.1 Factorization of Integers and Polynomials Now we are going

More information

Johns Hopkins University, Department of Mathematics Abstract Algebra - Spring 2013 Midterm Exam Solution

Johns Hopkins University, Department of Mathematics Abstract Algebra - Spring 2013 Midterm Exam Solution Johns Hopkins University, Department of Mathematics 110.40 Abstract Algebra - Spring 013 Midterm Exam Solution Instructions: This exam has 6 pages. No calculators, books or notes allowed. You must answer

More information

Galois theory (Part II)( ) Example Sheet 1

Galois theory (Part II)( ) Example Sheet 1 Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that

More information

Solutions of exercise sheet 6

Solutions of exercise sheet 6 D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 6 1. (Irreducibility of the cyclotomic polynomial) Let n be a positive integer, and P Z[X] a monic irreducible factor of X n 1

More information

These warmup exercises do not need to be written up or turned in.

These warmup exercises do not need to be written up or turned in. 18.785 Number Theory Fall 2017 Problem Set #3 Description These problems are related to the material in Lectures 5 7. Your solutions should be written up in latex and submitted as a pdf-file via e-mail

More information

Problem 1. Characterizing Dedekind domains (64 points)

Problem 1. Characterizing Dedekind domains (64 points) 18.785 Number Theory I Fall 2017 Problem Set #2 Description These problems are related to the material covered in Lectures 3 5. Your solutions are to be written up in latex (you can use the latex source

More information

RINGS: SUMMARY OF MATERIAL

RINGS: SUMMARY OF MATERIAL RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered

More information

GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)

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

ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK

ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK 1. Practice exam problems Problem A. Find α C such that Q(i, 3 2) = Q(α). Solution to A. Either one can use the proof of the primitive element

More information

Math 121 Homework 2 Solutions

Math 121 Homework 2 Solutions Math 121 Homework 2 Solutions Problem 13.2 #16. Let K/F be an algebraic extension and let R be a ring contained in K that contains F. Prove that R is a subfield of K containing F. We will give two proofs.

More information

Fields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory.

Fields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. Fields and Galois Theory Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. This should be a reasonably logical ordering, so that a result here should

More information

TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction

TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS KEITH CONRAD A (monic) polynomial in Z[T ], 1. Introduction f(t ) = T n + c n 1 T n 1 + + c 1 T + c 0, is Eisenstein at a prime p when each coefficient

More information

RUDIMENTARY GALOIS THEORY

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

More information

NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22

NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22 NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22 RAVI VAKIL Hi Dragos The class is in 381-T, 1:15 2:30. This is the very end of Galois theory; you ll also start commutative ring theory. Tell them: midterm

More information

Homework 4 Solutions

Homework 4 Solutions Homework 4 Solutions November 11, 2016 You were asked to do problems 3,4,7,9,10 in Chapter 7 of Lang. Problem 3. Let A be an integral domain, integrally closed in its field of fractions K. Let L be a finite

More information

PRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators.

PRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators. PRACTICE FINAL MATH 18.703, MIT, SPRING 13 You have three hours. This test is closed book, closed notes, no calculators. There are 11 problems, and the total number of points is 180. Show all your work.

More information

MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11

MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 3. Examples I did some examples and explained the theory at the same time. 3.1. roots of unity. Let L = Q(ζ) where ζ = e 2πi/5 is a primitive 5th root of

More information

Algebra Ph.D. Preliminary Exam

Algebra Ph.D. Preliminary Exam RETURN THIS COVER SHEET WITH YOUR EXAM AND SOLUTIONS! Algebra Ph.D. Preliminary Exam August 18, 2008 INSTRUCTIONS: 1. Answer each question on a separate page. Turn in a page for each problem even if you

More information

A BRIEF INTRODUCTION TO LOCAL FIELDS

A BRIEF INTRODUCTION TO LOCAL FIELDS A BRIEF INTRODUCTION TO LOCAL FIELDS TOM WESTON The purpose of these notes is to give a survey of the basic Galois theory of local fields and number fields. We cover much of the same material as [2, Chapters

More information

p-adic fields Chapter 7

p-adic fields Chapter 7 Chapter 7 p-adic fields In this chapter, we study completions of number fields, and their ramification (in particular in the Galois case). We then look at extensions of the p-adic numbers Q p and classify

More information

Math 210B: Algebra, Homework 6

Math 210B: Algebra, Homework 6 Math 210B: Algebra, Homework 6 Ian Coley February 19, 2014 Problem 1. Let K/F be a field extension, α, β K. Show that if [F α) : F ] and [F β) : F ] are relatively prime, then [F α, β) : F ] = [F α) :

More information

Notes on graduate algebra. Robert Harron

Notes on graduate algebra. Robert Harron Notes on graduate algebra Robert Harron Department of Mathematics, Keller Hall, University of Hawai i at Mānoa, Honolulu, HI 96822, USA E-mail address: rharron@math.hawaii.edu Abstract. Graduate algebra

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

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

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

More information

Math 553 Qualifying Exam. In this test, you may assume all theorems proved in the lectures. All other claims must be proved.

Math 553 Qualifying Exam. In this test, you may assume all theorems proved in the lectures. All other claims must be proved. Math 553 Qualifying Exam January, 2019 Ron Ji In this test, you may assume all theorems proved in the lectures. All other claims must be proved. 1. Let G be a group of order 3825 = 5 2 3 2 17. Show that

More information

IUPUI Qualifying Exam Abstract Algebra

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

More information

Number Theory Fall 2016 Problem Set #3

Number 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 5-7. Your solutions are to be written up in latex and submitted as a pdf-file via

More information

FACTORING AFTER DEDEKIND

FACTORING AFTER DEDEKIND FACTORING AFTER DEDEKIND KEITH CONRAD Let K be a number field and p be a prime number. When we factor (p) = po K into prime ideals, say (p) = p e 1 1 peg g, we refer to the data of the e i s, the exponents

More information

but no smaller power is equal to one. polynomial is defined to be

but no smaller power is equal to one. polynomial is defined to be 13. Radical and Cyclic Extensions The main purpose of this section is to look at the Galois groups of x n a. The first case to consider is a = 1. Definition 13.1. Let K be a field. An element ω K is said

More information

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive n-th root

More information

A Harvard Sampler. Evan Chen. February 23, I crashed a few math classes at Harvard on February 21, Here are notes from the classes.

A Harvard Sampler. Evan Chen. February 23, I crashed a few math classes at Harvard on February 21, Here are notes from the classes. A Harvard Sampler Evan Chen February 23, 2014 I crashed a few math classes at Harvard on February 21, 2014. Here are notes from the classes. 1 MATH 123: Algebra II In this lecture we will make two assumptions.

More information

Page Points Possible Points. Total 200

Page Points Possible Points. Total 200 Instructions: 1. The point value of each exercise occurs adjacent to the problem. 2. No books or notes or calculators are allowed. Page Points Possible Points 2 20 3 20 4 18 5 18 6 24 7 18 8 24 9 20 10

More information

Chapter 14: Divisibility and factorization

Chapter 14: Divisibility and factorization Chapter 14: Divisibility and factorization Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Summer I 2014 M. Macauley (Clemson) Chapter

More information

Practice problems for first midterm, Spring 98

Practice problems for first midterm, Spring 98 Practice problems for first midterm, Spring 98 midterm to be held Wednesday, February 25, 1998, in class Dave Bayer, Modern Algebra All rings are assumed to be commutative with identity, as in our text.

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

Algebra Qualifying Exam, Fall 2018

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

More information

Solutions 13 Paul Garrett garrett/

Solutions 13 Paul Garrett   garrett/ (March 1, 005) Solutions 13 Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [13.1] Determine the degree of Q( 65 + 56i) over Q, where i = 1. We show that 65 + 56i is not a suare in

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

Algebraic Number Theory Course Notes (Fall 2006) Math 8803, Georgia Tech. Matthew Baker

Algebraic Number Theory Course Notes (Fall 2006) Math 8803, Georgia Tech. Matthew Baker Algebraic Number Theory Course Notes (Fall 2006) Math 8803, Georgia Tech Matthew Baker E-mail address: mbaker@math.gatech.edu School of Mathematics, Georgia Institute of Technology, Atlanta, GA 30332-0140,

More information

1 Number Fields Introduction Algebraic Numbers Algebraic Integers Algebraic Integers Modules over Z...

1 Number Fields Introduction Algebraic Numbers Algebraic Integers Algebraic Integers Modules over Z... Contents 1 Number Fields 3 1.1 Introduction............................ 3 1.2 Algebraic Numbers........................ 5 2 Algebraic Integers 7 2.1 Algebraic Integers......................... 7 2.2 Modules

More information

1. Factorization Divisibility in Z.

1. Factorization Divisibility in Z. 8 J. E. CREMONA 1.1. Divisibility in Z. 1. Factorization Definition 1.1.1. Let a, b Z. Then we say that a divides b and write a b if b = ac for some c Z: a b c Z : b = ac. Alternatively, we may say that

More information

disc f R 3 (X) in K[X] G f in K irreducible S 4 = in K irreducible A 4 in K reducible D 4 or Z/4Z = in K reducible V Table 1

disc f R 3 (X) in K[X] G f in K irreducible S 4 = in K irreducible A 4 in K reducible D 4 or Z/4Z = in K reducible V Table 1 GALOIS GROUPS OF CUBICS AND QUARTICS IN ALL CHARACTERISTICS KEITH CONRAD 1. Introduction Treatments of Galois groups of cubic and quartic polynomials usually avoid fields of characteristic 2. Here we will

More information

Computations/Applications

Computations/Applications Computations/Applications 1. Find the inverse of x + 1 in the ring F 5 [x]/(x 3 1). Solution: We use the Euclidean Algorithm: x 3 1 (x + 1)(x + 4x + 1) + 3 (x + 1) 3(x + ) + 0. Thus 3 (x 3 1) + (x + 1)(4x

More information

Solutions of exercise sheet 11

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

More information

(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

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

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

More information

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

Algebraic proofs of Dirichlet s theorem on arithmetic progressions

Algebraic proofs of Dirichlet s theorem on arithmetic progressions Charles University in Prague Faculty of Mathematics and Physics BACHELOR THESIS Martin Čech Algebraic proofs of Dirichlet s theorem on arithmetic progressions Department of Algebra Supervisor of the bachelor

More information

Number Theory II Spring 2010 Notes

Number Theory II Spring 2010 Notes Number Theory II Spring 200 Notes Kimball Martin Revised: October 7, 205 Contents Introduction 3 I The first part 6 Number Fields 6. Algebraic Numbers..................................... 6.2 Some Galois

More information

Algebra Exam Topics. Updated August 2017

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

More information

Contradiction. Theorem 1.9. (Artin) Let G be a finite group of automorphisms of E and F = E G the fixed field of G. Then [E : F ] G.

Contradiction. Theorem 1.9. (Artin) Let G be a finite group of automorphisms of E and F = E G the fixed field of G. Then [E : F ] G. 1. Galois Theory 1.1. A homomorphism of fields F F is simply a homomorphism of rings. Such a homomorphism is always injective, because its kernel is a proper ideal (it doesnt contain 1), which must therefore

More information

Inverse Galois Problem for Totally Real Number Fields

Inverse Galois Problem for Totally Real Number Fields Cornell University Mathematics Department Senior Thesis Inverse Galois Problem for Totally Real Number Fields Sudesh Kalyanswamy Class of 2012 April, 2012 Advisor: Prof. Ravi Ramakrishna, Department of

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

Continuing the pre/review of the simple (!?) case...

Continuing the pre/review of the simple (!?) case... Continuing the pre/review of the simple (!?) case... Garrett 09-16-011 1 So far, we have sketched the connection between prime numbers, and zeros of the zeta function, given by Riemann s formula p m

More information

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION ADVANCED ALGEBRA II.

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION ADVANCED ALGEBRA II. THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION 2006 110.402 - ADVANCED ALGEBRA II. Examiner: Professor C. Consani Duration: 3 HOURS (9am-12:00pm), May 15, 2006. No

More information

22M: 121 Final Exam. Answer any three in this section. Each question is worth 10 points.

22M: 121 Final Exam. Answer any three in this section. Each question is worth 10 points. 22M: 121 Final Exam This is 2 hour exam. Begin each question on a new sheet of paper. All notations are standard and the ones used in class. Please write clearly and provide all details of your work. Good

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

Understanding hard cases in the general class group algorithm

Understanding hard cases in the general class group algorithm Understanding hard cases in the general class group algorithm Makoto Suwama Supervisor: Dr. Steve Donnelly The University of Sydney February 2014 1 Introduction This report has studied the general class

More information

FERMAT S LAST THEOREM FOR REGULAR PRIMES KEITH CONRAD

FERMAT S LAST THEOREM FOR REGULAR PRIMES KEITH CONRAD FERMAT S LAST THEOREM FOR REGULAR PRIMES KEITH CONRAD For a prime p, we call p regular when the class number h p = h(q(ζ p )) of the pth cyclotomic field is not divisible by p. For instance, all primes

More information

Fermat s Last Theorem for Regular Primes

Fermat s Last Theorem for Regular Primes Fermat s Last Theorem for Regular Primes S. M.-C. 22 September 2015 Abstract Fermat famously claimed in the margin of a book that a certain family of Diophantine equations have no solutions in integers.

More information

Ramification Theory. 3.1 Discriminant. Chapter 3

Ramification Theory. 3.1 Discriminant. Chapter 3 Chapter 3 Ramification Theory This chapter introduces ramification theory, which roughly speaking asks the following question: if one takes a prime (ideal) p in the ring of integers O K of a number field

More information

g(x) = 1 1 x = 1 + x + x2 + x 3 + is not a polynomial, since it doesn t have finite degree. g(x) is an example of a power series.

g(x) = 1 1 x = 1 + x + x2 + x 3 + is not a polynomial, since it doesn t have finite degree. g(x) is an example of a power series. 6 Polynomial Rings We introduce a class of rings called the polynomial rings, describing computation, factorization and divisibility in such rings For the case where the coefficients come from an integral

More information

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

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

More information

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS JENNY WANG Abstract. In this paper, we study field extensions obtained by polynomial rings and maximal ideals in order to determine whether solutions

More information

Classification of Finite Fields

Classification of Finite Fields Classification of Finite Fields In these notes we use the properties of the polynomial x pd x to classify finite fields. The importance of this polynomial is explained by the following basic proposition.

More information

A SIMPLE PROOF OF KRONECKER-WEBER THEOREM. 1. Introduction. The main theorem that we are going to prove in this paper is the following: Q ab = Q(ζ n )

A SIMPLE PROOF OF KRONECKER-WEBER THEOREM. 1. Introduction. The main theorem that we are going to prove in this paper is the following: Q ab = Q(ζ n ) A SIMPLE PROOF OF KRONECKER-WEBER THEOREM NIZAMEDDIN H. ORDULU 1. Introduction The main theorem that we are going to prove in this paper is the following: Theorem 1.1. Kronecker-Weber Theorem Let K/Q be

More information

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition).

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 14.2 Exercise 3. Determine the Galois group of (x 2 2)(x 2 3)(x 2 5). Determine all the subfields

More information

Algebra Exam, Spring 2017

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

More information

COUNTING MOD l SOLUTIONS VIA MODULAR FORMS

COUNTING MOD l SOLUTIONS VIA MODULAR FORMS COUNTING MOD l SOLUTIONS VIA MODULAR FORMS EDRAY GOINS AND L. J. P. KILFORD Abstract. [Something here] Contents 1. Introduction 1. Galois Representations as Generating Functions 1.1. Permutation Representation

More information

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

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

More information

Algebraic structures I

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

More information

Galois Theory of Cyclotomic Extensions

Galois Theory of Cyclotomic Extensions Galois Theory of Cyclotomic Extensions Winter School 2014, IISER Bhopal Romie Banerjee, Prahlad Vaidyanathan I. Introduction 1. Course Description The goal of the course is to provide an introduction to

More information

MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions

MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions Basic Questions 1. Give an example of a prime ideal which is not maximal. In the ring Z Z, the ideal {(0,

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