A Counterexample to a Conjecture of Mahler on Best P-Adic Diophantine Approximation Constants
|
|
- Gary Lester
- 5 years ago
- Views:
Transcription
1 mathematics of computation volume. number october x. pages 6-63 A Counterexample to a Conjecture of Mahler on Best P-Adic Diophantine Approximation Constants By Alice A. Deanin Abstract. In 0, Mahler proposed a conjecture regarding the value of best P-adic Diophantine approximation constants. In this paper, a computational technique which tests the conjecture for any particular P is described. A computer search verified the conjecture for all P jg 0, except 83. The case P = 83 is discussed. A counterexample is given.. Introduction to Mahler's Algorithm and Mahler's Conjecture. Mahler [] presented an algorithm which yields sequences of approximations to P-adic integers by rational numbers which are best with respect to a real reduced positive-definite binary quadratic form of determinant -. Let X be a fixed complex number in F, the fundamental domain of the modular group, i.e., the set of complex numbers in the upper half-plane which satisfy Set -{- < Rez < {- and \z\ > or -\ < Rez < 0 and \z\ =. ^ty)^{x-xy){x-\y)~^\k-kï\\ Let f be a P-adic integer. For every n > 0, let An be the unique (rational) integer which satisfies 0^An<P" and Ç = An(modPn). The algorithm defines three sequences. The first of these, z(f ), is a sequence of complex numbers. Let zn e z(l) be defined as the unique complex number in F which is equivalent by an element of the modular group to (An + X)/P". That is, for some integer matrix n r r' of determinant, (An + X)/P" = (r z + r'n)/(qnzn + q' ). The second sequence T(Ç) is a sequence of X integer matrices where, for each n > 0, Tn e T(Ç) is defined by T = P" and the action of Tn as a linear fractional transforma- Then Tn has determinant tion is ti. Pn Pn Pn = r"p" ~ 0 An, In q'nï pn = r;p"-q' A. T.z. n n = X for all n > 0. Received October, Mathematics Subject Classification. Primary 0F. 6 8 American Mathematical Society 00-8/8 $.00 + $. per page
2 6 ALICE A. DEANIN It is clear that \qj + pn\p < P~". Mahler showed in [] that if \q + p\p*í P~", (P< Q) > 0> then $(/?, q) ^ $(/?, q ). Thus P(f) determines approximations to f which are best with respect to <&( X, Y). This suggests the following Definition. The best P-adic Diophantine approximation constant is the real number cp, the supremum over all c > 0 such that \ql+p\p^p-n, 0< *(/>,?) <i/>" has solutions for infinitely many «, for all X g F and all P-adic integers f. Since T~XX = zn, it is easily seen that yn = Im zn = P"'/<b(pn, qn). Thus z G F implies that yn > i/3/, and it is concluded that cp > v/3~/ for all P. Mahler showed that cp = fh / if and only if P = (mod 6). Using a result of Davenport [], Mahler proved that lim^^c,, = i/3 /. de Weger [6] generalized this last result to a larger class of norms. For a P-adic integer f, set (f) = limj,,. (This value is dependent on X.) It is clear that () cp= min r(f). In order to study the relationship between the successive elements of z(f ), a third sequence is introduced. For every ol,,e (f ) is defined by = T~}XT. Each is a matrix of determinant P with integer entries satisfying z = zn_x. Let M(P) denote the set of X integer matrices of determinant P which satisfy p n F = 0, where acts as a transformation. Any matrix which can occur in the sequence (f ) for some P-adic integer f and some X g F is necessarily in M(P). Mahler showed that the set M(P) is finite for any P and that any g M(P) can occur as some g (f ) for some P-adic integer f (although possibly only for special choices of X). Now let m(p) denote the subset of M(P) of integer matrices of determinant P which have a fixed point in F and trace = 0 (mod P). The elements of m(p) are precisely those which can appear repeated successively in a sequence (f ) for some f (see []). For g m(p), let fa denote its fixed point in F. Let Y(P)= min Im/n. aem(p) Mahler conjectured that cp = Y(P). Moreover, he showed that for every e > 0 there is a P-adic integer f such that Y(Ç) < Y(P) + e. So with () the conjecture can be stated as Mahler's Conjecture. For any X g F and any P-adic integer f, Y(t ) > Y(P). Mahler proved that Y(P) = \/3~/ if and only if P = (mod6), thus for these values the conjecture is trivially verified. Mahler also verified the conjecture for P =,3 and. These verifications checked that, for each g M(P), if both z g F and z G F then max{im z, Im z} > (P). (For some matrices in M() and M(3) this was not the case, but such matrices could not occur more than once in succession in a sequence (f ) for any f.) This suffices to verify the conjecture, for it
3 COUNTEREXAMPLE TO MAHLER'S CONJECTURE 63 implies that for every -adic integer and every index n, max{yn, y +x] > (). (Similarly, for any -adic (or 3-adic) integer and every index n, max{yn, yn+x, yn+) > () (or (3)).) For this paper, the analysis is carried further by adapting the method for computer search. The conjecture was thus checked for all P < 0 and, in fact, verified for all such P except P = 83. Additional investigation showed that Mahler's conjecture is, in fact, false for P = 83. A periodic (f ) sequence can be constructed as a counterexample. Additional information about periodic sequences can be found in [, [3, [6]. This paper is organized as follows. In Section, the matrices in the finite set M(P) are described by an explicit set of inequalities which their entries must satisfy. In Section 3, a method is described that determines a value () < max{im z, Imz} when z, z g F, for each g M(P). The values of Y(P) are tabulated in an appendix. If for every g M(P), () > Y(P), then the conjecture is verified. There are primes for which this verification fails; the first such is P = 83. In Section, this failure is discussed. In Section, the counterexample for P = 83 is given.. The Set M(P). In this section, inequalities are given which the entries of a matrix in M(P) must satisfy. Since these inequalities are intended to assist in studying Mahler's conjecture, the inequalities are specifically for P = (mod 6). The derivation of these inequalities is described and a sample derivation is given. For full details, see []. Throughout the paper, let = ' - + v/3 i Because and - represent the same transformation, the inequalities will assume that > 0. It is clear that if g M(P) then -P"\ an inverse of as a transformation, g M(P) as well. Definition. The isometric circle, I, of a transformation where i= 0 is the circle centered at -'/ of radius {P /. The isometric circle, P, of the inverse transformation is the circle centered at a/ of radius P /. (A complete discussion of isometric circles can be found in Chapter of [].) The transformation acts on the complex plane by inversion through the circle / and then through the line x (a ')/. The circle / is mapped to the circle P. The region inside (outside) the circle / is mapped to the region outside (inside) the circle /'. In order to guarantee the condition p n F + 0, it is necessary that at least one of the isometric circles / or /' intersect P. Thus p or + p is inside one of the circles, which happens when () + \'\+' ^ P or a + \a\ + < P. This can be used to show that if # 0, then (, ') =.
4 6 ALICE A. DEANIN In [], Mahler divided the set M(P) into three subsets, MX(P),M(P) and M3(P) according to whether p n F is a region of nonempty interior, a curve, or a single point. The elements of the sets M(P) and M3(P) can be listed explicitly. The justification for these listings is detailed in []. A transformation g M(P) maps a portion of the boundary of F to a portion of the boundary of P. This happens for precisely the matrices - -(P + l) (-P) and its inverse as a transformation (l-p) ( + P) (P-l) -(P + l) and its inverse as a transformation -(P+l) (-P) A transformation g M3(P) when the corner point p of F is mapped to a boundary point of F by or its inverse. This happens precisely for the matrices -(P + l) 0 and its inverse as a transformation 0 -P i (l + p) The case for g MX(P) with = 0 is also straightforward. those of the form These matrices are all a P and its inverse as a transformation for (-P + l)/ ^a' ^(P - l)/. Let F denote the interior of P. g Mx(P) if and only if SiFnF# 0. This condition is easier to work with because of the symmetry of P. Clearly, if satisfies this condition, then so does -P", the inverse transformation. Furthermore, when > 0, the isometric circles of ' = [^ "a J and its inverse are just reflections across the imaginary axis of those of " and. Thus 'P n F + 0 whenever p n F # 0. Consequently, when /} > 0, of the four matrices a a ' -' ' a' a ~' it is only necessary to consider one. The inequalities for the entries of with > 0 are determined assuming that a > 0 and '\ > a. Assuming that > 0 and \'\ > a ^ 0, () reduces to MX(P) - a + a < P.
5 COUNTEREXAMPLE TO MAHLER-S CONJECTURE 6 This yields an upper bound for in terms of P, as well as upper and lower bounds for a in terms of and P. However, to determine ranges for ', it is effective to break the problem into four cases: (i) a + a + < P and a/ > i (ii) a + a + < P and a/ < \. (iii) a + a + > P and a/ > f (iv) a + a + > P and a/ < \. In each case, bounds for a, and ' can be determined by examination of the image of F under ". The inequalities in case (i) are derived below as an example; for the other cases, see []. The inequalities for all four cases are summarized in Figure. Case (i). The conditions defining case (i) imply - JP - 3> < a < I ^ This interval is nonempty when < {P / y/l. If ' > a, XP n F =h 0 if and only if at least one of _(p), -(i + p) has real part > - I- (Because a + a + < P, their imaginary parts are large enough.) Thus, -{-< max{re^(p),_(i + p)} -maxa"^. P- =l+a^- -\ a + a + ' /3? _ a + : which becomes ( a + P a- P \ ' < max +?- --, + -, a + a + ' a-a + j' The former term is larger when a <. If ' < -a, then _P lies entirely to the right of x = a/ > \ and cannot intersect P. The entries a, and ' of a case (i) matrix must satisfy a < /?' < o</3<-^;p~, V /3 < -, VP - 3/3' ^ a + P a + a/3 + /3 P, a- P a - a + Figure gives a flow diagram for deciding when a matrix with > 0 and /3' > a > 0 has P d F = 0. Find the range on the left line where falls. For the a scale assigned to that range, find the range in which a falls. The case inequalities named for that range give allowable choices for '. The case inequalities are listed at the right.
6 66 ALICE A. DEANIN case i *L g, q+p _P rt az+o.+ + r-r + R! a-g a'-a+f case i.m -g, VP^3^ V? /g VP-3g, ^+Vp^ ^+a^ F or a+a/?+/? P a-a/3+/ *VT VP-3ff ^ ff! VP-36 a</3'< f- + _J* s)* i'-* ' J cp-a+* if c>/3 «^/3'< f-+/3 /-a 3]* _ _ il a az-~z *-a< V3 /?! VP-3ff P op-a-rf Figure 3. Testing Mahler's Conjecture. In this section, techniques used to determine the value () for each in M(P), P = (mod6), are discussed. The computations require an involved case analysis. Sample computations are given. Definition. For any matrix G M(P) () = inf{max{imz,imz}}, where the inf is taken over all z for which z g F and z g F. The values of () for in M(P) or M3(P) are easy to determine. These values are quite large compared to Y(P) and do not figure in the conjecture testing. The values of () for upper-triangular are also large; such matrices can thus be eliminated from serious conjecture testing work. The complicated testing arises in computing () for = I,\ g MX(P) which have > 0. The value of () will be the same for the four matrices a a ' -a a so only those for which > 0 and \'\ > a > 0 are studied. -' ' a' a -' a' -a
7 COUNTEREXAMPLE TO MAHLER'S CONJECTURE 6 For g MX(P), () = inf{max{im z, Im z}}, where the inf is taken over all z for which z and z g F, the closure of P. The boundary points of P frequently yield the value for (). The matrices are divided into cases depending on the position of the isometric circles with respect to the boundary of P. (i) a + a + < P and a < ' < a +. (ii) a + a + > P and a < ' < (a + )/ + (P - )/a. (iii) all other matrices with a < '. (iv) a + a + < P and -a > ' > a -. (v) all other matrices with -a ^ '. For each, a lower bound for () can be established. For most matrices, the value established equals (), but calculating this exact value is impractical in some "extreme cases", e.g., when ' is large. Two techniques are described. For cases (i), (ii) and (iv), both the isometric circles / and /' of and " intersect the boundary of P. If a point z is on / (resp., /'), then Im z = Im z (resp., Im z = Im_z). If z lies inside / (resp., I'), then Im z < Imz (resp., Im z < Im _z). Thus a good candidate for () is the imaginary part of the lowest z on an isometric circle for which both z and z or z and ~'z are in P. Denote this value It is still possible that there is a z g P with Im z < Yx and z (resp., _z) g F with Im z (resp., Im _z) <,. The corner points p and + p and low boundary points of F are likely candidates for such a z. The behavior of these points must be compared with that of the isometric circle point which produced. The best comparison value is denoted Y. Sometimes the value easily identified for is not the best possible, but (0) > min{yx,y). In cases (iii) and (v), the points on the isometric circles in F do not map (under or ") to points in F, or such points are difficult to determine. A valuey(q) may be computed instead. Let G be the set of points of the lower-boundary arcs of _P which are contained in P. Set ^() = max/ inf {Imz}, inf (Imz}}. ' zec zeg ' Since inf.eg{ Imz} < () and inlec{imz} < (), y(q)< (). The details of case (i) are presented as an example, with figures at the end; the details of the other cases are included in []. Notation. The intersection point of two curves Cx and C will be denoted Cx d C. Case (i). Let zq = F d(x=-\), >_ild(x=\) if + ' + '<P, Z \ld(\z\=l) if + ' + '>P. These are the possible isometric circle points described earlier. Set Yx = max(im z0, Im z'0}. Yx must be compared to the values of Im _z, where z, l~z g p are inside /'. For each of six subcases, a value is defined which is < the least such Im _z.
8 68 ALICE A. DEANIN The condition implies that Re _(p) > - { n a + P '<a + <^ + -r- -- a + a + (a)_(p)g F: set = Im_(p). Then () = min{,}. (b)re_(p) > \: let z, = Q~\x = - \) d (x = \). Set = max{im zx, Imzj}. Then () = min{, }. In (c)-(f), _(p) lies in the small region where - \ < Rez < \, Im z > t/3/ and z <. In each case, < () < Yx. (c) Im(_(x = -j)d(x = -\))< \ 3 /: let Zj = _(x = - ) n ( z = ) and z = -( z = l)n( z = l). In (d)-(f), Imt-H* = - è) H (x = - I)) < /3/. (d)re"(l + p)> i: let Zj = B_( * = ) n ( z = ) and z = Q_( z = ) n (* = *) Case (i) Case (ia) Case (ib) w^ Case (ic) T Ä & Case (id) Case (ie) Figure Case (if)
9 COUNTEREXAMPLE TO MAHLER'S CONJECTURE 6 (e) Re"'(l + p) < -\: let zx -x( z = ) n (\z\ = ) and z = tt~l(\z\ = ) d(x= - ). (f) Re "'(l + p) g P: let Zj = ü~\\z\ = ) n = ) and z = _(l + p). In each of the above four cases, set = max{min{im zx, Im z}, min{imz,imz}}.. The Results of Computer Testing. In the computational testing of Mahler's conjecture, a program was written in PASCAL, and the UNIVAC 80 at the University of Maryland was persuaded to run it. The program tested each matrix whose entries satisfy the inequalities in Figure. For each such matrix, a value *() min{ j, } y(&) in cases (i), (ii), and (iv) in cases (iii) and (v) was established. In every case, *() < (). Let Y*(P) = minh *(). The program was run for all P = (mod 6) up to P = 0. It was found that Y*(P) = Y(P) for all the values of P tested except P = 83, so the conjecture is true for these values. The failure of the test for P = 83 does not show that the conjecture is false. The program tested the much stronger statement, that () > *() ^ Y(P) for all G M(P), and this fails for P = 83 in an obvious way. Consider the isometric circles / and /' for = [ J whose fixed point has imaginary part (83). Let z0 = I' n (x = - j); then z0, _z0 g F and Im z0 = Im _z0 = v^83~/8 < v/6 /8 = (83). Such a point exists because the isometric circles intersect the boundary of F below F(83); this happens because the fixed point of does not lie on the unit circle. The same problem arises for other P, whenever a fixed point / of an elliptic matrix has Im/= Y(P) and / ^. Since / = -a'/, it is easy to identify such P by examination of the table in the appendix. For P < 000, they are 83, 6,,, 3, 6,, 8, 6, 3, 3,, 8,, and.. A Counterexample. It is not possible to disprove the conjecture using only the fact that () < (83) for the matrix [" " ]. However, the computer testing found four other matrices satisfying the inequalities in Figure for which () < (83); they are This yields 0 matrices in Mx(%3) having () < (83). An examination of products of pairs of these matrices found an elliptic matrix whose fixed point - + \/3003 //8 has imaginary part less than (83), and an elliptic matrix whose fixed point (- + v/3003/)/6 has imaginary part less than (83). For a specific X G F, a periodic sequence of the above matrix factors can be shown to be the (f ) sequence of a P-adic integer f with (f) < (83), disproving the conjecture.
10 630 ALICE A. DEANIN In [], Mahler proved that a sequence { }^ = is the sequence (f ) for some f if and only if, for a given X, and setting T =, n n Pn P'n Tn-lX<=Fand(q,q' )=l. For the counterexample, let and let = X = - + /3003, 8 for n odd, for n even. Then, by definition, T = (n-l)/,,/ -3 for n odd, for n even. Note that T~lX = - + i/3003, g F y/3003 ; 8 F for n odd, for n even. Furthermore, by a congruence relation in Section of [], for even n, T = T k J k-l ( - 0) (mod 83), hence q and q'n are not both divisible by 83 and must be relatively prime. Also, for odd n, T = T- k + \ = ( - 0)' (mod 83) so that again, (q, q' ) =. This verifies that the sequence { } is a legitimate (f ) sequence; it is in fact the sequence for f = -X = ( - v3003 /)/8 with the indicated X. This is a counterexample to the conjecture because (f) = lim Im T~lX = max I v/3003 v/3ööt Ï v/ 8 6 (83). It is likely that such constructions exist for other P for which Y(P) occurs as the imaginary part of a fixed point of a matrix in m(p) where the fixed point is not on the unit circle.
11 COUNTEREXAMPLE TO MAHLER'S CONJECTURE 63 The nature of the construction of the counterexample suggests that the value of the best P-adic Diophantine approximation constant may be determined by the imaginary part of a fixed point in P on the unit circle of an elliptic matrix of determinant Pg. This possibility is being studied. Acknowledgments. The author would like to thank W. Adams for suggesting the problem and for his help and encouragement before, during and after the preparation of the dissertation in which much of this work orginally appeared. The author is also indebted to D. Shanks for his probing comments on the validity of Mahler's conjecture. Appendix. The table below gives Y(P) for all P = (mod 6) less than 000, along with a matrix in m(p) whose fixed point has imaginary part Y(P). P Y(P) _ 6 Û. 3 y/ 0 y/ 0 y/ïïï y/ï8 fñ 0 8 y/ 8 fjâ_ irj_ y/6 i/ô3 /ÖT /03 /Ï33 3 Ï33 3 /Ï3 matrix X '. -X ' -3-3 P X X3 Y(P) y/0j y/ 8 y/0t y/ï33 3 y/ït y/ï33 3 y/3t 3 y/ y/l6 y/3t 3 y/6 y/80 y/3 30 y/03" y/ 38 y/ïî 38 y/l03 y/8 8 y/ IX IX X X -'. -0 /' Y(P) y/ï33 3 y/80 y/6 6~ y/6 6 y/3 3 y/80 y/6 6 y/3 3 y/ y/ y/03 y/6 3 y/0 y/l33 3 y/3t 30 y/60 y/8 y/ y/ ] J 3 - J X - 3 J
12 63 ALICE A. DEANIN P X3 0 3 Y(P) 6 /6Ö~ /63 8 /33~ 8 /8 8 /3Ï 0 / P 6 3 X0 X X 83 8 X63 XXI Y(P) 36 3 Im /6 3 /8Ô /Ï33 6 /36 3 / 3 AsT XX 3 83 Y(P) y/03 y/6 3 y/6 y/ 6 y/866 6 /83T Department of Mathematical Sciences Villanova University Villanova, Pennsylvania 08. H. Davenport, "Note on linear fractional substitutions with large determinant," Ann. of Math., v., 0, pp A. A. Deanin, Mahler's P-Adic Continued Fraction Algorithm, Ph.D. Dissertation, University of Maryland, A. A. Deanin, "Periodicity of P-adic continued fraction expansions." (Preprint).. L. R. Ford, Automorphic Functions, nd ed., Chelsea, New York,.. K. Mahler, "On a geometrical representation of/>-adic numbers," Ann. of Math., v.. 0, pp B. M. M. de Weoer, Approximation Lattices ofp- A die Numbers, Report no., Math. Inst. R. U. Leiden, 8.
1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More informationMY PUTNAM PROBLEMS. log(1 + x) dx = π2
MY PUTNAM PROBLEMS These are the problems I proposed when I was on the Putnam Problem Committee for the 984 86 Putnam Exams. Problems intended to be A or B (and therefore relatively easy) are marked accordingly.
More informationA POSITIVE PROPORTION OF THUE EQUATIONS FAIL THE INTEGRAL HASSE PRINCIPLE
A POSITIVE PROPORTION OF THUE EQUATIONS FAIL THE INTEGRAL HASSE PRINCIPLE SHABNAM AKHTARI AND MANJUL BHARGAVA Abstract. For any nonzero h Z, we prove that a positive proportion of integral binary cubic
More informationDepartment of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2014
Department of Mathematics, University of California, Berkeley YOUR 1 OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2014 1. Please write your 1- or 2-digit exam number on
More informationMaterial covered: Class numbers of quadratic fields, Valuations, Completions of fields.
ALGEBRAIC NUMBER THEORY LECTURE 6 NOTES Material covered: Class numbers of quadratic fields, Valuations, Completions of fields. 1. Ideal class groups of quadratic fields These are the ideal class groups
More informationCOMPLEX NUMBERS WITH BOUNDED PARTIAL QUOTIENTS
COMPLEX NUMBERS WITH BOUNDED PARTIAL QUOTIENTS WIEB BOSMA AND DAVID GRUENEWALD Abstract. Conjecturally, the only real algebraic numbers with bounded partial quotients in their regular continued fraction
More informationPolygonal Numbers, Primes and Ternary Quadratic Forms
Polygonal Numbers, Primes and Ternary Quadratic Forms Zhi-Wei Sun Nanjing University Nanjing 210093, P. R. China zwsun@nju.edu.cn http://math.nju.edu.cn/ zwsun August 26, 2009 Modern number theory has
More informationDIVISIBILITY AND DISTRIBUTION OF PARTITIONS INTO DISTINCT PARTS
DIVISIBILITY AND DISTRIBUTION OF PARTITIONS INTO DISTINCT PARTS JEREMY LOVEJOY Abstract. We study the generating function for (n), the number of partitions of a natural number n into distinct parts. Using
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 informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/32076 holds various files of this Leiden University dissertation Author: Junjiang Liu Title: On p-adic decomposable form inequalities Issue Date: 2015-03-05
More informationMASTERS EXAMINATION IN MATHEMATICS SOLUTIONS
MASTERS EXAMINATION IN MATHEMATICS PURE MATHEMATICS OPTION SPRING 010 SOLUTIONS Algebra A1. Let F be a finite field. Prove that F [x] contains infinitely many prime ideals. Solution: The ring F [x] of
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 informationChapter 1 The Real Numbers
Chapter 1 The Real Numbers In a beginning course in calculus, the emphasis is on introducing the techniques of the subject;i.e., differentiation and integration and their applications. An advanced calculus
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 informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationLecture Notes 1 Basic Concepts of Mathematics MATH 352
Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,
More informationKing Fahd University of Petroleum and Minerals Prep-Year Math Program Math Term 161 Recitation (R1, R2)
Math 001 - Term 161 Recitation (R1, R) Question 1: How many rational and irrational numbers are possible between 0 and 1? (a) 1 (b) Finite (c) 0 (d) Infinite (e) Question : A will contain how many elements
More informationAPPROXIMATION TO REAL IRRATIONALS BY CERTAIN CLASSES OF RATIONAL FRACTIONS 1
APPROXIMATION TO REAL IRRATIONALS BY CERTAIN CLASSES OF RATIONAL FRACTIONS 1 W. T. SCOTT 1. Introduction. Hurwitz proved that if co is a real irrational number, then the inequality (1) *>-#/?
More informationMahler measure as special values of L-functions
Mahler measure as special values of L-functions Matilde N. Laĺın Université de Montréal mlalin@dms.umontreal.ca http://www.dms.umontreal.ca/~mlalin CRM-ISM Colloquium February 4, 2011 Diophantine equations
More information= 10 such triples. If it is 5, there is = 1 such triple. Therefore, there are a total of = 46 such triples.
. Two externally tangent unit circles are constructed inside square ABCD, one tangent to AB and AD, the other to BC and CD. Compute the length of AB. Answer: + Solution: Observe that the diagonal of the
More informationSPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS
SPRING 006 PRELIMINARY EXAMINATION SOLUTIONS 1A. Let G be the subgroup of the free abelian group Z 4 consisting of all integer vectors (x, y, z, w) such that x + 3y + 5z + 7w = 0. (a) Determine a linearly
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics MOD p REPRESENTATIONS ON ELLIPTIC CURVES FRANK CALEGARI Volume 225 No. 1 May 2006 PACIFIC JOURNAL OF MATHEMATICS Vol. 225, No. 1, 2006 MOD p REPRESENTATIONS ON ELLIPTIC
More informationReading Mathematical Expressions & Arithmetic Operations Expression Reads Note
Math 001 - Term 171 Reading Mathematical Expressions & Arithmetic Operations Expression Reads Note x A x belongs to A,x is in A Between an element and a set. A B A is a subset of B Between two sets. φ
More informationEquivalent trace sets for arithmetic Fuchsian groups
Equivalent trace sets for arithmetic Fuchsian groups Grant S Lakeland December 30 013 Abstract We show that the modular group has an infinite family of finite index subgroups each of which has the same
More informationON DIVISION ALGEBRAS*
ON DIVISION ALGEBRAS* BY J. H. M. WEDDERBURN 1. The object of this paper is to develop some of the simpler properties of division algebras, that is to say, linear associative algebras in which division
More informationASSIGNMENT 1 SOLUTIONS
MATH 271 ASSIGNMENT 1 SOLUTIONS 1. (a) Let S be the statement For all integers n, if n is even then 3n 11 is odd. Is S true? Give a proof or counterexample. (b) Write out the contrapositive of statement
More informationCONGRUENT 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 informationProblems in Linear Algebra and Representation Theory
Problems in Linear Algebra and Representation Theory (Most of these were provided by Victor Ginzburg) The problems appearing below have varying level of difficulty. They are not listed in any specific
More informationAlgebraic. techniques1
techniques Algebraic An electrician, a bank worker, a plumber and so on all have tools of their trade. Without these tools, and a good working knowledge of how to use them, it would be impossible for them
More information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
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 informationPOSITIVE DEFINITE n-regular QUADRATIC FORMS
POSITIVE DEFINITE n-regular QUADRATIC FORMS BYEONG-KWEON OH Abstract. A positive definite integral quadratic form f is called n- regular if f represents every quadratic form of rank n that is represented
More informationGroups. 3.1 Definition of a Group. Introduction. Definition 3.1 Group
C H A P T E R t h r e E Groups Introduction Some of the standard topics in elementary group theory are treated in this chapter: subgroups, cyclic groups, isomorphisms, and homomorphisms. In the development
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 informationALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011
ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved
More informationBadly approximable numbers over imaginary quadratic fields
Badly approximable numbers over imaginary quadratic fields Robert Hines University of Colorado, Boulder March 11, 2018 Simple continued fractions: Definitions 1 The Euclidean algorthim a = ba 0 + r 0,
More informationPoints of Finite Order
Points of Finite Order Alex Tao 23 June 2008 1 Points of Order Two and Three If G is a group with respect to multiplication and g is an element of G then the order of g is the minimum positive integer
More informationMTH4101 CALCULUS II REVISION NOTES. 1. COMPLEX NUMBERS (Thomas Appendix 7 + lecture notes) ax 2 + bx + c = 0. x = b ± b 2 4ac 2a. i = 1.
MTH4101 CALCULUS II REVISION NOTES 1. COMPLEX NUMBERS (Thomas Appendix 7 + lecture notes) 1.1 Introduction Types of numbers (natural, integers, rationals, reals) The need to solve quadratic equations:
More informationArithmetic Progressions Over Quadratic Fields
Arithmetic Progressions Over Quadratic Fields Alexander Diaz, Zachary Flores, Markus Vasquez July 2010 Abstract In 1640 Pierre De Fermat proposed to Bernard Frenicle de Bessy the problem of showing that
More 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 informationSolution/Correction standard, second Test Mathematics A + B1; November 7, 2014.
Solution/Correction standard, second Test Mathematics A + B1; November 7, 014. Kenmerk : Leibniz/toetsen/Re-Exam-Math-A-B1-141-Solutions Course : Mathematics A + B1 (Leibniz) Vakcode : 1911010 Date : November
More informationA WEAK VERSION OF ROLLE S THEOREM
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 11, November 1997, Pages 3147 3153 S 0002-9939(97)03910-5 A WEAK VERSION OF ROLLE S THEOREM THOMAS C. CRAVEN (Communicated by Wolmer
More informationRamsey Theory. May 24, 2015
Ramsey Theory May 24, 2015 1 König s Lemma König s Lemma is a basic tool to move between finite and infinite combinatorics. To be concise, we use the notation [k] = {1, 2,..., k}, and [X] r will denote
More informationSolutions to 2015 Entrance Examination for BSc Programmes at CMI. Part A Solutions
Solutions to 2015 Entrance Examination for BSc Programmes at CMI Part A Solutions 1. Ten people sitting around a circular table decide to donate some money for charity. You are told that the amount donated
More informationExercises. Template for Proofs by Mathematical Induction
5. Mathematical Induction 329 Template for Proofs by Mathematical Induction. Express the statement that is to be proved in the form for all n b, P (n) forafixed integer b. 2. Write out the words Basis
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 informationAlgebraic structures I
MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one
More information1 + lim. n n+1. f(x) = x + 1, x 1. and we check that f is increasing, instead. Using the quotient rule, we easily find that. 1 (x + 1) 1 x (x + 1) 2 =
Chapter 5 Sequences and series 5. Sequences Definition 5. (Sequence). A sequence is a function which is defined on the set N of natural numbers. Since such a function is uniquely determined by its values
More informationII. Products of Groups
II. Products of Groups Hong-Jian Lai October 2002 1. Direct Products (1.1) The direct product (also refereed as complete direct sum) of a collection of groups G i, i I consists of the Cartesian product
More informationThe p-adic numbers. Given a prime p, we define a valuation on the rationals by
The p-adic numbers There are quite a few reasons to be interested in the p-adic numbers Q p. They are useful for solving diophantine equations, using tools like Hensel s lemma and the Hasse principle,
More informationWelsh s problem on the number of bases of matroids
Welsh s problem on the number of bases of matroids Edward S. T. Fan 1 and Tony W. H. Wong 2 1 Department of Mathematics, California Institute of Technology 2 Department of Mathematics, Kutztown University
More informationMETRIC HEIGHTS ON AN ABELIAN GROUP
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 44, Number 6, 2014 METRIC HEIGHTS ON AN ABELIAN GROUP CHARLES L. SAMUELS ABSTRACT. Suppose mα) denotes the Mahler measure of the non-zero algebraic number α.
More informationFinal Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is
1. Describe the elements of the set (Z Q) R N. Is this set countable or uncountable? Solution: The set is equal to {(x, y) x Z, y N} = Z N. Since the Cartesian product of two denumerable sets is denumerable,
More information64 P. ERDOS AND E. G. STRAUS It is possible that (1.1) has only a finite number of solutions for fixed t and variable k > 2, but we cannot prove this
On Products of Consecutive Integers P. ERDŐS HUNGARIAN ACADEMY OF SCIENCE BUDAPEST, HUNGARY E. G. STRAUSt UNIVERSITY OF CALIFORNIA LOS ANGELES, CALIFORNIA 1. Introduction We define A(n, k) = (n + k)!/n!
More informationDepartment of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination I (Spring 2008)
Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination I (Spring 2008) Problem 1: Suppose A, B, C and D are arbitrary sets.
More informationDefining Valuation Rings
East Carolina University, Greenville, North Carolina, USA June 8, 2018 Outline 1 What? Valuations and Valuation Rings Definability Questions in Number Theory 2 Why? Some Questions and Answers Becoming
More informationZero-sum square matrices
Zero-sum square matrices Paul Balister Yair Caro Cecil Rousseau Raphael Yuster Abstract Let A be a matrix over the integers, and let p be a positive integer. A submatrix B of A is zero-sum mod p if the
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 information15 Elliptic curves and Fermat s last theorem
15 Elliptic curves and Fermat s last theorem Let q > 3 be a prime (and later p will be a prime which has no relation which q). Suppose that there exists a non-trivial integral solution to the Diophantine
More information(n = 0, 1, 2,... ). (2)
Bull. Austral. Math. Soc. 84(2011), no. 1, 153 158. ON A CURIOUS PROPERTY OF BELL NUMBERS Zhi-Wei Sun and Don Zagier Abstract. In this paper we derive congruences expressing Bell numbers and derangement
More informationRECIPES FOR TERNARY DIOPHANTINE EQUATIONS OF SIGNATURE (p, p, k)
RECIPES FOR TERNARY DIOPHANTINE EQUATIONS OF SIGNATURE (p, p, k) MICHAEL A. BENNETT Abstract. In this paper, we survey recent work on ternary Diophantine equations of the shape Ax n + By n = Cz m for m
More informationCHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA
CHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA BJORN POONEN Abstract. We prove that Z in definable in Q by a formula with 2 universal quantifiers followed by 7 existential
More information1 Homework. Recommended Reading:
Analysis MT43C Notes/Problems/Homework Recommended Reading: R. G. Bartle, D. R. Sherbert Introduction to real analysis, principal reference M. Spivak Calculus W. Rudin Principles of mathematical analysis
More informationCHAPTER V Fermat s last theorem
5.1 Introduction. CHAPTER V Fermat s last theorem We discuss elementary methods approaches to Fermat s last theorem, in which the game is we do not use complex numbers. In this chapter we use methods available
More informationON THE DIOPHANTINE EQUATION?, x /d = 0 (mod 1)
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 112, Number 1, May 1991 ON THE DIOPHANTINE EQUATION?, x /d = 0 (mod 1) SUN QI AND DAQING WAN (Communicated by William Adams) Abstract. Let dx,...,
More informationMath 261A Probabilistic Combinatorics Instructor: Sam Buss Fall 2015 Homework assignments
Math 261A Probabilistic Combinatorics Instructor: Sam Buss Fall 2015 Homework assignments Problems are mostly taken from the text, The Probabilistic Method (3rd edition) by N Alon and JH Spencer Please
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 informationThe 70th William Lowell Putnam Mathematical Competition Saturday, December 5, 2009
The 7th William Lowell Putnam Mathematical Competition Saturday, December 5, 9 A1 Let f be a real-valued function on the plane such that for every square ABCD in the plane, f(a) + f(b) + f(c) + f(d) =.
More informationProblem 1A. Calculus. Problem 3A. Real analysis. f(x) = 0 x = 0.
Problem A. Calculus Find the length of the spiral given in polar coordinates by r = e θ, < θ 0. Solution: The length is 0 θ= ds where by Pythagoras ds = dr 2 + (rdθ) 2 = dθ 2e θ, so the length is 0 2e
More informationMATH 304 Linear Algebra Lecture 8: Vector spaces. Subspaces.
MATH 304 Linear Algebra Lecture 8: Vector spaces. Subspaces. Linear operations on vectors Let x = (x 1, x 2,...,x n ) and y = (y 1, y 2,...,y n ) be n-dimensional vectors, and r R be a scalar. Vector sum:
More informationUse mathematical induction in Exercises 3 17 to prove summation formulae. Be sure to identify where you use the inductive hypothesis.
Exercises Exercises 1. There are infinitely many stations on a train route. Suppose that the train stops at the first station and suppose that if the train stops at a station, then it stops at the next
More informationARTIN S CONJECTURE AND SYSTEMS OF DIAGONAL EQUATIONS
ARTIN S CONJECTURE AND SYSTEMS OF DIAGONAL EQUATIONS TREVOR D. WOOLEY Abstract. We show that Artin s conjecture concerning p-adic solubility of Diophantine equations fails for infinitely many systems of
More informationHans Wenzl. 4f(x), 4x 3 + 4ax bx + 4c
MATH 104C NUMBER THEORY: NOTES Hans Wenzl 1. DUPLICATION FORMULA AND POINTS OF ORDER THREE We recall a number of useful formulas. If P i = (x i, y i ) are the points of intersection of a line with the
More information(3) Let Y be a totally bounded subset of a metric space X. Then the closure Y of Y
() Consider A = { q Q : q 2 2} as a subset of the metric space (Q, d), where d(x, y) = x y. Then A is A) closed but not open in Q B) open but not closed in Q C) neither open nor closed in Q D) both open
More informationarxiv: v2 [math.nt] 4 Jun 2016
ON THE p-adic VALUATION OF STIRLING NUMBERS OF THE FIRST KIND PAOLO LEONETTI AND CARLO SANNA arxiv:605.07424v2 [math.nt] 4 Jun 206 Abstract. For all integers n k, define H(n, k) := /(i i k ), where the
More informationTwo Factor Additive Conjoint Measurement With One Solvable Component
Two Factor Additive Conjoint Measurement With One Solvable Component Christophe Gonzales LIP6 Université Paris 6 tour 46-0, ème étage 4, place Jussieu 755 Paris Cedex 05, France e-mail: ChristopheGonzales@lip6fr
More informationChapter 1 : The language of mathematics.
MAT 200, Logic, Language and Proof, Fall 2015 Summary Chapter 1 : The language of mathematics. Definition. A proposition is a sentence which is either true or false. Truth table for the connective or :
More informationarxiv: v1 [math.nt] 9 Sep 2017
arxiv:179.2954v1 [math.nt] 9 Sep 217 ON THE FACTORIZATION OF x 2 +D GENERALIZED RAMANUJAN-NAGELL EQUATION WITH HUGE SOLUTION) AMIR GHADERMARZI Abstract. Let D be a positive nonsquare integer such that
More informationPUTNAM PROBLEMS SEQUENCES, SERIES AND RECURRENCES. Notes
PUTNAM PROBLEMS SEQUENCES, SERIES AND RECURRENCES Notes. x n+ = ax n has the general solution x n = x a n. 2. x n+ = x n + b has the general solution x n = x + (n )b. 3. x n+ = ax n + b (with a ) can be
More informationChapter 1. Sets and Mappings
Chapter 1. Sets and Mappings 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 informationA LOWER BOUND FOR THE FUNDAMENTAL FREQUENCY OF A CONVEX REGION
proceedings of the american mathematical society Volume 81, Number 1, January 1981 A LOWER BOUND FOR THE FUNDAMENTAL FREQUENCY OF A CONVEX REGION M. H. PROTTER1 Abstract. A lower bound for the first eigenvalue
More informationTopology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:
Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework
More informationON A THEOREM OF TARTAKOWSKY
ON A THEOREM OF TARTAKOWSKY MICHAEL A. BENNETT Dedicated to the memory of Béla Brindza Abstract. Binomial Thue equations of the shape Aa n Bb n = 1 possess, for A and B positive integers and n 3, at most
More informationLECTURE 2 FRANZ LEMMERMEYER
LECTURE 2 FRANZ LEMMERMEYER Last time we have seen that the proof of Fermat s Last Theorem for the exponent 4 provides us with two elliptic curves (y 2 = x 3 + x and y 2 = x 3 4x) in the guise of the quartic
More informationReal Analysis - Notes and After Notes Fall 2008
Real Analysis - Notes and After Notes Fall 2008 October 29, 2008 1 Introduction into proof August 20, 2008 First we will go through some simple proofs to learn how one writes a rigorous proof. Let start
More informationMAXIMA AND MINIMA CHAPTER 7.1 INTRODUCTION 7.2 CONCEPT OF LOCAL MAXIMA AND LOCAL MINIMA
CHAPTER 7 MAXIMA AND MINIMA 7.1 INTRODUCTION The notion of optimizing functions is one of the most important application of calculus used in almost every sphere of life including geometry, business, trade,
More informationMaths 212: Homework Solutions
Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then
More informationEXERCISES 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 informationExpansions of quadratic maps in prime fields
Expansions of quadratic maps in prime fields Mei-Chu Chang Department of Mathematics University of California, Riverside mcc@math.ucr.edu Abstract Let f(x) = ax 2 +bx+c Z[x] be a quadratic polynomial with
More informationAnalysis of California Mathematics standards to Common Core standards Algebra I
Analysis of California Mathematics standards to Common Core standards Algebra I CA Math Standard Domain Common Core Standard () Alignment Comments in 1.0 Students identify and use the arithmetic properties
More informationNORMAL NUMBERS AND UNIFORM DISTRIBUTION (WEEKS 1-3) OPEN PROBLEMS IN NUMBER THEORY SPRING 2018, TEL AVIV UNIVERSITY
ORMAL UMBERS AD UIFORM DISTRIBUTIO WEEKS -3 OPE PROBLEMS I UMBER THEORY SPRIG 28, TEL AVIV UIVERSITY Contents.. ormal numbers.2. Un-natural examples 2.3. ormality and uniform distribution 2.4. Weyl s criterion
More informationarxiv: v1 [math.gr] 4 Aug 2016
Asymmetric dynamics of outer automorphisms Mar C. Bell University of Illinois mcbell@illinois.edu arxiv:608.0550v [math.gr] 4 Aug 206 January 8, 208 Abstract We consider the action of an irreducible outer
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 information9. Integral Ring Extensions
80 Andreas Gathmann 9. Integral ing Extensions In this chapter we want to discuss a concept in commutative algebra that has its original motivation in algebra, but turns out to have surprisingly many applications
More informationSome Background Material
Chapter 1 Some Background Material In the first chapter, we present a quick review of elementary - but important - material as a way of dipping our toes in the water. This chapter also introduces important
More informationApollonian Circle Packings: Number Theory II. Spherical and Hyperbolic Packings
Apollonian Circle Packings: Number Theory II. Spherical and Hyperbolic Packings Nicholas Eriksson University of California at Berkeley Berkeley, CA 942 Jeffrey C. Lagarias University of Michigan Ann Arbor,
More informationMore Model Theory Notes
More Model Theory Notes Miscellaneous information, loosely organized. 1. Kinds of Models A countable homogeneous model M is one such that, for any partial elementary map f : A M with A M finite, and any
More informationDiophantine triples in a Lucas-Lehmer sequence
Annales Mathematicae et Informaticae 49 (01) pp. 5 100 doi: 10.33039/ami.01.0.001 http://ami.uni-eszterhazy.hu Diophantine triples in a Lucas-Lehmer sequence Krisztián Gueth Lorand Eötvös University Savaria
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 informationPythagoras = $1 million problem. Ken Ono Emory University
Pythagoras = $1 million problem Ken Ono Emory University Pythagoras The Pythagorean Theorem Theorem (Pythagoras) If (a, b, c) is a right triangle, then a 2 + b 2 = c 2. Pythagoras The Pythagorean Theorem
More information