Math 254B: Number Theory H

Math 254B: Number Theory H

Math 254B: Number theory H. W. Lenstra, Jr. (879 Evans, office hours MF 4:15{5:15, tel. 643-7857, e-mail hwl@math). Spring 1993, MWF 1{2, 85 Evans. Exercise 1. Let L be a field and let Aut L be its automorphism group. We view Aut L as a subset of the set LL of all maps L L. We give L the discrete topology, LL the ! product topology, and Aut L the induced (or relative) topology. In other words, a base for the topology of Aut L is formed by the sets U = τ Aut L : τ E = σ E , where σ σ;E f 2 j j g ranges over Aut L and E over the finite subsets of L. Prove that this topology makes Aut L into a topological group, i. e., both the map Aut L Aut L Aut L sending (σ; τ) to στ and the map Aut L Aut L sending σ to × ! ! σ−1 are continuous. Exercise 2. Let L be a field, K a subfield of L, and G a subgroup of Aut L. Prove that K L is a Galois extension with group G if and only if G is compact in the topology ⊂ induced from Aut L (see Exercise 1) and K = x L : σx = x for all σ G . f 2 2 g In Exercises 3{6 we denote by Z^ the projective limit of the rings Z=nZ (with n ranging over the positive integers) with respect to the natural maps Z=nZ Z=mZ (for m dividing n). ! Explicitly, we have 1 ^ 1 Z = (an)n=1 Y(Z=nZ) : am = (an mod m) for all n; m with m dividing n : f 2 g n=1 This is a compact topological ring. Its additive group is a profinite abelian group, which is likewise denoted by Z^. Exercise 3. Let k be a finite field. Prove that the absolute Galois group of k is isomorphic to Z^. Exercise 4. Let µ be the group of all roots of unity in some algebraic closure of the field Q of rational numbers. (a) Prove that Z^ is isomorphic to the endomorphism ring of the abelian group µ. (b) Prove that the group Z^∗ of units of Z^, with the topology induced from Z^, is a profinite group, and that it is isomorphic to the automorphism group of µ. (c) Prove that Q Q(µ) is a Galois extension, and that Gal(Q(µ)=Q) = Z^∗. ⊂ ∼ 1 1 Exercise 5. Let a be a non-negative integer, and define (an)n=0 inductively by a0 = a, an 1 ^ an+1 = 2 . Prove that the sequence (an)n=0 has a limit in Z, and that this limit is independent of a. Exercise 6. (a) Let n be a positive integer. Prove that multiplication by n induces an exact sequence 0 Z^ Z^ Z=nZ 0. ! ! ! ! (b) Let u Z^∗. Prove that for each positive integer n there exists a unique element 2 a Z^ such that un! = 1 + n!a , and that a a mod n!= gcd(n!; n + 1) for all n. n 2 n n+1 ≡ n (c) Prove that there is a continuous group homomorphism log: Z^∗ Z^ defined by ! un! 1 log u = lim − : n!1 n! Exercise 7. Let k be a field, and let k(X) be the field of fractions of the polynomial ring k[X] in one variable over k. (a) Determine all valuations on k(X) for which the restriction of to k is trivial. (b) Let ' be a non-archimedean valuation on k, and let r be a positive real number. Prove that there is a valuation on k(X) for which k = ' and (X) = r. j Exercise 8. In this exercise you may assume the following fact, which will be proved in class: if ' is a valuation on a field K, and L is a finite extension of K, then ' can be extended to a valuation on L. Let K be a field. Prove: there exists a non-trivial non-archimedean valuation on K if and only if there does not exist a prime number p with the property that K is an algebraic extension of Fp. Exercise 9. (a) Let K be a field, ' a non-archimedean valuation on K, and n a positive integer. Denote by S the set of those non-zero vectors (x ; x ; : : : ; x ) Kn with the h 1 2 n 2 property that h is the smallest of the subscripts i for which '(x ) = max '(x ) : 1 j i f j ≤ ≤ n . Prove that any sequence v , v , : : : , v of vectors in Kn satisfying v S for each i g 1 2 n i 2 i forms a basis for Kn over K. (b) Prove that the two-dimensional Euclidean plane can be written as the union of three dense subsets with the property that no line in the plane intersects all three subsets. Exercise 10. Denote by C the field of complex numbers, and let ' be the valuation on C given by '(x) = x for all x C. Let K be a field, and let σ, τ: K C be field j j 2 ! 2 homomorphisms. Prove that ' σ = ' τ if and only if σ = τ or σ = τ¯; here the overhead · · bar denotes complex conjugation. 1 ^ Exercise 11. (a) Prove that for any sequence of elements (cn)n=1 of elements of Z the sum 1 c n! converges, and that for any x Z^ there exists a unique sequence (c )1 Pn=1 n 2 n n=1 of integers for which 1 x = X cnn!; 0 cn n for all n: ≤ ≤ n=1 ^ In this case, we shall write x = (: : : c3c2c1)!. This representation of elements of Z is called the factorial number system. (b) Write 1 in the factorial number system. − (c) Prove that the topology on Z^ is induced by the metric d((: : : b b b ) ; (: : : c c c ) ) = 1= min n : b = c 3 2 1 ! 3 2 1 ! f n 6 ng (= 0 if bn = cn for all n). n Exercise 12. For a prime number p, let Zp be the projective limit of the rings Z=p Z (with n ranging over the positive integers) with respect to the natural maps Z=pnZ Z=pmZ ! (for m n). This is a compact topological ring, the ring of p-adic integers. ≤ Prove that there is a topological ring isomorphism ^ Z ∼= Y Zp; p with p ranging over the set of prime numbers and the product being given the product topology. Exercise 13. Prove that the field Q(i), with i2 = 1, has a valuation ' with the following − property: if x, y Q(i) are non-zero elements with '(x + y) = max '(x); '(y) , then 2 f g '(x) = '(y). 6 Exercise 14. Let K be a field. (a) Let ' be a non-archimedean valuation on K, with valuation ring A and residue class field k. Let ζ K be a root of unity. Prove that ζ A, and that ζ belongs to 2 2 the kernel of the natural map A∗ k∗ if and only if the order of ζ is a power of the ! characteristic of k. 3 (b) Suppose that ', are non-archimedean valuations on K with finite residue class fields k, l, and that gcd(#k; #l) = 1. Prove that the number of roots of unity in K is finite, and that it divides gcd (#k)#l(#k 1); (#l)#k(#l 1) . − − Exercise 15. Let K be a field that is complete with respect to a non-archimedean valua- tion ', and let n be an integer that is not divisible by the characteristic of the residue class field of '. Prove that the map sending x to xn is an automorphism of the multiplicative subgroup x K : '(x 1) < 1 of K∗. f 2 − g Exercise 16. Let K be a field and let ' be a non-archimedean valuation on K. Suppose that the characteristic p of the residue class field of ' is non-zero. (a) Let x K, '(x 1) < 1. Prove that '(xp 1) max '(p (x 1)); '(x 1)p . 2 − − ≤ f · − − g (b) Suppose that K is complete with respect to ', and let R, 0 < < '(p)1=(p−1). 2 Prove that the map sending x to xp is an isomorphism from the group x K : '(x 1) f 2 − ≤ to the group x K : '(x 1) '(p) . g f 2 − ≤ · g In the following two exercises we let p be a prime number, and we denote by Qp the field of p-adic numbers. The p-adic expansion of a p-adic number r is the unique expansion r = c pi in Q for which c 0; 1; : : : ; p 1 for all i and c = 0 for i 0. Pi2Z i p i 2 f − g i Exercise 17. How can you tell from the p-adic expansion of a p-adic number r whether 1 r belongs to Z? and to 2 + Z? Exercise 18. Let r be a positive rational number. Prove the correctness of the following method for obtaining the p-adic expansion of r. How does it have to be modified for negative r Q? 2 Write r in R in base p, say r = a pi, with a 0; 1; : : : ; p 1 , a = 0 for Pi2Z i i 2 f − g i i 0. It is well known that the sequence (a )−∞ is ultimately periodic, say with a period i i=−1 consisting of m digits.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    17 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us