# Nigel Boston. University of Wisconsin - Madison THE PROOF OF FERMAT S LAST THEOREM. Spring 2003

Save this PDF as:

Size: px
Start display at page:

Download "Nigel Boston. University of Wisconsin - Madison THE PROOF OF FERMAT S LAST THEOREM. Spring 2003"

## Transcription

1 i Nigel Boston University of Wisconsin - Madison THE PROOF OF FERMAT S LAST THEOREM Spring 2003

2 ii INTRODUCTION. This book will describe the recent proof of Fermat s Last Theorem by Andrew Wiles, aided by Richard Taylor, for graduate students and faculty with a reasonably broad background in algebra. It is hard to give precise prerequisites but a first course in graduate algebra, covering basic groups, rings, and fields together with a passing acquaintance with number rings and varieties should suffice. Algebraic number theory (or arithmetical geometry, as the subject is more commonly called these days) has the habit of taking last year s major result and making it background taken for granted in this year s work. Peeling back the layers can lead to a maze of results stretching back over the decades. I attended Wiles three groundbreaking lectures, in June 1993, at the Isaac Newton Institute in Cambridge, UK. After returning to the US, I attempted to give a seminar on the proof to interested students and faculty at the University of Illinois, Urbana-Champaign. Endeavoring to be complete required several lectures early on regarding the existence of a model over Q for the modular curve X 0 (N) with good reduction at primes not dividing N. This work hinged on earlier work of Zariski from the 1950 s. The audience, keen to learn new material, did not appreciate lingering over such details and dwindled rapidly in numbers. Since then, I have taught the proof in two courses at UIUC, a two-week summer workshop at UIUC (with the help of Chris Skinner of the University of Michigan), and most recently a

3 course in spring 2003 at the University of Wisconsin - Madison. To avoid getting bogged down as in the above seminar, it is necessary to assume some background. In these cases, references will be provided so that the interested students can fill in details for themselves. The aim of this work is to convey the strong and simple line of logic on which the proof rests. It is certainly well within the ability of most graduate students to appreciate the way the building blocks of the proof go together to give the result, even though those blocks may themselves be hard to penetrate. If anything, this book should serve as an inspiration for students to see why the tools of modern arithmetical geometry are valuable and to seek to learn more about them. An interested reader wanting a simple overview of the proof should consult Gouvea [13], Ribet [25], Rubin and Silverberg [26], or my article [1]. A much more detailed overview of the proof is the one given by Darmon, Diamond, and Taylor [6], and the Boston conference volume [5] contains much useful elaboration on ideas used in the proof. The Seminaire Bourbaki article by Oesterlé and Serre [22] is also very enlightening. Of course, one should not overlook the original proof itself [38], [34]. iii

4 iv CONTENTS. Introduction. Contents. Chapter 1: History and overview. Chapter 2: Profinite groups, complete local rings. Chapter 3: Infinite Galois groups, internal structure. Chapter 4: Galois representations from elliptic curves, modular forms, group schemes. Chapter 5: Invariants of Galois representations, semistable representations. Chapter 6: Deformations of Galois representations. Chapter 7: Introduction to Galois cohomology. Chapter 8: Criteria for ring isomorphisms. Chapter 9: The universal modular lift. Chapter 10: The minimal case. Chapter 11: The general case. Chapter 12: Putting it together, the final trick.

5 v 1 History and Overview It is well-known that there are many solutions in integers to x 2 + y 2 = z 2, for instance (3, 4, 5), (5, 12, 13). The Babylonians were aware of the solution (4961, 6480, 8161) as early as around 1500 B.C. Around 1637, Pierre de Fermat wrote a note in the margin of his copy of Diophantus Arithmetica stating that x n +y n = z n has no solutions in positive integers if n > 2. We will denote this statement for n (F LT ) n. He claimed to have a remarkable proof. There is some doubt about this for various reasons. First, this remark was published without his consent, in fact by his son after his death. Second, in his later correspondence, Fermat discusses the cases n = 3, 4 with no reference to this purported proof. It seems likely then that this was an off-the-cuff comment that Fermat simply omitted to erase. Of course (F LT ) n implies (F LT ) αn, for α any positive integer, and so it suffices to prove (F LT ) 4 and (F LT ) l for each prime number l > 2.

6 1.1 Proof of (F LT ) 4 by Fermat vi 1.1 Proof of (F LT ) 4 by Fermat First, we must deal with the equation x 2 + y 2 = z 2. We may assume x, y, and z are positive and relatively prime (since otherwise we may divide out any common factors because the equation is homogeneous), and we see that one of x or y is even (since otherwise z 2 2 (mod 4), which is a contradiction). Suppose that x is even. Then ( ) ( z y z + y 2 2 ) ( ) x 2 = 2 with relatively prime factors on the left hand side and a square on the right hand side. Hence z y 2 = b 2, z + y 2 = a 2, with a, b Z +. Then y = a 2 b 2, z = a 2 + b 2, and x = 2ab. [Alternatively, if x 2 + y 2 = z 2, then (x + iy)/z has norm 1, and so by Hilbert s Theorem 90, x + iy z which yields the same result.] = a + ib a ib = (a2 b 2 ) + i 2ab a 2 + b 2, Theorem 1.1 x 4 + y 4 = z 2 has no solutions with x, y, z all nonzero, relatively prime integers. This implies (F LT ) 4. Proof: Say x 2 = 2ab y 2 = a 2 b 2 z = a 2 + b 2

7 1.2 Proof of (F LT ) 3 vii with a and b relatively prime. Clearly, b is even (y is odd, since x is even), and from a 2 = y 2 + b 2 we get b = 2cd y = c 2 d 2 a = c 2 + d 2 with c and d relatively prime. Hence x 2 = 2ab = 4cd(c 2 + d 2 ) with c, d, and c 2 + d 2 relatively prime. Then c = e 2 d = f 2 c 2 + d 2 = g 2 whence e 4 + f 4 = g 2. Note, however, that z > a 2 = (g 2 ) 2 > g, and so we are done by infinite descent (repeated application produces an infinite sequence of solutions with ever smaller positive integer z, a contradiction). QED 1.2 Proof of (F LT ) 3 The first complete proof of this case was given by Karl Gauss. Leonhard Euler s proof from 1753 was quite different and at one stage depends on a fact that Euler did not justify (though it would have been within his knowledge to do so). We outline the proof - details may be found in [16], p. 285, or [23], p. 43. Gauss s proof leads to a strategy that succeeds for certain other values of n too. We work in the ring A = Z[ζ] = {a + bζ : a, b Z}, where ζ is a primitive cube root of unity. The key fact

8 1.2 Proof of (F LT ) 3 viii here is that A is a PID and hence a UFD. We also repeatedly use the fact that the units of A are precisely ±ζ i (i = 0, 1, 2). Theorem 1.2 x 3 + y 3 = uz 3 has no solutions with x, y, z A, u a unit in A, xyz 0. This certainly implies (F LT ) 3. Proof: By homogeneity, we may assume that x, y, z are relatively prime. Factoring x 3 + y 3 = uz 3 gives (x + y)(x + ζy)(x + ζ 2 y) = uz 3, where the gcd of any 2 factors on the left divides λ := 1 ζ. If each gcd is 1, then each factor is a cube up to a unit. In any case, λ is small in that A/(λ) = 3. In particular, each element of A is either 0, ±1 mod λ. Lemma 1.3 There are no solutions when λ xyz. Proof: If x 1 (mod λ), say x = 1 + λα, then x 3 1 = λ 3 α(1 + α)(α ζ 2 ) λ 3 α(1 + α)(α 1) (mod λ 4 ) 0 (mod λ 4 ), Plugging back in the equation, (±1)+(±1) ±u (mod λ 4 ), impossible since none of the 6 units u in A are 0 or ±2 mod λ 4 ). QED Lemma 1.4 Suppose λ xy, λ z. Then λ 2 z. Proof: Consider again ±1 ± 1 uz 3 (mod λ 4 ). If the left side is 0, then λ 4 z 2, so λ 2 z. If the left side is ±2, then λ 2, contradicting A/(λ) = 3. QED

9 1.2 Proof of (F LT ) 3 ix Lemma 1.5 Suppose that λ xy, λ k z, k 2. Then there exists a solution with λ xy, λ k 1 z. Proof: In this case, the gcd of any 2 factors on the left is λ. Hence we can assume that (1)x + y = u 1 α 3 λ t (2)x + ζy = u 2 β 3 λ (3)x + ζ 2 y = u 3 γ 3 λ, where u 1, u 2, and u 3 are units, t = 3k 2, and λ α, β, γ. (1)+ζ(2)+ζ 2 (2) yields (setting x 1 = β, y 1 = γ, and z 1 = αλ k 1 ) x ɛ 1 y 3 1 = ɛ 2 z 3 1 with ɛ 1, ɛ 2 units. Reducing mod λ 2, we get ±1 ± ɛ 1 0, which implies that ɛ 1 = ±1. Replacing y 1 by y 1 if necessary, we get x y 3 1 = ɛ 2 z 3. QED Finally, to prove the theorem, if λ xyz, we use lemma 1.2. If λ xy but λ z, we use lemmas 1.3 and 1.4. If λ x then λ yz, hence mod λ 3 0 ± 1 ±u which implies that u ±1 (mod λ 3 ), and hence u = ±1. Rearranging yields (±z) 3 + ( y) 3 = x 3, a case which has already been treated. QED

10 1.3 Further Efforts at Proof x 1.3 Further Efforts at Proof Peter Dirichlet and Adrien Legendre proved (F LT ) 5 around 1825, and Gabriel Lamé proved (F LT ) 7 around If we set ζ = e 2πi/l (l prime), and Z[ζ] = {a 0 + a 1 ζ a l 2 ζ l 2 : a i Z}, then there are cases when Z[ζ] is not a UFD and the factorization method used above fails. (In fact, Z[ζ] is a UFD if and only if l 19.) It turns out that the method can be resuscitated under weaker conditions. In 1844 Ernst Kummer began studying the ideal class group of Q(ζ), which is a finite group that measures how far Z[ζ] is from being a UFD [33]. Between 1847 and 1853, he published some masterful papers, which established almost the best possible result along these lines and were only really bettered by the recent approach detailed below, which began over 100 years later. In these papers, Kummer defined regular primes and proved the following theorem, where h(q(ζ)) denotes the order of the ideal class group. Definition 1.6 Call a prime l regular if l h(q(ζ)) (where ζ = e 2πi/l ). Otherwise, l is called irregular. Remark 1.7 The first irregular prime is 37 and there are infinitely many irregular primes. It is not known if there are infinitely many regular primes, but conjecturally this is so. Theorem 1.8 (Kummer) (i) (F LT ) l holds if l is regular. (2) l is regular if and only if l does not divide the numerator of B i for any even 2 i l 3.

11 Here B n are the Bernoulli numbers defined by x e x 1 = (B n /n!)x n. 1.3 Further Efforts at Proof xi For instance, the fact that B 12 = shows that 691 is irregular. We shall see the number 691 appearing in many different places. Here the study of FLT is divided into two cases. The first case involves showing that there is no solution with l xyz. The idea is to factor x l + y l = z l as (x + y)(x + ζy) (x + ζ l 1 y) = z l, where ζ = e 2πi/l. The ideals generated by the factors on the left side are pairwise relatively prime by the assumption that l xyz (since λ := 1 ζ has norm l - compare the proof of (F LT ) 3 ), whence each factor generates an lth power in the ideal class group of Q(ζ). The regularity assumption then shows that these factors are principal ideals. We also use that any for unit u in Z[ζ], ζ s u is real for some s Z. See [33] or [16] for more details. The second case involves showing that there is no solution to FLT for l xyz. In 1823, Sophie Germain found a simple proof that if l is a prime with 2l + 1 a prime then the first case of (F LT ) l holds. Arthur Wieferich proved in 1909 that if l is a prime with 2 l 1 1 (mod l 2 ) then the first case of (F LT ) l holds. Examples of l that fail this are rare - the only known examples are 1093 and Moreover, similar criteria are known if p l 1 1 (mod l 2 ) and p is any prime 89 [15]. This allows one to prove the first case of (F LT ) l for many l. Before Andrew Wiles, (F LT ) l was known for all primes 2 <

12 1.4 Modern Methods of Proof xii l < [3]; the method was to check that the conjecture of Vandiver (actually originating with Kummer and a refinement of his method) that l h(q(ζ + ζ 1 )) holds for these primes. See [36]. The first case of (F LT ) l was known for all primes 2 < l < Modern Methods of Proof In 1916, Srinivasa Ramanujan proved the following. Let Then = q (1 q n ) 24 = τ(n)q n. n=1 n=1 τ(n) σ 11 (n) (mod 691), where σ k (n) = d n d k. is a modular form; this means that, if we set q = e 2πiz, satisfies (among other conditions) ( ) az+b cz+d = (cz + d) k (z) for all z in the upper half-plane Im(z) > 0 and all ( ) a b c d Γ with, in this case, ( weight ) k = 12 and Γ = SL 2 (Z) (in general, we define a level N by having Γ defined as the group of matrices in SL 2 (Z) such that N c; here N = 1). For instance, setting a, b, d = 1, c = 0, (z + 1) = (z), and this is why can be written as a Fourier series in q = e 2πiz. Due to work of André Weil in the 1940 s and John Tate in the 1950 s, the study of elliptic curves, that is curves of the form y 2 = g(x), where g is a cubic with distinct roots, led to the study of Galois representations, i.e. continuous homomorphisms Gal( Q/Q) GL 2 (R), where R is a complete local ring such as the finite field F l or the ring of l-adic integers Z l. In particular, given elliptic curve E defined over Q (meaning the

13 1.4 Modern Methods of Proof xiii coefficients of g are in Q), and any rational prime l, there exist associated Galois representations ρ l,e : Gal( Q/Q) GL 2 (Z l ) and (by reduction mod l) ρ l,e : Gal( Q/Q) GL 2 (F l ). These encode much information about the curve. A conjecture of Jean-Pierre Serre associates to a certain kind of modular form f (cuspidal eigenforms) and to a rational prime l a Galois representation, ρ l,f. All known congruences for τ follow from a systematic study of the representations associated to. This conjecture was proved by Pierre Deligne [7] (but note that he really only wrote the details for - extensive notes of Brian Conrad bdconrad/bc.ps can be used to fill in details here) in 1969 for weights k > 2. For k = 2 it follows from earlier work of Martin Eichler and Goro Shimura [31]. For k = 1 it was later established by Deligne and Serre [8]. These representations ρ l,f share many similarities with the representations ρ l,e. Formalizing this, a conjecture of Yutaka Taniyama of 1955, later put on a solid footing by Shimura, would attach a modular form of this kind to each elliptic curve over Q. Thus, we have the following picture {Repns f rom elliptic curves} {Repns f rom certain modular f orms} {Admissible Galois representati In 1985, Gerhard Frey presented a link with FLT. If we assume that a, b, c are positive integers with a l + b l = c l, and consider the elliptic curve y 2 = x(x a l )(x + b l ) (called a Frey curve), this curve is unlikely to be modular, in the sense that

14 1.4 Modern Methods of Proof xiv ρ l,e turns out to have properties that a representation associated to a modular form should not. The Shimura-Taniyama conjecture, however, states that any given elliptic curve is modular. That is, given E, defined over Q, we consider its L-function L(E, s) = a n /n s. This conjecture states that a n q n is a modular form. Equivalently, every ρ l,e is a ρ l,f for some modular form f. In 1986, Kenneth Ribet (building on ideas of Barry Mazur) showed that these Frey curves are definitely not modular. His strategy was to show that if the Frey curve is associated to a modular form, then it is associated to one of weight 2 and level 2. No cuspidal eigenforms of this kind exist, giving the desired contradiction. Ribet s approach (completed by Fred Diamond and others) establishes in fact that the weak conjecture below implies the strong conjecture (the implication being the socalled ɛ-conjecture). The strong conjecture would imply many results - unfortunately, no way of tackling this is known. Serre s weak conjecture [30] says that all Galois representations ρ : Gal( Q/Q) GL 2 (k) with k a finite field, and such that det(ρ(τ)) = 1, where τ denotes a complex conjugation, (this condition is the definition of ρ being odd) come from modular forms. Serre s strong conjecture [30] states that ρ comes from a modular form of a particular type (k, N, ɛ) with k, N positive integers (the weight and level, met earlier) and ɛ : (Z/NZ) C (the Nebentypus). In the situations above, ɛ is trivial. In 1986, Mazur found a way to parameterize certain collections of Galois representations by rings. Frey curves are semistable, meaning that they have certain mild singularities modulo primes. Wiles with Richard Taylor proved in 1994 that every semistable

15 1.4 Modern Methods of Proof xv elliptic curve is modular. In a picture we have (restricting to certain subsets to be defined later): {Certain semistable elliptic curves} {Certain modular f orms} {Certain semistable Galois representations} Wiles idea is, first, following Mazur to parametrize the sets on the bottom line by local rings T and R. The inclusion translates into a surjection from R T. Using some clever commutative algebra, Wiles obtains conditions for such a map to be an isomorphism. Using Galois cohomology and the theory of modular curves, it is checked that these conditions generally hold. The isomorphism of R and T translates back into the two sets on the bottom line being equal. It then follows that every semistable elliptic curve is modular. In particular our particular Frey curves are modular, contradicting the conclusion of Ribet s work and establishing that counterexamples to Fermat s Last Theorem do not exist. The Big Picture. An outline to the strategy of the proof has been given. A counterexample to Fermat s Last Theorem would yield an elliptic curve (Frey s curve) with remarkable properties. This curve is shown as follows not to exist. Associated to elliptic curves and to certain modular forms are Galois representations. These representations share some features, which might be used to define admissible representations. The aim is to show that all such admissible representations come from modular forms (and so in particular the elliptic curve ones do,

16 1.4 Modern Methods of Proof xvi implying that Frey s curves are modular, enough for a contradiction). We shall parametrize special subsets of Galois representations by complete Noetherian local rings and our aim will amount to showing that a given map between such rings is an isomorphism. This is achieved by some commutative algebra, which reduces the problem to computing some invariants, accomplished via Galois cohomology. The first step is to define (abstractly) Galois representations.

17 xvii 2 Profinite Groups and Complete Local Rings 2.1 Profinite Groups Definition 2.1 A directed set is a partially ordered set I such that for all i, j I there is a k I with i k and j k. Example: Let G be a group. Index the normal subgroups of finite index by I. Say i j if N i N j. If k corresponds to N k = N i N j then i, j k, so we have a directed set. Definition 2.2 An inverse system of groups is a collection of groups indexed by a directed set I, together with group homomorphisms π ij : G i G j whenever i j. We insist that π ii = Id, and that π jk π ij = π ik. Example: Index the normal subgroups of finite index by I as above. Setting G i = G/N i, and π ij : G i G j to be the natural quotient map whenever i j, we get an inverse system of groups.

18 2.1 Profinite Groups xviii We now form a new category, whose objects are pairs (H, {φ i : i I}), where H is a group and each φ i : H G i is a group homomorphism, with the property that φ i H φ j G i π ij G j commutes whenever i j. Given two elements (H, {φ i }) and (J, {ψ i }), we define a morphism between them to be a group homomorphism θ : H J such that commutes for all i I. H φ i θ ψ i G i Example: Continuing our earlier example, (G, {φ i }) is an object of the new category, where φ i : G G/N i is the natural quotient map. Definition 2.3 lim G i is the terminal object in the new category, called the inverse limit of the G i. That is, lim i I G i is the unique object (X, {χ i }) such that given any object (H, {φ i }) there is a unique morphism J (H, {φ i }) (X, {χ i }). The existence of a terminal object in this category will be proved below, after the next example. Example: Continuing our earlier example, the group above, X, is the profinite completion Ĝ of G. Since Ĝ is terminal, there is a

19 2.1 Profinite Groups xix unique group homomorphism G Ĝ. If this is an isomorphism then we say that G is profinite (or complete). For instance, it will be shown below that Gal( Q/Q) is a profinite group. We have the following commutative diagram for every object (H, {φ i }) of the new category and every N i N j, H φ j φ i G/N i! G! Ĝ G/N j Ĝ contains all relevant information on finite quotients of G. G Ĝ is called the profinite completion of G. If we only use those finite quotients which are C-groups, then we obtain the pro-c completion of G instead. Exercise: Prove that Ĝ Ĝ is an isomorphism, so that Ĝ is profinite/complete. We return to the general case and we now need to prove the existence of lim i I G i. To do this, let C = i I G i, and π i : C G i be the ith projection. Let X = {c C π ij (π i (c)) = π j (c) i j}. We claim that lim G i = (X, {π i X }). i I Proof: (i) (X, {π i X }) is an object in the new category, since X is a group (check!) and the following diagram commutes for all

20 2.1 Profinite Groups xx i j (by construction) π i X X π j X G i π ij G j (ii) Given any (H, {φ i }) in the new category, define φ(h) = (φ i (h)) i I, and check that this is a group homomorphism φ : H X such that H φ φ i π i G i and that φ is forced to be the unique such map. QED Example: Let G = Z and let us describe Ĝ = Ẑ. The finite quotients of G are G i = Z/i, and i j means that j i. Hence Ẑ = {(a 1, a 2, a 3,...) a i Z/i and a i a j X (mod j) whenever j i}. Then for a Z, the map a (a, a, a...) Ẑ is a homomorphism of Z into Ẑ. Now consider F p = n F p n. Then, if m n, Gal( F p /F p ) restriction,φ n Gal(F p n/f p ) = Z/n restriction,φ m π nm Gal(F p m/f p ) = Z/m Note that Gal(F p n/f p ) is generated by the Frobenius automorphism F r : x x p. We see that (Gal( F p /F p ), {φ n }) is an object in the new category corresponding to the inverse system. Thus there is a map Gal( F p /F p ) Ẑ. We claim that this map is an isomorphism, so that Gal( F p /F p ) is profinite. This follows from our next result.

21 2.1 Profinite Groups xxi Theorem 2.4 Let L/K be a (possibly infinite) separable, algebraic Galois extension. Then Gal(L/K) = lim Gal(L i /K), where the limit runs over all finite Galois subextensions L i /K. Proof: We have restriction maps: Gal(L/K) φ i Gal(L i /K) φ j Gal(L j /K) whenever L j L i, i.e. i j. We use the projection maps to form an inverse system, so, as before, (Gal(L/K), {φ}) is an object of the new category and we get a group homomorphism φ Gal(L/K) lim Gal(L i /K). We claim that φ is an isomorphism. (i) Suppose 1 g Gal(L/K). Then there is some x L such that g(x) x. Let L i be the Galois (normal) closure of K(x). This is a finite Galois extension of K, and 1 g Li = φ i (g), which yields that 1 φ(g). Hence φ is injective. (ii) Take (g i ) lim Gal(L i /K) - this means that L j L i g i L j = g j. Then define g Gal(L/K) by g(x) = g i (x) whenever x L i. This is a well-defined field automorphism and φ(g) = (g i ). Thus φ is surjective. QED For the rest of this section, we assume that the groups G i are all finite (as, for example, in our running example). Endow the finite G i in our inverse system with the discrete topology. G i is certainly a totally disconnected Hausdorff space. Since these properties are preserved under taking products and subspaces, lim G i G i is Hausdorff and totally disconnected as well. Furthermore G i is compact by Tychonoff s theorem.

22 2.2 Complete Local Rings xxii Exercise: If f, g : A B are continuous (A, B topological spaces) with A, B Hausdorff, then {x f(x) = g(x)} is closed. Deduce that lim G i = i j { c Gi : π ij (π i (c)) = π j (c) } is closed in G i, therefore is compact. In summary, lim G i is a compact, Hausdorff, totally disconnected topological space. Exercise: The natural inclusion Z Ẑ maps Z onto a dense subgroup. In fact, for any group G, its image in Ĝ is dense, but the kernel of G Ĝ need not be trivial. This happens if and only if G is residually finite (meaning that the intersection of all its subgroups of finite index is trivial). If we denote by F r the element of Gal( F q /F q ) given by F r(x) = x q, i.e. the Frobenius automorphism, then F r does not generate the Galois group, but the group which it does generate is dense (by the last exercise), and so we say that Gal( F q /F q ) is topologically finitely generated by one element F r (and so is procyclic). 2.2 Complete Local Rings We now carry out the same procedure with rings rather than groups and so define certain completions of them. Let R be a commutative ring with identity 1, I any ideal of R. For i j we have a natural quotient map R/I i π ij R/I j. These rings and maps form an inverse system (now of rings). Proceeding as in the previous section, we can form a new category. Then the same proof gives that there is a unique terminal

23 2.2 Complete Local Rings xxiii object, R I = lim i R/Ii, which is now a ring, together with a unique ring homomorphism R R I, such that the following diagram commutes: R π i π j R/I i π ij R/I j Note that R I depends on the ideal chosen. It is called the I-adic completion of R (do not confuse it with the localization of R at I). We call R (I-adically) complete if the map R R I is an isomorphism. Then R I is complete. If I is a maximal ideal m, then we check that R I is local, i.e. has a unique maximal ideal, namely m ˆR. This will be proven for the most important example, Z p (see below), at the start of the next chapter. Example: If R = Z, m = pz, p prime, then R I = Zp, the p-adic integers. The additive group of this ring is exactly the pro-p completion of Z as a group. In fact, Z p = {(a 1, a 2,...) : a i Z/p i, a i a j R I (mod p j ) if i j}. Note that Ẑ will always be used to mean the profinite (rather than any I-adic) completion of Z. Exercise: Let R = Z and I = 6Z. Show that the I-adic completion of Z is isomorphic to Z 2 Z 3 and so is not local (it s called semilocal). Exercise: Show that Ẑ = l Z p, the product being over all rational primes. Exercise: Show that the ideals of Z p are precisely {0} and p i Z l

24 2.2 Complete Local Rings xxiv (i 0). (This also follows from the theory developed in chapter 3.) We will be interested in the category C whose objects are the complete local Noetherian rings with a given finite residue field (that is, the ring modulo its maximal ideal) k. In this category a morphism is required to make the following diagram commute: R φ S k Id k where the vertical maps are the natural projections. This is equivalent to requiring that φ(m R ) m S, where m R (respectively m S ) is the maximal ideal of R (respectively S). As an example, if k = F l, then Z l is an object of C. By a theorem of Cohen [2], the objects of C are of the form W (k)[[t 1,..., T m ]]/(ideal), where W (k) is a ring called the ring of infinite Witt vectors over k (see chapter 3 for an explicit description of it). Thus W (k) is the initial object of C. In the case of F p, W (F p ) = Z p. Exercise: If R is a ring that is I-adically complete, then GL n (R) = lim GL n(r/i i ) (the maps GL n (R/I i ) GL n (R/I j ) being the i natural ones). Note that the topology on R induces the product topology on M n (R) and thence the subspace topology on GL n (R). The Big Picture. We shall seek to use continuous group homomorphisms (Galois representations) Gal( Q/Q) GL n (R),

25 2.2 Complete Local Rings xxv where R is in some C, to parametrize the homomorphisms that elliptic curves and modular forms naturally produce. In this chapter we have constructed these groups and rings and explained their topologies. Next, we study the internal structure of both sides, notably certain important subgroups of the left side. This will give us the means to characterize Galois representations in terms of their effect on these subgroups.

26 xxvi 3 Infinite Galois Groups: Internal Structure We begin with a short investigation of Z p. A good reference for this chapter is [28]. We first check that p n Z p is the kernel of the map Z p Z/p n. Hence, we have Z p pz p p 2 Z p... If x p n Z p p n+1 Z p, then we say that the valuation of x, v(x) = n. Set v(0) =. Exercise: x is a unit in Z p if and only if v(x) = 0 Corollary 3.1 Every x Z p {0} can be uniquely written as p v(x) u where u is a unit. In fact ( ) : (1)v(xy) = v(x) + v(y), (2)v(x + y) min(v(x), v(y)). We define a metric on Z p as follows: set d(x, y) = c v(x y) for a fixed 0 < c < 1, x y Z p (d(x, x) = 0). We have something stronger than the triangle inequality, namely d(x, z)

27 3. Infinite Galois Groups: Internal Structure xxvii max(d(x, y), d(y, z)) for all x, y, z Z p. This has unusual consequences such as that every triangle is isosceles and every point in an open unit disc is its center. The metric and profinite topologies then agree, since p n Z p is a base of open neighborhoods of 0 characterized by the property v(x) n d(0, x) c n. By ( )(1), Z p is an integral domian. Its quotient field is called Q p, the field of p-adic numbers. We have the following diagram of inclusions. Q Q Qp Q p Z Z p This then produces restriction maps ( ) Gal( Q p /Q p ) Gal( Q/Q). We can check that this is a continuous group homomorphism (defined up to conjugation only). Denote Gal( K/K) by G K. Definition 3.2 Given a continuous group homomorphism ρ : G Q GL n (R), ( ) yields by composition a continuous group homomorphism ρ p : G Qp GL n (R). The collection of homomorphisms ρ p, one for each rational prime p, is called the local data attached to ρ. The point is that G Qp is much better understood than G Q ; in fact even presentations of G Qp are known, at least for p 2 [18]. We next need some of the structure of G Qp and obtain

28 3. Infinite Galois Groups: Internal Structure xxviii this by investigating finite Galois extensions K of Q p and how Gal(K/Q p ) acts. Now, Z p {0} = {p n u n 0, u is a unit}, whence Q p {0} = {p n u u is a unit inz p }. We can thus extend v : Z p {0} N to a map v : Q p Z which is a homomorphism of groups. Definition 3.3 A discrete valuation w on a field K is a surjective homomorphism w : K Z such that w(x + y) min(w(x), w(y) for all x, y K (we take w(0) = ). Example: The map v : Q p Z is a discrete valuation, since ( ) extends to Q p. Exercise: If K has a discrete valuation then is a ring, and A = {x K w(x) 0} m = {x K w(x) > 0} is its unique maximal ideal. Choose π so that w(π) = 1. Every element x K can be uniquely written as x = π w(x) u, where u is a unit in A. Remark: A, A/m, and π are called respectively the valuation ring, the residue field, and a uniformizer of w. As with the valuation on Q p, w yields a metric on K. An alternative way of describing the elements of A is by the power series {c 0 + c 1 π + c 2 π c i S}, where S A is chosen

### Galois representations with open image

Galois representations with open image Ralph Greenberg University of Washington Seattle, Washington, USA May 7th, 2011 Introduction This talk will be about representations of the absolute Galois group

### EXERCISES FOR THE COURSE MATH 570, FALL 2010

EXERCISES FOR THE COURSE MATH 570, FALL 2010 EYAL Z. GOREN (1) Let G be a group and H Z(G) a subgroup such that G/H is cyclic. Prove that G is abelian. Conclude that every group of order p 2 (p a prime

### Research Article On the Rank of Elliptic Curves in Elementary Cubic Extensions

Numbers Volume 2015, Article ID 501629, 4 pages http://dx.doi.org/10.1155/2015/501629 Research Article On the Rank of Elliptic Curves in Elementary Cubic Extensions Rintaro Kozuma College of International

### FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 RAVI VAKIL CONTENTS 1. Discrete valuation rings: Dimension 1 Noetherian regular local rings 1 Last day, we discussed the Zariski tangent space, and saw that it

### CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY

January 10, 2010 CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY The set of polynomials over a field F is a ring, whose structure shares with the ring of integers many characteristics.

### 11 Ideals. 11.1 Revisiting Z

11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(

### ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS

ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS DANIEL RABAYEV AND JACK SONN Abstract. Let f(x) be a monic polynomial in Z[x] with no rational roots but with roots in Q p for

### The Dirichlet Unit Theorem

Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if

### Recent work on Serre s conjectures

Recent work on Serre s conjectures Kenneth A. Ribet University of California, Berkeley June 4, 2005 Canadian Math Society Summer Meeting This talk concerns a new chapter in a story that began in the late

### 7. Some irreducible polynomials

7. Some irreducible polynomials 7.1 Irreducibles over a finite field 7.2 Worked examples Linear factors x α of a polynomial P (x) with coefficients in a field k correspond precisely to roots α k [1] of

### A number field is a field of finite degree over Q. By the Primitive Element Theorem, any number

Number Fields Introduction A number field is a field of finite degree over Q. By the Primitive Element Theorem, any number field K = Q(α) for some α K. The minimal polynomial Let K be a number field and

### Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

### Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013

Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013 D. R. Wilkins Copyright c David R. Wilkins 1997 2013 Contents A Cyclotomic Polynomials 79 A.1 Minimum Polynomials of Roots of

### MA651 Topology. Lecture 6. Separation Axioms.

MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples

### MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2016 47 4. Diophantine Equations A Diophantine Equation is simply an equation in one or more variables for which integer (or sometimes rational) solutions

### Proof. The map. G n i. where d is the degree of D.

7. Divisors Definition 7.1. We say that a scheme X is regular in codimension one if every local ring of dimension one is regular, that is, the quotient m/m 2 is one dimensional, where m is the unique maximal

### ORDERS OF ELEMENTS IN A GROUP

ORDERS OF ELEMENTS IN A GROUP KEITH CONRAD 1. Introduction Let G be a group and g G. We say g has finite order if g n = e for some positive integer n. For example, 1 and i have finite order in C, since

### Chapter 13: Basic ring theory

Chapter 3: Basic ring theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 42, Spring 24 M. Macauley (Clemson) Chapter 3: Basic ring

### some algebra prelim solutions

some algebra prelim solutions David Morawski August 19, 2012 Problem (Spring 2008, #5). Show that f(x) = x p x + a is irreducible over F p whenever a F p is not zero. Proof. First, note that f(x) has no

### FIBER PRODUCTS AND ZARISKI SHEAVES

FIBER PRODUCTS AND ZARISKI SHEAVES BRIAN OSSERMAN 1. Fiber products and Zariski sheaves We recall the definition of a fiber product: Definition 1.1. Let C be a category, and X, Y, Z objects of C. Fix also

### 3 1. Note that all cubes solve it; therefore, there are no more

Math 13 Problem set 5 Artin 11.4.7 Factor the following polynomials into irreducible factors in Q[x]: (a) x 3 3x (b) x 3 3x + (c) x 9 6x 6 + 9x 3 3 Solution: The first two polynomials are cubics, so if

### Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize

### 1 Homework 1. [p 0 q i+j +... + p i 1 q j+1 ] + [p i q j ] + [p i+1 q j 1 +... + p i+j q 0 ]

1 Homework 1 (1) Prove the ideal (3,x) is a maximal ideal in Z[x]. SOLUTION: Suppose we expand this ideal by including another generator polynomial, P / (3, x). Write P = n + x Q with n an integer not

### INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 16

INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 16 RAVI VAKIL Contents 1. Valuation rings (and non-singular points of curves) 1 1.1. Completions 2 1.2. A big result from commutative algebra 3 Problem sets back.

### it is easy to see that α = a

21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore

### MOP 2007 Black Group Integer Polynomials Yufei Zhao. Integer Polynomials. June 29, 2007 Yufei Zhao yufeiz@mit.edu

Integer Polynomials June 9, 007 Yufei Zhao yufeiz@mit.edu We will use Z[x] to denote the ring of polynomials with integer coefficients. We begin by summarizing some of the common approaches used in dealing

### PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5.

PUTNAM TRAINING POLYNOMIALS (Last updated: November 17, 2015) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include

### POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS

POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS RUSS WOODROOFE 1. Unique Factorization Domains Throughout the following, we think of R as sitting inside R[x] as the constant polynomials (of degree 0).

### Introduction to Algebraic Geometry. Bézout s Theorem and Inflection Points

Introduction to Algebraic Geometry Bézout s Theorem and Inflection Points 1. The resultant. Let K be a field. Then the polynomial ring K[x] is a unique factorisation domain (UFD). Another example of a

### COHOMOLOGY OF GROUPS

Actes, Congrès intern. Math., 1970. Tome 2, p. 47 à 51. COHOMOLOGY OF GROUPS by Daniel QUILLEN * This is a report of research done at the Institute for Advanced Study the past year. It includes some general

### THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear

### Ideal Class Group and Units

Chapter 4 Ideal Class Group and Units We are now interested in understanding two aspects of ring of integers of number fields: how principal they are (that is, what is the proportion of principal ideals

### Unique Factorization

Unique Factorization Waffle Mathcamp 2010 Throughout these notes, all rings will be assumed to be commutative. 1 Factorization in domains: definitions and examples In this class, we will study the phenomenon

### The Chebotarev Density Theorem

The Chebotarev Density Theorem Hendrik Lenstra 1. Introduction Consider the polynomial f(x) = X 4 X 2 1 Z[X]. Suppose that we want to show that this polynomial is irreducible. We reduce f modulo a prime

### Lifting abelian schemes: theorems of Serre-Tate and Grothendieck

Lifting abelian schemes: theorems of Serre-Tate and Grothendieck Gabriel Dospinescu Remark 0.1. J ai décidé d écrire ces notes en anglais, car il y a trop d accents auxquels il faut faire gaffe... 1 The

### INTRODUCTION TO ARITHMETIC GEOMETRY (NOTES FROM 18.782, FALL 2009)

INTRODUCTION TO ARITHMETIC GEOMETRY (NOTES FROM 18.782, FALL 2009) BJORN POONEN (Please clear your browser s cache before reloading to make sure that you are always getting the current version.) 1. What

### Factoring of Prime Ideals in Extensions

Chapter 4 Factoring of Prime Ideals in Extensions 4. Lifting of Prime Ideals Recall the basic AKLB setup: A is a Dedekind domain with fraction field K, L is a finite, separable extension of K of degree

### U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009 Notes on Algebra These notes contain as little theory as possible, and most results are stated without proof. Any introductory

### 3. Prime and maximal ideals. 3.1. Definitions and Examples.

COMMUTATIVE ALGEBRA 5 3.1. Definitions and Examples. 3. Prime and maximal ideals Definition. An ideal P in a ring A is called prime if P A and if for every pair x, y of elements in A\P we have xy P. Equivalently,

### I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

### Group Theory. Contents

Group Theory Contents Chapter 1: Review... 2 Chapter 2: Permutation Groups and Group Actions... 3 Orbits and Transitivity... 6 Specific Actions The Right regular and coset actions... 8 The Conjugation

### 1. Recap: What can we do with Euler systems?

Euler Systems and L-functions These are notes for a talk I gave at the Warwick Number Theory study group on Euler Systems, June 2015. The results stated make more sense when taken in step with the rest

### ALGORITHMS FOR ALGEBRAIC CURVES

ALGORITHMS FOR ALGEBRAIC CURVES SUMMARY OF LECTURE 4 1. SCHOOF S ALGORITHM Let K be a finite field with q elements. Let p be its characteristic. Let X be an elliptic curve over K. To simplify we assume

### OSTROWSKI FOR NUMBER FIELDS

OSTROWSKI FOR NUMBER FIELDS KEITH CONRAD Ostrowski classified the nontrivial absolute values on Q: up to equivalence, they are the usual (archimedean) absolute value and the p-adic absolute values for

### Introduction to finite fields

Introduction to finite fields Topics in Finite Fields (Fall 2013) Rutgers University Swastik Kopparty Last modified: Monday 16 th September, 2013 Welcome to the course on finite fields! This is aimed at

### Commutative Algebra seminar talk

Commutative Algebra seminar talk Reeve Garrett May 22, 2015 1 Ultrafilters Definition 1.1 Given an infinite set W, a collection U of subsets of W which does not contain the empty set and is closed under

### ABSTRACT ALGEBRA. Romyar Sharifi

ABSTRACT ALGEBRA Romyar Sharifi Contents Introduction 7 Part 1. A First Course 11 Chapter 1. Set theory 13 1.1. Sets and functions 13 1.2. Relations 15 1.3. Binary operations 19 Chapter 2. Group theory

### 6. Metric spaces. In this section we review the basic facts about metric spaces. d : X X [0, )

6. Metric spaces In this section we review the basic facts about metric spaces. Definitions. A metric on a non-empty set X is a map with the following properties: d : X X [0, ) (i) If x, y X are points

3. QUADRATIC CONGRUENCES 3.1. Quadratics Over a Finite Field We re all familiar with the quadratic equation in the context of real or complex numbers. The formula for the solutions to ax + bx + c = 0 (where

### Course 221: Analysis Academic year , First Semester

Course 221: Analysis Academic year 2007-08, First Semester David R. Wilkins Copyright c David R. Wilkins 1989 2007 Contents 1 Basic Theorems of Real Analysis 1 1.1 The Least Upper Bound Principle................

### Non-unique factorization of polynomials over residue class rings of the integers

Comm. Algebra 39(4) 2011, pp 1482 1490 Non-unique factorization of polynomials over residue class rings of the integers Christopher Frei and Sophie Frisch Abstract. We investigate non-unique factorization

### 4. Expanding dynamical systems

4.1. Metric definition. 4. Expanding dynamical systems Definition 4.1. Let X be a compact metric space. A map f : X X is said to be expanding if there exist ɛ > 0 and L > 1 such that d(f(x), f(y)) Ld(x,

### Homological Algebra - Problem Set 3

Homological Algebra - Problem Set 3 Problem 1. Let R be a ring. (1) Show that an R-module M is projective if and only if there exists a module M and a free module F such that F = M M (we say M is a summand

### Generic Polynomials of Degree Three

Generic Polynomials of Degree Three Benjamin C. Wallace April 2012 1 Introduction In the nineteenth century, the mathematician Évariste Galois discovered an elegant solution to the fundamental problem

### 1 Valuations of the field of rational numbers

1 Valuations of the field of rational numbers We will begin by reviewing the construction of real numbers from rational numbers. Recall that the field of rational numbers Q is a totally ordered field by

### On Bhargava s representations and Vinberg s invariant theory

On Bhargava s representations and Vinberg s invariant theory Benedict H. Gross Department of Mathematics, Harvard University Cambridge, MA 02138 gross@math.harvard.edu January, 2011 1 Introduction Manjul

### EMBEDDING DEGREE OF HYPERELLIPTIC CURVES WITH COMPLEX MULTIPLICATION

EMBEDDING DEGREE OF HYPERELLIPTIC CURVES WITH COMPLEX MULTIPLICATION CHRISTIAN ROBENHAGEN RAVNSHØJ Abstract. Consider the Jacobian of a genus two curve defined over a finite field and with complex multiplication.

### Row Ideals and Fibers of Morphisms

Michigan Math. J. 57 (2008) Row Ideals and Fibers of Morphisms David Eisenbud & Bernd Ulrich Affectionately dedicated to Mel Hochster, who has been an inspiration to us for many years, on the occasion

### 2 Complex Functions and the Cauchy-Riemann Equations

2 Complex Functions and the Cauchy-Riemann Equations 2.1 Complex functions In one-variable calculus, we study functions f(x) of a real variable x. Likewise, in complex analysis, we study functions f(z)

### CHAPTER 5: MODULAR ARITHMETIC

CHAPTER 5: MODULAR ARITHMETIC LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN 1. Introduction In this chapter we will consider congruence modulo m, and explore the associated arithmetic called

### G = G 0 > G 1 > > G k = {e}

Proposition 49. 1. A group G is nilpotent if and only if G appears as an element of its upper central series. 2. If G is nilpotent, then the upper central series and the lower central series have the same

### Quotient Rings and Field Extensions

Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.

### Revision of ring theory

CHAPTER 1 Revision of ring theory 1.1. Basic definitions and examples In this chapter we will revise and extend some of the results on rings that you have studied on previous courses. A ring is an algebraic

### SUBGROUPS OF CYCLIC GROUPS. 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by

SUBGROUPS OF CYCLIC GROUPS KEITH CONRAD 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by g = {g k : k Z}. If G = g, then G itself is cyclic, with g as a generator. Examples

### The van Hoeij Algorithm for Factoring Polynomials

The van Hoeij Algorithm for Factoring Polynomials Jürgen Klüners Abstract In this survey we report about a new algorithm for factoring polynomials due to Mark van Hoeij. The main idea is that the combinatorial

### A Minkowski-style bound for the orders of the finite subgroups of the Cremona group of rank 2 over an arbitrary field.

A Minkowski-style bound for the orders of the finite subgroups of the Cremona group of rank 2 over an arbitrary field Jean-Pierre Serre Let k be a field. Let Cr(k) be the Cremona group of rank 2 over k,

### Introduction to Modern Algebra

Introduction to Modern Algebra David Joyce Clark University Version 0.0.6, 3 Oct 2008 1 1 Copyright (C) 2008. ii I dedicate this book to my friend and colleague Arthur Chou. Arthur encouraged me to write

### GROUP ALGEBRAS. ANDREI YAFAEV

GROUP ALGEBRAS. ANDREI YAFAEV We will associate a certain algebra to a finite group and prove that it is semisimple. Then we will apply Wedderburn s theory to its study. Definition 0.1. Let G be a finite

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

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

### Cyclotomic Extensions

Chapter 7 Cyclotomic Extensions A cyclotomic extension Q(ζ n ) of the rationals is formed by adjoining a primitive n th root of unity ζ n. In this chapter, we will find an integral basis and calculate

### D-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 5

D-MATH Algebra I HS 2013 Prof. Brent Doran Solution 5 Dihedral groups, permutation groups, discrete subgroups of M 2, group actions 1. Write an explicit embedding of the dihedral group D n into the symmetric

### RANDOM INVOLUTIONS AND THE NUMBER OF PRIME FACTORS OF AN INTEGER 1. INTRODUCTION

RANDOM INVOLUTIONS AND THE NUMBER OF PRIME FACTORS OF AN INTEGER KIRSTEN WICKELGREN. INTRODUCTION Any positive integer n factors uniquely as n = p e pe pe 3 3 pe d d where p, p,..., p d are distinct prime

### Modern Algebra Lecture Notes: Rings and fields set 4 (Revision 2)

Modern Algebra Lecture Notes: Rings and fields set 4 (Revision 2) Kevin Broughan University of Waikato, Hamilton, New Zealand May 13, 2010 Remainder and Factor Theorem 15 Definition of factor If f (x)

### Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely

### GALOIS THEORY AT WORK: CONCRETE EXAMPLES

GALOIS THEORY AT WORK: CONCRETE EXAMPLES KEITH CONRAD 1. Examples Example 1.1. The field extension Q(, 3)/Q is Galois of degree 4, so its Galois group has order 4. The elements of the Galois group are

### Galois Theory III. 3.1. Splitting fields.

Galois Theory III. 3.1. Splitting fields. We know how to construct a field extension L of a given field K where a given irreducible polynomial P (X) K[X] has a root. We need a field extension of K where

### minimal polyonomial Example

Minimal Polynomials Definition Let α be an element in GF(p e ). We call the monic polynomial of smallest degree which has coefficients in GF(p) and α as a root, the minimal polyonomial of α. Example: We

### The Ideal Class Group

Chapter 5 The Ideal Class Group We will use Minkowski theory, which belongs to the general area of geometry of numbers, to gain insight into the ideal class group of a number field. We have already mentioned

### Fourier Transformation in the p-adic Langlands program

Fourier Transformation in the p-adic Langlands program p-adics 2015 Enno Nagel http://www.math.jussieu.fr/~nagel Belgrade, 7 September 2015 1 p-adic Langlands program 2 From Characteristic 0 to p 3 Fourier

### Alex, I will take congruent numbers for one million dollars please

Alex, I will take congruent numbers for one million dollars please Jim L. Brown The Ohio State University Columbus, OH 4310 jimlb@math.ohio-state.edu One of the most alluring aspectives of number theory

### CONSEQUENCES OF THE SYLOW THEOREMS

CONSEQUENCES OF THE SYLOW THEOREMS KEITH CONRAD For a group theorist, Sylow s Theorem is such a basic tool, and so fundamental, that it is used almost without thinking, like breathing. Geoff Robinson 1.

### PYTHAGOREAN TRIPLES PETE L. CLARK

PYTHAGOREAN TRIPLES PETE L. CLARK 1. Parameterization of Pythagorean Triples 1.1. Introduction to Pythagorean triples. By a Pythagorean triple we mean an ordered triple (x, y, z) Z 3 such that x + y =

### Appendix A. Appendix. A.1 Algebra. Fields and Rings

Appendix A Appendix A.1 Algebra Algebra is the foundation of algebraic geometry; here we collect some of the basic algebra on which we rely. We develop some algebraic background that is needed in the text.

Algebraic Geometry Keerthi Madapusi Contents Chapter 1. Schemes 5 1. Spec of a Ring 5 2. Schemes 11 3. The Affine Communication Lemma 13 4. A Criterion for Affineness 15 5. Irreducibility and Connectedness

### IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible

### 13 Solutions for Section 6

13 Solutions for Section 6 Exercise 6.2 Draw up the group table for S 3. List, giving each as a product of disjoint cycles, all the permutations in S 4. Determine the order of each element of S 4. Solution

PYTHAGOREAN TRIPLES KEITH CONRAD 1. Introduction A Pythagorean triple is a triple of positive integers (a, b, c) where a + b = c. Examples include (3, 4, 5), (5, 1, 13), and (8, 15, 17). Below is an ancient

FINITE FIELDS KEITH CONRAD This handout discusses finite fields: how to construct them, properties of elements in a finite field, and relations between different finite fields. We write Z/(p) and F p interchangeably

### FACTORING IN QUADRATIC FIELDS. 1. Introduction. This is called a quadratic field and it has degree 2 over Q. Similarly, set

FACTORING IN QUADRATIC FIELDS KEITH CONRAD For a squarefree integer d other than 1, let 1. Introduction K = Q[ d] = {x + y d : x, y Q}. This is called a quadratic field and it has degree 2 over Q. Similarly,

### The topology of smooth divisors and the arithmetic of abelian varieties

The topology of smooth divisors and the arithmetic of abelian varieties Burt Totaro We have three main results. First, we show that a smooth complex projective variety which contains three disjoint codimension-one

### FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization

### ZORN S LEMMA AND SOME APPLICATIONS

ZORN S LEMMA AND SOME APPLICATIONS KEITH CONRAD 1. Introduction Zorn s lemma is a result in set theory that appears in proofs of some non-constructive existence theorems throughout mathematics. We will

### An Advanced Course in Linear Algebra. Jim L. Brown

An Advanced Course in Linear Algebra Jim L. Brown July 20, 2015 Contents 1 Introduction 3 2 Vector spaces 4 2.1 Getting started............................ 4 2.2 Bases and dimension.........................

### NOTES ON DEDEKIND RINGS

NOTES ON DEDEKIND RINGS J. P. MAY Contents 1. Fractional ideals 1 2. The definition of Dedekind rings and DVR s 2 3. Characterizations and properties of DVR s 3 4. Completions of discrete valuation rings

### Prime Numbers and Irreducible Polynomials

Prime Numbers and Irreducible Polynomials M. Ram Murty The similarity between prime numbers and irreducible polynomials has been a dominant theme in the development of number theory and algebraic geometry.

### ADDITIVE GROUPS OF RINGS WITH IDENTITY

ADDITIVE GROUPS OF RINGS WITH IDENTITY SIMION BREAZ AND GRIGORE CĂLUGĂREANU Abstract. A ring with identity exists on a torsion Abelian group exactly when the group is bounded. The additive groups of torsion-free

### PROBLEM SET 6: POLYNOMIALS

PROBLEM SET 6: POLYNOMIALS 1. introduction In this problem set we will consider polynomials with coefficients in K, where K is the real numbers R, the complex numbers C, the rational numbers Q or any other

### 1 if 1 x 0 1 if 0 x 1

Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or