ALGEBRAIC NUMBER THEORY - COURSE NOTES
|
|
- Charla McCoy
- 5 years ago
- Views:
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 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 information18. 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 informationAlgebraic 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 informationFACTORIZATION 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) [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 informationSome 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 informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationGalois 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 informationGraduate 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 information6]. (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 informationThus, 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 informationGALOIS 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 informationALGEBRA PH.D. QUALIFYING EXAM September 27, 2008
ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely
More informationMath 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 informationTOTALLY 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 informationAlgebraic 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 informationORAL 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 informationTheorem 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 informationAlgebra Qualifying Exam Solutions. Thomas Goller
Algebra Qualifying Exam Solutions Thomas Goller September 4, 2 Contents Spring 2 2 2 Fall 2 8 3 Spring 2 3 4 Fall 29 7 5 Spring 29 2 6 Fall 28 25 Chapter Spring 2. The claim as stated is false. The identity
More information1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism
1 RINGS 1 1 Rings Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism (a) Given an element α R there is a unique homomorphism Φ : R[x] R which agrees with the map ϕ on constant polynomials
More informationHomework 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 informationALGEBRA 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 informationMAT 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 informationHomework 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 informationDirichlet 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 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 informationLecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman
Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 17, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Factorization 0.1.1 Factorization of Integers and Polynomials Now we are going
More informationJohns 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 informationGalois 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 informationSolutions 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 informationThese 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 informationProblem 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 informationRINGS: SUMMARY OF MATERIAL
RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered
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 informationABSTRACT 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 informationMath 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 informationFields 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 informationTOTALLY 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 informationRUDIMENTARY 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 informationNOTES 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 informationHomework 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 informationPRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators.
PRACTICE FINAL MATH 18.703, MIT, SPRING 13 You have three hours. This test is closed book, closed notes, no calculators. There are 11 problems, and the total number of points is 180. Show all your work.
More informationMATH 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 informationAlgebra Ph.D. Preliminary Exam
RETURN THIS COVER SHEET WITH YOUR EXAM AND SOLUTIONS! Algebra Ph.D. Preliminary Exam August 18, 2008 INSTRUCTIONS: 1. Answer each question on a separate page. Turn in a page for each problem even if you
More informationA 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 informationp-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 informationMath 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 informationNotes 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 informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35 1. Let R 0 be a commutative ring with 1 and let S R be the subset of nonzero elements which are not zero divisors. (a)
More informationChapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples
Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter
More informationMath 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 informationIUPUI Qualifying Exam Abstract Algebra
IUPUI Qualifying Exam Abstract Algebra January 2017 Daniel Ramras (1) a) Prove that if G is a group of order 2 2 5 2 11, then G contains either a normal subgroup of order 11, or a normal subgroup of order
More 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 5-7. Your solutions are to be written up in latex and submitted as a pdf-file via
More informationFACTORING 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 informationbut 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 informationON 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 informationA 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 informationPage 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 informationChapter 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 informationPractice 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 informationAlgebra Ph.D. Entrance Exam Fall 2009 September 3, 2009
Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Directions: Solve 10 of the following problems. Mark which of the problems are to be graded. Without clear indication which problems are to be graded
More informationAlgebra 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 informationSolutions 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 information1. 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 informationAlgebraic 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 information1 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 information1. 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 informationdisc 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 informationComputations/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 informationSolutions 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
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 informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationALGEBRA 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 informationAlgebraic 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 informationNumber 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 informationAlgebra Exam Topics. Updated August 2017
Algebra Exam Topics Updated August 2017 Starting Fall 2017, the Masters Algebra Exam will have 14 questions. Of these students will answer the first 8 questions from Topics 1, 2, and 3. They then have
More informationContradiction. 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 informationInverse 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 informationSolutions 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 informationContinuing 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 informationTHE 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 information22M: 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 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 informationUnderstanding 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 informationFERMAT 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 informationFermat 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 informationRamification 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 informationg(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 informationSchool of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information
MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon
More informationGEOMETRIC 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 informationClassification 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 informationA 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 informationSelected 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 informationAlgebra Exam, Spring 2017
Algebra Exam, Spring 2017 There are 5 problems, some with several parts. Easier parts count for less than harder ones, but each part counts. Each part may be assumed in later parts and problems. Unjustified
More informationCOUNTING 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 informationMath 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 informationAlgebraic 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 informationGalois 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 informationMATH 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 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 information