Normal integral bases for Emma Lehmer s parametric family of cyclic quintics
|
|
- Isabella Beasley
- 6 years ago
- Views:
Transcription
1 Journal de Théorie des Nombres de Bordeaux 16 (004), 15 0 Normal integral bases for Emma Lehmer s parametric family of cyclic quintics par Blair K. SPEARMAN et Kenneth S. WILLIAMS Résumé. Nous donnons des bases normales entières explicites pour des extensions cycliques quintiques définies par la famille paramétrée de quintiques d Emma Lehmer. Abstract. Explicit normal integral bases are given for some cyclic quintic fields defined by Emma Lehmer s parametric family of quintics. 1. Introduction Let n Z. Emma Lehmer s quintic polynomials f n (x) Z[x] are defined by (1.1) f n (x) = x 5 + n x 4 (n 3 + 6n + 10n + 10)x 3 + (n 4 + 5n n + 15n + 5)x + (n 3 + 4n + 10n + 10)x + 1, see [4, p. 539]. Schoof and Washington [6, p. 548] have shown that f n (x) is irreducible for all n Z. Let ρ n C be a root of f n (x). Set L n = Q(ρ n ) so that [L n : Q] = 5. It is known that L n is a cyclic field [6, p. 548]. The discriminant d(l n ) of L n has been determined by Jeannin [3, p. 76] and, as a special case of a more general result, by Spearman and Williams [7, Theorem ], namely (1.) d(l n ) = f(l n ) 4, where the conductor f(l n ) is given by (1.3) f(l n ) = 5 α p 1 (mod 5) p n 4 + 5n n + 5n + 5 v p (n 4 + 5n n + 5n + 5) 0 (mod 5) p, Manuscrit reçu le 18 octobre 00. Both authors were supported by research grants from the Natural Sciences and Engineering Research Council of Canada.
2 16 Blair K. Spearman, Kenneth S. Williams where v p (k) denotes the exponent of the largest power of the prime p dividing the nonzero integer k and { 0, if 5 n, (1.4) α =, if 5 n. Gaál and Pohst [, p. 1690] have given an integral basis for L n when p n 4 + 5n n + 5n + 5 for any prime p 5. They also discuss the existence of a power integral basis for L n [, p. 1695]. It is known that L n has a normal integral basis (NIB) L n Q(e πi m ) for some squarefree integer m f(l n ) m for some squarefree integer m f(l n ) squarefree 5 n, see [5, p. 175]. From this point on we assume that 5 n so that n possesses a normal integral basis. Acciaro and Fieker [1] have given an algorithm for finding a normal integral basis (when it exists) for a cyclic field of prime degree. Applying this algorithm to the 800 fields L n with 1 n 1000 and (n, 5) = 1 they found that 766 of these fields had a normal integral basis of the form {a + ρn, a + ρ n, a + ρ n, a + ρ n, a + ρ } n for some a Z, where ρ n, ρ n, ρ n, ρ n, ρ n are the conjugates of ρ n. We explain this phenomenon by proving the following theorem in Section. Theorem. Let n Z be such that 5 n. Then L n has a normal integral basis of the form { v + wρn, v + wρ n, v + wρ n, v + wρ n, v + wρ } n (v, w Z) if and only if n 4 + 5n n + 5n + 5 is squarefree, w = ±1, v = w ( ( n )) n, 5 5 ( n ) where is the Legendre symbol modulo 5. 5 It is easy to check that there are exactly 766 values of n Z such that 1 n 1000, 5 n and n 4 + 5n n + 5n + 5 is squarefree.. Proof of Theorem. We begin by determining a cyclic permutation of the roots of f n (x). This was done by Schoof and Washington [6, p. 548] by means of a rational function. For our purposes we require polynomial expressions for the roots. The restriction 5 n is not needed in the Proposition below.
3 Normal integral bases 17 Proposition. Let n Z. Let y 0 be any root of f n (x). Then the other four roots of f n (x) are y 1 = ((n + ) y (n + )(n + 1)(n + n 1)y ( n 5 14n 4 43n 3 76n 80n 39)y 0 + (n + 1)(n 5 + 8n 4 + 9n n + 71n + 36)y 0 + (n + )(n 3 + 6n + 14n + 11))/(n 3 + 5n + 10n + 7), y = (( n 3)y0 4 (n 3 + 4n + 3n + )y0 3 + (3n n n + 41n + 4)y0 (n + 3)(n 4 + 4n 3 + 9n + 9n + )y 0 (n + )(n + 3))/(n 3 + 5n + 10n + 7), y 3 = ( (n + )(n + 1)y0 4 (n + n 1)(n + 1) y0 3 + (n 5 + 1n n n + 53n + 3)y0 (n + )(n + 1)(n 4 + 5n 3 + 1n + 16n + 9)y 0 (n 5 + 7n 4 + 4n n + 5n + 5))/(n 3 + 5n + 10n + 7), y 4 = ((n + 1)y0 4 + (n 3 + n + 3n + 3)y0 3 (n + )(n + 1)(n + n + 4)y0 (n 4 + 7n n + 9n + 19)y 0 + (n + 1)(n 3 + 5n + 11n + 9))/(n 3 + 5n + 10n + 7). Let σ Gal(f n ) be such that (.1) σ(y 0 ) = y 1. Then (.) σ j (y 0 ) = y j, j = 0, 1,, 3, 4, and the polynomial P n (y) Q[y] given by (.3) P n (y) = ((n + ) y 4 + (n + )(n + 1)(n + n 1)y 3 + ( n 5 14n 4 43n 3 76n 80n 39)y + (n + 1)(n 5 + 8n 4 + 9n n + 71n + 36)y + (n + )(n 3 + 6n + 14n + 11))/(n 3 + 5n + 10n + 7),
4 18 Blair K. Spearman, Kenneth S. Williams is such that (.3) P j n(y 0 ) = σ j (y 0 ), j = 0, 1,, 3, 4. Proof of Proposition. Using MAPLE we find that there exist polynomials g n (y), h n (y), k n (y), l n (y) Q[y] such that f n (y 1 ) = f n (y 0 )g n (y 0 ) = 0, f n (y ) = f n (y 0 )h n (y 0 ) = 0, f n (y 3 ) = f n (y 0 )k n (y 0 ) = 0, f n (y 4 ) = f n (y 0 )l n (y 0 ) = 0, where y 1, y, y 3, y 4 are defined in the statement of the Proposition. Clearly y 0, y 1, y, y 3, y 4 are all distinct as y 0 is a root of an irreducible quintic polynomial. Thus y 0, y 1, y, y 3, y 4 are the five distinct roots of f n (x). With P n (y) as defined in (.3), we see from the definition of y 1 that (.4) y 1 = P n (y 0 ). Another MAPLE calculation shows that so that P n(y 0 ) = P n (y 1 ) = y, P 3 n(y 0 ) = P n (y ) = y 3, P 4 n(y 0 ) = P n (y 3 ) = y 4, P j n(y 0 ) = y j, j = 0, 1,, 3, 4. With σ Gal(f n ) defined in (.1), we see from (.5) that P n (y 0 ) = σ(y 0 ). Finally, as σ Gal(f n ) and P n (y) Q[y], we obtain P n(y 0 ) = P n (P n (y 0 )) = P n (σ(y 0 )) = σ(p n (y 0 )) = σ (y 0 ) and similarly P 3 n(y 0 ) = σ 3 (y 0 ) and P 4 n(y 0 ) = σ 4 (y 0 ).
5 Normal integral bases 19 Proof of Theorem. Let n Z be such that 5 n. Let v, w Z. Using MAPLE we find that D(v + wρ n, v + wρ n, v + wρ n, v + wρ n, v + wρ n ) = D(v + wy 0, v + wy 1, v + wy, v + wy 3, v + wy 4 ) = det (v + wy i+j (mod 5) ) i,j = 0,1,,3,4 = w 8 (5v wn ) (n 4 + 5n n + 5n + 5) 4. Then, by (1.) and (1.3), we have { v + wρn, v + wρ n, v + wρ n, v + wρ n, v + wρ } n is a NIB for Ln D(v + wρ n, v + wρ n, v + wρ n, v + wρ n, v + wρ n ) = d(l n ) w 8 (5v wn ) (n 4 + 5n n + 5n + 5) 4 = p 1 (mod 5) p n 4 + 5n n + 5n + 5 v p (n 4 + 5n n + 5n + 5) 0 (mod 5) w 8 = (5v wn ) = 1 and n 4 + 5n n + 5n + 5 squarefree w = ±1, v = w ( ( n )) n, n 4 + 5n n + 5n + 5 squarefree, 5 5 completing the proof of the Theorem. p 4 The authors would like to thank Raylene Senger who did some computing for them in connection with this work. References [1] V. Acciaro and C. Fieker, Finding normal integral bases of cyclic number fields of prime degree. J. Symbolic Comput. 30 (000), [] I. Gaál and M. Pohst, Power integral bases in a parametric family of totally real cyclic quintics. Math. Comp. 66 (1997), [3] S. Jeannin, Nombre de classes et unités des corps de nombres cycliques quintiques d E. Lehmer. J. Théor. Nombres Bordeaux 8 (1996), [4] E. Lehmer, Connection between Gaussian periods and cyclic units. Math. Comp. 50 (1988), [5] W. Narkiewicz, Elementary and Analytic Theory of Algebraic Numbers. Springer - Verlag, Berlin 1990.
6 0 Blair K. Spearman, Kenneth S. Williams [6] R. Schoof and L. C. Washington, Quintic polynomials and real cyclotomic fields with large class numbers. Math. Comp. 50 (1988), [7] B. K. Spearman and K. S. Williams, The discriminant of a cyclic field of odd prime degree. Rocky Mountain J. Math. To appear. Blair K. Spearman Department of Mathematics and Statistics Okanagan University College Kelowna, B.C. Canada V1V 1V7 bspearman@okanagan.bc.ca Kenneth S. Williams School of Mathematics and Statistics Carleton University Ottawa, Ontario, Canada K1S 5B6 williams@math.carleton.ca
INTEGRAL BASES FOR AN INFINITE FAMILY OF CYCLIC QUINTIC FIELDS*
ASIAN J. MATH. Vol. 10, No. 4, pp. 765-772, December 2006 @ 2006 International Press 008 INTEGRAL BASES FOR AN INFINITE FAMILY OF CYCLIC QUINTIC FIELDS* DANIEL ELOFF?, BLAIR K. SPEAR MAN^^, AND KENNETH
More informationA 4 -SEXTIC FIELDS WITH A POWER BASIS. Daniel Eloff, Blair K. Spearman, and Kenneth S. Williams
A 4 -SEXTIC FIELDS WITH A POWER BASIS Daniel Eloff, Blair K. Spearman, and Kenneth S. Williams Abstract. An infinite family of monogenic sextic fields with Galois group A 4 is exhibited. 1. Introduction.
More informationA Normal Relative Integral Basis for the Normal Closure of a Pure Cubic Field over Q( 3)
Int. J. Contemp. Math. Sciences, Vol. 3, 2008, no. 29, 1427-1432 A Normal Relative Integral Basis for the Normal Closure of a Pure Cuic Field over Q Blair K. Spearman Department of Mathematics and Statistics
More information#A20 INTEGERS 11 (2011) ON CONGRUENT NUMBERS WITH THREE PRIME FACTORS. Lindsey Reinholz
#A20 INTEGERS 11 (2011) ON CONGRUENT NUMBERS WITH THREE PRIME FACTORS Lindsey Reinholz Department of Mathematics and Statistics, University of British Columbia Okanagan, Kelowna, BC, Canada, V1V 1V7. reinholz@interchange.ubc.ca
More informationPOWER INTEGRAL BASES IN A PARAMETRIC FAMILY OF TOTALLY REAL CYCLIC QUINTICS
MATHEMATICS OF COMPUTATION Volume 66, Number 220, October 1997, Pages 1689 1696 S 002-718(97)00868- POWER INTEGRAL BASES IN A PARAMETRIC FAMILY OF TOTALLY REAL CYCLIC QUINTICS Abstract. We consider the
More informationEXPLICIT INTEGRAL BASIS FOR A FAMILY OF SEXTIC FIELD
Gulf Journal of Mathematics Vol 4, Issue 4 (2016) 217-222 EXPLICIT INTEGRAL BASIS FOR A FAMILY OF SEXTIC FIELD M. SAHMOUDI 1 Abstract. Let L be a sextic number field which is a relative quadratic over
More informationOn a Sequence of Nonsolvable Quintic Polynomials
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 1 (009), Article 09..8 On a Sequence of Nonsolvable Quintic Polynomials Jennifer A. Johnstone and Blair K. Spearman 1 Mathematics and Statistics University
More informationA Diophantine System and a Problem on Cubic Fields
International Mathematical Forum, Vol. 6, 2011, no. 3, 141-146 A Diophantine System and a Problem on Cubic Fields Paul D. Lee Department of Mathematics and Statistics University of British Columbia Okanagan
More informationAn Infinite Family of Non-Abelian Monogenic Number Fields
An Infinite Family of Non-Abelian Monogenic Number Fields Ofer Grossman, Dongkwan Kim November 11, 2015 Abstract We study non-abelian monogenic algebraic number fields (i.e., non-abelian number fields
More informationEXPLICIT DECOMPOSITION OF A RATIONAL PRIME IN A CUBIC FIELD
EXPLICIT DECOMPOSITION OF A RATIONAL PRIME IN A CUBIC FIELD ŞABAN ALACA, BLAIR K. SPEARMAN, AND KENNETH S. WILLIAMS Received 19 June 5; Revised 19 February 6; Accepted 1 March 6 We give the explicit decomposition
More informationOn the Rank and Integral Points of Elliptic Curves y 2 = x 3 px
International Journal of Algebra, Vol. 3, 2009, no. 8, 401-406 On the Rank and Integral Points of Elliptic Curves y 2 = x 3 px Angela J. Hollier, Blair K. Spearman and Qiduan Yang Mathematics, Statistics
More informationPredictive criteria for the representation of primes by binary quadratic forms
ACTA ARITHMETICA LXX3 (1995) Predictive criteria for the representation of primes by binary quadratic forms by Joseph B Muskat (Ramat-Gan), Blair K Spearman (Kelowna, BC) and Kenneth S Williams (Ottawa,
More informationABSTRACT INVESTIGATION INTO SOLVABLE QUINTICS. Professor Lawrence C. Washington Department of Mathematics
ABSTRACT Title of thesis: INVESTIGATION INTO SOLVABLE QUINTICS Maria-Victoria Checa, Master of Science, 2004 Thesis directed by: Professor Lawrence C. Washington Department of Mathematics Solving quintics
More informationSOLVING SOLVABLE QUINTICS. D. S. Dummit
D. S. Dummit Abstract. Let f(x) = x 5 + px 3 + qx + rx + s be an irreducible polynomial of degree 5 with rational coefficients. An explicit resolvent sextic is constructed which has a rational root if
More informationSmall exponent point groups on elliptic curves
Journal de Théorie des Nombres de Bordeaux 18 (2006), 471 476 Small exponent point groups on elliptic curves par Florian LUCA, James MCKEE et Igor E. SHPARLINSKI Résumé. Soit E une courbe elliptique définie
More informationComputing the Monodromy Group of a Plane Algebraic Curve Using a New Numerical-modular Newton-Puiseux Algorithm
Computing the Monodromy Group of a Plane Algebraic Curve Using a New Numerical-modular Newton-Puiseux Algorithm Poteaux Adrien XLIM-DMI UMR CNRS 6172 Université de Limoges, France SNC'07 University of
More informationWATSON'S METHOD OF SOLVING A QUINTIC EQUATION
JP Jour. Algebra, Number Theory & Appl. 5(1) (2005), 49-73 WATSON'S METHOD OF SOLVING A QUINTIC EQUATION MELISA J. LAVALLEE Departlnelzt of Mathernatics and Statistics, Okalzagar~ University College Kelowl~a,
More informationFUNDAMENTAL UNITS AND REGULATORS OF AN INFINITE FAMILY OF CYCLIC QUARTIC FUNCTION FIELDS
J. Korean Mat. Soc. 54 (017), No., pp. 417 46 ttps://doi.org/10.4134/jkms.j16000 pissn: 0304-9914 / eissn: 34-3008 FUNDAMENTAL UNITS AND REGULATORS OF AN INFINITE FAMILY OF CYCLIC QUARTIC FUNCTION FIELDS
More informationCOMPUTING AUTOMORPHISMS OF ABELIAN NUMBER FIELDS
MATHEMATICS OF COMPUTATION Volume 68, Number 227, Pages 1179 1186 S 0025-5718(99)01084-4 Article electronically published on February 8, 1999 COMPUTING AUTOMORPHISMS OF ABELIAN NUMBER FIELDS VINCENZO ACCIARO
More informationActa Acad. Paed. Agriensis, Sectio Mathematicae 28 (2001) POWER INTEGRAL BASES IN MIXED BIQUADRATIC NUMBER FIELDS
Acta Acad Paed Agriensis, Sectio Mathematicae 8 00) 79 86 POWER INTEGRAL BASES IN MIXED BIQUADRATIC NUMBER FIELDS Gábor Nyul Debrecen, Hungary) Abstract We give a complete characterization of power integral
More informationA TARGETED MARTINET SEARCH
A TARGETED MARTINET SEARCH ERIC D. DRIVER AND JOHN W. JONES Abstract. Constructing number fields with prescribed ramification is an important problem in computational number theory. In this paper, we consider
More information.. ~;=~,=l~,andf,=~~. THE FACTORIZATION OF xs f xu + n. The Fibonacci Quarterly 36 (1998),
The Fibonacci Quarterly 36 (1998), 158-170. THE FACTORIZATION OF xs f xu + n Blair K. Spearman D&t. of Math. Statistics, 0kanag& university College. Kelowna, BC, Canada Vl V 1 V7 e-mail: bkspcarm@okanagan.bc.ca
More informationTHERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11
THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11 ALLAN LACY 1. Introduction If E is an elliptic curve over Q, the set of rational points E(Q), form a group of finite type (Mordell-Weil
More informationQuasi-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 informationINTRODUCTORY ALGEBRAIC NUMBER THEORY
INTRODUCTORY ALGEBRAIC NUMBER THEORY Algebraic number theory is a subject that came into being through the attempts of mathematicians to try to prove Fermat s last theorem and that now has a wealth of
More informationSection 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 informationJOURNAL DE THÉORIE DES NOMBRES DE BORDEAUX
JOURNAL DE THÉORIE DES NOMBRES DE BORDEAUX HENRI COHEN FRANCISCO DIAZ Y DIAZ A polynomial reduction algorithm Journal de Théorie des Nombres de Bordeaux, tome 3, n o 2 (1991), p. 351-360
More informationERIC LARSON AND LARRY ROLEN
PROGRESS TOWARDS COUNTING D 5 QUINTIC FIELDS ERIC LARSON AND LARRY ROLEN Abstract. Let N5, D 5, X) be the number of quintic number fields whose Galois closure has Galois group D 5 and whose discriminant
More informationJOURNAL DE THÉORIE DES NOMBRES DE BORDEAUX
JOURNAL DE THÉORIE DES NOMBRES DE BORDEAUX MASANOBU KANEKO Poly-Bernoulli numbers Journal de Théorie des Nombres de Bordeaux, tome 9, n o 1 (1997), p. 221-228
More informationCOLLOQUIUM MATHEMATICUM
COLLOQUIUM MATHEMATICUM VOL. 74 1997 NO. 1 ON PASCAL'S TRIANGLE MODULO p2 JAMES G. H U A RD (BUFFALO, N.Y.), BLAIR K. S P E ARM A N (KELOWNA, B.C.), AND KENNETH S. W I L L I A M S (OTTAWA, ONT.) 1. Introduction.
More informationThe genera representing a positive integer
ACTA ARITHMETICA 102.4 (2002) The genera representing a positive integer by Pierre Kaplan (Nancy) and Kenneth S. Williams (Ottawa) 1. Introduction. A nonsquare integer d with d 0 or 1 (mod 4) is called
More information1 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 informationTwo Diophantine Approaches to the Irreducibility of Certain Trinomials
Two Diophantine Approaches to the Irreducibility of Certain Trinomials M. Filaseta 1, F. Luca 2, P. Stănică 3, R.G. Underwood 3 1 Department of Mathematics, University of South Carolina Columbia, SC 29208;
More informationAMICABLE PAIRS AND ALIQUOT CYCLES FOR ELLIPTIC CURVES OVER NUMBER FIELDS
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 46, Number 6, 2016 AMICABLE PAIRS AND ALIQUOT CYCLES FOR ELLIPTIC CURVES OVER NUMBER FIELDS JIM BROWN, DAVID HERAS, KEVIN JAMES, RODNEY KEATON AND ANDREW QIAN
More informationUNITS IN SOME PARAMETRIC FAMILIES OF QUARTIC FIELDS. 1. Introduction
UNITS IN SOME PARAMETRIC FAMILIES OF QUARTIC FIELDS FRANCK LEPRÉVOST, MICHAEL POHST, AND ANDREAS SCHÖPP Abstract. In this article we compute fundamental units for three parametric families of number fields
More informationwith many rational points
Algebraic curves over F 2 with many rational points, René Schoof version May 7, 1991 Algebraic curves over F 2 with many rational points René Schoof Dipartimento di Matematica Università degli Studi di
More informationSmall Class Numbers and Extreme Values
MATHEMATICS OF COMPUTATION VOLUME 3, NUMBER 39 JULY 9, PAGES 8-9 Small Class Numbers and Extreme Values of -Functions of Quadratic Fields By Duncan A. Buell Abstract. The table of class numbers h of imaginary
More informationOn a special case of the Diophantine equation ax 2 + bx + c = dy n
Sciencia Acta Xaveriana Vol. 2 No. 1 An International Science Journal pp. 59 71 ISSN. 0976-1152 March 2011 On a special case of the Diophantine equation ax 2 + bx + c = dy n Lionel Bapoungué Université
More informationMath 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 informationComputing the cardinality of CM elliptic curves using torsion points
Journal de Théorie des Nombres de Bordeaux 19 (2007), 663 681 Computing the cardinality of CM elliptic curves using torsion points par François MORAIN Résumé. Soit E/Q une courbe elliptique avec multiplications
More informationStickelberger s congruences for absolute norms of relative discriminants
Stickelberger s congruences for absolute norms of relative discriminants Georges Gras To cite this version: Georges Gras. Stickelberger s congruences for absolute norms of relative discriminants. Journal
More informationarxiv: v1 [math.nt] 13 May 2018
Fields Q( 3 d, ζ 3 ) whose 3-class group is of type (9, 3) arxiv:1805.04963v1 [math.nt] 13 May 2018 Siham AOUISSI, Mohamed TALBI, Moulay Chrif ISMAILI and Abdelmalek AZIZI May 15, 2018 Abstract: Let k
More informationPower integral bases in prime-power cyclotomic fields. January 21, 2005
Power integral bases in prime-power cyclotomic fields István Gaál Mathematical Institute University of Debrecen H-4010 Debrecen Pf. 12, Hungary E-mail: igaal@math.klte.hu Leanne Robertson Department of
More informationarxiv: v1 [math.nt] 2 Jul 2009
About certain prime numbers Diana Savin Ovidius University, Constanţa, Romania arxiv:0907.0315v1 [math.nt] 2 Jul 2009 ABSTRACT We give a necessary condition for the existence of solutions of the Diophantine
More informationA Proof of the Lucas-Lehmer Test and its Variations by Using a Singular Cubic Curve
1 47 6 11 Journal of Integer Sequences, Vol. 1 (018), Article 18.6. A Proof of the Lucas-Lehmer Test and its Variations by Using a Singular Cubic Curve Ömer Küçüksakallı Mathematics Department Middle East
More informationExplicit global function fields over the binary field with many rational places
ACTA ARITHMETICA LXXV.4 (1996) Explicit global function fields over the binary field with many rational places by Harald Niederreiter (Wien) and Chaoping Xing (Hefei) 1. Introduction. In a series of papers
More informationClass Groups of Complex Quadratic Fields
MATHEMATICS of computation VOLUME 41. NUMBER 163 JULY 1983, PAGES 295-302 Class Groups of Complex Quadratic Fields By R. J. Schoof Abstract. We present 75 new examples of complex quadratic fields that
More informationMATH 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 informationA linear resolvent for degree 14 polynomials
A linear resolvent for degree 14 polynomials Chad Awtrey and Erin Strosnider Abstract We discuss the construction and factorization pattern of a linear resolvent polynomial that is useful for computing
More informationAn 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 informationCM-Fields with Cyclic Ideal Class Groups of 2-Power Orders
journal of number theory 67, 110 (1997) article no. T972179 CM-Fields with Cyclic Ideal Class Groups of 2-Power Orders Ste phane Louboutin* Universite de Caen, UFR Sciences, De partement de Mathe matiques,
More informationA Course in Computational Algebraic Number Theory
Henri Cohen 2008 AGI-Information Management Consultants May be used for personal purporses only or by libraries associated to dandelon.com network. A Course in Computational Algebraic Number Theory Springer
More informationOn the computation of Hermite-Humbert constants for real quadratic number fields
Journal de Théorie des Nombres de Bordeaux 00 XXXX 000 000 On the computation of Hermite-Humbert constants for real quadratic number fields par Marcus WAGNER et Michael E POHST Abstract We present algorithms
More informationEquidistributions in arithmetic geometry
Equidistributions in arithmetic geometry Edgar Costa Dartmouth College 14th January 2016 Dartmouth College 1 / 29 Edgar Costa Equidistributions in arithmetic geometry Motivation: Randomness Principle Rigidity/Randomness
More informationOn the Rank of the Elliptic Curve y 2 = x 3 nx
International Journal of Algebra, Vol. 6, 2012, no. 18, 885-901 On the Rank of the Elliptic Curve y 2 = x 3 nx Yasutsugu Fujita College of Industrial Technology, Nihon University 2-11-1 Shin-ei, Narashino,
More informationFINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016
FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016 PREPARED BY SHABNAM AKHTARI Introduction and Notations The problems in Part I are related to Andrew Sutherland
More informationBulletin of the Transilvania University of Braşov Vol 7(56), No Series III: Mathematics, Informatics, Physics, 59-64
Bulletin of the Transilvania University of Braşov Vol 756), No. 2-2014 Series III: Mathematics, Informatics, Physics, 59-64 ABOUT QUATERNION ALGEBRAS AND SYMBOL ALGEBRAS Cristina FLAUT 1 and Diana SAVIN
More information1. 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 informationAN APPLICATION OF THE p-adic ANALYTIC CLASS NUMBER FORMULA
AN APPLICATION OF THE p-adic ANALYTIC CLASS NUMBER FORMULA CLAUS FIEKER AND YINAN ZHANG Abstract. We propose an algorithm to compute the p-part of the class number for a number field K, provided K is totally
More informationSome 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 informationGalois Theory TCU Graduate Student Seminar George Gilbert October 2015
Galois Theory TCU Graduate Student Seminar George Gilbert October 201 The coefficients of a polynomial are symmetric functions of the roots {α i }: fx) = x n s 1 x n 1 + s 2 x n 2 + + 1) n s n, where s
More informationLocal corrections of discriminant bounds and small degree extensions of quadratic base fields
January 29, 27 21:58 WSPC/INSTRUCTION FILE main International Journal of Number Theory c World Scientific Publishing Company Local corrections of discriminant bounds and small degree extensions of quadratic
More informationJOURNAL DE THÉORIE DES NOMBRES DE BORDEAUX
JOURNAL DE THÉORIE DES NOMBRES DE BORDEAUX RADAN KUČERA A note on circular units in Z p -extensions Journal de Théorie des Nombres de Bordeaux, tome 15, n o 1 (2003), p. 223-229
More informationGeometric Generalization of Gaussian Period Relations with Application to Noether s Problem for Meta-Cyclic Groups
TOKYO J. MATH. VOL. 28,NO. 1, 2005 Geometric Generalization of Gaussian Period Relations with Application to Noether s Problem for Meta-Cyclic Groups Ki-ichiro HASHIMOTO and Akinari HOSHI Waseda University
More informationAbstract Algebra, Second Edition, by John A. Beachy and William D. Blair. Corrections and clarifications
1 Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair Corrections and clarifications Note: Some corrections were made after the first printing of the text. page 9, line 8 For of the
More informationThe Number of Rational Points on Elliptic Curves and Circles over Finite Fields
Vol:, No:7, 008 The Number of Rational Points on Elliptic Curves and Circles over Finite Fields Betül Gezer, Ahmet Tekcan, and Osman Bizim International Science Index, Mathematical and Computational Sciences
More informationGalois 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 informationNORMSETS AND DETERMINATION OF UNIQUE FACTORIZATION IN RINGS OF ALGEBRAIC INTEGERS. Jim Coykendall
NORMSETS AND DETERMINATION OF UNIQUE FACTORIZATION IN RINGS OF ALGEBRAIC INTEGERS Jim Coykendall Abstract: The image of the norm map from R to T (two rings of algebraic integers) is a multiplicative monoid
More informationOn Tornheim s double series
ACTA ARITHMETICA LXXV.2 (1996 On Tornheim s double series by James G. Huard (Buffalo, N.Y., Kenneth S. Williams (Ottawa, Ont. and Zhang Nan-Yue (Beijing 1. Introduction. We call the double infinite series
More informationUniversität Regensburg Mathematik
Universität Regensburg Mathematik On projective linear groups over finite fields as Galois groups over the rational numbers Gabor Wiese Preprint Nr. 14/2006 On projective linear groups over finite fields
More informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
More informationMath 121 Homework 2 Solutions
Math 121 Homework 2 Solutions Problem 13.2 #16. Let K/F be an algebraic extension and let R be a ring contained in K that contains F. Prove that R is a subfield of K containing F. We will give two proofs.
More informationJOURNAL DE THÉORIE DES NOMBRES DE BORDEAUX
JOURNAL DE THÉORIE DES NOMBRES DE BORDEAUX EMANUEL HERRMANN ATTILA PETHÖ S-integral points on elliptic curves - Notes on a paper of B. M. M. de Weger Journal de Théorie des Nombres de Bordeaux, tome 13,
More informationCHAPTER 2: Polynomial and Rational Functions
1) (Answers for Chapter 2: Polynomial and Rational Functions) A.2.1 CHAPTER 2: Polynomial and Rational Functions SECTION 2.1: QUADRATIC FUNCTIONS (AND PARABOLAS) ( ) ; c) x = 1 ( ) ( ) and ( 4, 0) ( )
More informationIDEAL CLASS GROUPS OF CYCLOTOMIC NUMBER FIELDS II. This is a continuation of [13]; parts I and II are independent, but will be used in part III.
IDEAL CLASS GROUPS OF CYCLOTOMIC NUMBER FIELDS II FRANZ LEMMERMEYER Abstract. We first study some families of maximal real subfields of cyclotomic fields with even class number, and then explore the implications
More informationBounds for the Representations of Integers by Positive Quadratic Forms
22 MATHEMATICS MAGAZINE Bounds for the Representations of Integers by Positive Quadratic Forms KENNETH S. WILLIAMS Carleton University Ottawa, ON, Canada kennethwilliams@cunet.carleton.ca The fact that
More informationThe Inverse Galois Problem David P. Roberts University of Minnesota, Morris
The Inverse Galois Problem David P. Roberts University of Minnesota, Morris 1. Polynomials, fields, and their invariants: A degree n number field K has a discriminant D Z and a Galois group G S n. 2. The
More informationPerfect Polynomials. modulo 2. Ugur Caner Cengiz. Lake Forest College. April 7, 2015
Perfect Polynomials modulo 2 Ugur Caner Cengiz Lake Forest College April 7, 2015 Ugur Caner Cengiz Perfect Polynomials Student Symposium 2015 1 / 18 Outline 1 Definitions modulo 2 What is "Perfect"? Perfect
More informationcedram Article mis en ligne dans le cadre du Centre de diffusion des revues académiques de mathématiques
Paul FILI On the heights of totally p-adic numbers Tome 26, n o 1 (2014), p. 103-109. Société Arithmétique de Bordeaux, 2014, tous droits réservés.
More informationGalois groups of 2-adic fields of degree 12 with automorphism group of order 6 and 12
Galois groups of 2-adic fields of degree 12 with automorphism group of order 6 and 12 Chad Awtrey and Christopher R. Shill Abstract Let p be a prime number and n a positive integer. In recent years, several
More information1. INTRODUCTION For n G N, where N = {0,1,2,...}, the Bernoulli polynomials, B (t), are defined by means of the generating function
CONGRUENCES RELATING RATIONAL VALUES OF BERNOULLI AND EULER POLYNOMIALS Glenn J. Fox Dept. of Mathematics and Computer Science, Emory University, Atlanta, GA 30322 E-mail: fox@mathcs.emory.edu (Submitted
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 informationPermutation representations and rational irreducibility
Permutation representations and rational irreducibility John D. Dixon School of Mathematics and Statistics Carleton University, Ottawa, Canada March 30, 2005 Abstract The natural character π of a finite
More informationEFFICIENT COMPUTATION OF GALOIS GROUPS OF EVEN SEXTIC POLYNOMIALS
EFFICIENT COMPUTATION OF GALOIS GROUPS OF EVEN SEXTIC POLYNOMIALS CHAD AWTREY AND PETER JAKES Abstract. Let f(x) =x 6 + ax 4 + bx 2 + c be an irreducible sextic polynomial with coe cients from a field
More informationCLASS 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 informationSummary Slides for MATH 342 June 25, 2018
Summary Slides for MATH 342 June 25, 2018 Summary slides based on Elementary Number Theory and its applications by Kenneth Rosen and The Theory of Numbers by Ivan Niven, Herbert Zuckerman, and Hugh Montgomery.
More informationLEGENDRE S THEOREM, LEGRANGE S DESCENT
LEGENDRE S THEOREM, LEGRANGE S DESCENT SUPPLEMENT FOR MATH 370: NUMBER THEORY Abstract. Legendre gave simple necessary and sufficient conditions for the solvablility of the diophantine equation ax 2 +
More informationRANK AND PERIOD OF PRIMES IN THE FIBONACCI SEQUENCE. A TRICHOTOMY
RANK AND PERIOD OF PRIMES IN THE FIBONACCI SEQUENCE. A TRICHOTOMY Christian Ballot Université de Caen, Caen 14032, France e-mail: ballot@math.unicaen.edu Michele Elia Politecnico di Torino, Torino 10129,
More informationField Theory Qual Review
Field Theory Qual Review Robert Won Prof. Rogalski 1 (Some) qual problems ˆ (Fall 2007, 5) Let F be a field of characteristic p and f F [x] a polynomial f(x) = i f ix i. Give necessary and sufficient conditions
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 informationSpectra of Semidirect Products of Cyclic Groups
Spectra of Semidirect Products of Cyclic Groups Nathan Fox 1 University of Minnesota-Twin Cities Abstract The spectrum of a graph is the set of eigenvalues of its adjacency matrix A group, together with
More informationMultiplicative Order of Gauss Periods
Multiplicative Order of Gauss Periods Omran Ahmadi Department of Electrical and Computer Engineering University of Toronto Toronto, Ontario, M5S 3G4, Canada oahmadid@comm.utoronto.ca Igor E. Shparlinski
More informationOn a Theorem of Dedekind
On a Theorem of Dedekind Sudesh K. Khanduja, Munish Kumar Department of Mathematics, Panjab University, Chandigarh-160014, India. E-mail: skhand@pu.ac.in, msingla79@yahoo.com Abstract Let K = Q(θ) be an
More informationHILBERT l-class FIELD TOWERS OF. Hwanyup Jung
Korean J. Math. 20 (2012), No. 4, pp. 477 483 http://dx.doi.org/10.11568/kjm.2012.20.4.477 HILBERT l-class FIELD TOWERS OF IMAGINARY l-cyclic FUNCTION FIELDS Hwanyup Jung Abstract. In this paper we study
More informationNon-trivial X in the Jacobian of an infinite family of curves of genus 2
Journal de Théorie des Nombres de Bordeaux 00 (XXXX), 000 000 Non-trivial X in the Jacobian of an infinite family of curves of genus 2 par Anna ARNTH-JENSEN et E. Victor FLYNN Résumé. Nous donnons une
More informationCover Page. The handle holds various files of this Leiden University dissertation.
Cover Page The handle http://hdl.handle.net/1887/20310 holds various files of this Leiden University dissertation. Author: Jansen, Bas Title: Mersenne primes and class field theory Date: 2012-12-18 Chapter
More informationTC10 / 3. Finite fields S. Xambó
TC10 / 3. Finite fields S. Xambó The ring Construction of finite fields The Frobenius automorphism Splitting field of a polynomial Structure of the multiplicative group of a finite field Structure of the
More informationRATIONAL EIGENVECTORS IN SPACES OF TERNARY FORMS
MATHEMATICS OF COMPUTATION Volume 66, Number 218, April 1997, Pages 833 839 S 0025-5718(97)00821-1 RATIONAL EIGENVECTORS IN SPACES OF TERNARY FORMS LARRY LEHMAN Abstract. We describe the explicit computation
More informationIRREDUCIBILITY TESTS IN F p [T ]
IRREDUCIBILITY TESTS IN F p [T ] KEITH CONRAD 1. Introduction Let F p = Z/(p) be a field of prime order. We will discuss a few methods of checking if a polynomial f(t ) F p [T ] is irreducible that are
More informationTwists of elliptic curves of rank at least four
1 Twists of elliptic curves of rank at least four K. Rubin 1 Department of Mathematics, University of California at Irvine, Irvine, CA 92697, USA A. Silverberg 2 Department of Mathematics, University of
More information