Algebraic Number Theory

Total Page:16

File Type:pdf, Size:1020Kb

Algebraic Number Theory 1 Algebraic number theory 笔记整理 Jachin Chen [email protected] 0 目 录 第 1 章 Valuation Theory 4 1.1 Valuation and valuation ring........................................................... 4 1.2 Discret valuations.............................................................................. 12 1.3 Complete the valuation field ........................................................... 19 1.4 Absolute values and Berkovich spaces .......................................... 21 1.5 Extension of valuations .................................................................... 27 1.6 Hensel’s Lemma................................................................................ 28 第 2 章 Dedekind domain 34 2.1 *Fractional ideals and ideal class groups....................................... 34 2.2 Etale´ algebras and lattices................................................................ 36 2.3 Prime decomposition in an order ................................................... 46 2.4 Norm map of one-dimensional Schemes....................................... 52 2.5 Ramification in Dedekind domain ................................................. 59 2.6 *Different and discriminant............................................................. 66 第 3 章 Ramification theory 73 3.1 Extensions of complete DVR ........................................................... 73 3.2 Higher Ramification Groups ........................................................... 80 3.3 *The Theory of Witt Vectors ............................................................ 88 3.4 Structure of complete DVRs ............................................................ 98 3.5 Lubin-Tate formal groups ................................................................ 107 第 4 章 Local and Global 115 4.1 Topological ring and group ............................................................. 115 4.2 Local fields and global fields........................................................... 120 4.3 Adele ring and Idele group ............................................................. 130 4.4 Ideal Class Groups and Unit Groups ............................................. 140 4.5 Some computations and applications ............................................ 144 目 录 3 第 5 章 Number Fields 145 5.1 *Cyclotomic fields ............................................................................. 145 5.2 Dirichlet character and Gauss sum................................................. 150 5.3 The Minkowski bound ..................................................................... 157 5.4 Dirichlet Unit Theorem .................................................................... 166 5.5 Moduli of a number field................................................................. 173 5.6 Some examples and supplements................................................... 181 第 6 章 Zeta and L-functions 186 6.1 Prime number theorem .................................................................... 186 6.2 The functional equation ................................................................... 193 6.3 *Dirichlet L-functions....................................................................... 200 6.4 The analytic class number formula ................................................ 205 6.5 Dirichlet density and Polar density................................................ 210 第 7 章 Class field theory 217 7.1 *Ray class groups and ray class fields............................................ 217 7.2 *Class field theory: ideal-theoretic form........................................ 224 7.3 *Local class field theory ................................................................... 227 7.4 *Global class field theory ................................................................. 233 7.5 Tate Cohomology .............................................................................. 240 1 第 1 章 Valuation Theory 1.1 Valuation and valuation ring Krull valuations Let G be an Abelian group. A subset ∆ j G is said to be an ordering of the group G if: (1) 8s1; s2 2 ∆; s1 + s2 2 ∆; (2) 8s 2 ∆; s 2 ∆ or −s 2 ∆; (3) ∆ \ −∆ = f0g For the given ordering ∆ of the group G we denote: a 6 b :() b − a 2 ∆ It is easy to check that the relation 6 is a linear ordering on G. We call G an ordered group. 注记. 1. ∆ = fa 2 G j a > 0g is an ordering. 2. Ordered groups do not have elements of finite order. For the ordered group G we define a projective group G [ f1g consistent of the group G with its ordering and a symbol 1 which satisfies the following conditions: 1. 8a 2 G; a < 1; 2. 8a 2 G; a + 1 = 1 + a = 1. 1.1. VALUATION AND VALUATION RING 5 ♦ 定义 1.1.1. Krull valuation Let F be a field and G [ f1g an ordered projective group. A surjective map v : F ! G [ f1g is said to be the Krull valuation when: 1. v(a) = 1 () a = 0; 2. v(ab) = v(a) + v(b); 3. v(a + b) > minfv(a); v(b)g, provided a + b =6 0. 注记. 1. v(1) = 0 and v(a−1) = −v(a); 2. If an = 1, then v(a) = 0; v(−1) = 0. 3. v(a) = v(−a). 引理 1.1.1. If v(a) =6 v(b), v(a + b) = minfv(a); v(b)g. Proof. We may assume that v(a) < v(b). Suppose that v(a + b) =6 minfv(a); v(b)g. This implies v(a + b) > minfv(a); v(b)g, in particular v(a + b) > v(a). Thus: v(a) = v((a + b)−b) > minfv(a + b); v(b)g > v(a) which is a contradiction. Valuation rings Let F be a field. A ring A ⊆ F is called the valuation ring if: 8a 2 F; a 2 A or a−1 2 A. If the field F is not given we shall assume that F is the field of fractions of A. ♦ 定理 1.1.1 Let v : F ! G [ f1g be a valuation. 1. The set Av = fa 2 F j v(a) > 0g is a valuation ring. We shall call it the valuation ring associated with v. 2. The set mv = fa 2 F j v(a) > 0g is the only maximal ideal in the ring Av. In particular, Av is a local ring and κ(v) := Av/mv is a field, which shall be called the residue field of v. 3. The set Uv = fa 2 F j v(a) = 0g is a group consistent of all units of the ring Av. Proof. Easy check. 6 CHAPTER 1. VALUATION THEORY 注记. It is easy to see that R is a valuation ring iff the divisibility relation j is total. ajb :() ba−1 2 R ♦ 定理 1.1.2 Let A be a valuation ring in F . There exists a Krull valuation v : F ! G [ f1g s:t: × Av = A; mv = AnA Proof. Consider the quotient additive group G := F ×/A×. Define the relation by a + A× 6 b + A× :() ajb such that the group G is an ordered abelian group. Define the mapping v : F ! G [ f1g by 8 < × a + A if a =6 0 v(a) := : 1 if a = 0 We shall show that v is a valuation which will be called the canonical valua- tion. Fix a; b 2 F . We may assume that v(a) 6 v(b). Note that v(1 + ba−1) > 0, therefore − v(a + b) = v(a) + v(1 + ba 1) > v(a) = minfv(a); v(b)g If v1 : F ! G1 [ f1g and v2 : F ! G2 [ f1g are two valuations, then we say that they are equivalent, written v1 ' v2, if there exists an order preserving group isomorphism g : G1 ! G2 s:t: v2 = g ◦ v1 (we take g(1) = 1). Clearly such relation is an equivalence and we can state the following result: The set of all equivalence classes of the relation ' is in a bijective corre- spondence with the family of all valuation rings in F . Proof. Suppose that v1 : F ! G1 [ f1g and v2 : F ! G2 [ f1g are equivalent. > > Then v1(a) 0 iff v2(a) 0, so Av1 = Av2 . Conversely, let A be a valuation ring and let A = Av for some valuation v : ! [ f1g F G . By the previous theorem A = AvA for the cannonical valuation 1.1. VALUATION AND VALUATION RING 7 × vA. We shall show that v ' vA. Observe that vjF × : F ! G is a surjective × homomorphism and that ker vjF × = A . By the isomorphism theorem GA := × × F /A ' G. If g : GA ! G is such isomorphism, then it is easy to verify that g preserves order and that v = g ◦ vA. Rank of valuations Let G be an ordered abelian group. A subgroup H of G is said to be the isolated subgroup if 8 h 2 H; fg 2 G j 0 6 g 6 hg ⊆ H The set G(G) of all isolated subgroups of G is totally ordered by inclusion. The order type of the set G(G)nfGg is called the rank of G. If G is a value group of some valuation v, then the rank of valuation v is the rank of G. () −1 () −1 2 × () Note that v(a) = v(b) v(ab ) = 0 ab Rv a; b associates −1 −1 in Rv, so v v(I) = I for ideal in Rv. On the other hand, vv (H) = H for any subset of G since v is surjective. Therefore we have established a bijection between Spec(Rv) and the set of isolated subgroups of G by p 7! v(Rvnp) −1 H 7! Rvnv (H+) ♦ 定义 1.1.2. Rank of valuation The rank of valuation v is defined by rank of G or dimension of Rv. 注记. Since Spec(Rv) is ordered by inclusion, dim(Rv) = jSpec(Rv)j − 1. Clearly v is a valuation of rank 0 iff G is the zero group. Moreover, we have 引理 1.1.2. v : F ! G [ f1g has rank less or equal that 1 iff G is Archimedean, that is: 8 a; b > 0; 9 n 2 N s:t: na > b S Proof. (Sketch) Suppose that G =6 0. Fix a 2 G and let Ha = fb 2 G j −na 6 n2N b 6 nag. Note that Ha is an isolated subgroup of G. Next we shall show that if H an isolated subgroup of G and a 2 H, then Ha ⊆ H. 8 CHAPTER 1. VALUATION THEORY Thus Ha is the smallest isolated subgroup containing a. This implies that the rank of G is equal to 1 iff: 8 a > 0;Ha = G which is equivalent to 8 a; b > 0; 9 n 2 N s:t: b 6 na. ♦ 命题 1.1.1. Holder Every ordered Archimedean commutative group is isomorphic to some subgroup of the (R; +). Proof. (Sketch) Fix 0 6 g 2 G. Define the mapping Φ: G ! R by: n o m Φ(h) := inf j mg > nh; m; n 2 Z n Since it is obvious that Φ is order-preserving, so we need to check that 1. Φ is well-defined; 2. Φ is a homomorphism; 3. Φ is injective. The valuation whose value group is a subgroup of (R; +) is called the expo- nential valuation.
Recommended publications
  • Ring Homomorphisms Definition
    4-8-2018 Ring Homomorphisms Definition. Let R and S be rings. A ring homomorphism (or a ring map for short) is a function f : R → S such that: (a) For all x,y ∈ R, f(x + y)= f(x)+ f(y). (b) For all x,y ∈ R, f(xy)= f(x)f(y). Usually, we require that if R and S are rings with 1, then (c) f(1R) = 1S. This is automatic in some cases; if there is any question, you should read carefully to find out what convention is being used. The first two properties stipulate that f should “preserve” the ring structure — addition and multipli- cation. Example. (A ring map on the integers mod 2) Show that the following function f : Z2 → Z2 is a ring map: f(x)= x2. First, f(x + y)=(x + y)2 = x2 + 2xy + y2 = x2 + y2 = f(x)+ f(y). 2xy = 0 because 2 times anything is 0 in Z2. Next, f(xy)=(xy)2 = x2y2 = f(x)f(y). The second equality follows from the fact that Z2 is commutative. Note also that f(1) = 12 = 1. Thus, f is a ring homomorphism. Example. (An additive function which is not a ring map) Show that the following function g : Z → Z is not a ring map: g(x) = 2x. Note that g(x + y)=2(x + y) = 2x + 2y = g(x)+ g(y). Therefore, g is additive — that is, g is a homomorphism of abelian groups. But g(1 · 3) = g(3) = 2 · 3 = 6, while g(1)g(3) = (2 · 1)(2 · 3) = 12.
    [Show full text]
  • Class Numbers of CM Algebraic Tori, CM Abelian Varieties and Components of Unitary Shimura Varieties
    CLASS NUMBERS OF CM ALGEBRAIC TORI, CM ABELIAN VARIETIES AND COMPONENTS OF UNITARY SHIMURA VARIETIES JIA-WEI GUO, NAI-HENG SHEU, AND CHIA-FU YU Abstract. We give a formula for the class number of an arbitrary CM algebraic torus over Q. This is proved based on results of Ono and Shyr. As applications, we give formulas for numbers of polarized CM abelian varieties, of connected components of unitary Shimura varieties and of certain polarized abelian varieties over finite fields. We also give a second proof of our main result. 1. Introduction An algebraic torus T over a number field k is a connected linear algebraic group over k such d that T k k¯ isomorphic to (Gm) k k¯ over the algebraic closure k¯ of k for some integer d 1. The class⊗ number, h(T ), of T is by⊗ definition, the cardinality of T (k) T (A )/U , where A≥ \ k,f T k,f is the finite adele ring of k and UT is the maximal open compact subgroup of T (Ak,f ). Asa natural generalization for the class number of a number field, Takashi Ono [18, 19] studied the class numbers of algebraic tori. Let K/k be a finite extension and let RK/k denote the Weil restriction of scalars form K to k, then we have the following exact sequence of tori defined over k 1 R(1) (G ) R (G ) G 1, −→ K/k m,K −→ K/k m,K −→ m,k −→ where R(1) (G ) is the kernel of the norm map N : R (G ) G .
    [Show full text]
  • Embedding Two Ordered Rings in One Ordered Ring. Part I1
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF ALGEBRA 2, 341-364 (1966) Embedding Two Ordered Rings in One Ordered Ring. Part I1 J. R. ISBELL Department of Mathematics, Case Institute of Technology, Cleveland, Ohio Communicated by R. H. Bruck Received July 8, 1965 INTRODUCTION Two (totally) ordered rings will be called compatible if there exists an ordered ring in which both of them can be embedded. This paper concerns characterizations of the ordered rings compatible with a given ordered division ring K. Compatibility with K is equivalent to compatibility with the center of K; the proof of this depends heavily on Neumann’s theorem [S] that every ordered division ring is compatible with the real numbers. Moreover, only the subfield K, of real algebraic numbers in the center of K matters. For each Ks , the compatible ordered rings are characterized by a set of elementary conditions which can be expressed as polynomial identities in terms of ring and lattice operations. A finite set of identities, or even iden- tities in a finite number of variables, do not suffice, even in the commutative case. Explicit rules will be given for writing out identities which are necessary and sufficient for a commutative ordered ring E to be compatible with a given K (i.e., with K,). Probably the methods of this paper suffice for deriving corresponding rules for noncommutative E, but only the case K,, = Q is done here. If E is compatible with K,, , then E is embeddable in an ordered algebra over Ks and (obviously) E is compatible with the rational field Q.
    [Show full text]
  • Math 250A: Groups, Rings, and Fields. H. W. Lenstra Jr. 1. Prerequisites
    Math 250A: Groups, rings, and fields. H. W. Lenstra jr. 1. Prerequisites This section consists of an enumeration of terms from elementary set theory and algebra. You are supposed to be familiar with their definitions and basic properties. Set theory. Sets, subsets, the empty set , operations on sets (union, intersection, ; product), maps, composition of maps, injective maps, surjective maps, bijective maps, the identity map 1X of a set X, inverses of maps. Relations, equivalence relations, equivalence classes, partial and total orderings, the cardinality #X of a set X. The principle of math- ematical induction. Zorn's lemma will be assumed in a number of exercises. Later in the course the terminology and a few basic results from point set topology may come in useful. Group theory. Groups, multiplicative and additive notation, the unit element 1 (or the zero element 0), abelian groups, cyclic groups, the order of a group or of an element, Fermat's little theorem, products of groups, subgroups, generators for subgroups, left cosets aH, right cosets, the coset spaces G=H and H G, the index (G : H), the theorem of n Lagrange, group homomorphisms, isomorphisms, automorphisms, normal subgroups, the factor group G=N and the canonical map G G=N, homomorphism theorems, the Jordan- ! H¨older theorem (see Exercise 1.4), the commutator subgroup [G; G], the center Z(G) (see Exercise 1.12), the group Aut G of automorphisms of G, inner automorphisms. Examples of groups: the group Sym X of permutations of a set X, the symmetric group S = Sym 1; 2; : : : ; n , cycles of permutations, even and odd permutations, the alternating n f g group A , the dihedral group D = (1 2 : : : n); (1 n 1)(2 n 2) : : : , the Klein four group n n h − − i V , the quaternion group Q = 1; i; j; ij (with ii = jj = 1, ji = ij) of order 4 8 { g − − 8, additive groups of rings, the group Gl(n; R) of invertible n n-matrices over a ring R.
    [Show full text]
  • 5 Lecture 5: Huber Rings and Continuous Valuations
    5 Lecture 5: Huber rings and continuous valuations 5.1 Introduction The aim of this lecture is to introduce a special class of topological commutative rings, which we shall call Huber rings. These have associated spaces of valuations satisfying suitable continuity assumptions that will lead us to adic spaces later. We start by discussing some basic facts about Huber rings. Notation: If S; S0 are subsets of ring, we write S · S0 to denote the set of finite sums of products ss0 0 0 n for s 2 S and s 2 S . We define S1 ··· Sn similarly for subsets S1;:::;Sn, and likewise for S (with Si = S for 1 ≤ i ≤ n). For ideals in a ring this agrees with the usual notion of product among finitely many such. 5.2 Huber rings: preliminaries We begin with a definition: Definition 5.2.1 Let A be a topological ring. We say A is non-archimedean if it admits a base of neighbourhoods of 0 consisting of subgroups of the additive group (A; +) underlying A. Typical examples of non-archimedean rings are non-archimedean fields k and more generally k-affinoid algebras for such k. Example 5.2.2 As another example, let A := W (OF ), where OF is the valuation ring of a non- archimedean field of characteristic p > 0. A base of open neighbourhoods of 0 required in Definition 5.2.1 is given by n p A = f(0; ··· ; 0; OF ; OF ; ··· ); zeros in the first n slotsg; Q the p-adic topology on A is given by equipping A = n≥0 OF with the product topology in which each factor is discrete.
    [Show full text]
  • Class Group Computations in Number Fields and Applications to Cryptology Alexandre Gélin
    Class group computations in number fields and applications to cryptology Alexandre Gélin To cite this version: Alexandre Gélin. Class group computations in number fields and applications to cryptology. Data Structures and Algorithms [cs.DS]. Université Pierre et Marie Curie - Paris VI, 2017. English. NNT : 2017PA066398. tel-01696470v2 HAL Id: tel-01696470 https://tel.archives-ouvertes.fr/tel-01696470v2 Submitted on 29 Mar 2018 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. THÈSE DE DOCTORAT DE L’UNIVERSITÉ PIERRE ET MARIE CURIE Spécialité Informatique École Doctorale Informatique, Télécommunications et Électronique (Paris) Présentée par Alexandre GÉLIN Pour obtenir le grade de DOCTEUR de l’UNIVERSITÉ PIERRE ET MARIE CURIE Calcul de Groupes de Classes d’un Corps de Nombres et Applications à la Cryptologie Thèse dirigée par Antoine JOUX et Arjen LENSTRA soutenue le vendredi 22 septembre 2017 après avis des rapporteurs : M. Andreas ENGE Directeur de Recherche, Inria Bordeaux-Sud-Ouest & IMB M. Claus FIEKER Professeur, Université de Kaiserslautern devant le jury composé de : M. Karim BELABAS Professeur, Université de Bordeaux M. Andreas ENGE Directeur de Recherche, Inria Bordeaux-Sud-Ouest & IMB M. Claus FIEKER Professeur, Université de Kaiserslautern M.
    [Show full text]
  • 6 Ideal Norms and the Dedekind-Kummer Theorem
    18.785 Number theory I Fall 2017 Lecture #6 09/25/2017 6 Ideal norms and the Dedekind-Kummer theorem In order to better understand how ideals split in Dedekind extensions we want to extend our definition of the norm map to ideals. Recall that for a ring extension B=A in which B is a free A-module of finite rank, we defined the norm map NB=A : B ! A as ×b NB=A(b) := det(B −! B); the determinant of the multiplication-by-b map with respect to an A-basis for B. If B is a free A-module we could define the norm of a B-ideal to be the A-ideal generated by the norms of its elements, but in the case we are most interested in (our \AKLB" setup) B is typically not a free A-module (even though it is finitely generated as an A-module). To get around this limitation, we introduce the notion of the module index, which we will use to define the norm of an ideal. In the special case where B is a free A-module, the norm of a B-ideal will be equal to the A-ideal generated by the norms of elements. 6.1 The module index Our strategy is to define the norm of a B-ideal as the intersection of the norms of its localizations at maximal ideals of A (note that B is an A-module, so we can view any ideal of B as an A-module). Recall that by Proposition 2.6 any A-module M in a K-vector space is equal to the intersection of its localizations at primes of A; this applies, in particular, to ideals (and fractional ideals) of A and B.
    [Show full text]
  • MATH 615 LECTURE NOTES, WINTER, 2010 by Mel Hochster
    MATH 615 LECTURE NOTES, WINTER, 2010 by Mel Hochster ZARISKI'S MAIN THEOREM, STRUCTURE OF SMOOTH, UNRAMIFIED, AND ETALE´ HOMOMORPHISMS, HENSELIAN RINGS AND HENSELIZATION, ARTIN APPROXIMATION, AND REDUCTION TO CHARACTERISTIC p Lecture of January 6, 2010 Throughout these lectures, unless otherwise indicated, all rings are commutative, asso- ciative rings with multiplicative identity and ring homomorphisms are unital, i.e., they are assumed to preserve the identity. If R is a ring, a given R-module M is also assumed to be unital, i.e., 1 · m = m for all m 2 M. We shall use N, Z, Q, and R and C to denote the nonnegative integers, the integers, the rational numbers, the real numbers, and the complex numbers, respectively. Our focus is very strongly on Noetherian rings, i.e., rings in which every ideal is finitely generated. Our objective will be to prove results, many of them very deep, that imply that many questions about arbitrary Noetherian rings can be reduced to the case of finitely generated algebras over a field (if the original ring contains a field) or over a discrete valuation ring (DVR), by which we shall always mean a Noetherian discrete valuation domain. Such a domain V is characterized by having just one maximal ideal, which is principal, say pV , and is such that every nonzero element can be written uniquely in the form upn where u is a unit and n 2 N. The formal power series ring K[[x]] in one variable over a field K is an example in which p = x. Another is the ring of p-adic integers for some prime p > 0, in which case the prime used does, in fact, generate the maximal ideal.
    [Show full text]
  • Algebraic Number Theory Course Notes (Fall 2006) Math 8803, Georgia Tech
    Algebraic Number Theory Course Notes (Fall 2006) Math 8803, Georgia Tech Matthew Baker E-mail address: [email protected] School of Mathematics, Georgia Institute of Technol- ogy, Atlanta, GA 30332-0140, USA Contents Preface v Chapter 1. Unique Factorization (and lack thereof) in number rings 1 1. UFD’s, Euclidean Domains, Gaussian Integers, and Fermat’s Last Theorem 1 2. Rings of integers, Dedekind domains, and unique factorization of ideals 7 3. The ideal class group 20 4. Exercises for Chapter 1 30 Chapter 2. Examples and Computational Methods 33 1. Computing the ring of integers in a number field 33 2. Kummer’s theorem on factoring ideals 38 3. The splitting of primes 41 4. Cyclotomic Fields 46 5. Exercises for Chapter 2 54 Chapter 3. Geometry of numbers and applications 57 1. Minkowski’s geometry of numbers 57 2. Dirichlet’s Unit Theorem 69 3. Exercises for Chapter 3 83 Chapter 4. Relative extensions 87 1. Localization 87 2. Galois theory and prime decomposition 96 3. Exercises for Chapter 4 113 Chapter 5. Introduction to completions 115 1. The field Qp 115 2. Absolute values 119 3. Hensel’s Lemma 126 4. Introductory p-adic analysis 128 5. Applications to Diophantine equations 132 Appendix A. Some background results from abstract algebra 139 iii iv CONTENTS 1. Euclidean Domains are UFD’s 139 2. The theorem of the primitive element and embeddings into algebraic closures 141 3. Free modules over a PID 143 Preface These are the lecture notes from a graduate-level Algebraic Number Theory course taught at the Georgia Institute of Technology in Fall 2006.
    [Show full text]
  • Universal Adelic Groups for Imaginary Quadratic Number Fields and Elliptic Curves Athanasios Angelakis
    Universal Adelic Groups for Imaginary Quadratic Number Fields and Elliptic Curves Athanasios Angelakis To cite this version: Athanasios Angelakis. Universal Adelic Groups for Imaginary Quadratic Number Fields and Elliptic Curves. Group Theory [math.GR]. Université de Bordeaux; Universiteit Leiden (Leyde, Pays-Bas), 2015. English. NNT : 2015BORD0180. tel-01359692 HAL Id: tel-01359692 https://tel.archives-ouvertes.fr/tel-01359692 Submitted on 23 Sep 2016 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Universal Adelic Groups for Imaginary Quadratic Number Fields and Elliptic Curves Proefschrift ter verkrijging van de graad van Doctor aan de Universiteit Leiden op gezag van Rector Magnificus prof. mr. C.J.J.M. Stolker, volgens besluit van het College voor Promoties te verdedigen op woensdag 2 september 2015 klokke 15:00 uur door Athanasios Angelakis geboren te Athene in 1979 Samenstelling van de promotiecommissie: Promotor: Prof. dr. Peter Stevenhagen (Universiteit Leiden) Promotor: Prof. dr. Karim Belabas (Universit´eBordeaux I) Overige leden: Prof.
    [Show full text]
  • NORM GROUPS with TAME RAMIFICATION 11 Is a Homomorphism, Which Is Equivalent to the first Equation of Bimultiplicativity (The Other Follows by Symmetry)
    LECTURE 3 Norm Groups with Tame Ramification Let K be a field with char(K) 6= 2. Then × × 2 K =(K ) ' fcontinuous homomorphisms Gal(K) ! Z=2Zg ' fdegree 2 étale algebras over Kg which is dual to our original statement in Claim 1.8 (this result is a baby instance of Kummer theory). Npo te that an étale algebra over K is either K × K or a quadratic extension K( d)=K; the former corresponds to the trivial coset of squares in K×=(K×)2, and the latter to the coset defined by d 2 K× . If K is local, then lcft says that Galab(K) ' Kd× canonically. Combined (as such homomorphisms certainly factor through Galab(K)), we obtain that K×=(K×)2 is finite and canonically self-dual. This is equivalent to asserting that there exists a “suÿciently nice” pairing (·; ·): K×=(K×)2 × K×=(K×)2 ! f1; −1g; that is, one which is bimultiplicative, satisfying (a; bc) = (a; b)(a; c); (ab; c) = (a; c)(b; c); and non-degenerate, satisfying the condition if (a; b) = 1 for all b; then a 2 (K×)2 : We were able to give an easy definition of this pairing, namely, (a; b) = 1 () ax2 + by2 = 1 has a solution in K: Note that it is clear from this definition that (a; b) = (b; a), but unfortunately neither bimultiplicativity nor non-degeneracy is obvious, though we will prove that they hold in this lecture in many cases. We have shown in Claim 2.11 that a less symmetric definition of the Hilbert symbol holds, namely that for all a, p (a; b) = 1 () b is a norm in K( a)=K = K[t]=(t2 − a); which if a is a square, is simply isomorphic to K × K and everything is a norm.
    [Show full text]
  • Electromagnetic Time Reversal Electromagnetic Time Reversal
    Electromagnetic Time Reversal Electromagnetic Time Reversal Application to Electromagnetic Compatibility and Power Systems Edited by Farhad Rachidi Swiss Federal Institute of Technology (EPFL), Lausanne, Switzerland Marcos Rubinstein University of Applied Sciences of Western Switzerland, Yverdon, Switzerland Mario Paolone Swiss Federal Institute of Technology (EPFL), Lausanne, Switzerland This edition first published 2017 © 2017 John Wiley & Sons, Ltd All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, electronic, mechanical, photocopying, recording or otherwise, except as permitted by law. Advice on how to obtain permission to reuse material from this title is available at http://www.wiley.com/go/permissions. The right of Farhad Rachidi, Marcos Rubinstein, and Mario Paolone to be identified asthe authors of the editorial material in this work has been asserted in accordance with law. Registered Offices John Wiley & Sons, Inc., 111 River Street, Hoboken, NJ 07030, USA John Wiley & Sons Ltd, The Atrium, Southern Gate, Chichester, West Sussex, PO19 8SQ, UK Editorial Office The Atrium, Southern Gate, Chichester, West Sussex, PO19 8SQ, UK For details of our global editorial offices, customer services, and more information about Wiley products visit us at www.wiley.com. Wiley also publishes its books in a variety of electronic formats and by print-on-demand. Some content that appears in standard print versions of this book may not be available in other formats. Limit of Liability/Disclaimer of Warranty The publisher and the authors make no representations or warranties with respect tothe accuracy or completeness of the contents of this work and specifically disclaim all warranties, including without limitation any implied warranties of fitness for a particular purpose.
    [Show full text]