THE UNIT GROUP OF A REAL QUADRATIC FIELD
|
|
- Rose Waters
- 6 years ago
- Views:
Transcription
1 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 and analysis but also it relates to Pell s equation and continued fractions topics from elementary number theory Review Let F = Q( n) be a real quadratic field Thus n > is not a square and we take n squarefree Recall various facts about F The nontrivial automorphism of F is the conjugation function : F F a + b n = a b n The trace function of F is the abelian group homomorphism Specifically tr : F Q tr(x) = x + x tr(a + b n) = (a + b n) + (a b n) = a The norm function of F is the homomorphism Specifically N : F Q N(x) = x x N(a + b n) = (a + b n)(a + b n) = a b n Sometimes we also define N(0) = 0 The unit group O F of F consists precisely of the elements of O F such that N(x) = ± The discriminant of F is D F = { n if n = (mod 4) 4n if n = 3 (mod 4) and the integer ring of F is [ DF + D F O F = Z Let {x j } j Z + be a sequence in O F all of whose elements satisfy N(x j ) α for some constant α Then for some pair of distinct positive integers j and j x j = ux j u O F Indeed two sequence elements must have the same absolute norm ]
2 THE UNIT GROUP OF A REAL QUADRATIC FIELD Geometric Results Lemma Let Λ be a lattice in R and let E be a measurable subset of R such that µ(e) > µ(r /Λ) Then there exist distinct points x x E such that x x Λ Proof Let (e f) be a Z-basis of Λ so that corresponding fundamental parallelogram of R /Λ is Thus area(π) < µ(e) = λ Λ Π = {ξe + ηf : ξ η [0 ]} µ(e (λ + Π)) = λ Λ µ((λ + E) Π) Consequently the intersection (λ + E) (λ + E) Π must be nonempty for some distinct λ λ Λ In particular λ + x = λ + x for some x x E Thus x x = λ λ Λ {0} as desired Proposition Let Λ be a lattice in R and let E be a compact measurable subset of R that is symmetric about 0 and convex and such that µ(e) 4µ(R /Λ) Then E contains a nonzero point of Λ Proof The lemma says that for any ε > 0 the set E = +ε E contains distinct points x and x such that x x Λ But also using symmetry about 0 the nonzero difference x x = (x + ( x))/ is a convex linear combination of points of ( + ε)e and hence a point of ( + ε)e That is letting Λ = Λ {0} Λ ( + ε)e Note that Λ (+ε)e is compact (finite for that matter) since it is the intersection of a discrete set and a compact set Thus the nested intersection over all ε remains nonempty (Λ ( + ε)e) ε>0 (The finite intersection property of compact sets rephrases the definition of compactness If α K α = then α Kc α = K o gives an open cover of K o hence Kα c = K o for some α by the nestedness hence K α = contradiction) But the nonempty intersection is (again using the compactness of E at the last step) ε>0(λ ( + ε)e) = Λ ( + ε)e = Λ E = Λ E ε>0 This completes the argument The lemma and the proposition are special cases of results due to Minkowski about the geometry of numbers
3 THE UNIT GROUP OF A REAL QUADRATIC FIELD 3 3 The Canonical Embedding Definition 3 The canonical embedding of F is the ring homomorphism ι : F R x (x x) Recall that our real quadratic field is F = Q( n) and that the discriminant of F is { n if n = (mod 4) D F = 4n if n = 3 (mod 4) The abelian group structure of the integer ring of F is a direct sum O F = D F + D F Z Z The images of the basis elements under the fundamental embedding are ι() = ( ) ( DF + ) ( D F DF + D F ι = D F + D F D F D F D F D F Thus ι(o F ) is a lattice in R whose fundamental parallelogram has area [ ] det = D F That is µ(r /ι(o F )) = D F Consequently Proposition says that any compact box B that is symmetric about the origin has area 4 D F contains a nonzero point of ι(o F ) We will quote this fact later 4 The Logarithmic Embedding Definition 4 The logarithmic embedding of O F l : O F R u (log u log u ) Thus the logarithmic embedding takes the form l = h ι O F where h is the continuous group homomorphism h : (R ) R (x y) (log x log y ) ) is the group homomorphism Note that ι O is also a homomorphism of multiplicative groups Because uu = F N(u) for u O F the image ι(o F ) lies in the hyperbola Also note that the calculation H = {(x y) (R ) : xy = ±} xy = ± = log x + log y = log xy = log = 0 shows that h restricts to a continuous homomorphism from the hyperbola H to the line of slope L = {(z w) R : z + w = 0} That is ι(o F ) H l(o F ) L
4 4 THE UNIT GROUP OF A REAL QUADRATIC FIELD Also direct inspection shows that ker(l) = {±} and thus (the next display has a multiplicative group on the left and an additive group on the right) and thus O F R >0 l(o F ) O F = {±} (O F R >0) (Z/Z) l(o F ) 5 Unit Group Structure We show that l(o F ) is infinite cyclic First we show that it is discrete Lemma 5 For any nonnegative number r R 0 l ([ r r] ) O F is finite (Setting r = 0 in the lemma shows that ker(l) is finite Since ker(l) = {±} in the real quadratic field case we obtain nothing new here but for number fields other than real quadratic fields with the lemma modified accordingly the result is of interest) Proof Let r 0 and suppose that some element u O F l(u) [ r r] That is (log u log u ) [ r r] so that Consequently u u [e r e r ] u + u e r and uu e r satisfies But the characteristic relation of u over Z is { a = tr(u) = u + u Z u au + b = 0 b = N(u) = uu Z Thus there are only finitely many possibilities for the characteristic polynomial and hence there are only finitely many possibilities for u Recall that O F (Z/Z) l(o F ) The lemma shows that l(o F ) is a discrete subgroup of L Because L R the question now is whether l(o F ) = {0} or l(o F ) Z Proposition 5 l(o F ) Z The idea of the proof is to exhibit two elements of O F that are equal in norm but not in absolute value; there is no contradiction here because norm is not squared absolute value in a real quadratic field Their quotient is thus a unit u whose absolute value is not and so l(u) = (log u log u ) is nonzero Proof For any positive real number λ the compact box B = [ λ λ] [ D F /λ D F /λ] is symmetric about the origin and its area is 4 D F As explained in section 3 the geometry of numbers shows that there exists a nonzero integer x λ O F such that ι(x λ ) B The fact that ι(x λ ) = (x λ x λ ) lies in B says that N(x λ ) D F
5 THE UNIT GROUP OF A REAL QUADRATIC FIELD 5 Also the condition N(x λ ) holds because x λ O F so ι(x λ ) lies outside the four hyperbolic segments xy = ± These segments meet the top and bottom of the box at x = λ/ D F so λ/ D F x λ λ and consequently /λ / x λ Repeat the process with a second positive real number λ > D F λ to get λ / D F x λ and so the previous two displays combine to give < λ /( D F λ) x λ / x λ which is to say x λ < x λ Continue in this fashion to get a sequence {x λ(j) } such that x λ() < x λ() < x λ(3) < and N(x λ(j) ) D F j = 3 Thus for two distinct positive integers j j we have N(x λ(j )) = N(x λ(j) ) and x λ(j ) x λ(j) and so x λ(j ) = ux λ(j) u O F u Therefore log u = 0 This shows that l(o F ) {0} and consequently l(o F ) Z as desired 6 The Fundamental Unit Definition 6 The unique element u O F such that O F = {±} u = {±} {u i : i Z} u > is the fundamental unit of F If the fundamental unit is then since N(g) = ± altogether u = a + b n a b Q u u u u = ±a ± b n Since the fundamental unit is the largest of the four elements in the previous display in fact u = a + b n a b Q + and u is the smallest such element a + b n of O F The units u > are overall We now proceed by cases If n = 3 (mod 4) then u k = u k = (a + b n) k k = 3 O F = {a + b n : a b Z} and so the fundamental unit takes the form u = a + b n a b Z + a nb = ±
6 6 THE UNIT GROUP OF A REAL QUADRATIC FIELD Its positive powers are u k = a k + b k n = (a + b k n) k Since b k+ = a k b + b k a the sequence {b k } is strictly increasing Thus an algorithm to find the fundamental unit for n = 3 (mod 4) is: Test b = 3 until either of nb ± is a perfect square Let a be the positive integer such that a nb = ± Then u = a + b n If n = (mod 4) then O F = { (a + b n) : a b Z a = b (mod ) } and so the fundamental unit takes the form u = (a + b n) a b Z + a = b (mod ) a nb = ±4 Its positive powers are u k = k (a k + b k n) = k (a + b k n) k Since b k+ = a k b + b k a the sequence {b k } is strictly increasing Thus an algorithm to find the fundamental unit for n = (mod 4) is: Test b = 3 until either of nb ± 4 is a perfect square Let a be the positive integer such that a nb = ±4 Then u = (a + b n) Some fundamental units are shown in table n u ( + 5) (3 + 3) (5 + ) Figure Table of fundamental units A more efficient method for finding the fundamental unit uses continued fractions
7 THE UNIT GROUP OF A REAL QUADRATIC FIELD 7 7 The Continued Fraction of a Rational Number Let c and d be integers with d > 0 The Euclidean algorithm gives c d = q 0 + r 0 d q 0 Z 0 < r 0 < d d = q + r r 0 r 0 q > 0 0 < r < r 0 r 0 = q + r r r q > 0 0 < r < r r m r m = q m q m > (note) Thus c d = q 0 + q + q + + qm Working productively with the notation of the previous display is hopeless The standard remedy is to write instead c d = q 0 + q + Note that also (using the fact that q m > ) c d = q 0 + q + q + q m q + (q m )+ The expression in the previous three displays is the continued fraction expression of c/d Symbolically the first few continued fractions are q 0 + q + q 0 = q 0 q 0 + = q 0q + q q q 0 + q = q 0 + q + q q q + = q 0q q + q 0 + q q q + = q 0 + q + q 3 q q 3 + = q 0q q q 3 + q 0 q + q 0 q 3 + q q 3 + q q q 3 + q + q 3 q q q 3 + q + q 3 The numerator of the continued fraction has a standard symbol Thus for example q 0 + q + [q 0 ] = q 0 q + [q 0 q ] = q 0 q + [q 0 q q ] = q 0 q q + q 0 + q = [q 0 q q m ] q m d [q 0 q q q 3 ] = q 0 q q q 3 + q 0 q + q 0 q 3 + q q 3 +
8 8 THE UNIT GROUP OF A REAL QUADRATIC FIELD The denominator requires no symbol of its own because as the small examples have shown it is simply [q q m ] To show this in general note that the equality rewrites as q 0 + q + [q 0 q q m ] d showing that indeed q 0 + q + q + = q 0 + q m q + q + q 3+ q m d = q 0 + [q q m ] = q 0[q q m ] + d [q q m ] q + This calculation also shows the recurrence = [q 0 q q m ] q m [q q m ] [q 0 q q q m ] = q 0 [q q m ] + [q q m ] which makes computation with these symbols quick Euler gave the explicit formula [q 0 q m ] = q 0 q m + q 0 q m + q i i q i+ ij q 0 q m q i q i+ q j q j+ + That is multiply all the q s together then multiply them together omitting consecutive pairs then multiply them together omitting pairs of consecutive pairs and so on Euler s formula demands extending the numerator-symbol to include the case [ ] = A consequence of Euler s formula is symmetry so that the recurrence is also For any k 0 let [q 0 q q m ] = [q m q q 0 ] [q 0 q q q m ] = [q 0 q m ]q m + [q 0 q m ] A k = [q 0 q q k ] and B k = [q q k ] Then the kth convergent is A k /B k Since [ ] [ ] Ak Ak = q B k + k B k the convergents are easy to compute Also A k A k = A k B k B k B k [ Ak B k ] A k B k and A A 0 B B 0 = [q 0 q ] [q 0 ] [q ] [ ] = (q 0q + ) q 0 q = so that A k+ A k B k+ B k = ( )k k 0
9 THE UNIT GROUP OF A REAL QUADRATIC FIELD 9 In particular gcd(a k B k ) = for all k 0 showing that the kth convergent is in lowest terms Since A k+ B k+ A k B k = it follows that the sequence {A k /B k } is Leibniz ( )k B k B k+ 8 The Continued Fraction of an Irrational Number Let α be an irrational number Similarly to before we have α = q 0 + /α q 0 Z α > α = q + /α q > 0 α > α = q + /α 3 q > 0 α 3 > α m = q m + /α m+ q m > 0 α m+ > (specifically each q i = α i where α 0 = α) but now the process doesn t terminate Still as before α = q 0 + q + q + q m + α m+ Also as before and we have the recurrence α = [q 0 q m α m+ ] [q q m α m+ ] [q 0 q m α m+ ] = [q 0 q m ]α m+ + [q 0 q m ] = α m+ A m + A m Similarly and so A little algebra gives [q q m α m+ ] = α m+ B m + B m α = α m+a m + A m α m+ B m + B m α A m = ± B m B m (α m+ B m + B m+ ) and since α m+ > q m+ it follows that α A m < B m B m+ B m Thus A m α = lim = q 0 + m B m q + q + q m + When the continued fraction context is clear we write more concisely α = q 0 q q q m
10 0 THE UNIT GROUP OF A REAL QUADRATIC FIELD Definition 8 A quadratic irrational number is a real number of the form α = a + b n The conjugate of such a number is a b Q n Z + squarefree α = a b n A quadratic irrational number is normalized if α > and < α < 0 Proposition 8 Let α be an irrational number Then α is quadratic and normalized if and only if its continued fraction is periodic Proof of the easy direction Suppose that α = q 0 q m q 0 q m q 0 q m = q 0 q m Since q 0 repeats as the term of the continued fraction it is a positive integer giving α > Next the characteristic relation of α rewrites as the characteristic equation showing that α is quadratic fraction α = A mα + A m B m α + B m B m α + (B m A m )α A m = 0 Now consider the reverse-order periodic continued β = q m q 0 Note that β > since q m is a positive integer and note that the characteristic relation of β is almost the same as that of α β = A mβ + B m A m β + B m Consequently the characteristic relation of /β is /β = B m ( /β) A m B m ( /β) + A m so that the characteristic equation of /β is B m ( /β) + (B m A m )( /β) A m = 0 That is α and /β satisfy the same quadratic equation so /β is one of α α Since α > and < /β < 0 we see that /β = α and consequently < α < 0 That is α is normalized The proof of the other direction isn t much more difficult but it is a bit more painstaking Now consider a positive integer n that is not a perfect square Let q 0 = n α = q 0 + n Then α = q 0 n ( 0) showing that α is normalized Note also that α = α + q 0 By the (unproved direction of the) previous proposition α = q 0 q q m
11 THE UNIT GROUP OF A REAL QUADRATIC FIELD so that = q q m q 0 α q 0 Also by the proof of the proposition /α = q m q q 0 But since α = q 0 n the left sides of the two previous displays are equal hence so are the right sides and thus q q m is palindromic Thus n = α q 0 has continued fraction n = q0 q q q q q 0 For example = 3 = 3 = = Rewrite the continued fraction representation of n in a fashion that forgets its palindromic aspect n = q0 q q q m q m q 0 Then α m+ A m + A m n = α m+ B m + B m where α m+ = q 0 q q m q 0 = n + q 0 The previous two displays give ( n + q 0 )A m + A m n = ( n + q 0 )B m + B m or n(( n + q0 )B m + B m ) = ( n + q 0 )A m + A m or after equating rational and irrational components A m = q 0 A m + nb m B m = A m q 0 B m Recall that A m A m = ( )m B m B m The previous two displays give A m q 0 A m + nb m B m A m q 0 B m = ( )m or A m nbm = ( ) m That is A m + B m n is a unit of Q( n)
Notes on Continued Fractions for Math 4400
. Continued fractions. Notes on Continued Fractions for Math 4400 The continued fraction expansion converts a positive real number α into a sequence of natural numbers. Conversely, a sequence of natural
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 informationON DIRICHLET S CONJECTURE ON RELATIVE CLASS NUMBER ONE
ON DIRICHLET S CONJECTURE ON RELATIVE CLASS NUMBER ONE AMANDA FURNESS Abstract. We examine relative class numbers, associated to class numbers of quadratic fields Q( m) for m > 0 and square-free. The relative
More information6]. (10) (i) Determine the units in the rings Z[i] and Z[ 10]. If n is a squarefree
Quadratic extensions Definition: Let R, S be commutative rings, R S. An extension of rings R S is said to be quadratic there is α S \R and monic polynomial f(x) R[x] of degree such that f(α) = 0 and S
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 informationGALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)
GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) KEITH CONRAD We will describe a procedure for figuring out the Galois groups of separable irreducible polynomials in degrees 3 and 4 over
More informationPerspectives of Mathematics
Perspectives of Mathematics Module on Diophantine Equations and Geometry Fall 2004 Michael Stoll What is a diophantine equation? 1. Introduction and Examples Being diophantine is not so much a property
More informationSelected exercises from Abstract Algebra by Dummit and Foote (3rd edition).
Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 2.1 Exercise (6). Let G be an abelian group. Prove that T = {g G g < } is a subgroup of G.
More informationPoints of Finite Order
Points of Finite Order Alex Tao 23 June 2008 1 Points of Order Two and Three If G is a group with respect to multiplication and g is an element of G then the order of g is the minimum positive integer
More informationPELL S EQUATION, II KEITH CONRAD
PELL S EQUATION, II KEITH CONRAD 1. Introduction In Part I we met Pell s equation x dy = 1 for nonsquare positive integers d. We stated Lagrange s theorem that every Pell equation has a nontrivial solution
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 informationQUADRATIC RINGS PETE L. CLARK
QUADRATIC RINGS PETE L. CLARK 1. Quadratic fields and quadratic rings Let D be a squarefree integer not equal to 0 or 1. Then D is irrational, and Q[ D], the subring of C obtained by adjoining D to Q,
More informationOhio s Learning Standards-Extended. Mathematics. The Real Number System Complexity a Complexity b Complexity c
Ohio s Learning Standards-Extended Mathematics The Real Number System Complexity a Complexity b Complexity c Extend the properties of exponents to rational exponents N.RN.1 Explain how the definition of
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 informationAlgebra II Vocabulary Alphabetical Listing. Absolute Maximum: The highest point over the entire domain of a function or relation.
Algebra II Vocabulary Alphabetical Listing Absolute Maximum: The highest point over the entire domain of a function or relation. Absolute Minimum: The lowest point over the entire domain of a function
More information(IV.C) UNITS IN QUADRATIC NUMBER RINGS
(IV.C) UNITS IN QUADRATIC NUMBER RINGS Let d Z be non-square, K = Q( d). (That is, d = e f with f squarefree, and K = Q( f ).) For α = a + b d K, N K (α) = α α = a b d Q. If d, take S := Z[ [ ] d] or Z
More informationMath 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction
Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationSection II.1. Free Abelian Groups
II.1. Free Abelian Groups 1 Section II.1. Free Abelian Groups Note. This section and the next, are independent of the rest of this chapter. The primary use of the results of this chapter is in the proof
More informationPart II. Number Theory. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section I 1G 70 Explain what is meant by an Euler pseudoprime and a strong pseudoprime. Show that 65 is an Euler
More informationAlgebraic Number Theory and Representation Theory
Algebraic Number Theory and Representation Theory MIT PRIMES Reading Group Jeremy Chen and Tom Zhang (mentor Robin Elliott) December 2017 Jeremy Chen and Tom Zhang (mentor Robin Algebraic Elliott) Number
More informationM3P14 LECTURE NOTES 8: QUADRATIC RINGS AND EUCLIDEAN DOMAINS
M3P14 LECTURE NOTES 8: QUADRATIC RINGS AND EUCLIDEAN DOMAINS 1. The Gaussian Integers Definition 1.1. The ring of Gaussian integers, denoted Z[i], is the subring of C consisting of all complex numbers
More informationARITHMETIC PROGRESSIONS OF THREE SQUARES
ARITHMETIC PROGRESSIONS OF THREE SQUARES KEITH CONRAD 1 Introduction Here are the first 10 perfect squares (ignoring 0): 1, 4, 9, 16, 25, 36, 49, 64, 81, 100 In this list there is an arithmetic progression:
More information= W z1 + W z2 and W z1 z 2
Math 44 Fall 06 homework page Math 44 Fall 06 Darij Grinberg: homework set 8 due: Wed, 4 Dec 06 [Thanks to Hannah Brand for parts of the solutions] Exercise Recall that we defined the multiplication of
More informationChapter P. Prerequisites. Slide P- 1. Copyright 2007 Pearson Education, Inc. Publishing as Pearson Addison-Wesley
Slide P- 1 Chapter P Prerequisites 1 P.1 Real Numbers Quick Review 1. List the positive integers between -4 and 4.. List all negative integers greater than -4. 3. Use a calculator to evaluate the expression
More informationMAT 535 Problem Set 5 Solutions
Final Exam, Tues 5/11, :15pm-4:45pm Spring 010 MAT 535 Problem Set 5 Solutions Selected Problems (1) Exercise 9, p 617 Determine the Galois group of the splitting field E over F = Q of the polynomial f(x)
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 informationChapter 5. Modular arithmetic. 5.1 The modular ring
Chapter 5 Modular arithmetic 5.1 The modular ring Definition 5.1. Suppose n N and x, y Z. Then we say that x, y are equivalent modulo n, and we write x y mod n if n x y. It is evident that equivalence
More informationFINITELY-GENERATED ABELIAN GROUPS
FINITELY-GENERATED ABELIAN GROUPS Structure Theorem for Finitely-Generated Abelian Groups Let G be a finitely-generated abelian group Then there exist a nonnegative integer t and (if t > 0) integers 1
More informationSome notes on Coxeter groups
Some notes on Coxeter groups Brooks Roberts November 28, 2017 CONTENTS 1 Contents 1 Sources 2 2 Reflections 3 3 The orthogonal group 7 4 Finite subgroups in two dimensions 9 5 Finite subgroups in three
More informationReference Material /Formulas for Pre-Calculus CP/ H Summer Packet
Reference Material /Formulas for Pre-Calculus CP/ H Summer Packet Week # 1 Order of Operations Step 1 Evaluate expressions inside grouping symbols. Order of Step 2 Evaluate all powers. Operations Step
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 informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
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 informationSPECIAL CASES OF THE CLASS NUMBER FORMULA
SPECIAL CASES OF THE CLASS NUMBER FORMULA What we know from last time regarding general theory: Each quadratic extension K of Q has an associated discriminant D K (which uniquely determines K), and an
More informationPlane quartics and. Dedicated to Professor S. Koizumi for his 70th birthday. by Tetsuji Shioda
Plane quartics and Mordell-Weil lattices of type E 7 Dedicated to Professor S. Koizumi for his 70th birthday by Tetsuji Shioda Department of Mathematics, Rikkyo University Nishi-Ikebukuro,Tokyo 171, Japan
More informationTest Codes : MIA (Objective Type) and MIB (Short Answer Type) 2007
Test Codes : MIA (Objective Type) and MIB (Short Answer Type) 007 Questions will be set on the following and related topics. Algebra: Sets, operations on sets. Prime numbers, factorisation of integers
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 information1 Directional Derivatives and Differentiability
Wednesday, January 18, 2012 1 Directional Derivatives and Differentiability Let E R N, let f : E R and let x 0 E. Given a direction v R N, let L be the line through x 0 in the direction v, that is, L :=
More informationCONTINUED FRACTIONS, PELL S EQUATION, AND TRANSCENDENTAL NUMBERS
CONTINUED FRACTIONS, PELL S EQUATION, AND TRANSCENDENTAL NUMBERS JEREMY BOOHER Continued fractions usually get short-changed at PROMYS, but they are interesting in their own right and useful in other areas
More informationCHAPTER EIGHT: SOLVING QUADRATIC EQUATIONS Review April 9 Test April 17 The most important equations at this level of mathematics are quadratic
CHAPTER EIGHT: SOLVING QUADRATIC EQUATIONS Review April 9 Test April 17 The most important equations at this level of mathematics are quadratic equations. They can be solved using a graph, a perfect square,
More informationDay 6: 6.4 Solving Polynomial Equations Warm Up: Factor. 1. x 2-2x x 2-9x x 2 + 6x + 5
Day 6: 6.4 Solving Polynomial Equations Warm Up: Factor. 1. x 2-2x - 15 2. x 2-9x + 14 3. x 2 + 6x + 5 Solving Equations by Factoring Recall the factoring pattern: Difference of Squares:...... Note: There
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 informationMATH 101: ALGEBRA I WORKSHEET, DAY #3. Fill in the blanks as we finish our first pass on prerequisites of group theory.
MATH 101: ALGEBRA I WORKSHEET, DAY #3 Fill in the blanks as we finish our first pass on prerequisites of group theory 1 Subgroups, cosets Let G be a group Recall that a subgroup H G is a subset that is
More informationArithmetic Progressions Over Quadratic Fields
Arithmetic Progressions Over Quadratic Fields Alexander Diaz, Zachary Flores, Markus Vasquez July 2010 Abstract In 1640 Pierre De Fermat proposed to Bernard Frenicle de Bessy the problem of showing that
More informationSome Results Concerning Uniqueness of Triangle Sequences
Some Results Concerning Uniqueness of Triangle Sequences T. Cheslack-Postava A. Diesl M. Lepinski A. Schuyler August 12 1999 Abstract In this paper we will begin by reviewing the triangle iteration. We
More informationTHE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION ADVANCED ALGEBRA II.
THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION 2006 110.402 - ADVANCED ALGEBRA II. Examiner: Professor C. Consani Duration: 3 HOURS (9am-12:00pm), May 15, 2006. No
More information14 Ordinary and supersingular elliptic curves
18.783 Elliptic Curves Spring 2015 Lecture #14 03/31/2015 14 Ordinary and supersingular elliptic curves Let E/k be an elliptic curve over a field of positive characteristic p. In Lecture 7 we proved that
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 informationGRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.
GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,
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 information4 Powers of an Element; Cyclic Groups
4 Powers of an Element; Cyclic Groups Notation When considering an abstract group (G, ), we will often simplify notation as follows x y will be expressed as xy (x y) z will be expressed as xyz x (y z)
More informationON MATCHINGS IN GROUPS
ON MATCHINGS IN GROUPS JOZSEF LOSONCZY Abstract. A matching property conceived for lattices is examined in the context of an arbitrary abelian group. The Dyson e-transform and the Cauchy Davenport inequality
More informationIntroduction to Group Theory
Chapter 10 Introduction to Group Theory Since symmetries described by groups play such an important role in modern physics, we will take a little time to introduce the basic structure (as seen by a physicist)
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 informationARITHMETIC PROGRESSIONS OF THREE SQUARES
ARITHMETIC PROGRESSIONS OF THREE SQUARES KEITH CONRAD 1. Introduction Here are the first 10 perfect squares (ignoring 0): 1, 4, 9, 16, 25, 36, 49, 64, 81, 100. In this list there is an arithmetic progression:
More informationExistence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets
Existence of a Limit on a Dense Set, and Construction of Continuous Functions on Special Sets REU 2012 Recap: Definitions Definition Given a real-valued function f, the limit of f exists at a point c R
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 information= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2
8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose
More informationSolving Quadratic Equations by Formula
Algebra Unit: 05 Lesson: 0 Complex Numbers All the quadratic equations solved to this point have had two real solutions or roots. In some cases, solutions involved a double root, but there were always
More informationSmith theory. Andrew Putman. Abstract
Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed
More informationLINEAR FORMS IN LOGARITHMS
LINEAR FORMS IN LOGARITHMS JAN-HENDRIK EVERTSE April 2011 Literature: T.N. Shorey, R. Tijdeman, Exponential Diophantine equations, Cambridge University Press, 1986; reprinted 2008. 1. Linear forms in logarithms
More informationClassification of root systems
Classification of root systems September 8, 2017 1 Introduction These notes are an approximate outline of some of the material to be covered on Thursday, April 9; Tuesday, April 14; and Thursday, April
More informationComputing Invariant Factors
Computing Invariant Factors April 6, 2016 1 Introduction Let R be a PID and M a finitely generated R-module. If M is generated by the elements m 1, m 2,..., m k then we can define a surjective homomorphism
More informationDIRICHLET S UNIT THEOREM
DIRICHLET S UNIT THEOREM KEITH CONRAD 1. Introduction Dirichlet s unit theorem describes the structure of the unit group of any order in a number field. Theorem 1.1 (Dirichlet, 1846). Let K be a number
More informationK. Ireland, M. Rosen A Classical Introduction to Modern Number Theory, Springer.
Chapter 1 Number Theory and Algebra 1.1 Introduction Most of the concepts of discrete mathematics belong to the areas of combinatorics, number theory and algebra. In Chapter?? we studied the first area.
More informationIntermediate Algebra with Applications
Lakeshore Technical College 10-804-118 Intermediate Algebra with Applications Course Outcome Summary Course Information Alternate Title Description Total Credits 4 Total Hours 72 Pre/Corequisites Prerequisite
More informationTEST CODE: PMB SYLLABUS
TEST CODE: PMB SYLLABUS Convergence and divergence of sequence and series; Cauchy sequence and completeness; Bolzano-Weierstrass theorem; continuity, uniform continuity, differentiability; directional
More information1 Adeles over Q. 1.1 Absolute values
1 Adeles over Q 1.1 Absolute values Definition 1.1.1 (Absolute value) An absolute value on a field F is a nonnegative real valued function on F which satisfies the conditions: (i) x = 0 if and only if
More information(i) Represent discrete-time signals using transform. (ii) Understand the relationship between transform and discrete-time Fourier transform
z Transform Chapter Intended Learning Outcomes: (i) Represent discrete-time signals using transform (ii) Understand the relationship between transform and discrete-time Fourier transform (iii) Understand
More informationRINGS: SUMMARY OF MATERIAL
RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered
More informationDISCRETE SUBGROUPS, LATTICES, AND UNITS.
DISCRETE SUBGROUPS, LATTICES, AND UNITS. IAN KIMING 1. Discrete subgroups of real vector spaces and lattices. Definitions: A lattice in a real vector space V of dimension d is a subgroup of form: Zv 1
More informationPyramids and monomial blowing-ups
Pyramids and monomial blowing-ups arxiv:math/0409446v1 [math.ac] 23 Sep 2004 M.J. Soto soto@us.es Departamento de Algebra Universidad de Sevilla October 4, 2018 José L. Vicente jlvc@us.es Departamento
More informationAnalysis of California Mathematics standards to Common Core standards Algebra I
Analysis of California Mathematics standards to Common Core standards Algebra I CA Math Standard Domain Common Core Standard () Alignment Comments in 1.0 Students identify and use the arithmetic properties
More informationAlgebraic 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 informationALGEBRA PH.D. QUALIFYING EXAM September 27, 2008
ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely
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 informationKing Fahd University of Petroleum and Minerals Prep-Year Math Program Math Term 161 Recitation (R1, R2)
Math 001 - Term 161 Recitation (R1, R) Question 1: How many rational and irrational numbers are possible between 0 and 1? (a) 1 (b) Finite (c) 0 (d) Infinite (e) Question : A will contain how many elements
More informationSection 1.1 Notes. Real Numbers
Section 1.1 Notes Real Numbers 1 Types of Real Numbers The Natural Numbers 1,,, 4, 5, 6,... These are also sometimes called counting numbers. Denoted by the symbol N Integers..., 6, 5, 4,,, 1, 0, 1,,,
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 informationLecture 10: A (Brief) Introduction to Group Theory (See Chapter 3.13 in Boas, 3rd Edition)
Lecture 0: A (Brief) Introduction to Group heory (See Chapter 3.3 in Boas, 3rd Edition) Having gained some new experience with matrices, which provide us with representations of groups, and because symmetries
More informationHASSE-MINKOWSKI THEOREM
HASSE-MINKOWSKI THEOREM KIM, SUNGJIN 1. Introduction In rough terms, a local-global principle is a statement that asserts that a certain property is true globally if and only if it is true everywhere locally.
More informationANALYSIS OF SMALL GROUPS
ANALYSIS OF SMALL GROUPS 1. Big Enough Subgroups are Normal Proposition 1.1. Let G be a finite group, and let q be the smallest prime divisor of G. Let N G be a subgroup of index q. Then N is a normal
More informationProperties of the Integers
Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called
More informationThe Kronecker-Weber Theorem
The Kronecker-Weber Theorem Lucas Culler Introduction The Kronecker-Weber theorem is one of the earliest known results in class field theory. It says: Theorem. (Kronecker-Weber-Hilbert) Every abelian extension
More informationa + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.
Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35 1. Let R 0 be a commutative ring with 1 and let S R be the subset of nonzero elements which are not zero divisors. (a)
More informationA LITTLE REAL ANALYSIS AND TOPOLOGY
A LITTLE REAL ANALYSIS AND TOPOLOGY 1. NOTATION Before we begin some notational definitions are useful. (1) Z = {, 3, 2, 1, 0, 1, 2, 3, }is the set of integers. (2) Q = { a b : aεz, bεz {0}} is the set
More informationContents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3
Analysis Math Notes Study Guide Real Analysis Contents Ordered Fields 2 Ordered sets and fields 2 Construction of the Reals 1: Dedekind Cuts 2 Metric Spaces 3 Metric Spaces 3 Definitions 4 Separability
More information1 + lim. n n+1. f(x) = x + 1, x 1. and we check that f is increasing, instead. Using the quotient rule, we easily find that. 1 (x + 1) 1 x (x + 1) 2 =
Chapter 5 Sequences and series 5. Sequences Definition 5. (Sequence). A sequence is a function which is defined on the set N of natural numbers. Since such a function is uniquely determined by its values
More informationGaussian integers. 1 = a 2 + b 2 = c 2 + d 2.
Gaussian integers 1 Units in Z[i] An element x = a + bi Z[i], a, b Z is a unit if there exists y = c + di Z[i] such that xy = 1. This implies 1 = x 2 y 2 = (a 2 + b 2 )(c 2 + d 2 ) But a 2, b 2, c 2, d
More informationFoundations of Cryptography
Foundations of Cryptography Ville Junnila viljun@utu.fi Department of Mathematics and Statistics University of Turku 2015 Ville Junnila viljun@utu.fi Lecture 7 1 of 18 Cosets Definition 2.12 Let G be a
More informationMATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.
MATH 4 Summer 011 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More information( )( ) Algebra I / Technical Algebra. (This can be read: given n elements, choose r, 5! 5 4 3! ! ( 5 3 )! 3!(2) 2
470 Algebra I / Technical Algebra Absolute Value: A number s distance from zero on a number line. A number s absolute value is nonnegative. 4 = 4 = 4 Algebraic Expressions: A mathematical phrase that can
More informationPell Equation x 2 Dy 2 = 2, II
Irish Math Soc Bulletin 54 2004 73 89 73 Pell Equation x 2 Dy 2 2 II AHMET TEKCAN Abstract In this paper solutions of the Pell equation x 2 Dy 2 2 are formulated for a positive non-square integer D using
More informationDefinition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson
Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson On almost every Friday of the semester, we will have a brief quiz to make sure you have memorized the definitions encountered in our studies.
More informationChapter 1 Preliminaries
Chapter 1 Preliminaries 1.1 Conventions and Notations Throughout the book we use the following notations for standard sets of numbers: N the set {1, 2,...} of natural numbers Z the set of integers Q the
More informationPractical Algebra. A Step-by-step Approach. Brought to you by Softmath, producers of Algebrator Software
Practical Algebra A Step-by-step Approach Brought to you by Softmath, producers of Algebrator Software 2 Algebra e-book Table of Contents Chapter 1 Algebraic expressions 5 1 Collecting... like terms 5
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 informationOn the power-free parts of consecutive integers
ACTA ARITHMETICA XC4 (1999) On the power-free parts of consecutive integers by B M M de Weger (Krimpen aan den IJssel) and C E van de Woestijne (Leiden) 1 Introduction and main results Considering the
More informationAlgorithm for Concordant Forms
Algorithm for Concordant Forms Hagen Knaf, Erich Selder, Karlheinz Spindler 1 Introduction It is well known that the determination of the Mordell-Weil group of an elliptic curve is a difficult problem.
More information