LATTICES IN NUMBER THEORY

Size: px
Start display at page:

Download "LATTICES IN NUMBER THEORY"

Transcription

1 LATTICES IN NUMBER THEORY Ha Tran ICTP CIMPA summer school 2016 HCM University of Science Saigon University 1 / 32

2 Lattices in Number Theory We will study ideal lattices. They are lattices with structure of ideals. They are used in coding theory and cryptography. They have nice algebraic structure (so have nice and cheap representation, allows fast arithmetic,...) 2 / 32

3 We will Lattices in Number Theory 1 Review about number fields, ideal lattices and... Study Arakelov divisors. 2 Study the Arakelov class group. 3 Discuss about reduced Arakelov divisors and their properties. Discuss the reduction algorithm. 3 / 32

4 We will Lattices in Number Theory 1 Review about number fields, ideal lattices and... Study Arakelov divisors. 2 Study the Arakelov class group. 3 Discuss about reduced Arakelov divisors and their properties. Discuss the reduction algorithm. PS: Questions are very welcome :) 3 / 32

5 ICTP CIMPA summer school 2016 Lecture 1. NUMBER FIELDS AND... HCM University of Science Saigon University 4 / 32

6 Content 1 Review Number fields and the ring of integers Fractional ideals The class group F R The Φ map The L map 2 Ideal lattices 5 / 32

7 Let F be a number field of degree n. 1 F = Q, 2 F = Q( 2), 3 F = Q(i) (the Gaussian field), 4 F = Q( 5), Review 5 F is the splitting field of x 3 + mx 2 (m + 3)x + 1 (m 1, m 3 mod 9) (simplest cubic field), 6 F = Q( 4 2)? 7 F = Q(ζ m ) (cyclotomic field)? 6 / 32

8 Review Let F be a number field of degree n. σ 1,..., σ r1 are r 1 real infinite primes σ r1 +1,..., σ r1 +r 2 are r 2 complex infinite primes. 1 F = Q, 2 F = Q( 2), 3 F = Q(i) (the Gaussian field), 4 F = Q( 5), 5 F is the splitting field of x 3 + mx 2 (m + 3)x + 1 (m 1, m 3 mod 9) (simplest cubic field), 6 F = Q( 4 2)? 7 F = Q(ζ m ) (cyclotomic field)? 6 / 32

9 Review Let F be a number field of degree n. σ 1,..., σ r1 are r 1 real infinite primes σ r1 +1,..., σ r1 +r 2 are r 2 complex infinite primes. O F : The ring of integers of F (n = r 1 + 2r 2 ). 1 F = Q, 2 F = Q( 2), 3 F = Q(i) (the Gaussian field), 4 F = Q( 5), 5 F is the splitting field of x 3 + mx 2 (m + 3)x + 1 (m 1, m 3 mod 9) (simplest cubic field), 6 F = Q( 4 2)? 7 F = Q(ζ m ) (cyclotomic field)? 6 / 32

10 Fractional ideals I is called a fractional ideal of F if I is an additive subgroup of F, and there exists α F st αi is an ideal of O F. 7 / 32

11 Fractional ideals I is called a fractional ideal of F if I is an additive subgroup of F, and there exists α F st αi is an ideal of O F. Ex: F = Q( 5). I i is a factional ideal of F? 1 I 1 = {m 1 + 2m 2 : m 1, m 2 Z}? 7 / 32

12 Fractional ideals I is called a fractional ideal of F if I is an additive subgroup of F, and there exists α F st αi is an ideal of O F. Ex: F = Q( 5). I i is a factional ideal of F? 2 I 2 = {m m 2 : m 1, m 2 Z}? 7 / 32

13 Fractional ideals I is called a fractional ideal of F if I is an additive subgroup of F, and there exists α F st αi is an ideal of O F. Ex: F = Q( 5). I i is a factional ideal of F? 2 I 2 = {m m 2 : m 1, m 2 Z}? 3 I 3 = {m m 2 : m 1, m 2 Z}? 7 / 32

14 Fractional ideals I is called a fractional ideal of F if I is an additive subgroup of F, and there exists α F st αi is an ideal of O F. Ex: F = Q( 5). I i is a factional ideal of F? 4 I 4 = {2m 1 + (1 5)m 2 : m 1, m 2 Z}? 7 / 32

15 Fractional ideals I is called a fractional ideal of F if I is an additive subgroup of F, and there exists α F st αi is an ideal of O F. Ex: F = Q( 5). I i is a factional ideal of F? 4 I 4 = {2m 1 + (1 5)m 2 : m 1, m 2 Z}? 5 I 5 = { 1 2 m m 2 : m 1, m 2 Z}? 7 / 32

16 Fractional ideals I is called a fractional ideal of F if I is an additive subgroup of F, and there exists α F st αi is an ideal of O F. Ex: F = Q( 5). I i is a factional ideal of F? 4 I 4 = {2m 1 + (1 5)m 2 : m 1, m 2 Z}? 5 I 5 = { 1 2 m m 2 : m 1, m 2 Z}? 6 I 6 = { 5 5 m m 2 : m 1, m 2 Z}? = 1 2 I / 32

17 The class group Id F : The group of all fractional ideals of F with multiplication. Let Princ F := the subgroup of principal ideals of F. The class group of F is Cl F = Id F /Princ F. 8 / 32

18 The class group Id F : The group of all fractional ideals of F with multiplication. Let Princ F := the subgroup of principal ideals of F. The class group of F is Cl F = Id F /Princ F. Cl F is finite and #Cl F = h F (the class number). 8 / 32

19 The class group Id F : The group of all fractional ideals of F with multiplication. Let Princ F := the subgroup of principal ideals of F. The class group of F is Cl F = Id F /Princ F. Cl F is finite and #Cl F = h F (the class number). Ex: Cl F =?, h F =? if 1 F = Q. 2 F = Q( 2). 3 F = Q(i). 4 F = Q( 10). 8 / 32

20 F R Let F R := F Q R σ real R σ complex C R r 1 Cr 2 an R-algebra. Ex: F R =? if 1 F = Q, 2 F = Q( 2), 3 F = Q(i), 4 F = Q( 5), 5 F is a simplest cubic field, 6 F = Q( 4 2), 7 F = Q(ζ m ) (cyclotomic field)? 9 / 32

21 F R Let F R := F Q R σ real R σ complex C R r 1 Cr 2 an R-algebra. 10 / 32

22 F R Let F R := F Q R σ real R σ complex C R r 1 Cr 2 an R-algebra. A scalar product on F R, for any u = (u σ ), v = (v σ ) F R, u, v := Tr(uv) = Re(u σ v σ ) + 2 Re(u σ v σ ). σ real σ complex u 2 = σ real u2 σ + 2 σ complex u σ / 32

23 F R Let F R := F Q R σ real R σ complex C R r 1 Cr 2 an R-algebra. A scalar product on F R, for any u = (u σ ), v = (v σ ) F R, u, v := Tr(uv) = Re(u σ v σ ) + 2 Re(u σ v σ ). σ real σ complex u 2 = σ real u2 σ + 2 σ complex u σ 2. Ex: F = Q, Q( 2), Q(i), Q( 5), simplest cubic fields, F = Q( 4 2)? 10 / 32

24 F R Let F R := F Q R σ real R σ complex C R r 1 Cr 2 an R-algebra. u 2 = uσ u σ 2. σ real σ complex 11 / 32

25 F R Let F R := F Q R σ real R σ complex C R r 1 Cr 2 an R-algebra. u 2 = uσ u σ 2. σ real σ complex N(u) := σ real u σ σ complex u σ / 32

26 F R Let F R := F Q R σ real R σ complex C R r 1 Cr 2 an R-algebra. u 2 = uσ u σ 2. σ real σ complex N(u) := σ real u σ σ complex u σ 2. Ex: F = Q, Q( 2), Q(i), Q( 5), simplest cubic fields, F = Q( 4 2)? 11 / 32

27 The Φ map Let Φ : F F R with Φ(f ) = (σ 1 (f ),..., σ r1 +r 2 (f )) for f F. Ex: Φ =? if 1 F = Q, 2 F = Q( 2), 3 F = Q(i), 4 F = Q( 5), 5 F is a simplest cubic field, 6 F = Q( 4 2)? 12 / 32

28 Definition (Lattices) A lattice is a pair (L, q) where Lattices L is a free Z-module of finite rank, and q : L L R is a non-degenerate symmetric bilinear form. 13 / 32

29 Definition (Lattices) A lattice is a pair (L, q) where Lattices L is a free Z-module of finite rank, and q : L L R is a non-degenerate symmetric bilinear form. Ex: L = Z n with the standard metric inherited from R n is a lattice. 13 / 32

30 Definition (Lattices) A lattice is a pair (L, q) where Lattices L is a free Z-module of finite rank, and q : L L R is a non-degenerate symmetric bilinear form. Ex: L = Z n with the standard metric inherited from R n is a lattice. Ex: Let F = Q( 5). Then Φ(O F ) is a lattice in F R R / 32

31 The Φ map Let Φ : F F R with Φ(f ) = (σ 1 (f ),..., σ r1 +r 2 (f )) for f F. 14 / 32

32 The Φ map Let Φ : F F R with Φ(f ) = (σ 1 (f ),..., σ r1 +r 2 (f )) for f F. Ex: Let F = Q( 5). What Φ(O F ) looks like? 14 / 32

33 The Φ map Let Φ : F F R with Φ(f ) = (σ 1 (f ),..., σ r1 +r 2 (f )) for f F. Ex: Let F = Q( 5). What Φ(O F ) looks like? 14 / 32

34 The Φ map Let Φ : F F R with Φ(f ) = (σ 1 (f ),..., σ r1 +r 2 (f )) for f F. Ex: Let F = Q( 5). What Φ(O F ) looks like? Φ(O F ) is a lattice in F R. 14 / 32

35 The Φ map and the images of fractional ideals Let Φ : F F R with Φ(f ) = (σ 1 (f ),..., σ r1 +r 2 (f )) for f F. Ex: Let F = Q( 5) and I 5 = { 1 2 m m 2 : m 1, m 2 Z}: a fractional ideal of F. What Φ(I ) looks like? 15 / 32

36 The Φ map and the images of fractional ideals Let Φ : F F R with Φ(f ) = (σ 1 (f ),..., σ r1 +r 2 (f )) for f F. Ex: Let F = Q( 5) and I 5 = { 1 2 m m 2 : m 1, m 2 Z}: a fractional ideal of F. What Φ(I ) looks like? Proposition Let I be a factional ideal of F. Then Φ(I ) is a lattice in F R. 15 / 32

37 The Φ map and the images of fractional ideals Let Φ : F F R with Φ(f ) = (σ 1 (f ),..., σ r1 +r 2 (f )) for f F. Ex: Let F = Q( 5) and I 5 = { 1 2 m m 2 : m 1, m 2 Z}: a fractional ideal of F. What Φ(I ) looks like? Proposition Let I be a factional ideal of F. Then Φ(I ) is a lattice in F R. Ex: Draw the lattice Φ(I 5 ). 15 / 32

38 The L map Consider to the map L : F F R where L(f ) = (log( σ(f ) )) σ. Ex: F is the splitting field of x 3 x 2 2x + 1 (simplest cubic field). The roots: α 1 = α, α 2 = 1 1 α, α 3 = 1 1 α. Then What L(O F ) looks like? O F =< ±1, α 1, α 2 >. 16 / 32

39 The L map Ex: F is the splitting field of x 3 x 2 2x + 1. The roots: α 1 = α, α 2 = 1 1 α, α 3 = 1 1 α. Then O F =< ±1, α 1, α 2 >. 17 / 32

40 The L map Ex: F is the splitting field of x 3 x 2 2x + 1. The roots: α 1 = α, α 2 = 1 1 α, α 3 = 1 1 α. Then O F =< ±1, α 1, α 2 >. L(O F ) is the hexagonal lattice. 17 / 32

41 The L map Λ := L(O F ) = {L(x) : x O F } H. 18 / 32

42 The L map Λ := L(O F ) = {L(x) : x O F } H. 18 / 32

43 The L map Λ := L(O F ) = {L(x) : x O F } H. H = (x σ) σ R : x σ + 2 σ real σ complex x σ = / 32

44 The L map Λ := L(O F ) = {L(x) : x O F } H. H = (x σ) σ R : x σ + 2 σ real σ complex x σ = 0. Λ is a lattice contained in the vector space H. 18 / 32

45 The L map Λ := L(O F ) = {L(x) : x O F } H. H = (x σ) σ R : x σ + 2 σ real σ complex x σ = 0. Λ is a lattice contained in the vector space H. Let T 0 = H/Λ. Then T 0 is a compact real torus of dimension r 1 + r 2 1 (Dirichlet). 18 / 32

46 T 0 and Λ = L(O F ) Ex: Let F = Q( 2). Then r 1 = 0, r 2 = 1 and T 0 =? dim(t 0 ) =? 19 / 32

47 T 0 and Λ = L(O F ) Ex: Let F = Q( 2). Then r 1 = 2, r 2 = 0 and H = {(x, y) R 2 : x + y = 0} R. T 0 =? dim(t 0 ) =? 20 / 32

48 T 0 and Λ = L(O F ) Ex: Let F = Q( 2). Then r 1 = 2, r 2 = 0 and H = {(x, y) R 2 : x + y = 0} R. 21 / 32

49 T 0 and Λ = L(O F ) Ex: Let F be a totally real cubic field. Then r 1 = 3, r 2 = 0 and H = {(x, y, z) R 3 : x + y + z = 0} R 2. T 0 =? dim(t 0 ) =? 22 / 32

50 T 0 and Λ = L(O F ) Ex: Let F be a totally real cubic field. Then r 1 = 3, r 2 = 0 and H = {(x, y, z) R 3 : x + y + z = 0} R 2. T 0 =? dim(t 0 ) =? Ex: F = Q( 4 2)? 22 / 32

51 Ideal lattices Definition (Ideal lattices) An ideal lattice is a lattice (I, q), where I is a (fractional) O F -ideal and q : I I R is st q(λx, y) = q(x, λy) (Hermitian property) for all x, y I and for all λ O F. 23 / 32

52 Ideal lattices Definition (Ideal lattices) An ideal lattice is a lattice (I, q), where I is a (fractional) O F -ideal and q : I I R is st q(λx, y) = q(x, λy) (Hermitian property) for all x, y I and for all λ O F. Ex 1: Let I be a factional ideal of F. q(x, y) := x, y for any x, y I. (the scalar product defined on F R ) 23 / 32

53 Ideal lattices Definition (Ideal lattices) An ideal lattice is a lattice (I, q), where I is a (fractional) O F -ideal and q : I I R is st q(λx, y) = q(x, λy) (Hermitian property) for all x, y I and for all λ O F. Ex 1: Let I be a factional ideal of F. q(x, y) := x, y for any x, y I. (the scalar product defined on F R ) Then (I, q) is an ideal lattice. 23 / 32

54 Ideal lattices Ex 2: Let I be a factional ideal of F and u = (u σ ) (R >0 ) r 1+r 2. z I, uz := (u σ σ(z)) σ F R. We define q u (x, y) := ux, uy for any x, y I. (the scalar product defined on F R ) 24 / 32

55 Ideal lattices Ex 2: Let I be a factional ideal of F and u = (u σ ) (R >0 ) r 1+r 2. z I, uz := (u σ σ(z)) σ F R. We define q u (x, y) := ux, uy for any x, y I. (the scalar product defined on F R ) Proposition (I, q u ) is an ideal lattice. 24 / 32

56 Isometric ideal lattices Definition Two ideal lattices (I, q) and (I, q ) are called isometric if there exists f F such that I = fi and q (fx, fy) = q(x, y) for all x, y I. 25 / 32

57 Lattices from fractional ideals A full rank lattice in F R is also a full rank lattice in R n via F R R r 1 C r 2 R n x 1 x 1 x 2 x 2 x r1 x r1 Re(x r1 +1). x r1 +1 Im(x r1 +1) x r1 +r 2 Re(x r1 +r 2 ) Im(x r1 +r 2 ) EX: F = Q( 4 2)? 26 / 32

58 Lattices from fractional ideals Z 2? 27 / 32

59 Lattices from fractional ideals Z 2? The hexagonal lattice? 27 / 32

60 Lattices from fractional ideals Z 2? The hexagonal lattice? Let p is an odd prime, p = (1 ζ p )O F : principal ideal of F = Q(ζ p ). Then (p, q 1/p ) is an ideal lattice? 27 / 32

61 Lattices from fractional ideals Z 2? The hexagonal lattice? Let p is an odd prime, p = (1 ζ p )O F : principal ideal of F = Q(ζ p ). Then (p, q 1/p ) is an ideal lattice? Let I = 1 (1 ζ 9 ) 4 O F : principal ideal of F = Q(ζ 9 ). Then (I, q 1 ) is an ideal lattice? 27 / 32

62 Lattices from fractional ideals Let I = 1 (1 ζ 9 ) 4 O F : principal ideal of F = Q(ζ 9 ). Then (I, q 1 ) is an ideal lattice? Figure: The Gram matrix of (I, q 1 ). 28 / 32

63 Lattices from fractional ideals Let F = Q(ζ 15 ) and I = βo F for some β F. Then (O F, q β ) is an ideal lattice? 29 / 32

64 Lattices from fractional ideals Let F = Q(ζ 15 ) and I = βo F for some β F. Then (O F, q β ) is an ideal lattice? Let F = Q(ζ 35 ) and α = (ζ ζ3 35 )(ζ ζ6 35 )(ζ ζ9 35 )(ζ ζ35 12)/ψ (ζ 35 + ζ35 1 ). Then (O F, q α ) is an ideal lattice? 29 / 32

65 Recap Number field, the ring of integers. Fractional ideals: 1/αJ for some α O F and J O F is an ideal. The class group Cl F = Id F /Princ F and class number h F = #Cl F. The Φ map: Φ = (σ 1,, σ r1, σ r1 +1,, σ r1 +r 2 ). The L map: L(x) = (log σ(f ) ) σ, x F. Ideal lattices: (I, q), where I is a (fractional) O F -ideal and q : L L R is a non-degenerate symmetric bilinear form with Hermitian property. I : factional ideal; u = (R >0 ) r 1+r 2. Then (I, q u ) is an ideal lattice. 30 / 32

66 Oh, no : ( : ( : ( Exercise: Let F = Q( 4 2). Prove that O F = Z[ 4 2]. 31 / 32

67 Oh, no : ( : ( : ( Exercise: Let F = Q( 4 2). Prove that O F = Z[ 4 2]. There will be a gift for this :). 31 / 32

68 References Eva Bayer-Fluckiger. Lattices and number fields. In Algebraic geometry: Hirzebruch 70 (Warsaw, 1998), volume 241 of Contemp. Math., pages Amer. Math. Soc., Providence, RI, Hendrik W. Lenstra, Jr. Lattices. In Algorithmic number theory: lattices, number fields, curves and cryptography, volume 44 of Math. Sci. Res. Inst. Publ., pages Cambridge Univ. Press, Cambridge, René Schoof. Computing Arakelov class groups. In Algorithmic number theory: lattices, number fields, curves and cryptography, volume 44 of Math. Sci. Res. Inst. Publ., pages Cambridge Univ. Press, Cambridge, / 32

M4. Lecture 3. THE LLL ALGORITHM AND COPPERSMITH S METHOD

M4. Lecture 3. THE LLL ALGORITHM AND COPPERSMITH S METHOD M4. Lecture 3. THE LLL ALGORITHM AND COPPERSMITH S METHOD Ha Tran, Dung H. Duong, Khuong A. Nguyen. SEAMS summer school 2015 HCM University of Science 1 / 31 1 The LLL algorithm History Applications of

More information

arxiv: v1 [math.nt] 20 Nov 2017

arxiv: v1 [math.nt] 20 Nov 2017 REDUCED IDEALS FROM THE REDUCTION ALGORITHM HA THANH NGUYEN TRAN arxiv:171107573v1 [mathnt] 20 Nov 2017 Abstract The reduction algorithm is used to compute reduced ideals of a number field However, there

More information

arxiv: v3 [math.nt] 25 May 2016

arxiv: v3 [math.nt] 25 May 2016 ON REDUED ARAKELOV DIVISORS OF REAL QUADRATI FIELDS HA THANH NGUYEN TRAN arxiv:4.5043v3 [math.nt] 5 May 06 Abstract. We generalize the concept of reduced Arakelov divisors and define - reduced divisors

More information

Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d

Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).

More information

Imaginary Quadratic Fields With Isomorphic Abelian Galois Groups

Imaginary Quadratic Fields With Isomorphic Abelian Galois Groups Imaginary Quadratic Fields With Isomorphic Abelian Galois Groups Universiteit Leiden, Université Bordeaux 1 July 12, 2012 - UCSD - X - a Question Let K be a number field and G K = Gal(K/K) the absolute

More information

Norm-Euclidean Ideals in Galois Cubic Fields

Norm-Euclidean Ideals in Galois Cubic Fields Norm-Euclidean Ideals in Galois Cubic Fields Kelly Emmrich and Clark Lyons University of Wisconsin-La Crosse, University of California, Berkeley 2017 West Coast Number Theory Conference December 18, 2017

More information

Algebraic number theory

Algebraic 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 information

ON VALUES OF CYCLOTOMIC POLYNOMIALS. V

ON VALUES OF CYCLOTOMIC POLYNOMIALS. V Math. J. Okayama Univ. 45 (2003), 29 36 ON VALUES OF CYCLOTOMIC POLYNOMIALS. V Dedicated to emeritus professor Kazuo Kishimoto on his seventieth birthday Kaoru MOTOSE In this paper, using properties of

More information

These warmup exercises do not need to be written up or turned in.

These warmup exercises do not need to be written up or turned in. 18.785 Number Theory Fall 2017 Problem Set #3 Description These problems are related to the material in Lectures 5 7. Your solutions should be written up in latex and submitted as a pdf-file via e-mail

More information

Introduction to Elliptic Curves

Introduction to Elliptic Curves IAS/Park City Mathematics Series Volume XX, XXXX Introduction to Elliptic Curves Alice Silverberg Introduction Why study elliptic curves? Solving equations is a classical problem with a long history. Starting

More information

On a Homoclinic Group that is not Isomorphic to the Character Group *

On a Homoclinic Group that is not Isomorphic to the Character Group * QUALITATIVE THEORY OF DYNAMICAL SYSTEMS, 1 6 () ARTICLE NO. HA-00000 On a Homoclinic Group that is not Isomorphic to the Character Group * Alex Clark University of North Texas Department of Mathematics

More information

CONGRUENT NUMBERS AND ELLIPTIC CURVES

CONGRUENT NUMBERS AND ELLIPTIC CURVES CONGRUENT NUMBERS AND ELLIPTIC CURVES JIM BROWN Abstract. In this short paper we consider congruent numbers and how they give rise to elliptic curves. We will begin with very basic notions before moving

More information

MATH 361: NUMBER THEORY FOURTH LECTURE

MATH 361: NUMBER THEORY FOURTH LECTURE MATH 361: NUMBER THEORY FOURTH LECTURE 1. Introduction Everybody knows that three hours after 10:00, the time is 1:00. That is, everybody is familiar with modular arithmetic, the usual arithmetic of the

More information

FIELD THEORY. Contents

FIELD THEORY. Contents FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions

More information

Galois theory (Part II)( ) Example Sheet 1

Galois theory (Part II)( ) Example Sheet 1 Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that

More information

15 Dirichlet s unit theorem

15 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 information

Lattice Packing from Quaternion Algebras

Lattice Packing from Quaternion Algebras RIMS ôkyûroku Bessatsu B3 (01), 9 37 Lattice Packing from Quaternion Algebras By Fang-Ting Tu and Yifan Yang Abstract In this paper, we will discuss ideal lattices from a definite quaternion algebra, which

More information

Page Points Possible Points. Total 200

Page Points Possible Points. Total 200 Instructions: 1. The point value of each exercise occurs adjacent to the problem. 2. No books or notes or calculators are allowed. Page Points Possible Points 2 20 3 20 4 18 5 18 6 24 7 18 8 24 9 20 10

More information

Practice problems for first midterm, Spring 98

Practice problems for first midterm, Spring 98 Practice problems for first midterm, Spring 98 midterm to be held Wednesday, February 25, 1998, in class Dave Bayer, Modern Algebra All rings are assumed to be commutative with identity, as in our text.

More information

Name: Solutions Final Exam

Name: Solutions Final Exam Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Put your name on each page of your paper. 1. [10 Points] For

More information

A short proof of Klyachko s theorem about rational algebraic tori

A short proof of Klyachko s theorem about rational algebraic tori A short proof of Klyachko s theorem about rational algebraic tori Mathieu Florence Abstract In this paper, we give another proof of a theorem by Klyachko ([?]), which asserts that Zariski s conjecture

More information

On the Euclidean minimum of some real number fields

On the Euclidean minimum of some real number fields Journal de Théorie des Nombres de Bordeaux 17 (005), 437 454 On the Euclidean minimum of some real number fields par Eva BAYER-FLUCKIGER et Gabriele NEBE Résumé. Le but de cet article est de donner des

More information

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients. EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is

More information

Number Theory Fall 2016 Problem Set #3

Number Theory Fall 2016 Problem Set #3 18.785 Number Theory Fall 2016 Problem Set #3 Description These problems are related to the material covered in Lectures 5-7. Your solutions are to be written up in latex and submitted as a pdf-file via

More information

ON THE LIFTING OF HERMITIAN MODULAR. Notation

ON THE LIFTING OF HERMITIAN MODULAR. Notation ON THE LIFTING OF HERMITIAN MODULAR FORMS TAMOTSU IEDA Notation Let be an imaginary quadratic field with discriminant D = D. We denote by O = O the ring of integers of. The non-trivial automorphism of

More information

IUPUI Qualifying Exam Abstract Algebra

IUPUI Qualifying Exam Abstract Algebra IUPUI Qualifying Exam Abstract Algebra January 2017 Daniel Ramras (1) a) Prove that if G is a group of order 2 2 5 2 11, then G contains either a normal subgroup of order 11, or a normal subgroup of order

More information

Explicit constructions of arithmetic lattices in SL(n, R)

Explicit constructions of arithmetic lattices in SL(n, R) International Journal of Mathematics and Computer Science, 4(2009), no. 1, 53 64 Explicit constructions of arithmetic lattices in SL(n, R) M CS Erik R. Tou 1, Lee Stemkoski 2 1 Department of Mathematics

More information

Explicit Methods in Algebraic Number Theory

Explicit 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 information

Some algebraic number theory and the reciprocity map

Some algebraic number theory and the reciprocity map Some algebraic number theory and the reciprocity map Ervin Thiagalingam September 28, 2015 Motivation In Weinstein s paper, the main problem is to find a rule (reciprocity law) for when an irreducible

More information

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive n-th root

More information

Lecture 6.3: Polynomials and irreducibility

Lecture 6.3: Polynomials and irreducibility Lecture 6.3: Polynomials and irreducibility Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Modern Algebra M. Macauley (Clemson)

More information

GALOIS THEORY AT WORK: CONCRETE EXAMPLES

GALOIS THEORY AT WORK: CONCRETE EXAMPLES GALOIS THEORY AT WORK: CONCRETE EXAMPLES KEITH CONRAD 1. Examples Example 1.1. The field extension Q(, 3)/Q is Galois of degree 4, so its Galois group has order 4. The elements of the Galois group are

More information

Chapter 14: Divisibility and factorization

Chapter 14: Divisibility and factorization Chapter 14: Divisibility and factorization Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Summer I 2014 M. Macauley (Clemson) Chapter

More information

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences. MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences. Congruences Let n be a postive integer. The integers a and b are called congruent modulo n if they have the same

More information

An arithmetic theorem related to groups of bounded nilpotency class

An arithmetic theorem related to groups of bounded nilpotency class Journal of Algebra 300 (2006) 10 15 www.elsevier.com/locate/algebra An arithmetic theorem related to groups of bounded nilpotency class Thomas W. Müller School of Mathematical Sciences, Queen Mary & Westfield

More information

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ

More information

Department of Mathematics, University of California, Berkeley

Department of Mathematics, University of California, Berkeley ALGORITHMIC GALOIS THEORY Hendrik W. Lenstra jr. Mathematisch Instituut, Universiteit Leiden Department of Mathematics, University of California, Berkeley K = field of characteristic zero, Ω = algebraically

More information

Invariants of Weil representations

Invariants of Weil representations Invariants of Weil representations (joint work with Nils P. Skoruppa) March 17, 2017 Winter seminar March 12-18, 2017 Chalet Fleurs des Neiges, La Plagne, France 1 / 19 Mathematisch-Naturwissenschaftliche

More information

Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians

Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians T. Shaska Oakland University Rochester, MI, 48309 April 14, 2018 Problem Let X be an algebraic curve defined over a field

More information

Algebraic number theory Revision exercises

Algebraic number theory Revision exercises Algebraic number theory Revision exercises Nicolas Mascot (n.a.v.mascot@warwick.ac.uk) Aurel Page (a.r.page@warwick.ac.uk) TA: Pedro Lemos (lemos.pj@gmail.com) Version: March 2, 20 Exercise. What is the

More information

THE GENERALIZED ARTIN CONJECTURE AND ARITHMETIC ORBIFOLDS

THE GENERALIZED ARTIN CONJECTURE AND ARITHMETIC ORBIFOLDS THE GENERALIZED ARTIN CONJECTURE AND ARITHMETIC ORBIFOLDS M. RAM MURTY AND KATHLEEN L. PETERSEN Abstract. Let K be a number field with positive unit rank, and let O K denote the ring of integers of K.

More information

On metacyclic extensions

On metacyclic extensions On metacyclic extensions Masanari Kida 1 Introduction A group G is called metacyclic if it contains a normal cyclic subgroup N such that the quotient group G/N is also cyclic. The category of metacyclic

More information

MacWilliams Extension Theorem for the Lee Weight

MacWilliams Extension Theorem for the Lee Weight MacWilliams Extension Theorem for the Lee Weight Noncommutative rings and their applications V Lens 12-15 June 2017 Philippe Langevin IMATH, Toulon last revision June 11, 2017. A serie of joint works with

More information

ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra

ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra ORAL QUALIFYING EXAM QUESTIONS JOHN VOIGHT Below are some questions that I have asked on oral qualifying exams (starting in fall 2015). 1.1. Core questions. 1. Algebra (1) Let R be a noetherian (commutative)

More information

2-UNIVERSAL POSITIVE DEFINITE INTEGRAL QUINARY QUADRATIC FORMS

2-UNIVERSAL POSITIVE DEFINITE INTEGRAL QUINARY QUADRATIC FORMS 2-UNIVERSAL POSITIVE DEFINITE INTEGRAL QUINARY QUADRATIC FORMS Byeong Moon Kim, Myung-Hwan Kim and Byeong-Kweon Oh Dept. of Math., Kangnung Nat l Univ., Kangwondo 210-702, Korea (kbm@knusun.kangnung.ac.kr)

More information

Arithmetic Statistics Lecture 3

Arithmetic Statistics Lecture 3 Arithmetic Statistics Lecture 3 Álvaro Lozano-Robledo Department of Mathematics University of Connecticut May 28 th CTNT 2018 Connecticut Summer School in Number Theory PREVIOUSLY... We can define an action

More information

A combinatorial problem related to Mahler s measure

A combinatorial problem related to Mahler s measure A combinatorial problem related to Mahler s measure W. Duke ABSTRACT. We give a generalization of a result of Myerson on the asymptotic behavior of norms of certain Gaussian periods. The proof exploits

More information

Keywords and phrases: Fundamental theorem of algebra, constructible

Keywords and phrases: Fundamental theorem of algebra, constructible Lecture 16 : Applications and Illustrations of the FTGT Objectives (1) Fundamental theorem of algebra via FTGT. (2) Gauss criterion for constructible regular polygons. (3) Symmetric rational functions.

More information

GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)

GALOIS 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 information

Kevin James. MTHSC 412 Section 3.4 Cyclic Groups

Kevin James. MTHSC 412 Section 3.4 Cyclic Groups MTHSC 412 Section 3.4 Cyclic Groups Definition If G is a cyclic group and G =< a > then a is a generator of G. Definition If G is a cyclic group and G =< a > then a is a generator of G. Example 1 Z is

More information

NOVEMBER 22, 2006 K 2

NOVEMBER 22, 2006 K 2 MATH 37 THE FIELD Q(, 3, i) AND 4TH ROOTS OF UNITY NOVEMBER, 006 This note is about the subject of problems 5-8 in 1., the field E = Q(, 3, i). We will see that it is the same as the field Q(ζ) where (1)

More information

Quadratic Forms. Marco Schlichting Notes by Florian Bouyer. January 16, 2012

Quadratic Forms. Marco Schlichting Notes by Florian Bouyer. January 16, 2012 Quadratic Forms Marco Schlichting Notes by Florian Bouyer January 16, 2012 In this course every ring is commutative with unit. Every module is a left module. Definition 1. Let R be a (commutative) ring

More information

x mv = 1, v v M K IxI v = 1,

x mv = 1, v v M K IxI v = 1, 18.785 Number Theory I Fall 2017 Problem Set #7 Description These problems are related to the material covered in Lectures 13 15. Your solutions are to be written up in latex (you can use the latex source

More information

ON THE ORDER OF UNIMODULAR MATRICES MODULO INTEGERS PRELIMINARY VERSION

ON THE ORDER OF UNIMODULAR MATRICES MODULO INTEGERS PRELIMINARY VERSION ON THE ORDER OF UNIMODULAR MATRICES MODULO INTEGERS PRELIMINARY VERSION. Introduction Given an integer b and a prime p such that p b, let ord p (b) be the multiplicative order of b modulo p. In other words,

More information

Math 553 Qualifying Exam. In this test, you may assume all theorems proved in the lectures. All other claims must be proved.

Math 553 Qualifying Exam. In this test, you may assume all theorems proved in the lectures. All other claims must be proved. Math 553 Qualifying Exam January, 2019 Ron Ji In this test, you may assume all theorems proved in the lectures. All other claims must be proved. 1. Let G be a group of order 3825 = 5 2 3 2 17. Show that

More information

ON THE DISTRIBUTION OF CLASS GROUPS OF NUMBER FIELDS

ON THE DISTRIBUTION OF CLASS GROUPS OF NUMBER FIELDS ON THE DISTRIBUTION OF CLASS GROUPS OF NUMBER FIELDS GUNTER MALLE Abstract. We propose a modification of the predictions of the Cohen Lenstra heuristic for class groups of number fields in the case where

More information

Lattice Reductions over Euclidean Rings with Applications to Cryptanalysis

Lattice Reductions over Euclidean Rings with Applications to Cryptanalysis IMACC 2017 December 12 14, 2017 Lattice Reductions over Euclidean Rings with Applications to Cryptanalysis Taechan Kim and Changmin Lee NTT Secure Platform Laboratories, Japan and Seoul National University,

More information

ON THE SEMIPRIMITIVITY OF CYCLIC CODES

ON THE SEMIPRIMITIVITY OF CYCLIC CODES ON THE SEMIPRIMITIVITY OF CYCLIC CODES YVES AUBRY AND PHILIPPE LANGEVIN Abstract. We prove, without assuming the Generalized Riemann Hypothesis, but with at most one exception, that an irreducible cyclic

More information

Hermitian modular forms congruent to 1 modulo p.

Hermitian modular forms congruent to 1 modulo p. Hermitian modular forms congruent to 1 modulo p. arxiv:0810.5310v1 [math.nt] 29 Oct 2008 Michael Hentschel Lehrstuhl A für Mathematik, RWTH Aachen University, 52056 Aachen, Germany, hentschel@matha.rwth-aachen.de

More information

DISCRETE SUBGROUPS, LATTICES, AND UNITS.

DISCRETE 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 information

TWO CLASSES OF NUMBER FIELDS WITH A NON-PRINCIPAL EUCLIDEAN IDEAL

TWO CLASSES OF NUMBER FIELDS WITH A NON-PRINCIPAL EUCLIDEAN IDEAL TWO CLASSES OF NUMBER FIELDS WITH A NON-PRINCIPAL EUCLIDEAN IDEAL CATHERINE HSU Abstract. This paper introduces two classes of totally real quartic number fields, one of biquadratic extensions and one

More information

Graduate Preliminary Examination

Graduate Preliminary Examination Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.

More information

Profinite Groups. Hendrik Lenstra. 1. Introduction

Profinite Groups. Hendrik Lenstra. 1. Introduction Profinite Groups Hendrik Lenstra 1. Introduction We begin informally with a motivation, relating profinite groups to the p-adic numbers. Let p be a prime number, and let Z p denote the ring of p-adic integers,

More information

ON ISOTROPY OF QUADRATIC PAIR

ON ISOTROPY OF QUADRATIC PAIR ON ISOTROPY OF QUADRATIC PAIR NIKITA A. KARPENKO Abstract. Let F be an arbitrary field (of arbitrary characteristic). Let A be a central simple F -algebra endowed with a quadratic pair σ (if char F 2 then

More information

2 Lyubeznik proved that if R contains a eld of characteristic 0, and R is any regular K-algebra then the set of associated primes is nite [Ly1]. Later

2 Lyubeznik proved that if R contains a eld of characteristic 0, and R is any regular K-algebra then the set of associated primes is nite [Ly1]. Later RESEARCH STATEMENT Julian Chan My research interests include algebra, algebraic geometry, and invariant theory. I have also done some research in statistics, and will be receiving a masters of statistics

More information

ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS

ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS LISA CARBONE Abstract. We outline the classification of K rank 1 groups over non archimedean local fields K up to strict isogeny,

More information

Thus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally

Thus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally Math 248A. Discriminants and étale algebras Let A be a noetherian domain with fraction field F. Let B be an A-algebra that is finitely generated and torsion-free as an A-module with B also locally free

More information

N. Makhijani, R. K. Sharma and J. B. Srivastava

N. Makhijani, R. K. Sharma and J. B. Srivastava International Electronic Journal of Algebra Volume 18 2015 21-33 UNITS IN F q kc p r C q N. Makhijani, R. K. Sharma and J. B. Srivastava Received: 5 February 2014 Communicated by A. Çiğdem Özcan Abstract.

More information

GALOIS THEORY. Contents

GALOIS THEORY. Contents GALOIS THEORY MARIUS VAN DER PUT & JAAP TOP Contents 1. Basic definitions 1 1.1. Exercises 2 2. Solving polynomial equations 2 2.1. Exercises 4 3. Galois extensions and examples 4 3.1. Exercises. 6 4.

More information

Lecture 7.5: Euclidean domains and algebraic integers

Lecture 7.5: Euclidean domains and algebraic integers Lecture 7.5: Euclidean domains and algebraic integers Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Modern Algebra M. Macauley

More information

Modularity of Abelian Varieties

Modularity of Abelian Varieties 1 Modularity of Abelian Varieties This is page 1 Printer: Opaque this 1.1 Modularity Over Q Definition 1.1.1 (Modular Abelian Variety). Let A be an abelian variety over Q. Then A is modular if there exists

More information

A characteristic property of self-orthogonal codes and its application to lattices

A characteristic property of self-orthogonal codes and its application to lattices A characteristic property of self-orthogonal codes and its application to lattices Zhe-Xian Wan Abstract Let p be an odd prime, ζ = e 2πi/p, D be the ring of algebraic integers in the field Q(ζ), and P

More information

Real Analysis Prelim Questions Day 1 August 27, 2013

Real Analysis Prelim Questions Day 1 August 27, 2013 Real Analysis Prelim Questions Day 1 August 27, 2013 are 5 questions. TIME LIMIT: 3 hours Instructions: Measure and measurable refer to Lebesgue measure µ n on R n, and M(R n ) is the collection of measurable

More information

Quasi-reducible Polynomials

Quasi-reducible Polynomials Quasi-reducible Polynomials Jacques Willekens 06-Dec-2008 Abstract In this article, we investigate polynomials that are irreducible over Q, but are reducible modulo any prime number. 1 Introduction Let

More information

THE CLASSIFICATION OF INFINITE ABELIAN GROUPS WITH PARTIAL DECOMPOSITION BASES IN L ω

THE CLASSIFICATION OF INFINITE ABELIAN GROUPS WITH PARTIAL DECOMPOSITION BASES IN L ω ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 47, Number 2, 2017 THE CLASSIFICATION OF INFINITE ABELIAN GROUPS WITH PARTIAL DECOMPOSITION BASES IN L ω CAROL JACOBY AND PETER LOTH ABSTRACT. We consider the

More information

Fuchsian codes with arbitrary rates. Iván Blanco Chacón, Aalto University

Fuchsian codes with arbitrary rates. Iván Blanco Chacón, Aalto University 20-09-2013 Summary Basic concepts in wireless channels Arithmetic Fuchsian groups: the rational case Arithmetic Fuchsian groups: the general case Fundamental domains and point reduction Fuchsian codes

More information

Algebra Exam Topics. Updated August 2017

Algebra Exam Topics. Updated August 2017 Algebra Exam Topics Updated August 2017 Starting Fall 2017, the Masters Algebra Exam will have 14 questions. Of these students will answer the first 8 questions from Topics 1, 2, and 3. They then have

More information

EVOLVING GROUPS. Mima Stanojkovski. Università degli Studi di Padova Universiteit Leiden July Master thesis supervised by

EVOLVING GROUPS. Mima Stanojkovski. Università degli Studi di Padova Universiteit Leiden July Master thesis supervised by EVOLVING GROUPS Mima Stanojkovski Università degli Studi di Padova Universiteit Leiden 7-8-9 July 2013 Master thesis supervised by Prof. Dr. Hendrik W. Lenstra Jr. Definition of an evolving group Let G

More information

BELYI FUNCTION WHOSE GROTHENDIECK DESSIN IS A FLOWER TREE WITH TWO RAMIFICATION INDICES

BELYI FUNCTION WHOSE GROTHENDIECK DESSIN IS A FLOWER TREE WITH TWO RAMIFICATION INDICES Math. J. Okayama Univ. 47 (2005), 119 131 BELYI FUNCTION WHOSE GROTHENDIECK DESSIN IS A FLOWER TREE WITH TWO RAMIFICATION INDICES Toru KOMATSU Abstract. In this paper we present an explicit construction

More information

Math 259: Introduction to Analytic Number Theory How small can disc(k) be for a number field K of degree n = r 1 + 2r 2?

Math 259: Introduction to Analytic Number Theory How small can disc(k) be for a number field K of degree n = r 1 + 2r 2? Math 59: Introduction to Analytic Number Theory How small can disck be for a number field K of degree n = r + r? Let K be a number field of degree n = r + r, where as usual r and r are respectively the

More information

arxiv: v1 [math.nt] 9 Jan 2019

arxiv: v1 [math.nt] 9 Jan 2019 NON NEAR-PRIMITIVE ROOTS PIETER MOREE AND MIN SHA Dedicated to the memory of Prof. Christopher Hooley (928 208) arxiv:90.02650v [math.nt] 9 Jan 209 Abstract. Let p be a prime. If an integer g generates

More information

A CLASS GROUP HEURISTIC BASED ON THE DISTRIBUTION OF 1-EIGENSPACES IN MATRIX GROUPS

A CLASS GROUP HEURISTIC BASED ON THE DISTRIBUTION OF 1-EIGENSPACES IN MATRIX GROUPS A CLASS GROUP HEURISTIC BASED ON THE DISTRIBUTION OF -EIGENSPACES IN MATRIX GROUPS MICHAEL ADAM AND GUNTER MALLE Abstract. We propose a modification to the Cohen Lenstra prediction for the distribution

More information

MATH 361: NUMBER THEORY TENTH LECTURE

MATH 361: NUMBER THEORY TENTH LECTURE MATH 361: NUMBER THEORY TENTH LECTURE The subject of this lecture is finite fields. 1. Root Fields Let k be any field, and let f(x) k[x] be irreducible and have positive degree. We want to construct a

More information

Primes, Polynomials, Progressions. B.Sury Indian Statistical Institute Bangalore NISER Bhubaneshwar February 15, 2016

Primes, Polynomials, Progressions. B.Sury Indian Statistical Institute Bangalore NISER Bhubaneshwar February 15, 2016 Indian Statistical Institute Bangalore NISER Bhubaneshwar February 15, 2016 Primes and polynomials It is unknown if there exist infinitely many prime numbers of the form n 2 + 1. Primes and polynomials

More information

IDEAL CLASS GROUPS OF CYCLOTOMIC NUMBER FIELDS I

IDEAL CLASS GROUPS OF CYCLOTOMIC NUMBER FIELDS I IDEA CASS GROUPS OF CYCOTOMIC NUMBER FIEDS I FRANZ EMMERMEYER Abstract. Following Hasse s example, various authors have been deriving divisibility properties of minus class numbers of cyclotomic fields

More information

Computational complexity of lattice problems and cyclic lattices

Computational complexity of lattice problems and cyclic lattices Computational complexity of lattice problems and cyclic lattices Lenny Fukshansky Claremont McKenna College Undergraduate Summer Research Program ICERM - Brown University July 28, 2014 Euclidean lattices

More information

Maximal antipodal subgroups of the compact Lie group G 2 of exceptional type

Maximal antipodal subgroups of the compact Lie group G 2 of exceptional type Maximal antipodal subgroups of the compact Lie group G 2 of exceptional type Osami Yasukura (University of Fukui) This article is founded by the joint work [6] with M.S. Tanaka and H. Tasaki. 1 Maximal

More information

QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 21, 2004 (Day 1)

QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 21, 2004 (Day 1) QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 21, 2004 (Day 1) Each of the six questions is worth 10 points. 1) Let H be a (real or complex) Hilbert space. We say

More information

Section X.55. Cyclotomic Extensions

Section X.55. Cyclotomic Extensions X.55 Cyclotomic Extensions 1 Section X.55. Cyclotomic Extensions Note. In this section we return to a consideration of roots of unity and consider again the cyclic group of roots of unity as encountered

More information

CHAPTER 10: POLYNOMIALS (DRAFT)

CHAPTER 10: POLYNOMIALS (DRAFT) CHAPTER 10: POLYNOMIALS (DRAFT) LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN The material in this chapter is fairly informal. Unlike earlier chapters, no attempt is made to rigorously

More information

1. Group Theory Permutations.

1. Group Theory Permutations. 1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7

More information

p-adic gauge theory in number theory K. Fujiwara Nagoya Tokyo, September 2007

p-adic gauge theory in number theory K. Fujiwara Nagoya Tokyo, September 2007 p-adic gauge theory in number theory K. Fujiwara Nagoya Tokyo, September 2007 Dirichlet s theorem F : totally real field, O F : the integer ring, [F : Q] = d. p: a prime number. Dirichlet s unit theorem:

More information

Cyclic Group Supplement. g = g k : k Z.

Cyclic Group Supplement. g = g k : k Z. Theorem 1. Let g be an element of a group G and write { } g = g k : k Z. Then g is a subgroup of G. Proof. Since 1 = g 0, 1 g. Suppose a, b g. Then a = g k, b = g m and ab = g k g m = g k+m. Hence ab g

More information

1 The Galois Group of a Quadratic

1 The Galois Group of a Quadratic Algebra Prelim Notes The Galois Group of a Polynomial Jason B. Hill University of Colorado at Boulder Throughout this set of notes, K will be the desired base field (usually Q or a finite field) and F

More information

An Additive Characterization of Fibers of Characters on F p

An Additive Characterization of Fibers of Characters on F p An Additive Characterization of Fibers of Characters on F p Chris Monico Texas Tech University Lubbock, TX c.monico@ttu.edu Michele Elia Politecnico di Torino Torino, Italy elia@polito.it January 30, 2009

More information

IRREDUCIBILITY OF 1-CLASSES ON ANTICANONICAL RATIONAL SURFACES AND FINITE GENERATION OF THE EFFECTIVE MONOID. Mustapha Lahyane and Brian Harbourne

IRREDUCIBILITY OF 1-CLASSES ON ANTICANONICAL RATIONAL SURFACES AND FINITE GENERATION OF THE EFFECTIVE MONOID. Mustapha Lahyane and Brian Harbourne IRREDUCIBILITY OF 1-CLASSES ON ANTICANONICAL RATIONAL SURFACES AND FINITE GENERATION OF THE EFFECTIVE MONOID Mustapha Lahyane and Brian Harbourne We give necessary and sufficient conditions for a divisor

More information

CLASS GROUPS, TOTALLY POSITIVE UNITS, AND SQUARES

CLASS GROUPS, TOTALLY POSITIVE UNITS, AND SQUARES proceedings of the american mathematical society Volume 98, Number 1. September 1986 CLASS GROUPS, TOTALLY POSITIVE UNITS, AND SQUARES H. M. EDGAR, R. A. MOLLIN1 AND B. L. PETERSON Abstract. Given a totally

More information

A natural boundary for the dynamical zeta function for commuting group automorphisms

A natural boundary for the dynamical zeta function for commuting group automorphisms A natural boundary for the dynamical zeta function for commuting group automorphisms MILES, Richard Available from Sheffield Hallam University Research Archive (SHURA)

More information

Lecture 2: Elliptic curves

Lecture 2: Elliptic curves Lecture 2: Elliptic curves This lecture covers the basics of elliptic curves. I begin with a brief review of algebraic curves. I then define elliptic curves, and talk about their group structure and defining

More information

arxiv: v1 [math.nt] 31 Dec 2011

arxiv: v1 [math.nt] 31 Dec 2011 arxiv:1201.0266v1 [math.nt] 31 Dec 2011 Elliptic curves with large torsion and positive rank over number fields of small degree and ECM factorization Andrej Dujella and Filip Najman Abstract In this paper,

More information