Computational Techniques in Quadratic Fields

Total Page:16

File Type:pdf, Size:1020Kb

Computational Techniques in Quadratic Fields Computational Techniques in Quadratic Fields by Michael John Jacobson, Jr. A thesis presented to the University of Manitoba in partial fulfilment of the requirements for the degree of Master of Science in Computer Science Winnipeg, Manitoba, Canada, 1995 c Michael John Jacobson, Jr. 1995 ii I hereby declare that I am the sole author of this thesis. I authorize the University of Manitoba to lend this thesis to other institutions or individuals for the purpose of scholarly research. I further authorize the University of Manitoba to reproduce this thesis by photocopy- ing or by other means, in total or in part, at the request of other institutions or individuals for the purpose of scholarly research. iii The University of Manitoba requires the signatures of all persons using or photocopy- ing this thesis. Please sign below, and give address and date. iv Abstract Since Kummer's work on Fermat's Last Theorem, algebraic number theory has been a subject of interest for many mathematicians. In particular, a great amount of effort has been expended on the simplest algebraic extensions of the rationals, quadratic fields. These are intimately linked to binary quadratic forms and have proven to be a good test- ing ground for algebraic number theorists because, although computing with ideals and field elements is relatively easy, there are still many unsolved and difficult problems re- maining. For example, it is not known whether there exist infinitely many real quadratic fields with class number one, and the best unconditional algorithm known for computing the class number has complexity O D1=2+ : In fact, the apparent difficulty of com- puting class numbers has given rise to cryptographic algorithms based on arithmetic in quadratic fields. Factoring methods using quadratic fields have also been proposed which are dependent on being able to compute class numbers and regulators. The main goal of this thesis is to provide extensive numerical evidence in support of some unresolved conjectures related to quadratic fields. We first give an algorithm for computing class numbers and regulators of real quadratic fields, based on an algorithm due to Buchmann and Williams, that has complexity O D1=5+ and is conditional on the truth of the Extended Riemann Hypothesis. Our algorithm makes use of some im- provements, including a new method for estimating L (1; χ) due to Bach, and it performs about 1.5 times as quickly as similar algorithms which use truncated Euler products to estimate L (1; χ) : We then use this algorithm to compute class numbers of Q(pD) for all square-free D < 108 and Q(pp) for all prime p < 109 in order to test some heuristics due to Cohen and Lenstra on the distribution of real quadratic fields with certain class numbers, as well as a conjecture due to Hooley. Using a new sieving device, the MSSU, we examine the size of the regulator of Q(pD) by employing a strategy of Shanks to find fields with large L (1; χ) values. Our results lend support to a result of Littlewood that gives bounds on L (1; χ) assuming the truth of the Extended Riemann Hypothe- sis. Finally, we use MSSU to search for values of A such that the quadratic polynomial x2 + x + A has a high asymptotic density of prime values in order to test a conjecture of Hardy and Littlewood. v vi Acknowledgements I would like to take this opportunity to thank, first of all, my supervisor Dr. H.C. Williams. I first came into contact with him as a second year undergraduate student when he hired me as a summer research assistant, and I have been working with him ever since. It was he who introduced me to the fascinating subject of computational number theory. His generous financial support and constant encouragement have been immensely helpful to me throughout my studies, and are greatly appreciated. I also wish to thank the other members of my examining committee, Dr. M.W. Giesbrecht and Dr. J. Fabrykowski, for their careful reading of this thesis and their helpful suggestions for improving it. Special thanks go out to Richard Lukes for supplying me with all the numbers gener- ated by his sieve, the MSSU, which were used in Chapters 5 and 6. Finally, I wish to thank my family and friends, especially Barbara, for all the support and encouragement I received from them during my studies, and for their patience with my reclusiveness during the last few months while I finished this work. vii viii Contents 1 Introduction 1 1.1 Organization of the Thesis . 3 1.2 Frequently Used Notation . 6 2 Introduction to Quadratic Fields 9 2.1 Units and Prime Factorization in . 13 OK 2.2 Ideals and the Class Group . 14 2.3 Reduced Ideals in Imaginary Quadratic Fields . 19 2.4 Reduced Ideals in Real Quadratic Fields . 22 2.5 Infrastructure of the Principal Class . 26 2.6 L (1; χ) and the Analytic Class Number Formula . 30 3 Computing R and h in Real Quadratic Fields 35 3.1 Estimating L (1; χ) . 36 3.2 Evaluation of R . 39 3.3 Finding a divisor of h . 46 3.4 Evaluation of h . 49 4 The Cohen-Lenstra Heuristics 55 4.1 Heuristic Results . 56 4.2 Numerical Experiments . 65 4.3 Conclusion . 84 ix 5 The Size of R 85 5.1 Littlewood's Bounds on L (1; χ) . 86 5.2 Numerical Experiments . 90 5.3 Conclusion . 108 6 Polynomials With High Densities of Prime Values 111 6.1 The Conjecture of Hardy and Littlewood . 112 6.2 Evaluation of C(D) . 114 6.3 Computing h in Imaginary Quadratic Fields . 117 6.4 Numerical Experiments . 120 6.5 Conclusion . 139 7 Conclusion 143 x List of Tables 3.1 A and B values for A(Q; ∆) . 37 3.2 Growth of L . 40 3.3 Times for computing R using various algorithms . 46 3.4 Number of ideals used to compute h1 . 48 3.5 How often h1 was calculated . 49 3.6 How often Q > 18000 was required (truncated product method) . 51 3.7 How often Q > 5000 was required (Bach method) . 52 3.8 Times for computing h (truncated products Q=18000) . 53 3.9 Times for computing h (Bach's method Q=5000) . 54 4.1 q (x) for ∆ 1 (mod 4) . 67 i ≡ 4.2 q (x) for ∆ 0 (mod 4) . 68 i ≡ 4.3 q (x) for p 1 (mod 4) . 68 i ≡ 4.4 q (x) for p 3 (mod 4) . 69 i ≡ 4.5 t (x) for D 1 (mod 4) . 69 i ≡ 4.6 t (x) for D 0 (mod 4) . 70 i ≡ 4.7 t (x) for p 1 (mod 4) . 70 i ≡ 4.8 t (x) for p 3 (mod 4) . 71 i ≡ 4.9 H (x) for p 1 (mod 4) . 72 ∗ ≡ 4.10 H (x) for p 3 (mod 4) . 73 ∗ ≡ 5.1 D 5 (mod 8) | L (1; χ)-lochamps . 91 ≡ 5.2 D 5 (mod 8) | LLI-lochamps . 91 ≡ xi 5.3 D 1 (mod 8) | L (1; χ)-hichamps . 92 ≡ 5.4 D 1 (mod 8) | ULI-hichamps . 92 ≡ 5.5 D 6 (mod 8) | L (1; χ)-hichamps . 93 ≡ 5.6 D 6 (mod 8) | ULI-hichamps . 93 ≡ 5.7 D 1 (mod 4) | L (1; χ)-hichamps . 94 ≡ − 5.8 D 1 (mod 4) | ULI-hichamps . 94 ≡ − 5.9 5Np | Least Solutions . 96 5.10 5Np | Least Prime Solutions . 97 5.11 1Rp | Least Solutions . 98 5.12 1Rp | Least Prime Solutions . 99 5.13 6Rp | Least Solutions . 100 5.14 6R | Least 2 Prime Solutions . 101 p × 5.15 3Rp and 7Rp | Least Solutions . 102 5.16 3Rp and 7Rp | Least Prime Solutions . 103 6 6 6.1 PA(10 )=LA(10 ) for some values of D . 114 6.2 C(D)-hichamps (D < 0) . 122 6.3 C(D)-hichamps (D > 0) . 122 6.4 L (1; χ)-lochamps (D < 0) . 123 6.5 LLI-lochamps (D < 0) . 124 6.6 Np | Least Solutions . 127 6.7 Np | Least Prime Solutions . 128 6.8 Mp | Least Solutions . 129 6.9 Mp | Least Prime Solutions . 130 6.10 Np | Least Solutions (LLI) . 131 6.11 Np | Least Prime Solutions (LLI) . 132 γ 6.12 Np | Least Solutions (Z(Np) = C=e log log Np) . 133 γ 6.13 Np | Least Prime Solutions (Z(Np) = C=e log log Np) . 134 γ 6.14 Mp | Least Solutions (Z(Mp) = C=e log log Mp) . 135 γ 6.15 Mp | Least Prime Solutions (Z(Mp) = C=e log log Mp) . 136 xii List of Figures 4.1 x vs. q (x) for ∆ 1 (mod 4) . 74 1 ≡ 4.2 x vs. q (x) for ∆ 0 (mod 4) . 75 1 ≡ 4.3 x vs. q (x) for p 1 (mod 4) . 76 1 ≡ 4.4 x vs. q (x) for p 3 (mod 4) . 77 1 ≡ 4.5 x vs. t (x) for ∆ 1 (mod 4) . 78 1 ≡ 4.6 x vs. t (x) for ∆ 0 (mod 4) . 79 1 ≡ 4.7 x vs. t (x) for p 1 (mod 4) . 80 1 ≡ 4.8 x vs. t (x) for p 3 (mod 4) . 81 1 ≡ 4.9 x vs. 8H (x)=x for p 1 (mod 4) . 82 ∗ ≡ 4.10 x vs. 8H (x)=x for p 3 (mod 4) . 83 ∗ ≡ 5.1 Frequency values of Z for ∆ = p (prime), 8 108 < p < 109; p 1 (mod 8) 89 × ≡ 5.2 log 5Np vs. LLI . ..
Recommended publications
  • The Class Number One Problem for Imaginary Quadratic Fields
    MODULAR CURVES AND THE CLASS NUMBER ONE PROBLEM JEREMY BOOHER Gauss found 9 imaginary quadratic fields with class number one, and in the early 19th century conjectured he had found all of them. It turns out he was correct, but it took until the mid 20th century to prove this. Theorem 1. Let K be an imaginary quadratic field whose ring of integers has class number one. Then K is one of p p p p p p p p Q(i); Q( −2); Q( −3); Q( −7); Q( −11); Q( −19); Q( −43); Q( −67); Q( −163): There are several approaches. Heegner [9] gave a proof in 1952 using the theory of modular functions and complex multiplication. It was dismissed since there were gaps in Heegner's paper and the work of Weber [18] on which it was based. In 1967 Stark gave a correct proof [16], and then noticed that Heegner's proof was essentially correct and in fact equiv- alent to his own. Also in 1967, Baker gave a proof using lower bounds for linear forms in logarithms [1]. Later, Serre [14] gave a new approach based on modular curve, reducing the class number + one problem to finding special points on the modular curve Xns(n). For certain values of n, it is feasible to find all of these points. He remarks that when \N = 24 An elliptic curve is obtained. This is the level considered in effect by Heegner." Serre says nothing more, and later writers only repeat this comment. This essay will present Heegner's argument, as modernized in Cox [7], then explain Serre's strategy.
    [Show full text]
  • Introduction to Class Field Theory and Primes of the Form X + Ny
    Introduction to Class Field Theory and Primes of the Form x2 + ny2 Che Li October 3, 2018 Abstract This paper introduces the basic theorems of class field theory, based on an exposition of some fundamental ideas in algebraic number theory (prime decomposition of ideals, ramification theory, Hilbert class field, and generalized ideal class group), to answer the question of which primes can be expressed in the form x2 + ny2 for integers x and y, for a given n. Contents 1 Number Fields1 1.1 Prime Decomposition of Ideals..........................1 1.2 Basic Ramification Theory.............................3 2 Quadratic Fields6 3 Class Field Theory7 3.1 Hilbert Class Field.................................7 3.2 p = x2 + ny2 for infinitely n’s (1)........................8 3.3 Example: p = x2 + 5y2 .............................. 11 3.4 Orders in Imaginary Quadratic Fields...................... 13 3.5 Theorems of Class Field Theory.......................... 16 3.6 p = x2 + ny2 for infinitely many n’s (2)..................... 18 3.7 Example: p = x2 + 27y2 .............................. 20 1 Number Fields 1.1 Prime Decomposition of Ideals We will review some basic facts from algebraic number theory, including Dedekind Domain, unique factorization of ideals, and ramification theory. To begin, we define an algebraic number field (or, simply, a number field) to be a finite field extension K of Q. The set of algebraic integers in K form a ring OK , which we call the ring of integers, i.e., OK is the set of all α 2 K which are roots of a monic integer polynomial. In general, OK is not a UFD but a Dedekind domain.
    [Show full text]
  • Units and Primes in Quadratic Fields
    Units and Primes 1 / 20 Overview Evolution of Primality Norms, Units, and Primes Factorization as Products of Primes Units in a Quadratic Field 2 / 20 Rational Integer Primes Definition A rational integer m is prime if it is not 0 or ±1, and possesses no factors but ±1 and ±m. 3 / 20 Division Property of Rational Primes Theorem 1.3 Let p; a; b be rational integers. If p is prime and and p j ab, then p j a or p j b. 4 / 20 Gaussian Integer Primes Definition Let π; α; β be Gaussian integers. We say that prime if it is not 0, not a unit, and if in every factorization π = αβ, one of α or β is a unit. Note A Gaussian integer is a unit if there exists some Gaussian integer η such that η = 1. 5 / 20 Division Property of Gaussian Integer Primes Theorem 1.7 Let π; α; β be Gaussian integers. If π is prime and π j αβ, then π j α or π j β. 6 / 20 Algebraic Integers Definition An algebraic number is an algebraic integer if its minimal polynomial over Q has only rational integers as coefficients. Question How does the notion of primality extend to the algebraic integers? 7 / 20 Algebraic Integer Primes Let A denote the ring of all algebraic integers, let K = Q(θ) be an algebraic extension, and let R = A \ K. Given α; β 2 R, write α j β when there exists some γ 2 R with αγ = β. Definition Say that 2 R is a unit in K when there exists some η 2 R with η = 1.
    [Show full text]
  • A Concrete Example of Prime Behavior in Quadratic Fields
    A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS CASEY BRUCK 1. Abstract The goal of this paper is to provide a concise way for undergraduate math- ematics students to learn about how prime numbers behave in quadratic fields. This paper will provide students with some basic number theory background required to understand the material being presented. We start with the topic of quadratic fields, number fields of degree two. This section includes some basic properties of these fields and definitions which we will be using later on in the paper. The next section introduces the reader to prime numbers and how they are different from what is taught in earlier math courses, specifically the difference between an irreducible number and a prime number. We then move onto the majority of the discussion on prime numbers in quadratic fields and how they behave, specifically when a prime will ramify, split, or be inert. The final section of this paper will detail an explicit example of a quadratic field and what happens to prime numbers p within it. The specific field we choose is Q( −5) and we will be looking at what forms primes will have to be of for each of the three possible outcomes within the field. 2. Quadratic Fields One of the most important concepts of algebraic number theory comes from the factorization of primes in number fields. We want to construct Date: March 17, 2017. 1 2 CASEY BRUCK a way to observe the behavior of elements in a field extension, and while number fields in general may be a very complicated subject beyond the scope of this paper, we can fully analyze quadratic number fields.
    [Show full text]
  • Math 154. Class Groups for Imaginary Quadratic Fields
    Math 154. Class groups for imaginary quadratic fields Homework 6 introduces the notion of class group of a Dedekind domain; for a number field K we speak of the \class group" of K when we really mean that of OK . An important theorem later in the course for rings of integers of number fields is that their class group is finite; the size is then called the class number of the number field. In general it is a non-trivial problem to determine the class number of a number field, let alone the structure of its class group. However, in the special case of imaginary quadratic fields there is a very explicit algorithm that determines the class group. The main point is that if K is an imaginary quadratic field with discriminant D < 0 and we choose an orientation of the Z-module OK (or more concretely, we choose a square root of D in OK ) then this choice gives rise to a natural bijection between the class group of K and 2 2 the set SD of SL2(Z)-equivalence classes of positive-definite binary quadratic forms q(x; y) = ax + bxy + cy over Z with discriminant 4ac − b2 equal to −D. Gauss developed \reduction theory" for binary (2-variable) and ternary (3-variable) quadratic forms over Z, and via this theory he proved that the set of such forms q with 1 ≤ a ≤ c and jbj ≤ a (and b ≥ 0 if either a = c or jbj = a) is a set of representatives for the equivalence classes in SD.
    [Show full text]
  • Modular Forms and the Hilbert Class Field
    Modular forms and the Hilbert class field Vladislav Vladilenov Petkov VIGRE 2009, Department of Mathematics University of Chicago Abstract The current article studies the relation between the j−invariant function of elliptic curves with complex multiplication and the Maximal unramified abelian extensions of imaginary quadratic fields related to these curves. In the second section we prove that the j−invariant is a modular form of weight 0 and takes algebraic values at special points in the upper halfplane related to the curves we study. In the third section we use this function to construct the Hilbert class field of an imaginary quadratic number field and we prove that the Ga- lois group of that extension is isomorphic to the Class group of the base field, giving the particular isomorphism, which is closely related to the j−invariant. Finally we give an unexpected application of those results to construct a curious approximation of π. 1 Introduction We say that an elliptic curve E has complex multiplication by an order O of a finite imaginary extension K/Q, if there exists an isomorphism between O and the ring of endomorphisms of E, which we denote by End(E). In such case E has other endomorphisms beside the ordinary ”multiplication by n”- [n], n ∈ Z. Although the theory of modular functions, which we will define in the next section, is related to general elliptic curves over C, throughout the current paper we will be interested solely in elliptic curves with complex multiplication. Further, if E is an elliptic curve over an imaginary field K we would usually assume that E has complex multiplication by the ring of integers in K.
    [Show full text]
  • 22 Ring Class Fields and the CM Method
    18.783 Elliptic Curves Spring 2017 Lecture #22 05/03/2017 22 Ring class fields and the CM method Let O be an imaginary quadratic order of discriminant D, and let EllO(C) := fj(E) 2 C : End(E) = Cg. In the previous lecture we proved that the Hilbert class polynomial Y HD(X) := HO(X) := X − j(E) j(E)2EllO(C) has integerp coefficients. We then defined L to be the splitting field of HD(X) over the field K = Q( D), and showed that there is an injective group homomorphism Ψ: Gal(L=K) ,! cl(O) that commutes with the group actions of Gal(L=K) and cl(O) on the set EllO(C) = EllO(L) of roots of HD(X). To complete the proof of the the First Main Theorem of Complex Multiplication, which asserts that Ψ is an isomorphism, we need to show that Ψ is surjective, equivalently, that HD(X) is irreducible over K. At the end of the last lecture we introduced the Artin map p 7! σp, which sends each unramified prime p of K (prime ideal of OK ) to the corresponding Frobenius element σp, which is the unique element of Gal(L=K) for which Np σp(x) ≡ x mod q; (1) for all x 2 OL and primes qjp (prime ideals of OL that divide the ideal pOL); the existence of a single σp 2 Gal(L=K) satisfying (1) for all qjp follows from the fact that Gal(L=K) ,! cl(O) is abelian. The Frobenius element σp can also be characterized as follows: for each prime qjp the finite field Fq := OL=q is an extension of the finite field Fp := OK =p and the automorphism σ¯p 2 Gal(Fq=Fp) defined by σ¯p(¯x) = σ(x) (where x 7! x¯ is the reduction Np map OL !OL=q), is the Frobenius automorphism x 7! x generating Gal(Fq=Fp).
    [Show full text]
  • Algebraic Numbers, Algebraic Integers
    Algebraic Numbers, Algebraic Integers October 7, 2012 1 Reading Assignment: 1. Read [I-R]Chapter 13, section 1. 2. Suggested reading: Davenport IV sections 1,2. 2 Homework set due October 11 1. Let p be a prime number. Show that the polynomial f(X) = Xp−1 + Xp−2 + Xp−3 + ::: + 1 is irreducible over Q. Hint: Use Eisenstein's Criterion that you have proved in the Homework set due today; and find a change of variables, making just the right substitution for X to turn f(X) into a polynomial for which you can apply Eisenstein' criterion. 2. Show that any unit not equal to ±1 in the ring of integers of a real quadratic field is of infinite order in the group of units of that ring. 3. [I-R] Page 201, Exercises 4,5,7,10. 4. Solve Problems 1,2 in these notes. 3 Recall: Algebraic integers; rings of algebraic integers Definition 1 An algebraic integer is a root of a monic polynomial with rational integer coefficients. Proposition 1 Let θ 2 C be an algebraic integer. The minimal1 monic polynomial f(X) 2 Q[X] having θ as a root, has integral coefficients; that is, f(X) 2 Z[X] ⊂ Q[X]. 1i.e., minimal degree 1 Proof: This follows from the fact that a product of primitive polynomials is again primitive. Discuss. Define content. Note that this means that there is no ambiguity in the meaning of, say, quadratic algebraic integer. It means, equivalently, a quadratic number that is an algebraic integer, or number that satisfies a quadratic monic polynomial relation with integral coefficients, or: Corollary 1 A quadratic number is a quadratic integer if and only if its trace and norm are integers.
    [Show full text]
  • Representation of Prime Numbers by Quadratic Forms
    Representation of prime numbers by quadratic forms Bachelor thesis in Mathematics by Simon Hasenfratz Supervisor: Prof. R. Pink ETH Zurich Summer term 2008 Introduction One of the most famous theorems in elementary number theory is the following, first conjec- tured by Fermat and then proved by Euler: An odd prime p can be written as p = x2 + y2 where x; y 2 Z if and only if p ≡ 1 mod 4. Euler proved this theorem using infinite descent, and he also considered the similiar prob- lems p = x2 + 2y2, p = x2 + 3y2 and so on. For each of these cases he had to work out completely new proofs and it took him years until he realized that in fact quadratic residues were at the heart of the matter. These problems led Euler finally to the discovery of quadratic reciprocity. Unfortunately, the methods Euler used to tackle these problems hardly generalize. What one needsp is a more powerful language to formulate the problem: Consider the numberp field K = Q( −n) with ring of integers OK . Furthermore, let O be the order O = Z[ −n] and denote the conductor of the order by f := [OK : O]. Then it can be shown that for odd primes p not dividing f the following are equivalent: (i) p = x2 + ny2 for some x; y 2 Z. (ii) pOK = pp, where p 6= p are prime ideals of OK and p = αOK for some α 2 O. Now consider the case n = 1. Then the equivalence above becomes 2 2 p = x + y , pOK = pp; p 6= p: But this just says that p splits completely in K, which in turn is equivalent to the Legen- 1 dre symbol ( p ) being equal to 1.
    [Show full text]
  • Ideals and Class Groups of Number Fields
    Ideals and class groups of number fields A thesis submitted To Kent State University in partial Fulfillment of the requirements for the Degree of Master of Science by Minjiao Yang August, 2018 ○C Copyright All rights reserved Except for previously published materials Thesis written by Minjiao Yang B.S., Kent State University, 2015 M.S., Kent State University, 2018 Approved by Gang Yu , Advisor Andrew Tonge , Chair, Department of Mathematics Science James L. Blank , Dean, College of Arts and Science TABLE OF CONTENTS…………………………………………………………...….…...iii ACKNOWLEDGEMENTS…………………………………………………………....…...iv CHAPTER I. Introduction…………………………………………………………………......1 II. Algebraic Numbers and Integers……………………………………………......3 III. Rings of Integers…………………………………………………………….......9 Some basic properties…………………………………………………………...9 Factorization of algebraic integers and the unit group………………….……....13 Quadratic integers……………………………………………………………….17 IV. Ideals……..………………………………………………………………….......21 A review of ideals of commutative……………………………………………...21 Ideal theory of integer ring 풪푘…………………………………………………..22 V. Ideal class group and class number………………………………………….......28 Finiteness of 퐶푙푘………………………………………………………………....29 The Minkowski bound…………………………………………………………...32 Further remarks…………………………………………………………………..34 BIBLIOGRAPHY…………………………………………………………….………….......36 iii ACKNOWLEDGEMENTS I want to thank my advisor Dr. Gang Yu who has been very supportive, patient and encouraging throughout this tremendous and enchanting experience. Also, I want to thank my thesis committee members Dr. Ulrike Vorhauer and Dr. Stephen Gagola who help me correct mistakes I made in my thesis and provided many helpful advices. iv Chapter 1. Introduction Algebraic number theory is a branch of number theory which leads the way in the world of mathematics. It uses the techniques of abstract algebra to study the integers, rational numbers, and their generalizations. Concepts and results in algebraic number theory are very important in learning mathematics.
    [Show full text]
  • Twists of Matrix Algebras and Some Subgroups of Brauer Groups
    BULL. AUSTRAL. MATH. SOC. 13A20, 11R34 VOL. 45 (1992) [377-383] TWISTS OP MATRIX ALGEBRAS AND SOME SUBGROUPS OF BRAUER GROUPS WENCHEN CHI We consider twists of matrix algebras by some continuous characters. There are some subgroups of Brauer groups arising from these twists. Some results regarding these subgroups are proved. 1. INTRODUCTION The idea of twists of vector spaces and algebras by 1-cocycles was considered by Weil in [8, pp.590-593]. In [3], we considered twists of central simple algebras by some special 1-cocycles which, was motivated by the study of the endomorphism algebra of the abelian variety attached to a weight-2 newform on Fo(iV) (or on F].(JV) with character e) (see [2, 3, 5, 6]). There are some subgroups of Brauer groups arising from these twists. Our purpose in this article is to show some results on these subgroups of Brauer groups. To begin with, let Q be a fixed algebraic closure of the field of rational numbers Q, and let GQ = Gal (Q/Q) be the Galois group furnished with the Krull topology. For an arbitrary field F in Q, we take Q as an algebraic closure of F and denote the Galois group of Q over F by GF . Throughout this article, E will be a finite Galois extension of F sitting inside Q with Galois group Gal(E/F) = F. Let Honicon. (GQ, E*/F*) be the group of all continuous characters from GQ to E*/F*, where the multiplicative group E*/F* was given the discrete topology. Let Br (E/F) be the subgroup of the Brauer group Br (F) consisting of all classes of central simple F-algebras split by E.
    [Show full text]
  • Integers of Quadratic Fields As Sums of Squares
    INTEGERS OF QUADRATIC FIELDS AS SUMS OF SQUARES BY IVAN NIVEN 1. Introduction. Lagrange proved that every positive rational integer is a sum of four squares of rational integers. Our principal result is that in an imaginary quadratic field every integer of the form (1) a + 2bd, 62 = - m, m being a positive square-free rational integer, is expressible as a sum of three squares of integers of the field. Gaussian integers are treated in §3, integers of the general imaginary quadratic field in §4; necessary and sufficient condi- tions for two-square sums are given in each case. Section 6 treats real quad- ratic integers, and §7 interprets some of the results in the theory of Diophan- tine equations. It will be recalled that the coefficients of quadratic integers are not always rational integers. Specifically, if the field is an extension of the rational num- ber field by 6 in equation (1), and if m = 3 (mod 4), the integers of the field are given by a b (2) — + — 9 2 2 where a and b are rational integers, both odd or both even. This introduces a special problem, which is dealt with for imaginary fields in §5. Roman letters represent rational integers throughout. 2. Mordell's theorem. In this section we prove a theorem which was stated by L. J. Mordell [l], and upon which most of our study is based. Mordell's proof contains an omission of such import that a complete proof is offered here. Theorem 1. Iff(x, y) = ax2-\-2hxy-\-byi is a positive binary quadratic form with integral coefficients, necessary and sufficient conditions that f be expressible as a sum of the squares of two linear forms with integral coefficients, (3) /(*, y) = (4« + oiy)2 + {a2x + o2y)2, are that A = ab —h2 be a perfect square and that d = (a, h, b) have no prime fac- tor of the form 4w + 3 to an odd power.
    [Show full text]