SUMMARY NUMBER THEORY II, SOMMERSEMESTER 2015
|
|
- Jennifer Young
- 6 years ago
- Views:
Transcription
1 SUMMARY NUMBER THEORY II, SOMMERSEMESTER 2015 LARS KINDLER, FREIE UNIVERSITÄT BERLIN Contents 0. Introduction and overview 2 1. Rings of integers Definitions and first properties Interlude: Separability, trace, norm, discriminant Finiteness of the integral closure in a finite separable extension The discriminant of a number field 6 2. Basic properties of Dedekind domains Fractional ideals, factorization and the class group Factorization of prime ideals in finite extensions of Dedekind domains The norm of an ideal Geometry of numbers Minkowski theory Lattices Minkowski s theorem on lattice points The Minkowski bound and finiteness of the class number Estimates for the discriminant and Hermite s theorem Integral units Cyclotomic fields Dirichlet s unit theorem Absolute values and completions Basics Topology Classification of absolute values on Q Completion Complete non-archimedean fields Complete archimedean fields Ostrowski s theorem Hensel s Lemma Extensions of valuations the complete case Unramified extensions of complete discretely valued fields Totally ramified extensions of complete discretely valued fields Absolute values on number fields and their completions 30 Comments and questions welcome at kindler@math.fu-berlin.de. Compiled July 13, 2015, 9:41. For a current version of this summary, click here. 1
2 SUMMARY NUMBER THEORY II, SOMMERSEMESTER Introduction and overview Using the example of the ring of Gaussian integers, we exhibit the properties of number fields which will be discussed in the course of the lecture. Definition 0.1. A number field is a finite field extension K of the field of rational numbers Q. Example 0.2. K = Q(i) := Q[X]/(X 2 + 1). Here i is an element such that i 2 = 1. We define Z[i] = {x + iy x, y Z} Q(i); this is the ring of Gaussian integers. Proposition 0.3. If K = Q(i) and O K := { α K a 0, a 1 Z s.t. α 2 + a 1 α + a 0 = 0 }, then Z[i] = O K as subrings of K. The definition of O K will be generalized later to the notion of ring of integers of a number field. A major part of this course will deal with understanding the ring theoretic properties of these rings of integers. In the example of the ring of Gaussian integers, we have the following. Proposition 0.4. Z[i] is an euclidean domain, in particular a principal ideal domain and then also a unique factorization domain. In general, the ring of integers O K of a number field K is not a factorial domain. But one of the main results will show that every nonzero ideal in O K admits a unique factorization as a product of prime ideals. We will see that there is an invariant h K N such that O K is a factorial domain if and only if h K = 1. The question whether O K is factorial or not is interesting also from a point of view of classical number theory, as the following example shows. Example 0.5. The fact that Z[i] is factorial implies that a prime number p N is a sum of squares if and only if p 1 mod 4. In the course of the proof of this example, we naturally encountered a question which will be very important in this course: If K is a number field with ring of integers O K, what happens to a prime number p N considered as an element of O K? More precisely, what is the factorization of the ideal po K generated by p into prime ideals of O K? Since we know that Z[i] is factorial, for Z[i] this question is related to finding the prime elements of Z[i]; Proposition 0.6. Up to multiplication with units, the prime elements of Z[i] are (a) 1 + i. (b) a + bi, with a, b Z such that a 2 + b 2 = p with p prime and p 1 mod 4 (c) p, with p N prime and p 3 mod 4. We will also study the group of units O K of the ring O K. This group is easy to understand if K = Z[i]. Proposition 0.7. Z[i] = {±1, ±i} with the obvious multiplication.
3 SUMMARY NUMBER THEORY II, SOMMERSEMESTER Rings of integers 1.1. Definitions and first properties. All rings will be commutative with 1. All ring homomorphisms map 1 to 1. In this chapter, we will mostly recall or develop results from Commutative Algebra which are not specific to a number theoretic situation. Definition 1.1 (Integral ring extensions). Let A be a commutative ring. (a) An A-algebra is a commutative ring B together with a homomorphism of rings ϕ : A B. This allows us to multiply elements of A and B. We will usually omit ϕ from the notation; if a A we will also write a for its image in B. If ϕ is injective, we also identify A with a subring of B and say that A B is an extension of rings. (b) If B is an A-algebra, an element b B is called integral over A if there exists a monic polynomial f(t ) A[T ], such that f(b) = 0. Here, monic means that the leading coefficient of f(t ) is 1. (c) If every b B is integral over A, then we say B is integral over A, or B is an integral extension of A. Example 1.2. If d Z, then Z Q( d), so Q( d) is a Z-algebra and the element d is integral over Z. On the other hand, 1 d is not integral over Z. Proposition 1.3. Let A B be an extension of rings. Let b 1,..., b n B. The following statements are equivalent. (a) b 1,..., b n are integral over A. (b) The A-submodule A[b 1,..., b n ] B of B is finitely generated. (c) Every element b A[b 1,..., b n ] B is integral over A. Lemma 1.4. Let M := (a ij ) 1 i,j n be a square matrix with entries in the ring A. Define the adjoint matrix M := (a ij ) 1 i,j n by a ij := ( 1) i+j det M ij, where M ij is the matrix obtained from M by deleting the i-th column and the j-th row. Then MM = det(m)i n, where I n is the n n-identity matrix. Corollary 1.5. Let A B C be extensions of commutative rings. If B is integral over A and if C is integral over B, then C is integral over A. Definition 1.6 (Integral closure). Let A B be an extension of rings and write A := {b B b is integral over A}. Then A is called the integral closure of A in B. Clearly A A. If A = A then A is said to be integrally closed in B. Proposition 1.7. With the notations from Definition 1.6, A is a subring of B and integrally closed in B. Definition 1.8. If A is an integral domain then A is called integrally closed or normal if A is integrall closed in its field of fractions Frac(A) = { a a a 0}. Example 1.9. Z is integrally closed. More generally, a unique factorization domain is integrally closed.
4 SUMMARY NUMBER THEORY II, SOMMERSEMESTER We now consider the following situation: Let A be a n integrally closed domain with field of fractions K. Let L/K be a finite field extension and B the integral closure of A in L. Definition 1.10 (Ring of integers of a number field). If in the above situation, A = Z, and L/Q a finite extension, then B is written O L and called the ring of integers of L. One of our first main results will be that if L/K is a separable extension and A noetherian, then B is finitely generated as an A-module. This is not true in general. Note however, that if char K = 0, then every finite extension of K is separable. We have to develop some more field theory before we can prove this. Proposition Let A be an integrally closed domain, K = Frac(A) its field of ractions, L/K a finite extension and B the integral closure of A in L. (a) Every element x L can be written as x = b, b B, a A. a In particular, L = Frac(B). (b) An element x L lies in B if and only if its monic minimal polynomial p x (T ) K[T ] lies in A[T ]. (c) If M/L is a finite extension and if C B :=integral closure of B in M, C A :=integral closure of A in M, then C B = C A. April Interlude: Separability, trace, norm, discriminant. Reminder. (a) If L/K is a finite algebraic extension of fields, then an element x L is called separable over K, if its minimal polynomial p x (T ) K[T ] has only simple roots over an algebraic closure of L. Equivalently, (p x (T ), p x(t )) = K[T ]. (b) The extension L/K is called separable, if every element of L is separable over K. (c) If L/K is finite and separable, then there exists θ L such that L = K(θ) = K[θ], i.e. if n = [L : K] then that 1, θ,..., θ n 1 is a basis of L over K. (d) If L/K is finite and separable, fix an embedding ι : K K into an algebraic closure of K. Then there exist precisely [L : K] embeddings γ : L K such that j K = ι. Definition Let A be a ring and B an A-algebra, free of finite rank as an A-module. For example A = K and B = L, L/K a finite extension of fields. For b B, write mult b : B B for the A-linear map x bx. (a) Tr B/A (b) := Tr(mult b ) is called the trace of b. additive map Tr B/A : B A. This induces an
5 SUMMARY NUMBER THEORY II, SOMMERSEMESTER (b) N B/A (b) := det(mult b ) is called the norm of b. This induces a map N B/A : B A restricting to a homomorphism of groups N B/A : B A. The norm and trace map are particularly nice if B/A is a finite separable extension of fields. Proposition Fix an algebraic closure K of K and an embedding K K. Assume that L/K is separable and that σ 1,..., σ n are the different embeddings L K fixing K. Moreover, let a L and f a (T ) := det(t id L mult a ) be the characteristic polynomial of mult a. (a) f a (T ) = n i=1 (T σ i(a)). (b) Tr L/K (a) = n i=1 σ i(a). (c) N L/K (a) = n i=1 σ i(a). Corollary If M/L/K are finite separable extensions, then N M/K = N L/K N L /L and Tr M/K = Tr L/K Tr M/L. Definition 1.15 (Discriminant). Let A be a ring and B an A-algebra, free of rank n as an A-module (e.g. B/A a finite extension of fields). Let α 1,..., α n B. The discriminant of α 1,..., α n is defined to be d(α 1,..., α n ) := det ( Tr B/A (α i α j ) 1 i,j n ). Proposition Let A be a ring and B an A-algebra, free of rank n as an A-module. Let α 1,..., α n B and β i := n j=1 a ijα j, a ij A. Then d(β 1,..., β n ) = det ((a ij ) 1 i,j n ) 2 d(α 1,..., α n ) Proposition Assume that L/K is a finite, separable extension of fields and that α 1,..., α n is a K-basis of L. Let σ 1,..., σ n be the distinct K-embeddings of L into a fixed algebraic closure of K. (a) d(α 1,..., α n ) = det ((σ i α j ) 1 i,j n ) 2. (b) If α 1,..., α n has the shape 1, θ,..., θ n 1 for some θ L, then d(1, θ,..., θ n 1 ) = i<j(σ i (θ) σ j (θ)) 2. Theorem 1.18 (Discriminant of separable extensions). If L/K is a finite separable extension of fields and α 1,..., α n a K-basis for L, then d(α 1,..., α n ) 0 and the bilinear form (x, y) Tr L/K (xy) on the K-vector space L is nondegenerate, i.e. for every x L\{0} there exists y L such that Tr L/K (xy) Finiteness of the integral closure in a finite separable extension. Let A be an integrally closed domain, K = Frac(A) its field of fractions, L/K a finite separable extension and B the integral closure of A in L. In this situation, the norm and trace of L/K map B to A. Proposition If b B then N L/K (b) A and Tr L/K (b) A. Moreover, b B if and only if N L/K (b) A.
6 SUMMARY NUMBER THEORY II, SOMMERSEMESTER We return to the question whether the integral closure B of A is a finitely generated A-module. Theorem Let A be a noetherian integrally closed domain, K = Frac(A) its field of fractions and B the integral closure of A in a finite separable extension L/K. (a) B is a finitely generated A-module. (b) If A is a principal domain, then B is a free A-module of rank [L : K]. (More generally: Every finitely generated B-submodule of L is free of rank [L : K].) Definition 1.21 (Integral bases). In the situation of Theorem 1.20 let n = [L : K]. A set of elements α 1,..., α n B such that B n = α i A i=1 is called integral basis of B. In general, an integral basis does not need to exist, but if A is a principal ideal domain (e.g. Z), then Theorem 1.20 guarantees the existence of an integral basis. In the course of the proof of Theorem 1.20 we use the following nice lemma. Lemma In the situation of Theorem 1.20, if α 1,..., α n B is a K-basis of L and d := d(α 1,..., α n ), then d B α 1 A α n A B The discriminant of a number field. We make the notions from the previous paragraph more concrete in the number theoretic setup. Let L be a number field, O L its ring of integers. As L/Q is finite and separable, and as Z is a principal ideal domain, Theorem 1.20 is a free Z-module of rank [L : Q], so there exists an integral basis α 1,..., α n. Proposition In this situation, the discriminant d(α 1,..., α n ) is independent of the choice of the integral basis. Definition We define d L := d(o L ) := d(α 1,..., α n ) Z to be the discriminant of the number field L. We have the following criterion for a set of elements α 1,..., α n O L to be an integral basis. Proposition If L is a number field and α 1,..., α n O L, then the elements α 1,..., α n for an integral basis if and only if d(α 1,..., α n ) = d L. For future reference we also record the following generalization of the previous facts. Proposition Let L be a number field, O L its ring of integers and M a finitely generated O L -submodule of L. Then M is a free Z-module. If α 1,..., α n is a Z-basis of M, then the integer d(α 1,..., α n ) is independent of the choice of α 1,..., α n and denoted d(m). If M M are two finitely generated O L -submodules of L, then d(m) = (M : M) 2 d(m ).
7 SUMMARY NUMBER THEORY II, SOMMERSEMESTER In particular, the index (M : M) is finite. April Basic properties of Dedekind domains 2.1. Fractional ideals, factorization and the class group. We saw that if K is a number field and O K its ring of integers, i.e. the integral closure of Z in K, then O K is a free Z-module of rank [K : Q]. We want to study the basic ring theoretic properties of O K. Proposition 2.1. The ring O K is a noetherian, integrally closed domain and every nonzero prime ideal p O K is maximal. Definition 2.2 (Dedekind domains). A noetherian integrally closed integral domain A which is not a field, and such that every nonzero prime ideal of A is maximal, is called a Dedekind domain. Example 2.3. Principal ideal domains are Dedekind domains. Rings of integers of a number field are Dedekind domains. Reminder. Let A be a ring. Given a chain of prime ideals p 0 p 1... p n we say that its length is n. Then the Krull dimension of A is defined to be dim A = sup{n there is an ascending chain of prime ideals of length n}. For any nonzero ring A, dim A 0, but there are notherian rings of infinite Krull dimension. If A is a Dedekind domain, then dim A = 1. Proposition 2.4. Let A be a Dedekind domain. (a) If A is local, then A is a principal ideal domain. (b) A is a principal ideal domain if and only if A is a unique factorization domain. There are Dedekind domains which are not unique factorization domains; even among the rings of integers of number fields. Instead we have the following. Theorem 2.5 (Prime factorization in Dedekind domains). Let A be a Dedekind domain and I A a nonzero ideal. Then there is a unique way to write I = p v pvr r with p i A pairwise distinct maximal ideals and v i 1. If you have taken a course on commutative algebra, one way to prove Theorem 2.5 is to use the primary decomposition of an ideal. We will give a direct proof. Lemma 2.6. Let A be a Dedekind domain and I A a nonzero ideal. Then there are nonzero prime ideals p 1,..., p r such that I p 1... p r.
8 SUMMARY NUMBER THEORY II, SOMMERSEMESTER Definition 2.7 (Fractional ideals). Let A be an integral domain, K = Frac A. An A-submodule M K is called fractional ideal of A if there exists some x A \ {0} such that xm := {xm K m M} A. Note that if A is noetherian, then an A-submodule M K is a fractional ideal if and only if M is a finitely generated A-module. Definition 2.8. Let A be an integral domain and I A an ideal. (a) I is a fractional ideal. These ideals will often be called integral ideals to distinguish them from fractional ideals. (b) Define I 1 := {x K xi A}. If A is noetherian, then I 1 Hom A (I, A) is a fractional ideal. (c) If M, N K are fractional ideals, then define { n } M N := x i y i x i M, y i N, n 0. i=1 This is a fractional ideal. Proposition 2.9. Let A be a Dedekind domain and p A a nonzero prime ideal. (a) For all nonzero ideals I A we have (b) pp 1 = A. I Ip 1. This allows us to prove Theorem 2.5. Definition 2.10 (Group of fractional ideals). Let A be a Dedekind domain. We write Id(A) for set of nonzero fractional ideals of A. Corollary Let A be a Dedekind domain. The product of fractional ideals makes Id(A) into an abelian group with neutral element A = (1). In fact, every nonzero fractiona ideal I Id(A) can be written uniquely as I = p v pvr r with p i nonzero prime ideals and v i Z \ {0}. In other words, Id(A) is the free abelian group generated by nonzero prime ideals. Remark We have seen that in a Dedekind domain A, Id(A) carries the structure of an abelian group. The converse is a theorem of Noether: If A is an integral domain such that Id(A) is a group then A is a Dedekind domain. The group Id(A) has an interesting subgroup. Definition 2.13 (Principal fractional ideals). Let A be a Dedekind domain with field of fractions K. (a) For x K write (x) := xa K for the fractional ideal generated by x. We say that (x) is a principal fractional ideal. (b) We write P (A) := {(x) x K } for the set of nonzero principal fractional ideals of A.
9 SUMMARY NUMBER THEORY II, SOMMERSEMESTER Proposition Let A be a Dedekind domain with fraction field K. Then P A Id(A) is a subgroup and there is an exact sequence of abelian groups 1 A K x (x) Id(A) Id(A)/P (A) 1. Definition 2.15 (Class group). Let A be a Dedekind domain. The abelian group Cl(A) := Id(A)/P (A) is called the class group of A. We write h A := Cl(A) N { } for the order of Cl(A) and call h A the class number of A. If K is a number field and A = O K, then we also write Id(K) := Id(O K ), P (K) := P (O K ), Cl(K) := Cl(O K ) and h K := h OK. The group Cl(K) is the class group of K and its order h K is the class number of K. Proposition If A is Dedekind domain, then A is a principal domain if and only if Cl(A) = 1. Thus Cl(A) measures how far A is away from being a principal ideal domain and hence a unique factorization domain (see Proposition 2.4). We will see later on that if K is a number field then h K <, i.e. Cl(K) is a finite group. Example There are Dedekind domains with infinite class group. If d N is a square free positive integer, then it is known that for K = Q( d) we have h K > 1 unless d = 1, 2, 3, 7, 11, 19, 43, 67, 163 (Heegener, 1952). On the other hand, if K = Q( d) it is conjectured (but unknown), that there are infinitely many d with h K = Factorization of prime ideals in finite extensions of Dedekind domains. Let A be a noetherian integral domain with fraction field K. Let L/K be a finite separable field extension. Then Theorem 1.20 shows that the integral closure B of A in L is a finitely generated A-module. Proposition If A is a Dedekind domain with field of fractions K and L/K a finite separable extension. Then B is a Dedekind domain. Remark The assumption that L/K be separable is not necessary, this is the theorem of Krull-Akizuki. Proposition Let A be a Dedekind domain with field of fractions K, L/K a finite separable extension and B the integral closure of A in L. Let p A be a nonzero prime idea. (a) pb B. (b) If P B is a nonzero prime ideal, then P pb if and only if P K = p. In this case, the field extension A/p B/P is finite. (c) The map Id(A) Id(B), I IB, is injective. Definition In the situation of Proposition 2.20, there is a unique decomposition p = P e(p 1/p) 1... P e(pg/p) g. (1) with P i nonzero prime ideals of B and e(p i /p) 1. (a) p is called unramified in L if e(p 1 /p) =... = e(p g /p) = 1. Otherwise, p is said to be ramified in L. (b) The number e(p i /p) is called ramification index of P i over p.
10 SUMMARY NUMBER THEORY II, SOMMERSEMESTER (c) The degree of the extension A/p B/P i is written f(p i /p) and called the residue degree of P i over p. (d) p is called inert if pb is a prime ideal of B, i.e. if g = e(p 1 /p) = 1 (e) p is called (totally) split if e(p i /p) = f(p i /p) = 1 for i = 1,..., g. Example From Proposition 0.6 we see that in Z Z[i] the primes p Z with p 3 mod 4 are inert, p 1 mod 4 split completely and p = 2 is ramified with ramification index 2. The numbers, g, e(p i /p), f(p i /p) from Definition 2.21 satisfy a nice relation. Theorem 2.23 (efg formula). Let A be a Dedekind domain with field of fractions K, L a separable extension of K and B the integral closure of A in L. If p A is a nonzero prime ideal, then the numbers e(p i /p), g and f(p i /p) obtained from the factorization (1) satisfy g [L : K] = e(p i /p)f(p i /p). i=1 Moreover, if L/K is a Galois extension, then and and hence e(p 1 /p) =... = e(p g /p) =: e f(p 1 /p) =... = f(p g /p) =: f [L : K] = efg. The proof of the theorem relies on a general form of the famous Chinese Remainder Theorem. Lemma 2.24 (Chinese Remainder Theorem). Let R be a ring, I 1,..., I n R ideals such that I i + I j = R for all pairs i j, 1 i, j n. Then there is an isomorphism of rings n R/ I i n = R/I i. i=1 Note that if I + J = R then IJ = I J. There is a convenient criterion for when a prime ideal p A is ramified. Proposition Let L/K be a finite extension of number fields and O K, O L the rings of integers. Assume that O L is a free O K -module (e.g. if h K = 1, e.g. K = Q). Then a nonzero prime p O K ramifies in L if and only if p d L/K, where d L/K is the ideal generated by the discriminant of an O K -basis of O L (the discriminants of two O K -bases of O L differ by the square of a unit of O K (Definition 1.24). In particular, if K = Q, then p Z ramifies in L if and only if p d K, where d K Z is the discriminant of the number field K. We need two lemmas. i=1 April 27
11 SUMMARY NUMBER THEORY II, SOMMERSEMESTER Lemma Let A be a ring and B a finite A-algebra, free as an A-module. If {e 1,..., e m } is an A-basis of B, then for all ideals I A, the residue classes {ē 1,..., ē m } form a basis of the free A/I-module B/IB. In particular, d(ē 1,..., ē m ) d(e 1,..., e m ) mod I. Lemma Let k be a perfect field (e.g. char(k) = 0 or #k < ) and B a k-algebra such that dim k B <. Then B is reduced (i.e. b n = 0 implies b = 0) if and only if for any basis e 1,..., e n of the k-vector space B we have d(b 1,..., b n ) The norm of an ideal. Definition 2.28 (Norm of ideals). Let A be a Dedekind domain with field of fractions K, L/K a finite separable extension and B the integral closure of A in L. For a nonzero fractional ideal I Id(B) we can write I = P v Pvr r with v i Z\{0} and P i distinct nonzero prime ideals in B. Write p i := P i K and f i := [B/P i : A/p i ]. The norm of the fractional ideal I is defined to be N L/K (I) := r i=1 p v if i i Id(A). We establish properties analogous to properties of the norm N L/K : L K. Proposition We continue to use the notation from Definition (a) N L/K : Id(B) Id(A) is a homomorphism of groups. (b) If M/L is a finite separable extension then N L/K N M/L = N M/K. (c) If I A is a nonzero ideal then N L/K (IB) = I [L:K]. (d) If L/K is Galois and P B a nonzero prime ideal, then with p := P A we have pb = (P 1... P g ) e and N L/K (P)B = (P 1... P g ) ef = σp. σ Gal(L/K) (e) For x L, we have N L/K (xb) = N L/K (x)a, in other words, the diagram L x (x) Id(B) N L/K K y (y) Id(A) N L/K commutes and hence N L/K induces a homomorphism N L/K : Cl(B) Cl(A). We make this norm more concrete in the number theoretic situation in the case that K = Q.
12 SUMMARY NUMBER THEORY II, SOMMERSEMESTER Definition 2.30 (Absolute norm). Let K be a number field and I O K an ideal. The norm N K/Q (I) is a nonzero ideal in Z, hence a nonzero integer up to sign. We will write N(I) := N K/Q (I) N and call N(I) the absolute norm or numerical norm of I. Proposition Let K be a number field and O K its ring of integers. (a) If I O K is a nonzero ideal, then N(I) = O K /I N, and N(I) 2 = d(i)/d K. (b) If I J are fractional ideals then J/I = N(IJ 1 ), The following simple observation is crucial. Proposition Let K be a number field and µ R >0 arbitrary. There are only finitely many nonzero ideals I A with N(I) < µ. Together with the next proposition, we find a criterion for when the class group Cl(K) is finite. Proposition Let K be a number field and µ R >0. The following statements are equivalent. (a) For all nonzero ideals I A there exists a I \ {0} such that N K/Q (a) < N(I) µ. (b) Every class of fractional ideals in Cl(K) has a representative I A such that N(I) < µ. In the next chapter, we will find for every K a bound µ as in Proposition 2.33, a. and hence prove that h K = # Cl(K) <. May 4 3. Geometry of numbers Minkowski theory We will leave the realm of commutative algebra and prove theorems about number fields using that they can be embedded into the field of complex numbers, which is not true for fraction fields of general Dedekind domains Lattices. Definition 3.1. Let V be a finite dimensional real vector space. A lattice Λ V is a subgroup of the form Λ = e 1 Z +... e r Z for e 1,..., e r V linearly independent elements. If r = dim V, then Λ is said to be a full lattice. Note that in this case the inclusion Λ V induces an isomorphism of R-vector spaces Λ Z R = V. If λ V is a lattice, then λ is a free abelian group. The converse is not true, as the follwoing example shows. Example 3.2. V = R, Λ = Z + 2Z V is a free abelian group as 2 is irrational, but 1, 2 are of course not R-linearly independent. Given a subgroup Λ V, how do we decide whether Λ is a lattice or not?
13 SUMMARY NUMBER THEORY II, SOMMERSEMESTER Reminder. If V is an n-dimensional R-vector space, then V carries a topology: Choosing a basis fixes an isomorphism R n = V and we can use the euclidean topology on R n to define a topology on V. On the other hand, every R-linear automorphism of R n is a homeomorhpism, so the topology defined on V is independent of the isomorphism V = R n. Definition 3.3. A topological space X is called discrete if every subset of X is open. If Y X is a subset, then Y is said to be discrete, if Y equipped with subspace topology induced by X is discrete. This just means that for every y Y there exists an open subset U X such that U Y = {y}. If Λ R n is a subset, then Λ discrete if and only if for every λ Λ there exists ε > 0 such that B ε (λ) Λ = {λ}, where B ε (λ) := {x R n x λ < ε} is the ball of radius ε around λ with respect to some norm. Proposition 3.4. Let V be a finite dimensional R-vector space and Λ V a subgroup. Then Λ is a lattice if and only if Λ is a discrete subspace of V. Definition 3.5. Let V be an n-dimensional R-vector space and Λ V a full lattice Λ = n i=1 f iz. Given λ 0 Λ we define { } n D(λ 0 ) := λ 0 + a i f i a i R, 0 a i < 1. i=1 The set D(λ 0 ) is called a fundamental parallelepiped or more pronouncably foundamental domain for Λ and depends on the choice of the basis f 1,..., f n of Λ, but in a sense to be made precise below, its volume does not depend on the choice of the f 1,..., f n. Note that V is the disjoint union λ 0 Λ D(λ 0). We need to be able to talk about volumes of certain subsets of R n and collect the basic facts from measure theory that we will use. Reminder. Let V be an n-dimensional R-vector space and e 1,..., e n a basis. The basis gives rise to an isomorphism V = R n. We denote by µ the Lebesgue measure on R n. (a) µ ({ n i=1 a ie i a i R, 0 a i < 1}) = 1. (b) If f 1,..., f n is a second basis, then ({ n }) µ a i f i a i R, 0 a i < 1 = det(a) i=1 where A is the matrix a ij, if f j = n i=1 a ije i, i.e. the base change matrix. (c) This shows that the choice of a basis of V defines a measure on V, well-defined up to multiplication by a constant. In particular, given two measurable subsets S 1, S 2 V, the ratio µ(s 1 )/µ(s 2 ) is well-defined. (d) Let Λ := f 1 Z f n Z be a full lattice in n i=1 e ir. For every λ Λ we have µ(d(λ)) = det(a) with A as in the previous point. This volume is independent of the choice of the basis f 1,..., f n of Λ. If f 1,..., f n is a second basis of Λ,
14 SUMMARY NUMBER THEORY II, SOMMERSEMESTER then the associated base change matrix B has integer coefficients, the absolute value of its determinant is 1. Thus µ(d(λ)) = det(ba) = det(a). (e) If Λ Λ are two full lattices in R n, then there exists a basis f 1,..., f n of Λ and m 1,..., m n N such that f 1 := m 1f 1,..., f n := m n f n is a basis of Λ (this follows from the structure theorem for finitely generated abelian groups). Let D(0) be the fundamental domain of Λ based at 0 with respect to the basis f 1,..., f n and D (0) the fundamental domain of Λ based at 0 with respect to the basis f 1,..., f n. It follows that µ(d (0)) = (Λ : Λ )µ(d(0)) and that µ(d (0))/µ(D(0)) is independent of the choice of the bases Minkowski s theorem on lattice points. Proposition 3.6. Let D be a fundamental domain for the full lattice Λ V and S V a measurable subset. If µ(s) > µ(d) then there are α, β S such that 0 α β Λ. Note that the condition µ(s) > µ(d) is independent of any choices of bases according to Reminder 3.1. What additional conditions can we impose on S so that we can deduce that S Λ contains a nonzero point? Example 3.7. Silly example: Λ = Z[i] C and S = C \ Λ. Then the conditions of Proposition 3.6 are satisified, but still Λ S =. Problem here: S not convex! Definition 3.8. A subset S of a real vector space V is called convex if for all s 1, s 2 S we have {s 1 + γ(s 2 s 1 ) γ [0, 1]} S. Example 3.9. Again consider Λ := Z[i] C = R ir and S := [ 1 3, 1 2 ] ir. Clearly, S is convex and its volume is infinite, but still S Λ =. Problem: S is not symmetric around the origin. Definition A subset S of a real vector space V is called symmetric around the origin if for all s S we also have s S. Lemma Let V be an n-dimensional real vector space and S V be symmetric around the origin and convex. If Λ is a full lattice and D a fundamental domain of Λ, then Λ S contains a nonzero element if µ(s) > 2 n µ(d). We can improve the lemma to take into account the boundary of S. Theorem 3.12 (Minkowski Lattice Point Theorem). Let V be real vector space of dimension n and S V a compact, convex subset, symmetric around the origin. Let Λ V be a full lattice and D a fundamental domain for Λ. If µ(s) 2 n µ(d) then S Λ contains a nonzero element. Before we apply this theorem to the study of number fields, we mention a fun application to elementary number theory:
15 SUMMARY NUMBER THEORY II, SOMMERSEMESTER Example 3.13 (Lagrange 1770). Every positive integer is a sum of four squares The Minkowski bound and finiteness of the class number. Definition Let K be a number field, [K : Q] = n. There are n embeddings σ i : K C (which automatically fix Q). (a) If σ i (K) R C, then σ i is called a real embedding. We will always write r for the number of real embeddings K R. (b) If σ i (K) R, then σ i is said to be a complex embedding. If σ i denotes its complex conjugation, then σ i σ i. (c) We write s for the number of pairs of complex embeddings, so that n = r + 2s. (d) We order the embeddings σ i as follows: σ 1,..., σ r are the real embeddings of K and σ r+1,..., σ r+2s are ordered such that σ r+i = σ r+s+i. (e) Using all embeddings we obtain an injective map of rings σ : K R r C s, x (σ 1,..., σ r (x), σ r+1 (x),..., σ r+s (x)). Note that in the definition of σ, we only use one complex embedding from each pair of complex embeddings. (f) We will identify C with R + ir, so that we can interpret σ as an embedding K R n. Here is our main reason for studying Minkowski s Lattice Point Theorem. Proposition Let K be a number field, O K its ring of integers. If I O K is a nonzero ideal then σ(i) R r C s = R n is a full lattice. The volume of a fundamental domain D is µ(d) = 2 s N(I) d K. Theorem 3.16 (Minkowski Bound). Let K be a number field of degree n and I O K a nonzero ideal. Then there exists an element a I \ {0} with N K/Q (a) ( 4 π ) s n! n n N(I) d K. Corollary The class group of a number field is finite. Example Q(i),Q( 5), more? The crucial ingredient in the proof of Theorem 3.16 is the following simple but tedious computation. Lemma For (x, z) R r C s, define r (x, z) := x i + 2 i=1 r+s i=r+1 This is a norm on the real vector space R r C s. For t R write X(t) := {(x, z) R r C s (x, z) t}. If µ is the Lebesgue measure on R r (R ir) s, then ( µ(x(t)) = 2 r π ) s t n 2 n!. z i. May 11
16 SUMMARY NUMBER THEORY II, SOMMERSEMESTER Estimates for the discriminant and Hermite s theorem. If we just wanted to prove the finiteness of the class group of a number field, we could have done this without establishing the Minkowski bound We give a few more important applications, which use the precise bound. Theorem Let K be a number field of degree n > 1. Then there exists a prime number p Z which ramifies in K. In the proof of the theorem we used that the discriminant d K controls the which prime numbers ramify in K. We will see later (hopefully) that to some extent it also controls how badly a prime number ramifies in K. If we use a little bit more analysis, we can say more about how the discriminant depends on the degree of the extension. Reminder. Stirling s formula says that there exists a number θ (0, 1) such that for every n n! = ( n ) n θ 2πn e 12n. e Proposition If K is a number field of degree n, then we saw ( π ) ( ) 2s n n 2 ( π ) ( ) n n n 2 d K 4 n! 4 n! where s is the number of pairs of complex embeddings of K, i.e. n = r + 2s. Stirlings formula implies that if n, then d K. Using Minkowski s lattice point theorem together with the previous proposition, we can prove the following famous theorem of Hermite. Theorem 3.22 (Hermite). Given D N, there are only finitely many number fields K such that d K D. May Integral units Until now, we spent most of our time studying the ideals and fractional ideals of the ring of integers O K of a number field K. The process of passing from elements of O K to ideals forgets information about the units O K. In this chapter we study the structure of the group O K Cyclotomic fields. Definition 4.1. Let K be a number field and n N. An element ζ K is called n-th root of unity if ζ n = 1. If ζ is an n-th root of unity with ζ r 1 for r = 1,..., n 1, then ζ is called primitive. We define µ n (K) := {ζ K n N : ζ n = 1}. This is a subgroup of K. We also write µ(k) := n 1 µ n(k), which is also a subgroup of K. Lemma 4.2. Let K be a field, n N, and ζ µ n (K) a primitive n-th root of unity. (a) For d N, ζ d is a primitive n-th root of unity if and only if (d, n) = 1. (b) µ n (K) is a finite cyclic group of order n.
17 SUMMARY NUMBER THEORY II, SOMMERSEMESTER Remark 4.3. Of course, if K is a field and n N, it is not necessarily true that K contains a primitive n-th root of unity. For example, µ(q) = {±1}. Nonetheless, if K is an algebraic closure of K, then µ n (K) µ n (K) is a subgroup, so µ n (K) is always finite and cyclic. Definition 4.4. Let n N and let ζ C be a primitive n-th root of unity. Q(ζ) C is called the n-th cyclotomic field, and according to Lemma 4.2, if ζ C is a second primitive n-th root of unity, then Q(ζ) = Q(ζ ). The field Q(ζ) is the splitting field of the polynomial T n 1 Z[T ]. Thus Q(ζ)/Q is a Galois extension. If σ Gal(Q(ζ)/Q) then there exists d {0, 1,..., n 1}, (d, n) = 1, such that σ(ζ) = ζ d. This defines an injective homomorphism Gal(Q(ζ)/Q) (Z/nZ), σ d. Recall that the Euler ϕ-function is the map ϕ : N N, defined by ϕ(n) = #{r {1,..., n 1} (r, n) = 1} = #(Z/nZ). The n-th cyclotomic polynomial is defined by Φ n (T ) := (T ζ r ). 0<r<n,(r,n)=1 As it is fixed by Gal(Q(ζ)/Q), it lies in Q[T ]. On the other hand, as ζ is integral over Z, the same is true for the coefficients of Φ n (T ), so Φ n (T ) Z[T ]. It is monic of degree ϕ(n). As Φ n (ζ) = 0, it follows that [Q(ζ) : Q] ϕ(n). In fact Φ n (T ) is irreducible, so [Q(ζ) : Q] = ϕ(n) and Gal(Q(ζ)/Q) = (Z/nZ). We first check this for n = p r, p prime. Proposition 4.5. Let r N, and let ζ C be a primitive p r -th root of unity. Write K := Q(ζ). (a) [K : Q] = ϕ(p r ) = p r 1 (p 1). (b) Write π := 1 ζ. The ideal πo K is prime and po K = π ϕ(pr) O K. (c) discr(k/q) = ±p c for some c > 0 with sign ( 1) ϕ(pr )/2 unless p r = 2. In this case K = Q(i), discr(q(i)/q) = 4. (d) O K = Z[ζ]. If n N is not a prime power, we use induction on the number of prime divisors of n to prove: Proposition 4.6. Let ζ C be a primitive n-th root of unity. (a) [Q(ζ) : Q] = ϕ(n). (b) O K = Z[ζ]. (c) If p Z is a prime number which ramifies in Q(ζ), then p n. Moreover, if n = p r m with (p, m) = 1, then there are distinct prime ideals p 1,..., p t Z[ζ], t m, such that pz[ζ] = (p 1... p t ) ϕ(pr) Dirichlet s unit theorem. We study the structure of the abelian group O K, if K is a number field. The results from the previous section help us understand the torsion subgroup of O K.
18 SUMMARY NUMBER THEORY II, SOMMERSEMESTER Definition 4.7. Let A be an abelian group, written multiplicatively. Then A tors := {a A n 1 : a n = 1} is the torsion subgroup of A. Note that if A is finite, then A tors = A. If A is finitely generated, then A = A tors A/A tors. Lemma 4.8. If K is a number field then (O K ) tors = (K ) tors = µ(k) and µ(k) is a finite cyclic group. The full group theoretic structure of O K is described by Dirichlet s Unit Theorem. Theorem 4.9 (Dirichlet s Unit Theorem). Let K be a number field and n := [K : Q] its degree. Let r be the number of real embeddings of K and 2s the number of complex embeddings of K. Then n = r + 2s and O K is a finitely generated abelian group of rank r + s 1. Before we approach the proof, we look at a few examples. Example Let d be a square free integer and K = Q( d). We know that { Z[ d] if d 2, 3 mod 4 O K = Z[ 1+ d 2 ] if d 1 mod 4 Moreover, an element x O K is a unit if and only N K/Q (x) = ±1 (Proposition 1.19). It follows that if x = a + b d (d 2, 3 mod 4), or x = a + b 2 (1 + d) (d 1 mod 4), then the units in O K are given by the solutions to the following equations: { a 2 b 2 d = ±1 if d 2, 3 mod 4 (2a + b) 2 b 2 (2) d = ±4 if d 1 mod 4 Assume that d < 0. Then K only has complex embeddings, so Dirichlet s theorem implies that O K is finite. We can check this directly by finding the solutions to the equations (2). If d < 0 and d 2, 3 mod 4, then either O K = {±1} or d = 1, and Z[i] = {±1, ±i}. If d < 0 and d 1 mod 4, then we similarly see that O K = {±1} unless d = 3 and ( ) ( O {±1, Q( 3) = ±, ± )} On the other hand, if d > 0, then Dirichlet s theorem postulates the existence of infinitely many solutions to (2), and it is not as easy to describe all of them. We set up the proof of Dirichlet s Unit Theorem (Theorem 4.9). Let K be a number field n = [K : Q]. Let σ 1,..., σ r be the real embeddings of K and σ r+1, σ r+1,..., σ r+s, σ r+s the complex embeddings of K. As before, define σ : K R r C s, σ(x) := (σ 1 (x),..., σ r (x), σ r+1 (x),..., σ r+s (x)). This is a homomorphism of rings, but of course σ(k ) is not a subgroup of R r C s. To pass from products to sums, we use logarithms. Define L : K R r+s by L(x) = (log σ 1 (x),..., log σ r (x), log σ r+1 (x),..., log σ r+s (x) ).
19 SUMMARY NUMBER THEORY II, SOMMERSEMESTER This is a homomorphism of groups. If x O K we know that N K/Q(x) = ±1, so L(O K ) {(x 1,..., x r+s ) R r+s x x r +2x r x r+s = 0} =: H Note that the projection R r+s R r+s 1 given by forgetting the (r + s)-th coordinate induces an isomorphism H = R r+s 1, so we think of L as a homomorphism L : O K Rr+s 1. Proposition With the above setup, L(O K ) Rr+s 1 is a lattice and ker(l) = µ(k). In particular, O K is finitely generated. We make use of the following lemma. Lemma Fix m, M N. The set S(m, M) = { α C α is integral over Z, [Q(α) : Q] m, α M for all conjugates α } is finite. It is much more complicated to prove that L(O K ) is a full lattice. Proposition L(O K ) is a full lattice. This finishes the proof of Dirichlet s Unit theorem. June 1 5. Absolute values and completions Let K be a number field and p Z a prime. We studied the prime ideals p O K lying over p. Of course, the extension K/Q contains information about all primes p Z and all prime ideals in O K lying over p. Amongst other things, in this section we will develop a technique to focus on one prime number p Z. The completion of Q at p will be the field Q p of p-adic numbers, and K Q Q p = K p, p p O K where K p is a finite extension of Q p which is much easier to understand than K/Q. We start at the beginning Basics. We fix an arbitrary field K. Definition 5.1. An absolute value on K is a function : K R 0 satisfying: (a) x = 0 if and only if x = 0, (b) xy = x y for all x, y K. (c) x + y x + y for all x, y K. This is the triangle inequality. If in addition x + y max{ x, y }, then the absolute value is called non-archimedean, if not, then is called archimedean. We say that the pair (K, ) is a (non-archimedean or archimedean) valued field. Example 5.2. K = Q, R, C, the usual absolute value. This is often denoted. The absolute value is archimedean.
20 SUMMARY NUMBER THEORY II, SOMMERSEMESTER If K is any field, then defining x := 1 for x K and 0 := 0 makes (K, ) into a non-archimedean valued field. This absolute value is called the trivial absolute value and usually excluded from the discussion. Let K be a number field and σ : K C an embedding. Defining x := σ(x) defines an archimedean absolute value on K. K = Q, p Z a prime number. For x Q there is a unique way to write x = p n a b with p ab. Define v p(x) = n. Then x p := 1 p vp(x) defines a non-archimedean absolute value on Q, the p-adic absolute value. Similarly, if A is a Dedekind domain, K = Frac(A), and p A a nonzero prime ideal, define v p (x) = max{n x p n } for x A \ {0}, and v p ( a b ) = v p(a) v p (b) for a b K 1. Again, x p := defines N(p) v p(x) a non-archimedean absolute value on K, the p-adic absolute value. This applies, for example, to A = O K the ring of integers of a number field K. In the last few examples, we used certain functions v : K R. Their occurence was not a coincidence. Definition 5.3. An (additive) valuation on K is a function v : K R { } such that: (a) v(x) = if and only if x = 0. (b) v(xy) = v(x) + v(y) for all x, y K, (c) v(x + y) min{v(x), v(y)} for all x, y K. The datum of a non-archimedean absolute value on K is equivalent to the datum of an additive valuation. Proposition 5.4. If is a nontrivial non-archimedean absolute value on K, then defining v(x) := log( x ) for x K makes v into an additive valuation on K. Conversely, given an additive valuation v : K R { }, defining x := exp( v(x)) makes into a non-archimedean absolute value. The two constructions are inverse to each other. Definition 5.5. An additive valuation v is called discrete, if v(k ) R is discrete, i.e. if there exists e R >0 such that v(k ) = ez R. A non-archimedean absolute value is called discrete if K is a discrete subset of R >0, or, equivalently if the associated additive valuation is discrete. Definition 5.6. Let (K, ) be a non-archimedean valued field and write = exp( v( ). Define the following subsets. O K := {x K x 1} = {x K v(x) 0}. This is a subring of K, the valuation ring of. m K := {x K x < 1} = {x K v(x) > 0}. This is a maximal ideal in O K (see proposition below). U K := {x K x = 1} = {x K v(x) = 0}. Proposition 5.7. We continue to use the notation from the definition. (a) O K is a subring of K with the property that for x K we have x O K or x 1 O K.
21 SUMMARY NUMBER THEORY II, SOMMERSEMESTER (b) U K = O K (c) m K is the only maximal ideal of O K. (d) The following are equivalent: (i) is discrete, (ii) O K is a principal ideal domain, (iii) m K is a principal ideal, (iv) there is e R >0 such that v(a) := log a = e max{n a m n K } for all a O K. Definition 5.8. A local principal ideal domain is called discrete valuation ring, or DVR for short. Remark 5.9. (a) A discrete valuation ring is a local Dedekind domain. The converse is also true. (b) Given a discrete valuation ring A with maximal ideal m, we get an absolute value on K = Frac(A) such that A is the valuation ring of this absolute value. Indeed, pick e R >0 and for x A define v(a) = e max{n x m n }. Extend this to K by v( a b ) := v(a) v(b), and define x = exp( v(x)). This is not quite canonical: We chose e, but we will see later, that while the absolute value may depend on e, the topology induced by it does not. Example Let K = Q, p Z a prime. The valuation ring of the p-adic absolute value p on Q is { a } Z (p) := b Q (b, p) = 1. Its maximal ideal is pz (p). This is a special case of the localization of a ring at a prime ideal. Definition If A is a domain with field of fractions K and p A a prime ideal, define { a } A p := b K b p. This is a subring of K containing A with maximal ideal pa p. If A is not a domain, it is still possible to define the localization, but we will not make use of it. Example Let K be a field. On the polynomial ring K[T ] define ord(f) = max{n f (T ) n }. This is the order of zero at T = 0. On K(T ) := Frac(K[T ]) define ord(f/g) = ord(f) ord(g). The associated discrete absolute value has the valuation ring { } f K[T ] (T ) = g g(0) Topology. Definition If K is a field and an absolute value on K, then defines a metric on K and hence a topology. A basis of open neighborhoods of an element a K is given by the sets for ε > 0. B ε (a) := {x K x a < ε},
22 SUMMARY NUMBER THEORY II, SOMMERSEMESTER If 1, 2 are two absolute values on K, then we say that they are equivalent if and only if they define the same topology on K. Lemma If 1, 2 are two equivalent absolute values on K and x n K a sequence in K, then x n converges in K with respect to 1 if and only if it converges with respect to 2, and the limits are the same. Lemma If 1, 2 are nontrivial absolute values on K, then the following statements are equivalent: (a) 1 and 2 are equivalent. (b) For x K, x 1 < 1 x 2 < 1. (c) There exists t R >0 such that x 2 = x t 1 for all x K. Corollary If v : K R { } is an additive absolute value, then for q > 1, e > 0 defining x := 1 gives a nonarchimedean absolute value on q ev(x) K. The equivalence class of does not depend on the choice of q, e Classification of absolute values on Q. The lemma also allows us to classify all absolute values on Q up to equivalence. Theorem 5.17 (Ostrowski). Every absolute value on Q is equivalent either to the usual, archimedean absolute value or to p for some p Z prime. Later on, we will get a similar classification for all absolute values on any number field. The proof of Ostrowski s theorem splits into two cases: The archimedean and the non-archimedean case. The following lemma allows us to distinguish more precisely. Lemma Let be an absolute value on a field. The following statements are equivalent: (a) is non-archimedean. (b) { n n Z} R 0 is bounded. Note that by definition n = (c) n 1 for all n Z. (d) n 1 for some n Z >1. } {{ } n In the lecture I messed up the proof of (d) (c), so let me give it here: Proof. Pick n 0 Z >1 such that n 0 1. For any n Z >0 we find a 0,..., a r {0,..., n 0 1} such that n = a 0 + a 1 n a r n r 0. Note that n r log(n) 0 n, so r log(n 0 ). It follows that r ( n a i n 0 i (r + 1)n }{{} 0 n log(n) ), log(n i=0 0 ) 1 as a i a i < n 0. Replacing n by n t for some t 0 and taking the t-th root yields ( n n 1 t t log(n) ) 1 t. log(n 0 ) For t, the right-hand side converges to 1, which completes the proof..
23 SUMMARY NUMBER THEORY II, SOMMERSEMESTER Thus, the two cases in Ostrowski s theorem are 1. is non-archimedean, i.e., n 1 for all n Z 2. is archimedean, i.e., n > 1 for all n > Completion. Reminder. Let K be a field with absolute value. The absolute value induces a metric on K. Recall that a Cauchy sequence in K with respect to is a sequence (x n ) n N K N such that for every ε > 0 there is N N such that x n x m < ε for all n, m N. If the sequence (x n ) n N converges, then it is automatically a Cauchy sequence. The metric space K is said to be complete if every Cauchy sequence in K converges. To every metric space one can add the missing limit points to obtain a complete metric space; in this section we will explain its construction for a field with an absolute value. Example Consider the sequence 5, 14, 41, 122,..., described precisely as a n := 2+ m i=1 3i for n 1. This is a Cauchy sequence with respect to the 3-adic absolute value: For m > n we have a m a n = 3 n n m. Consequently, a m a n 3 = 1/3 n+1, which shows that (a n ) n N is a Cauchy sequence with respect to 3. But it is not a Cauchy sequence with respect to any absolute value not equivalent to 3. Note moreover that 2a n = 4+ n i=1 2 3i = 1+3 n+1, so 2a n 1 3 = 1/3 n+1 and hence lim n a n = 1/2 with respect to 3. While this sequence does have a limit in Q with respect to 3, Q is not complete with respect to any nontrivial absolute value. It is not complete with respect to as, e.g., 2 R \ Q. For p Z a prime, p > 3, it will follow from Hensel s Lemma, which will will soon prove, that there is a Cauchy sequence with respect to p in Q, which cannot have a limit in Q, as it would have to converge to a primitive (p 1)-th root of unity. But µ(q) = {1, 1}. For p = 2 (resp. p = 3), a similar argument will show that if Q were complete, it would have to contain a root of x (resp. x 2 + x + 1), which is false. Proposition Let K be a field equipped with an absolute value. There exists a field K with absolute value 2 such that K is complete with respect to 2 together with an injective homomorphism ι : K K such that ι(x) 2 = x for all x K. The triple ( K, 2, ι) has the following universal property. If L is another field, complete with respect to the absolute value 3 and j : K L an injective homomorphism such that j(x) 3 = x for every x K, then there exists a unique homomorphism such that the diagram June 8 K ι j K L!
Algebraic Number Theory
TIFR VSRP Programme Project Report Algebraic Number Theory Milind Hegde Under the guidance of Prof. Sandeep Varma July 4, 2015 A C K N O W L E D G M E N T S I would like to express my thanks to TIFR for
More 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 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 information5 Dedekind extensions
18.785 Number theory I Fall 2016 Lecture #5 09/22/2016 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also
More 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 informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #7 09/26/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #7 09/26/2013 In Lecture 6 we proved (most of) Ostrowski s theorem for number fields, and we saw the product formula for absolute values on
More informationMINKOWSKI THEORY AND THE CLASS NUMBER
MINKOWSKI THEORY AND THE CLASS NUMBER BROOKE ULLERY Abstract. This paper gives a basic introduction to Minkowski Theory and the class group, leading up to a proof that the class number (the order of the
More informationAlgebraic Number Theory Notes: Local Fields
Algebraic Number Theory Notes: Local Fields Sam Mundy These notes are meant to serve as quick introduction to local fields, in a way which does not pass through general global fields. Here all topological
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 information8 Complete fields and valuation rings
18.785 Number theory I Fall 2017 Lecture #8 10/02/2017 8 Complete fields and valuation rings In order to make further progress in our investigation of finite extensions L/K of the fraction field K of a
More information1 Absolute values and discrete valuations
18.785 Number theory I Lecture #1 Fall 2015 09/10/2015 1 Absolute values and discrete valuations 1.1 Introduction At its core, number theory is the study of the ring Z and its fraction field Q. Many questions
More information12 Ramification, Haar measure, the product formula
18.785 Number theory I Lecture #12 Fall 2015 10/22/2015 12 Ramification, Haar measure, the product formula 12.1 Ramification in terms of the different and discriminant We conclude our discussion of the
More information5 Dedekind extensions
18.785 Number theory I Fall 2017 Lecture #5 09/20/2017 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also
More informationALGEBRA EXERCISES, PhD EXAMINATION LEVEL
ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)
More informationNumber Theory Fall 2016 Problem Set #6
18.785 Number Theory Fall 2016 Problem Set #6 Description These problems are related to the material covered in Lectures 10-12. Your solutions are to be written up in latex (you can use the latex source
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 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 information7 Orders in Dedekind domains, primes in Galois extensions
18.785 Number theory I Lecture #7 Fall 2015 10/01/2015 7 Orders in Dedekind domains, primes in Galois extensions 7.1 Orders in Dedekind domains Let S/R be an extension of rings. The conductor c of R (in
More information(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 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 informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
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 informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
More informationDedekind Domains. Mathematics 601
Dedekind Domains Mathematics 601 In this note we prove several facts about Dedekind domains that we will use in the course of proving the Riemann-Roch theorem. The main theorem shows that if K/F is a finite
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationPart II Galois Theory
Part II Galois Theory Theorems Based on lectures by C. Birkar Notes taken by Dexter Chua Michaelmas 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after
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 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 information6 Ideal norms and the Dedekind-Kummer theorem
18.785 Number theory I Fall 2016 Lecture #6 09/27/2016 6 Ideal norms and the Dedekind-Kummer theorem Recall that for a ring extension B/A in which B is a free A-module of finite rank, we defined the (relative)
More informationTHE DIFFERENT IDEAL. Then R n = V V, V = V, and V 1 V 2 V KEITH CONRAD 2 V
THE DIFFERENT IDEAL KEITH CONRAD. Introduction The discriminant of a number field K tells us which primes p in Z ramify in O K : the prime factors of the discriminant. However, the way we have seen how
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 informationAbsolute Values and Completions
Absolute Values and Completions B.Sury This article is in the nature of a survey of the theory of complete fields. It is not exhaustive but serves the purpose of familiarising the readers with the basic
More information15 Dirichlet s unit theorem
18.785 Number theory I Fall 2017 Lecture #15 10/30/2017 15 Dirichlet s unit theorem Let K be a number field. The two main theorems of classical algebraic number theory are: The class group cl O K is finite.
More informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
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 informationABSOLUTE VALUES AND VALUATIONS
ABSOLUTE VALUES AND VALUATIONS YIFAN WU, wuyifan@umich.edu Abstract. We introduce the basis notions, properties and results of absolute values, valuations, discrete valuation rings and higher unit groups.
More informationLECTURES ON ALGEBRAIC NUMBER THEORY. Yichao TIAN
LECTURES ON ALGEBRAIC NUMBER THEORY Yichao TIAN Yichao TIAN Morningside Center of Mathematics, 55 Zhong Guan Cun East Road, Beijing, 100190, China. E-mail : yichaot@math.ac.cn LECTURES ON ALGEBRAIC NUMBER
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 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 informationx = π m (a 0 + a 1 π + a 2 π ) where a i R, a 0 = 0, m Z.
ALGEBRAIC NUMBER THEORY LECTURE 7 NOTES Material covered: Local fields, Hensel s lemma. Remark. The non-archimedean topology: Recall that if K is a field with a valuation, then it also is a metric space
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 informationAlgebraic Number Theory
Algebraic Number Theory Andrew Kobin Spring 2016 Contents Contents Contents 0 Introduction 1 0.1 Attempting Fermat s Last Theorem....................... 1 1 Algebraic Number Fields 4 1.1 Integral Extensions
More informationExplicit 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 informationAssigned homework problems S. L. Kleiman, fall 2008
18.705 Assigned homework problems S. L. Kleiman, fall 2008 Problem Set 1. Due 9/11 Problem R 1.5 Let ϕ: A B be a ring homomorphism. Prove that ϕ 1 takes prime ideals P of B to prime ideals of A. Prove
More informationMaterial covered: Class numbers of quadratic fields, Valuations, Completions of fields.
ALGEBRAIC NUMBER THEORY LECTURE 6 NOTES Material covered: Class numbers of quadratic fields, Valuations, Completions of fields. 1. Ideal class groups of quadratic fields These are the ideal class groups
More informationCLASS FIELD THEORY WEEK Motivation
CLASS FIELD THEORY WEEK 1 JAVIER FRESÁN 1. Motivation In a 1640 letter to Mersenne, Fermat proved the following: Theorem 1.1 (Fermat). A prime number p distinct from 2 is a sum of two squares if and only
More informationALGEBRAIC NUMBER THEORY NOTES
ALGEBRAIC NUMBER THEORY NOTES CHARLOTTE CHAN Contents 1 Unique Prime Factorization of Ideals: 21 September 2010 2 2 Minkowski Theory: 28 September 2010-5 October 2010 4 3 Cyclotomic Fields and Fermat:
More informationLemma 1.1. The field K embeds as a subfield of Q(ζ D ).
Math 248A. Quadratic characters associated to quadratic fields The aim of this handout is to describe the quadratic Dirichlet character naturally associated to a quadratic field, and to express it in terms
More informationMA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES
MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018 57 5. p-adic Numbers 5.1. Motivating examples. We all know that 2 is irrational, so that 2 is not a square in the rational field Q, but that we can
More informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
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 informationc ij x i x j c ij x i y j
Math 48A. Class groups for imaginary quadratic fields In general it is a very difficult problem to determine the class number of a number field, let alone the structure of its class group. However, in
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 informationLocal Fields. Chapter Absolute Values and Discrete Valuations Definitions and Comments
Chapter 9 Local Fields The definition of global field varies in the literature, but all definitions include our primary source of examples, number fields. The other fields that are of interest in algebraic
More informationSEPARABLE EXTENSIONS OF DEGREE p IN CHARACTERISTIC p; FAILURE OF HERMITE S THEOREM IN CHARACTERISTIC p
SEPARABLE EXTENSIONS OF DEGREE p IN CHARACTERISTIC p; FAILURE OF HERMITE S THEOREM IN CHARACTERISTIC p JIM STANKEWICZ 1. Separable Field Extensions of degree p Exercise: Let K be a field of characteristic
More information18.785: Algebraic Number Theory
18.785: Algebraic Number Theory (lecture notes) Taught by Bjorn Poonen Fall 2014, MIT Last updated: January 17, 2015 1 Disclaimer These are my notes from Prof. Poonen s course on algebraic number theory,
More informationFIELD THEORY. Contents
FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions
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 informationPart III Algebraic number theory Lecturer: Prof. A.J. Scholl Lent term
Part III Algebraic number theory Lecturer: Prof. A.J. Scholl Lent term 2014 1 1 Transcribed by Stiofáin Fordham. Contents Page Lecture 1 5 1.1. Algebraic preliminaries 6 Lecture 2 6 2.1. 1: Valuations
More informationClass Field Theory. Abstract
Class Field Theory Abstract These notes are based on a course in class field theory given by Freydoon Shahidi at Purdue University in the fall of 2014. The notes were typed by graduate students Daniel
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 informationQ N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of
Additional Problems 1. Let A be a commutative ring and let 0 M α N β P 0 be a short exact sequence of A-modules. Let Q be an A-module. i) Show that the naturally induced sequence is exact, but that 0 Hom(P,
More informationx mv = 1, v v M K IxI v = 1,
18.785 Number Theory I Fall 2017 Problem Set #7 Description These problems are related to the material covered in Lectures 13 15. Your solutions are to be written up in latex (you can use the latex source
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/32076 holds various files of this Leiden University dissertation Author: Junjiang Liu Title: On p-adic decomposable form inequalities Issue Date: 2015-03-05
More informationGALOIS GROUPS AS PERMUTATION GROUPS
GALOIS GROUPS AS PERMUTATION GROUPS KEITH CONRAD 1. Introduction A Galois group is a group of field automorphisms under composition. By looking at the effect of a Galois group on field generators we can
More informationn P say, then (X A Y ) P
COMMUTATIVE ALGEBRA 35 7.2. The Picard group of a ring. Definition. A line bundle over a ring A is a finitely generated projective A-module such that the rank function Spec A N is constant with value 1.
More informationPart 1. For any A-module, let M[x] denote the set of all polynomials in x with coefficients in M, that is to say expressions of the form
Commutative Algebra Homework 3 David Nichols Part 1 Exercise 2.6 For any A-module, let M[x] denote the set of all polynomials in x with coefficients in M, that is to say expressions of the form m 0 + m
More 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 information9 Artin representations
9 Artin representations Let K be a global field. We have enough for G ab K. Now we fix a separable closure Ksep and G K := Gal(K sep /K), which can have many nonabelian simple quotients. An Artin representation
More information0.1 Valuations on a number field
The Dictionary Between Nevanlinna Theory and Diophantine approximation 0. Valuations on a number field Definition Let F be a field. By an absolute value on F, we mean a real-valued function on F satisfying
More informationADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS
ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS UZI VISHNE The 11 problem sets below were composed by Michael Schein, according to his course. Take into account that we are covering slightly different material.
More informationExtended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module
Extended Index cokernel 19f for Atiyah and MacDonald's Introduction to Commutative Algebra colon operator 8f Key: comaximal ideals 7f - listings ending in f give the page where the term is defined commutative
More 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 II: RINGS AND MODULES OVER LITTLE RINGS.
ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS. KEVIN MCGERTY. 1. RINGS The central characters of this course are algebraic objects known as rings. A ring is any mathematical structure where you can add
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 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 informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationQuaternion algebras over local fields
Chapter 11 Quaternion algebras over local fields In this chapter, we classify quaternion algebras over local fields; this generalizes the classification of quaternion algebras over R. 11.1 Local quaternion
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 information24 Artin reciprocity in the unramified case
18.785 Number theory I Fall 2017 ecture #24 11/29/2017 24 Artin reciprocity in the unramified case et be an abelian extension of number fields. In ecture 22 we defined the norm group T m := N (I m )R m
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationTHE UNIT GROUP OF A REAL QUADRATIC FIELD
THE UNIT GROUP OF A REAL QUADRATIC FIELD While the unit group of an imaginary quadratic field is very simple the unit group of a real quadratic field has nontrivial structure Its study involves some geometry
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More 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 Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.
More 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 informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationGalois theory of fields
1 Galois theory of fields This first chapter is both a concise introduction to Galois theory and a warmup for the more advanced theories to follow. We begin with a brisk but reasonably complete account
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 informationElementary linear algebra
Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The
More informationLocal Compactness and Number Theory. Sam Mundy
Local Compactness and Number Theory Sam Mundy May 1, 2015 i Introduction The present document is a slightly expanded version of a series of lectures I gave at the University of New Mexico in the spring
More informationIntroduction Non-uniqueness of factorization in A[x]... 66
Abstract In this work, we study the factorization in A[x], where A is an Artinian local principal ideal ring (briefly SPIR), whose maximal ideal, (t), has nilpotency h: this is not a Unique Factorization
More information55 Separable Extensions
55 Separable Extensions In 54, we established the foundations of Galois theory, but we have no handy criterion for determining whether a given field extension is Galois or not. Even in the quite simple
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 informationHomework 2 - Math 603 Fall 05 Solutions
Homework 2 - Math 603 Fall 05 Solutions 1. (a): In the notation of Atiyah-Macdonald, Prop. 5.17, we have B n j=1 Av j. Since A is Noetherian, this implies that B is f.g. as an A-module. (b): By Noether
More informationCHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998
CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic
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 informationQuadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation
(December 19, 010 Quadratic reciprocity (after Weil Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ I show that over global fields k (characteristic not the quadratic norm residue symbol
More informationMATH 326: RINGS AND MODULES STEFAN GILLE
MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called
More information