On Robbins example of a continued fraction expansion for a quartic power series over F 13
|
|
- Ralf Carson
- 5 years ago
- Views:
Transcription
1 Journal of Number Theory 28 (2008) On Robbins example of a continued fraction expansion for a quartic power series over F 3 Alain Lasjaunias C.N.R.S.-UMR 5465, Université Bordeaux I, Talence 33405, France Received 24 November 2006 Available online 23 March 2007 Communicated by David Goss Abstract The continued fraction expansion for a quartic power series over the finite field F 3 was conjectured first in [W. Mills, D. Robbins, Continued fractions for certain algebraic power series, J. Number Theory 23 (986) ] and later in a more precise way in [W. Buc, D. Robbins, The continued fraction of an algebraic power series satisfying a quartic equation, J. Number Theory 50 (995) ]. Here this conjecture is proved by describing the continued fraction expansion for a large family of algebraic power series over a finite field Elsevier Inc. All rights reserved. MSC: J70; T55 Keywords: Continued fractions; Fields of power series; Finite fields. Introduction In this note we discuss continued fractions in the function fields case. For a general presentation of this subject, the reader may consult [S]. The examples which are considered here belong to a particular class of algebraic power series called hyperquadratic. More references concerning this class of elements as well as comments on the particular quartic equation considered first by Mills and Robbins and then by Buc and Robbins can be found in [BL]. In this note we consider power series over a prime field F p where p is an odd prime. We consider an indeterminate T, the ring of polynomials F p [T ] and the field of rational functions F p (T ). If T is a fixed address: alain.lasjaunias@math.u-bordeaux.fr X/$ see front matter 2007 Elsevier Inc. All rights reserved. doi:0.06/j.jnt
2 0 A. Lasjaunias / Journal of Number Theory 28 (2008) 09 5 real number greater than one, we consider the ultrametric absolute value defined on F p (T ) by P/Q = T deg(p ) deg(q). The completion of this field is the field of power series in /T over F p, which will here be denoted by F(p). Ifα F(p) and α 0, we have α = 0 u T, where 0 Z, u F p,u 0 0 and α = T 0. We introduce the following subset of F(p): F(p) + = { α F(p) with α T }. We also now that each irrational element α of F(p) can be expanded as an infinite continued fraction. This will be denoted by α =[a,...,a n,...], where the a i F p [T ] are the partial quotients. As usual the tail of the expansion, [a n,a n+,...], called the complete quotient, is denoted by α n (α = α). Finally the numerator and the denominator of the convergent [a,a 2,...,a n ] are denoted by x n and y n. These polynomials, called continuants, are both defined by the same recursive relation: K n = a n K n + K n 2 for n 2, with the initials conditions x 0 = and x = a for the numerator, while the initial conditions are y 0 = 0 and y = for the denominator. 2. Results The main result, Theorem below, is based upon the study developed in [L], Section 4. We recall the notations which were introduced there and which we have slightly modified here. For integers and i 2 we introduce the rational numbers u i, = j<i/2 (2j)(2 2j)/ j<(i+)/2 (2j )(2 2j + ) and also θ = ( ) ( /2j). j Given the integer, we fix a prime number p with p 2 +. Thus it is clear that the rational numbers u i, and θ can be reduced modulo p. Therefore in this note these numbers will also be considered as elements of F p. We introduce the following pair of polynomials: P (T ) = ( T 2 ) and Q (T ) = T 0 ( x 2 ) dx. Again these polynomials can either be considered as elements of Q[T ] or, by reduction modulo p, as elements of F p [T ]. Note that the existence of Q (T ) is ensured by the condition p 2 +. We recall that the origin of the numbers u i, is to be found in the following continued fraction expansion, P (T )/Q (T ) = [ (2 )T,...,(2 2i + )u ( )i i, T,...,( 2 + )u 2, T ],
3 A. Lasjaunias / Journal of Number Theory 28 (2008) 09 5 which holds in Q(T ) as well as in F p (T ) by reduction modulo p. Note also the lin between θ and Q which is given by the formula: 2θ Q () =. For an integer l and an integer n, we define f(n)= (2 + )n + l 2. We define the sequence (i(n)) n in the following way: i(n) = if n/ f ( N ) and i ( f(n) ) = i(n) +. Finally we introduce the sequence (A i ) i of polynomials in F p [T ] defined recursively by A = T and A i+ = [ A p i /P ] for i (here the square bracets denote the integer part, i.e., the polynomial part). We have the following result. Theorem. Let p be an odd prime number. Let be an integer with 2 <p. Let l be an integer. Let (λ,λ 2,...,λ l ) be a l-tuple in (F p )l. Let (ɛ,ɛ 2 ) (F p )2. Let α be the infinite continued fraction α =[a,...,a l,α l+ ] F(p) defined by a i (T ) = λ i T for i l and α p = ɛ P α l+ + ɛ 2 Q. Then α is the unique root in F(p) + of the algebraic equation y l x p+ x l x p + (ɛ P y l ɛ 2 Q y l )x ɛ P x l + ɛ 2 Q x l = 0. (E) Set formally δ i =[2θ λ i,...,2θ λ,ɛ 2 ] for i l. We assume that and Then we have δ i F p for i l (H ) δ l = ɛ (θ u 2, ɛ 2 ). (H 2 ) a n = λ n A i(n), where λ n F p for n. (I ) Let (δ n ) n be the sequence defined from the l-tuple (δ,...,δ l ) by the recurrence relations and (D i ),for i 2, δ f(n) = ɛ ( )n θ δ n for n (D 0 ) δ f(n)+i = ɛ ( )n+i 2θ i(u i, δ n ) ( )i for n. Then the sequence (λ n ) n is defined from the l-tuple (λ,...,λ l ) by the recurrence relation λ f(n) = ɛ ( )n λ n for n (L 0 )
4 2 A. Lasjaunias / Journal of Number Theory 28 (2008) 09 5 and (L i ),for i 2, λ f(n)+i = ɛ ( )n+i (2 2i + )(u i, δ n ) ( )i for n. Remar. It is interesting to observe that, in the extremal case p = 2 +, the sequence of polynomials A i is constant and we have A i (T ) = T for i. Consequently when the conditions (H ) and (H 2 ) are satisfied all the partial quotients of the expansion are linear. A first example was given in [MR], p. 400, and such continued fractions have been studied in a different approach in [LR] and [LR2]. There we started from the algebraic equation (E) but we imposed a special form to this equation, this was apparently artificial and constrained us to tae l p. Now we can turn to the conjecture made by Buc, Mills and Robbins [MR, p. 404], [BR, p. 342]. Theorem 2. Let α be the unique root in F(3) of the algebraic equation x 4 + x 2 Tx+ = 0. Let (A i ) i be the sequence of polynomials in F 3 [T ] defined recursively by Let U and V be the following vectors: and A = T and A i+ = [ A 3 i /(T 2 ) 4] for i. U = (u,...,u 8 ) = (7, 0, 5, 2, 9,,, 5) (F 3 ) 8 V = (v 0,...,v 8 ) = (, 0,,, 2, 5,, 2, 6) (F 3 ) 9. Let u F 69 with u 2 = 8. Then we have the continued fraction expansion with α =[0,a,...,a n,...] a n = u ( )n+ λ n A v9 (8n 2)+(uT ) for n, where λ n F 3 (here v 9 (m) denotes the largest power of 9 dividing m). If (δ n ) n is the sequence in F 3 defined by the recurrence relations δ 9n 2+i = v i δ ( )i n for 0 i 8 and n with the initial conditions (δ,...,δ 6 ) = (, 2, 5,, 2, 6), then the sequence (λ n ) n is defined by the recurrence relation λ 9n 2 = λ n for n
5 A. Lasjaunias / Journal of Number Theory 28 (2008) with the initial conditions (λ,...,λ 6 ) = (5, 2, 9,,, 5) and by 3. Proofs λ 9n 2+i = u i δ ( )i n for i 8 and n. Proof of Theorem. The existence of the continued fraction α F(p) + satisfying the given definition and the fact that it is the only root of equation (E) follows from Theorem [L]. Now we use Proposition 4.6 of [L]. Hence we now that there exists N N { }depending on (λ,...,λ l ) and (ɛ,ɛ 2 ) such that a n = λ n A i(n) with λ n F p for n f(n). (I ) The sequence (λ n ) n f(n) is defined in the following way: and (L i ),for i 2, λ f(n) = ɛ ( )n λ n for n N (L 0 ) λ f(n)+i = ɛ ( )n+i (2 2i + )(u i, δ n ) ( )i for n N, where the sequence (δ n ) n N is defined recursively by δ n = 2θ i(n) λ n + (δ n u 2, ) for n N (DL) with the initial condition δ 0 = (u 2, ɛ 2 ). Note that the frame of Proposition 4.6 is more general than here. Indeed here the base field is supposed to be prime, it follows that the Frobenius isomorphism is the identity on F p and this implies a simplification in (L 0 ) and (DL). Moreover the formulas given here are adapted to our new notations. Both sequences (λ n ) and (δ n ) are depending on each other and the process of their definition can be carried on as long as δ n 0. If this process terminates then N N,wehaveδ N = 0 and the continued fraction expansion is described by (I) but only up to a certain ran f(n). This is what happens if the l-tuple (λ,...,λ l ) is taen arbitrarily. We need to prove that under conditions (H ) and (H 2 ) we have N = and also that the sequence (δ n ) satisfies the formulas (D 0 ) to (D 2 ) stated in this theorem. First we observe that (H ) simply says that N>l. Indeed for n l we have i(n) = and (DL) becomes δ n =[2θ λ n,...,2θ λ,ɛ 2 ]. We will prove that δ n 0forn l + by showing that the equalities (D i ) for 0 i 2 hold for n. We introduce the following equalities δ f(n) = ɛ ( )n θ δ n for n. (H 2 ) n We observe that (H 2 ) is simply (H 2 ) and thus it is assumed to be true. Now we shall prove that for n we have the following implications: (H 2 ) n (D 0 ) n, () (D i ) n (D i+ ) n for 0 i 2, (2) (D 2 ) n (H 2 ) n+. (3)
6 4 A. Lasjaunias / Journal of Number Theory 28 (2008) 09 5 This will prove by induction on n that, for 0 i 2, (D i ) hold for n. To establish these implications we use the following equalities which are immediately derived from the definitions: and 4 2 θ 2 u 2, = (4) u, =, u i+, = u i, ( i(2 i) ) ( ) i for i 2. (5) To prove () we start from (DL) at the ran f(n). Since i(f(n)) = i(n) +, we have δ f(n) = 2θ i(n)+ λ f(n) + (u 2, δ f(n) ) and, by (L 0 ) and (DL) at the ran n, this becomes δ f(n) = ( δ n (δ n u 2, ) ) ɛ ( )n θ + (u 2, δ f(n) ). Now using (H 2 ) n we obtain immediately δ f(n) = δ n ɛ ( )n θ which is (D 0 ) n. To prove (2) we start from (DL) at the ran f(n)+ i + for0 i 2. Since i(f(n) + i + ) =, we have δ f(n)+i+ = 2θ λ f(n)+i+ + (u 2, δ f(n)+i ). Applying (L i+ ) and (D i ) n and using (4) and (5), we obtain without difficulties (D i+ ) n. Finally the last implication (3) is obtained very simply with (4) δ f(n+) = δ f(n)+2 = ɛ ( )n 4 2 θ u 2, δ n = ɛ ( )n θ δ n. So the proof is complete. Remar. It is clear that condition (H ) is necessary to have N =, but condition (H 2 ) may not be so. Indeed this condition implies a simple form for the sequence (δ n ) n showing that it never vanishes. We say that the expansion is perfect if (I) holds for n (i.e.,n = ). So the expansion could perhaps be perfect without δ n having the form given in the theorem. Indeed it is interesting to notice that more complex forms for this sequence have been pointed out when the base field is not prime and in the particular case p = 2 + (see [LR2], p. 562). Now we turn to the second theorem. Proof of Theorem 2. Let us consider the infinite continued fraction β =[b,...,b 6,β 7 ] F(3) defined by (b,...,b 6 ) = (5T,2T,9T,T,T,5T) and β 3 = P 4 β 7 4Q 4. This element β is the only solution in F(3) + of the algebraic equation (E) ( T 5 + 3T 3 + T ) x 4 + ( 8T 6 + 2T 4 + 3T 2 + ) x 3 + ( 5T 2 + ) x + 7T = 0.
7 A. Lasjaunias / Journal of Number Theory 28 (2008) It is easy to chec that conditions (H ) and (H 2 ) of Theorem are satisfied. Here = 4, θ 4 = 2 and u 8,4 = 3. Moreover l = 6 and (ɛ,ɛ 2 ) = (, 4). We have the resulting 6-tuple (δ,...,δ 6 ) = (, 2, 5,, 2, 6). Thus the expansion for β is perfect and, according to Theorem, we have b n = λ n A i(n), where λ n F 3 for n. Here we have f(n)= 9n 2. It is elementary to chec that the sequence v 9 (8n 2) + satisfies the same relations as i(n), and therefore here we have i(n) = v 9 (8n 2) + forn. By adapting the formulas given in Theorem for the sequences (λ n ) n and (δ n ) n, we obtain immediately those which are stated in this theorem. Now we turn to the quartic equation which can be written as x = /T + (x 2 + x 4 )/T. Hence by iteration, we see that it has a root α in F(3) with α = T. We put γ(t)= u α (u T). Then it follows that γ is solution of the algebraic equation B(x) = x 4 5Tx 3 + 5x 2 = 0 and γ F(3) +. In order to have the continued fraction expansion for α as described in the theorem, we only need to prove that /α(t ) = uβ(ut ) or equivalently that γ = β. Thus it remains to prove that γ satisfies equation (E). This will be shown if the polynomial A on the left side of equation (E) is divisible by the polynomial B. A straightforward calculation shows that A = BC with C = ( T 5 + 3T 3 + T ) x 0 + ( T 4 + 6T 2 + ) x 9 + ( 2T 3 + 2T ) x 8 + ( 5T 4 + 6T ) x 7 + ( 0T 3 + 2T ) x 6 + 2T 2 x 5 + ( 2T 3 + 5T ) x 4 + ( 0T ) x 3 + 4Tx 2 + ( 8T ) x + 6T. So the proof is complete. References [BL] A. Bluher, A. Lasjaunias, Hyperquadratic power series of degree four, Acta Arith. 24 (2006) [BR] W. Buc, D. Robbins, The continued fraction of an algebraic power series satisfying a quartic equation, J. Number Theory 50 (995) [L] A. Lasjaunias, Continued fractions for hyperquadratic power series over a finite field, Finite Fields Appl. 4 (2) (2008) [LR] A. Lasjaunias, J.-J. Ruch, Flat power series over a finite field, J. Number Theory 95 (2002) [LR2] A. Lasjaunias, J.-J. Ruch, On a family of sequences defined recursively in F q (II), Finite Fields Appl. 0 (2004) [MR] W. Mills, D. Robbins, Continued fractions for certain algebraic power series, J. Number Theory 23 (986) [S] W. Schmidt, On continued fractions and Diophantine approximation in power series fields, Acta Arith. 95 (2000)
Finite Fields and Their Applications
Finite Fields and Their Applications 18 (2012) 26 34 Contents lists available at ScienceDirect Finite Fields and Their Applications www.elsevier.com/locate/ffa On the continued fraction expansion of the
More informationON THE CONTINUED FRACTION EXPANSION OF THE UNIQUE ROOT IN F(p) OF THE EQUATION x 4 + x 2 T x 1/12 = 0 AND OTHER RELATED HYPERQUADRATIC EXPANSIONS
ON THE CONTINUED FRACTION EXPANSION OF THE UNIQUE ROOT IN F(p) OF THE EQUATION x 4 + x 2 T x 1/12 = 0 AND OTHER RELATED HYPERQUADRATIC EXPANSIONS by A. Lasjaunias Abstract.In 1986, Mills and Robbins observed
More informationDIOPHANTINE APPROXIMATION AND CONTINUED FRACTIONS IN POWER SERIES FIELDS
DIOPHANTINE APPROXIMATION AND CONTINUED FRACTIONS IN POWER SERIES FIELDS A. LASJAUNIAS Avec admiration pour Klaus Roth 1. Introduction and Notation 1.1. The Fields of Power Series F(q) or F(K). Let p be
More informationOn Particular Families of Hyperquadratic Continued Fractions in Power Series Fields of Odd Characteristic
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 21 (2018), Article 18.8.3 On Particular Families of Hyperquadratic Continued Fractions in Power Series Fields of Odd Characteristic Alain Lasjaunias
More informationQUARTIC POWER SERIES IN F 3 ((T 1 )) WITH BOUNDED PARTIAL QUOTIENTS. Alain Lasjaunias
QUARTIC POWER SERIES IN F 3 ((T 1 )) WITH BOUNDED PARTIAL QUOTIENTS Alain Lasjaunias 1991 Mathematics Subject Classification: 11J61, 11J70. 1. Introduction. We are concerned with diophantine approximation
More informationarxiv: v3 [math.nt] 15 Mar 2017
Noname manuscript No. (will be inserted by the editor) On a two-valued sequence and related continued fractions in power series fields Bill Allombert, Nicolas Brisebarre and Alain Lasjaunias arxiv:1607.07235v3
More informationApproximation by polynomials with bounded coefficients
Journal of Number Theory 27 (2007) 03 7 www.elsevier.com/locate/jnt Approximation by polynomials with bounded coefficients Toufik Zaimi Département de mathématiques, Centre universitaire Larbi Ben M hidi,
More information#A5 INTEGERS 18A (2018) EXPLICIT EXAMPLES OF p-adic NUMBERS WITH PRESCRIBED IRRATIONALITY EXPONENT
#A5 INTEGERS 8A (208) EXPLICIT EXAMPLES OF p-adic NUMBERS WITH PRESCRIBED IRRATIONALITY EXPONENT Yann Bugeaud IRMA, UMR 750, Université de Strasbourg et CNRS, Strasbourg, France bugeaud@math.unistra.fr
More informationThe Fibonacci sequence modulo π, chaos and some rational recursive equations
J. Math. Anal. Appl. 310 (2005) 506 517 www.elsevier.com/locate/jmaa The Fibonacci sequence modulo π chaos and some rational recursive equations Mohamed Ben H. Rhouma Department of Mathematics and Statistics
More informationSolutions to Practice Final
s to Practice Final 1. (a) What is φ(0 100 ) where φ is Euler s φ-function? (b) Find an integer x such that 140x 1 (mod 01). Hint: gcd(140, 01) = 7. (a) φ(0 100 ) = φ(4 100 5 100 ) = φ( 00 5 100 ) = (
More informationNotes 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 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 informationSYMMETRY AND SPECIALIZABILITY IN THE CONTINUED FRACTION EXPANSIONS OF SOME INFINITE PRODUCTS
SYMMETRY AND SPECIALIZABILITY IN THE CONTINUED FRACTION EXPANSIONS OF SOME INFINITE PRODUCTS J MC LAUGHLIN Abstract Let fx Z[x] Set f 0x = x and for n 1 define f nx = ff n 1x We describe several infinite
More informationJournal of Number Theory
Journal of Number Theory 130 (2010) 1737 1749 Contents lists available at ScienceDirect Journal of Number Theory www.elsevier.com/locate/jnt A binary linear recurrence sequence of composite numbers Artūras
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 informationPade Approximations and the Transcendence
Pade Approximations and the Transcendence of π Ernie Croot March 9, 27 1 Introduction Lindemann proved the following theorem, which implies that π is transcendental: Theorem 1 Suppose that α 1,..., α k
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationbe a sequence of positive integers with a n+1 a n lim inf n > 2. [α a n] α a n
Rend. Lincei Mat. Appl. 8 (2007), 295 303 Number theory. A transcendence criterion for infinite products, by PIETRO CORVAJA and JAROSLAV HANČL, communicated on May 2007. ABSTRACT. We prove a transcendence
More informationProofs. Chapter 2 P P Q Q
Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,
More informationPERFECT POLYNOMIALS OVER F p WITH p + 1 IRREDUCIBLE DIVISORS. 1. Introduction. Let p be a prime number. For a monic polynomial A F p [x] let d
PERFECT POLYNOMIALS OVER F p WITH p + 1 IRREDUCIBLE DIVISORS L. H. GALLARDO and O. RAHAVANDRAINY Abstract. We consider, for a fixed prime number p, monic polynomials in one variable over the finite field
More informationThe Diophantine equation x(x + 1) (x + (m 1)) + r = y n
The Diophantine equation xx + 1) x + m 1)) + r = y n Yu.F. Bilu & M. Kulkarni Talence) and B. Sury Bangalore) 1 Introduction Erdős and Selfridge [7] proved that a product of consecutive integers can never
More informationOn the Littlewood conjecture in fields of power series
Advanced Studies in Pure Mathematics 49, 2007 Probability and Number Theory Kanazawa 2005 pp. 1 20 On the Littlewood conjecture in fields of power series Boris Adamczewski and Yann Bugeaud Abstract. Let
More informationExercises for Chapter 1
Solution Manual for A First Course in Abstract Algebra, with Applications Third Edition by Joseph J. Rotman Exercises for Chapter. True or false with reasons. (i There is a largest integer in every nonempty
More informationp-adic Continued Fractions
p-adic Continued Fractions Matthew Moore May 4, 2006 Abstract Simple continued fractions in R have a single definition and algorithms for calculating them are well known. There also exists a well known
More informationProofs. Chapter 2 P P Q Q
Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,
More informationFinite Fields: An introduction through exercises Jonathan Buss Spring 2014
Finite Fields: An introduction through exercises Jonathan Buss Spring 2014 A typical course in abstract algebra starts with groups, and then moves on to rings, vector spaces, fields, etc. This sequence
More informationSolutions of the Diophantine Equation 2 x + p y = z 2 When p is Prime
Annals of Pure and Applied Mathematics Vol. 16, No. 2, 2018, 471-477 ISSN: 2279-087X (P), 2279-0888(online) Published on 29 March 2018 www.researchmathsci.org DOI: http://dx.doi.org/10.22457/apam.v16n2a25
More informationApproximation exponents for algebraic functions in positive characteristic
ACTA ARITHMETICA LX.4 (1992) Approximation exponents for algebraic functions in positive characteristic by Bernard de Mathan (Talence) In this paper, we study rational approximations for algebraic functions
More informationCHAPTER 1 REAL NUMBERS KEY POINTS
CHAPTER 1 REAL NUMBERS 1. Euclid s division lemma : KEY POINTS For given positive integers a and b there exist unique whole numbers q and r satisfying the relation a = bq + r, 0 r < b. 2. Euclid s division
More informationFast Polynomial Multiplication
Fast Polynomial Multiplication Marc Moreno Maza CS 9652, October 4, 2017 Plan Primitive roots of unity The discrete Fourier transform Convolution of polynomials The fast Fourier transform Fast convolution
More informationProblem 1A. Find the volume of the solid given by x 2 + z 2 1, y 2 + z 2 1. (Hint: 1. Solution: The volume is 1. Problem 2A.
Problem 1A Find the volume of the solid given by x 2 + z 2 1, y 2 + z 2 1 (Hint: 1 1 (something)dz) Solution: The volume is 1 1 4xydz where x = y = 1 z 2 This integral has value 16/3 Problem 2A Let f(x)
More informationJournal of Number Theory
Journal of Number Theory 29 2009 2328 2334 Contents lists available at ScienceDirect Journal of Number Theory www.elsevier.com/locate/jnt Primes of the form αp + β Hongze Li a,haopan b, a Department of
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 informationSection 4.1: Sequences and Series
Section 4.1: Sequences and Series In this section, we shall introduce the idea of sequences and series as a necessary tool to develop the proof technique called mathematical induction. Most of the material
More information4. Noether normalisation
4. Noether normalisation We shall say that a ring R is an affine ring (or affine k-algebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,
More informationDavid Adam. Jean-Luc Chabert LAMFA CNRS-UMR 6140, Université de Picardie, France
#A37 INTEGERS 10 (2010), 437-451 SUBSETS OF Z WITH SIMULTANEOUS ORDERINGS David Adam GAATI, Université de la Polynésie Française, Tahiti, Polynésie Française david.adam@upf.pf Jean-Luc Chabert LAMFA CNRS-UMR
More informationMoreover this binary operation satisfies the following properties
Contents 1 Algebraic structures 1 1.1 Group........................................... 1 1.1.1 Definitions and examples............................. 1 1.1.2 Subgroup.....................................
More informationIntroduction to Number Theory
INTRODUCTION Definition: Natural Numbers, Integers Natural numbers: N={0,1,, }. Integers: Z={0,±1,±, }. Definition: Divisor If a Z can be writeen as a=bc where b, c Z, then we say a is divisible by b or,
More informationRational tetrahedra with edges in geometric progression
Journal of Number Theory 128 (2008) 251 262 www.elsevier.com/locate/jnt Rational tetrahedra with edges in geometric progression C. Chisholm, J.A. MacDougall School of Mathematical and Physical Sciences,
More information1. Introduction. Let P and Q be non-zero relatively prime integers, α and β (α > β) be the zeros of x 2 P x + Q, and, for n 0, let
C O L L O Q U I U M M A T H E M A T I C U M VOL. 78 1998 NO. 1 SQUARES IN LUCAS SEQUENCES HAVING AN EVEN FIRST PARAMETER BY PAULO R I B E N B O I M (KINGSTON, ONTARIO) AND WAYNE L. M c D A N I E L (ST.
More informationLINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD. To Professor Wolfgang Schmidt on his 75th birthday
LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD JAN-HENDRIK EVERTSE AND UMBERTO ZANNIER To Professor Wolfgang Schmidt on his 75th birthday 1. Introduction Let K be a field
More informationThe following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof
Ch. 1.6 Introduction to Proofs The following techniques for methods of proofs are discussed in our text - Vacuous proof - Trivial proof - Direct proof - Indirect proof (our book calls this by contraposition)
More informationContinued fractions for complex numbers and values of binary quadratic forms
arxiv:110.3754v1 [math.nt] 18 Feb 011 Continued fractions for complex numbers and values of binary quadratic forms S.G. Dani and Arnaldo Nogueira February 1, 011 Abstract We describe various properties
More informationMathematics for Cryptography
Mathematics for Cryptography Douglas R. Stinson David R. Cheriton School of Computer Science University of Waterloo Waterloo, Ontario, N2L 3G1, Canada March 15, 2016 1 Groups and Modular Arithmetic 1.1
More informationCOUNTING NUMERICAL SEMIGROUPS BY GENUS AND SOME CASES OF A QUESTION OF WILF
COUNTING NUMERICAL SEMIGROUPS BY GENUS AND SOME CASES OF A QUESTION OF WILF NATHAN KAPLAN Abstract. The genus of a numerical semigroup is the size of its complement. In this paper we will prove some results
More informationExplicit solution of a class of quartic Thue equations
ACTA ARITHMETICA LXIV.3 (1993) Explicit solution of a class of quartic Thue equations by Nikos Tzanakis (Iraklion) 1. Introduction. In this paper we deal with the efficient solution of a certain interesting
More informationQuantum integers and cyclotomy
Journal of Number Theory 109 (2004) 120 135 www.elsevier.com/locate/jnt Quantum integers and cyclotomy Alexander Borisov a, Melvyn B. Nathanson b,, Yang Wang c a Department of Mathematics, Pennsylvania
More informationAn upper bound for B 2 [g] sets
Journal of Number Theory 1 (007) 11 0 www.elsevier.com/locate/jnt An upper bound for B [g] sets Gang Yu Department of Mathematics, LeConte College, 153 Greene street, University of South Carolina, Columbia,
More informationContinued Fractions with Non-Integer Numerators
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 0 (017), Article 17.1. Continued Fractions with Non-Integer Numerators John Greene and Jesse Schmieg Department of Mathematics and Statistics University
More informationOn Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers
A tal given at the Institute of Mathematics, Academia Sinica (Taiwan (Taipei; July 6, 2011 On Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers Zhi-Wei Sun Nanjing University
More informationA Note on Jacobi Symbols and Continued Fractions
Reprinted from: The American Mathematical Monthly Volume 06, Number, pp 52 56 January, 999 A Note on Jacobi Symbols and Continued Fractions A. J. van der Poorten and P. G. Walsh. INTRODUCTION. It is well
More informationbe any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism
21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore
More informationStandard forms for writing numbers
Standard forms for writing numbers In order to relate the abstract mathematical descriptions of familiar number systems to the everyday descriptions of numbers by decimal expansions and similar means,
More informationSchool of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information
MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon
More informationChapter Generating Functions
Chapter 8.1.1-8.1.2. Generating Functions Prof. Tesler Math 184A Fall 2017 Prof. Tesler Ch. 8. Generating Functions Math 184A / Fall 2017 1 / 63 Ordinary Generating Functions (OGF) Let a n (n = 0, 1,...)
More informationBessel s and legendre s equations
Chapter 12 Bessel s and legendre s equations 12.1 Introduction Many linear differential equations having variable coefficients cannot be solved by usual methods and we need to employ series solution method
More informationChakravala - a modern Indian method. B.Sury
Chakravala - a modern Indian method BSury Indian Statistical Institute Bangalore, India sury@isibangacin IISER Pune, India Lecture on October 18, 2010 1 Weil Unveiled What would have been Fermat s astonishment
More informationA family of quartic Thue inequalities
A family of quartic Thue inequalities Andrej Dujella and Borka Jadrijević Abstract In this paper we prove that the only primitive solutions of the Thue inequality x 4 4cx 3 y + (6c + 2)x 2 y 2 + 4cxy 3
More information3 Finite continued fractions
MTH628 Number Theory Notes 3 Spring 209 3 Finite continued fractions 3. Introduction Let us return to the calculation of gcd(225, 57) from the preceding chapter. 225 = 57 + 68 57 = 68 2 + 2 68 = 2 3 +
More informationWorst-case analysis of Weber s GCD algorithm
Information Processing Letters 72 (1999) 125 130 Worst-case analysis of Weber s GCD algorithm Christian Lavault, S. Mohamed Sedjelmaci LIPN, Université Paris-Nord, 93430 Villetaneuse, France Received 30
More information8. Dirichlet s Theorem and Farey Fractions
8 Dirichlet s Theorem and Farey Fractions We are concerned here with the approximation of real numbers by rational numbers, generalizations of this concept and various applications to problems in number
More informationIntegration of Rational Functions by Partial Fractions
Integration of Rational Functions by Partial Fractions Part 2: Integrating Rational Functions Rational Functions Recall that a rational function is the quotient of two polynomials. x + 3 x + 2 x + 2 x
More informationJournal of Number Theory
Journal of Number Theory 129 (2009) 2766 2777 Contents lists available at ScienceDirect Journal of Number Theory www.elsevier.com/locate/jnt The critical number of finite abelian groups Michael Freeze
More informationOn Wolstenholme s theorem and its converse
Journal of Number Theory 8 008 475 499 www.elsevier.com/locate/jnt On Wolstenholme s theorem and its converse Charles Helou a,, Guy Terjanian b a Pennsylvania State University, 5 Yearsley Mill Road, Media,
More informationLecture Notes. Advanced Discrete Structures COT S
Lecture Notes Advanced Discrete Structures COT 4115.001 S15 2015-01-13 Recap Divisibility Prime Number Theorem Euclid s Lemma Fundamental Theorem of Arithmetic Euclidean Algorithm Basic Notions - Section
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More information18.S34 linear algebra problems (2007)
18.S34 linear algebra problems (2007) Useful ideas for evaluating determinants 1. Row reduction, expanding by minors, or combinations thereof; sometimes these are useful in combination with an induction
More informationNumber Theory Marathon. Mario Ynocente Castro, National University of Engineering, Peru
Number Theory Marathon Mario Ynocente Castro, National University of Engineering, Peru 1 2 Chapter 1 Problems 1. (IMO 1975) Let f(n) denote the sum of the digits of n. Find f(f(f(4444 4444 ))). 2. Prove
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 informationA Note on the 2 F 1 Hypergeometric Function
A Note on the F 1 Hypergeometric Function Armen Bagdasaryan Institution of the Russian Academy of Sciences, V.A. Trapeznikov Institute for Control Sciences 65 Profsoyuznaya, 117997, Moscow, Russia E-mail:
More informationIB Mathematics HL Year 2 Unit 11: Completion of Algebra (Core Topic 1)
IB Mathematics HL Year Unit : Completion of Algebra (Core Topic ) Homewor for Unit Ex C:, 3, 4, 7; Ex D: 5, 8, 4; Ex E.: 4, 5, 9, 0, Ex E.3: (a), (b), 3, 7. Now consider these: Lesson 73 Sequences and
More informationOn the digital representation of smooth numbers
On the digital representation of smooth numbers Yann BUGEAUD and Haime KANEKO Abstract. Let b 2 be an integer. Among other results, we establish, in a quantitative form, that any sufficiently large integer
More informationA Diophantine System Concerning Sums of Cubes
1 2 3 47 6 23 11 Journal of Integer Sequences Vol. 16 (2013) Article 13.7.8 A Diophantine System Concerning Sums of Cubes Zhi Ren Mission San Jose High School 41717 Palm Avenue Fremont CA 94539 USA renzhistc69@163.com
More informationStudy of some equivalence classes of primes
Notes on Number Theory and Discrete Mathematics Print ISSN 3-532, Online ISSN 2367-8275 Vol 23, 27, No 2, 2 29 Study of some equivalence classes of primes Sadani Idir Department of Mathematics University
More informationCONTINUED FRACTIONS Lecture notes, R. M. Dudley, Math Lecture Series, January 15, 2014
CONTINUED FRACTIONS Lecture notes, R. M. Dudley, Math Lecture Series, January 5, 204. Basic definitions and facts A continued fraction is given by two sequences of numbers {b n } n 0 and {a n } n. One
More informationMATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM
MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM Basic Questions 1. Compute the factor group Z 3 Z 9 / (1, 6). The subgroup generated by (1, 6) is
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 informationThe Collatz Problem and Analogues
2 3 47 6 23 Journal of Integer Sequences, Vol. (2008), Article 08.4.7 The Collatz roblem and Analogues Bart Snapp and Matt Tracy Department of Mathematics and Statistics Coastal Carolina University Conway,
More informationMATH CSE20 Homework 5 Due Monday November 4
MATH CSE20 Homework 5 Due Monday November 4 Assigned reading: NT Section 1 (1) Prove the statement if true, otherwise find a counterexample. (a) For all natural numbers x and y, x + y is odd if one of
More informationChapter 1. Sets and Numbers
Chapter 1. Sets and Numbers 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write
More informationMATH 117 LECTURE NOTES
MATH 117 LECTURE NOTES XIN ZHOU Abstract. This is the set of lecture notes for Math 117 during Fall quarter of 2017 at UC Santa Barbara. The lectures follow closely the textbook [1]. Contents 1. The set
More informationPUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include
PUTNAM TRAINING POLYNOMIALS (Last updated: December 11, 2017) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include
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 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 informationPOLYNOMIAL SOLUTIONS OF PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS
J. London Math. Soc. 67 (2003) 16 28 C 2003 London Mathematical Society DOI: 10.1112/S002461070200371X POLYNOMIAL SOLUTIONS OF PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS J. MCLAUGHLIN
More information(i) Write down the elements of a subgroup of order 2. [1]
FP3 Groups 1. June 010 qu. A multiplicative group with identity e contains distinct elements a and r, with the properties r 6 = e and = r 5 a. Prove that r = a. [] Prove, by induction or otherwise, that
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 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 informationLecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel
Lecture Notes on DISCRETE MATHEMATICS Eusebius Doedel c Eusebius J. Doedel, 009 Contents Logic. Introduction............................................................................... Basic logical
More informationDetermining elements of minimal index in an infinite family of totally real bicyclic biquadratic number fields
Determining elements of minimal index in an infinite family of totally real bicyclic biquadratic number fields István Gaál, University of Debrecen, Mathematical Institute H 4010 Debrecen Pf.12., Hungary
More informationMath /Foundations of Algebra/Fall 2017 Foundations of the Foundations: Proofs
Math 4030-001/Foundations of Algebra/Fall 017 Foundations of the Foundations: Proofs A proof is a demonstration of the truth of a mathematical statement. We already know what a mathematical statement is.
More informationINTRODUCTION TO TRANSCENDENTAL NUMBERS
INTRODUCTION TO TRANSCENDENTAL NUBERS VO THANH HUAN Abstract. The study of transcendental numbers has developed into an enriching theory and constitutes an important part of mathematics. This report aims
More informationOn some properties of elementary derivations in dimension six
Journal of Pure and Applied Algebra 56 (200) 69 79 www.elsevier.com/locate/jpaa On some properties of elementary derivations in dimension six Joseph Khoury Department of Mathematics, University of Ottawa,
More informationYes zero is a rational number as it can be represented in the
1 REAL NUMBERS EXERCISE 1.1 Q: 1 Is zero a rational number? Can you write it in the form 0?, where p and q are integers and q Yes zero is a rational number as it can be represented in the form, where p
More informationA Combinatorial Interpretation of the Numbers 6 (2n)! /n! (n + 2)!
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 8 (2005), Article 05.2.3 A Combinatorial Interpretation of the Numbers 6 (2n)! /n! (n + 2)! Ira M. Gessel 1 and Guoce Xin Department of Mathematics Brandeis
More informationContinued Fractions New and Old Results
Continued Fractions New and Old Results Jeffrey Shallit School of Computer Science University of Waterloo Waterloo, Ontario N2L 3G1 Canada shallit@cs.uwaterloo.ca https://www.cs.uwaterloo.ca/~shallit Joint
More informationCourse MA2C02, Hilary Term 2013 Section 9: Introduction to Number Theory and Cryptography
Course MA2C02, Hilary Term 2013 Section 9: Introduction to Number Theory and Cryptography David R. Wilkins Copyright c David R. Wilkins 2000 2013 Contents 9 Introduction to Number Theory 63 9.1 Subgroups
More informationInfinite Continued Fractions
Infinite Continued Fractions 8-5-200 The value of an infinite continued fraction [a 0 ; a, a 2, ] is lim c k, where c k is the k-th convergent k If [a 0 ; a, a 2, ] is an infinite continued fraction with
More informationSQUARE ROOTS OF 2x2 MATRICES 1. Sam Northshield SUNY-Plattsburgh
SQUARE ROOTS OF x MATRICES Sam Northshield SUNY-Plattsburgh INTRODUCTION A B What is the square root of a matrix such as? It is not, in general, A B C D C D This is easy to see since the upper left entry
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 information