Representation of p-adic numbers in rational base numeration systems
|
|
- Georgia Patrick
- 6 years ago
- Views:
Transcription
1 Representation of p-adic numbers in rational base numeration systems Christiane Frougny LIAFA, CNRS, and Université Paris 8 Numeration June 4-8, 200, Leiden Joint work with Karel Klouda
2 Base p = 0 Introduction to p-adic numbers 3 =
3 Base p = 0 What is the meaning of Introduction to p-adic numbers 3 = = 0 3
4 Base p = 0 What is the meaning of Introduction to p-adic numbers 3 = = = 7+6 i (0)i using the formal sum i 0 X i = X
5 Base p = 0 What is the meaning of Introduction to p-adic numbers 3 = = = 7+6 i (0)i using the formal sum i 0 X i = X Arithmetic as usual =
6 p-adic numbers The set of p-adic integers is Z p = i 0 a ip i with a i in A p = {0,,..., p }. Notation: a 2 a a 0. Z p. The set of p-adic numbers is Q p = i k 0 a i p i with a i in A p. Notation: a 2 a a 0.a a k0 Q p. Q p is a commutative ring, and Z p is a subring of Q p. p-adic valuation v p : Z\{0} Z is given by For x = a b Q n = p vp(n) n with p n. vp(x) a x = p b with (a, b ) = and (b, p) =. The p-metric is defined on Q by d p (x, y) = p vp(x y). It is an ultrametric distance.
7 Example p = 0 n {}}{ Take z n = Then z n 3 = 2 3 (0)n+ and v 0 (z n 3 ) = n+ thus d 0 (z n, 3 ) = (0) n 0 Hence the 0-adic representation of 3 is
8 p = 0 Take s = and t = Hence s + t = = s = t = s + t
9 = s = t = s t Hence st = 0 0 thus Z 0 is not a domain.
10 = s = t = s t Hence st = 0 0 thus Z 0 is not a domain. One has also s 2 = s, t 2 = t.
11 = s = t = s t Hence st = 0 0 thus Z 0 is not a domain. One has also s 2 = s, t 2 = t. One can prove that s = 2 0 and s = 5 t = 2 and t = 5 0.
12 Computer arithmetic 2 s complement In base 2, on n positions. n = 8: 0 = = = 0 Troncation of 2-adic numbers. = = 28
13 p prime Q p is a field if and only if p is prime. Q p is the completion of Q with respect to d p. p-adic absolute value on Q: { 0 if x = 0, x p = p vp(x) otherwise. Q p is the uotient field of the ring of p-adic integers Z p = {x Q p x p }.
14 p prime p-expansion of p-adic numbers Algorithm Let x = s t, s an integer and t a positive integer. (i) If s = 0, return the empty word a = ε. (ii) If t is co-prime to p, put s 0 = s and for all i N define s i+ and a i A p by Return a = a 2 a a 0. s i t = ps i+ t + a i. (iii) If t is not co-prime to p, multiply s t by p until xp l is of the form s t, where t is co-prime to p. Then apply (ii) returning a = a 2 a a 0. Return a = a a 0 a a 2 a l = a l a l a a 0. a is said to be the p-expansion of x and denoted by < x > p. l = v p (x)
15 Theorem Let x Q p. Then the p-representation of x is. uniuely given, 2. finite if, and only if, x N, 3. eventually periodic if, and only if, x Q.
16 Rational base numeration system (Akiyama, Frougny, Sakarovitch 2008) p > co-prime integers.
17 Rational base numeration system (Akiyama, Frougny, Sakarovitch 2008) p > co-prime integers. Representation of the natural integers: Algorithm (MD algorithm) Let s be a positive integer. Put s 0 = s and for all i N: Return s i = ps i+ + a i with a i A p p -expansion of s: < s > p s = n i=0 a i = a n a a 0. ( ) p i
18 p -expansions properties L p L p = {w A p w is is prefix-closed, any u A + p is a suffix of some w L L p is not context-free (if ), p -expansion of some s N} π : A + p Q the evaluation map. If v, w L p, then p, v w π(v) π(w).
19 T p p = 3, = 2 tree of nonnegative integers G 0 G G 2 G 3 G 4 Children of the vertex n are given by (pn+a) N, a A p. p G 0 =, G i+ = i G
20 In AFS 2008, the right infinite words that label the infinite paths of T p are defined as the admissible p -expansions of positive real numbers, of the form.a a 2, and it is proved that every positive real in [0, ] has exactly one p -expansion, but for an infinite countable subset of reals which have more than one such expansion. No periodic expansion. Connection with the problem of the distribution of the powers of a rational number modulo (Mahler 968).
21 MD algorithm the negative case Let s be a negative integer. The -expansion of s is < s > p= a 2 a a 0. from the MD algorithm: s 0 = s, s i = ps i+ + a i. p
22 MD algorithm the negative case Let s be a negative integer. The -expansion of s is < s > p= a 2 a a 0. from the MD algorithm: Properties of (s i ) i 0 : (i) (s i ) i is negative, s 0 = s, s i = ps i+ + a i. (ii) if s i < p p, then s i < s i+, (iii) if p p s i < 0, then p p s i+ < 0. p p p 0
23 In which fields does it work? We want: n s i=0 a i ( p n n s = s n + ) i=0 a i ( ) p n ( ) p n ( p n = s n r 0 ) r r as n Hence, if p = r j r j 2 2 r j k k, the p -expansion of s works only in Q rl,l =,...,k. The speed of convergence is then r jln.
24 p -expansions of negative integers Proposition Let k be a positive integer, and denote B = p p. Then: (i) if k B, then < k > p= ω b with b = k(p ), (ii) otherwise, < k > p= ω bw with w A + p and b = B(p ).
25 p = 3, = 2 T p tree of negative integers ω 0 ω T p ω T p
26 p = 3, = 2 T p ω 0 tree of negative integers ω - ω F 0 F F F F p p F 0 = B =, F i+ = i p F 2 0 F
27 p = 8, = 5 Trees T p and T p ω 0 ω 3 p = 8, = ω
28 p = 8, = 5 Trees T p and T p ω 0 ω p = 8, = ω The trees T p and T p are isomorphic if and only if p p Z.
29 p -expansions of negative integers properties for = and p prime we get the standard p-adic representation, L p = {w A p ω bw is p -expansion of s B, b / Pref(w)} L p is prefix-closed, any u A + p is a suffix of some w L L p is not context-free (if ). p,
30 MD algorithm for rationals Algorithm (MD algorithm) Let x = s t, s, t Z co-prime, s 0, and t > 0 co-prime to p. Put s 0 = s and for all i N define s i+ and a i A p by Return the s i t = p s i+ t + a i. p -expansion of x: < x > p= a 2 a a 0. s = i=0 a i ( ) p i
31 Examples x < x > p (s i ) i 0 ) abs. values p = 3, = , 3, 2,, 0, 0,... all -5 ω 202-5,-3,-2,-2,-2,... 3 /4 20,6,4,0,0,... all /8 ω 222,2,-4,-8,-8,-8,... 3 /5 ω (02)22,4,,-,-4,-6,-4,-6,... 3 p = 30, = ,, 0, 0,... all -5 ω ,-2,-,-,... 2, 3, 5 /7 ω (2 2 5) 23 3,, -5, -3, -6, -5,... 2, 3, 5
32 MD algorithm properties For the seuence (s i ) i from the MD algorithm we have: (i) if s > 0 and t =, (s i ) i is eventually zero, (ii) if s > 0 and t >, (s i ) i is either eventually zero or eventually negative, (iii) if s < 0, (s i ) i is negative, (iv) if s i < p p t, then s i < s i+, (v) if p p t s i < 0, then p p t s i+ < 0. p p t - 0
33 MD algorithm properties For the seuence (s i ) i from the MD algorithm we have: (i) if s > 0 and t =, (s i ) i is eventually zero, (ii) if s > 0 and t >, (s i ) i is either eventually zero or eventually negative, (iii) if s < 0, (s i ) i is negative, (iv) if s i < p p t, then s i < s i+, (v) if p p t s i < 0, then p p t s i+ < 0. Proposition Let x = s t Q. Then < x > p less than p p t. is eventually periodic with period
34 p -representation of r-adic numbers r, r, r 2,... prime numbers. p an integer >. Definition A left infinite word a k0 +a k0, k 0 N, over A p is a p -representation of x Q r if a k0 > 0 or k 0 = 0 and with respect to r. a i x = i= k 0 ( ) p i
35 Let p = r j r j 2 2 r j k k. Theorem Let x Q ri for some i {,..., k}. (i) If k = (i.e. p is a power of a prime), there exists a uniue p -representation of x in Q r. (ii) If k >, there exist uncountably many p -representations of x in Q ri.
36 Let p = r j r j 2 2 r j k k. Theorem Let x Q ri for some i {,..., k}. (i) If k = (i.e. p is a power of a prime), there exists a uniue p -representation of x in Q r. (ii) If k >, there exist uncountably many p -representations of x in Q ri. Let x Q and let i,..., i l {,...,k},l < k, be distinct. (i) There exist uncountably many p -representations which work in all fields Q ri,...,q ril. (ii) There exists a uniue p fields Q r,...,q rk ; namely, the -representation which works in all p -expansion < x > p. (iii) The p -expansion < x > p is the only p -representation which is eventually periodic.
37 p = 30, = The following are aperiodic p -representations of in both fields Q 2 and Q 3 :
38 p-odometer a a 0,...,p 2 p p 0
39 p-odometer a a 0,...,p 2 p p 0 p -odometer a a 0,..., p p p 0,...,p
40 Conversion from p-expansions to p -expansions Right on-line denumerable transducer: z 0 = 0, i = 0 and, for i 0 with a, b A p such that (z i, i) a b (z i+, i + ), a i + z i = b + p z i+. Input: a a 0 N A p such that x = i=0 a ip i Z r with r prime factor of p Output: b b 0 N A p such that x = b i i=0 The converter cannot be finite. ( p ) i.
41 Base 3 to system convertor 0, 0 0 0, ,, , 2, 2 2, 2 3, 2
42 On N A p define a distance δ: for a, b N A p, δ(a, b) = 2 i with i = min{j N a j b j }. Proposition The conversion from p-expansions to p -expansions χ : N A p a N A p b such that x = i=0 a ip i = ( ) i b i p i=0 Z r realized by the converter is Lipchitz, and thus uniformly continuous for the δ-topology. Remark: the inverse conversion is also realizable by a right on-line transducer. Corollary The digits in a p -expansion are uniformly distributed.
43 p -representations Algorithm (MDbis algorithm) Let x = s t, s, t Z co-prime, s 0, and t > 0 co-prime to p. Put s 0 = s and for all i N define s i+ and a i A p by s i t = p s i+ t + a i. Return the p -expansion of x: < x > p = a 2 a a 0. s = ( p a i i=0 ) i
44 All the results on finiteness and periodicity for p -representations are similar for p -representations. The main difference is on the tree of representations of the integers.
45 All the results on finiteness and periodicity for p -representations are similar for p -representations. The main difference is on the tree of representations of the integers. Theorem There exists a finite right seuential transducer C converting the p -representation of any x Z r, r prime factor of p, to its p -representation; the inverse of C is also a finite right seuential transducer. There is a one-to-one mapping between the sets of all p - and p -representations of elements of Z r which preserves eventual periodicity. One can say that the p - and p - numeration systems are isomorphic.
46 Right seuential transducer from p to p p = 3, = 2 0, ,
47 Negative rational base One can also define representations of the form ai ( p ) i, and ( ai p ) i with a i A p, by modifying the MD and MDbis algorithms by and s i t s i t = p s i+ t = p s i+ t + a i + a i
48 Negative rational base Definition (Kátai and Szabó 975) A Canonical Number System is a positional numeration system in which every integer (positive or negative) has a uniue finite expansion of the form a n a 0. Proposition The ( p )- and the ( p )- numeration systems are CNS. The ( p )- numeration system has been previously considered by Gilbert (99).
49 Conversions Theorem The conversion from the p (resp. the p ) -representation of any x Z r, r prime factor of p, to its ( p ) (resp. its ( p )) representation is realizable by a finite right seuential transducer ; the inverse conversion as well. p -rep. rational base ( ) p -rep. integer base p-rep. p -rep. ( ) p -rep. ( p)-rep. finite conversion by finite seuential transducer infinite conversion by on-line algorithm
Automata for arithmetic Meyer sets
Author manuscript, published in "LATIN 4, Buenos-Aires : Argentine (24)" DOI : 1.17/978-3-54-24698-5_29 Automata for arithmetic Meyer sets Shigeki Akiyama 1, Frédérique Bassino 2, and Christiane Frougny
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #5 09/19/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #5 09/19/2013 5.1 The field of p-adic numbers Definition 5.1. The field of p-adic numbers Q p is the fraction field of Z p. As a fraction field,
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 information8 Complete fields and valuation rings
18.785 Number theory I Fall 2017 Lecture #8 10/02/2017 8 Complete fields and valuation rings In order to make further progress in our investigation of finite extensions L/K of the fraction field K of a
More information1 Adeles over Q. 1.1 Absolute values
1 Adeles over Q 1.1 Absolute values Definition 1.1.1 (Absolute value) An absolute value on a field F is a nonnegative real valued function on F which satisfies the conditions: (i) x = 0 if and only if
More information= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2
8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose
More informationExistence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets
Existence of a Limit on a Dense Set, and Construction of Continuous Functions on Special Sets REU 2012 Recap: Definitions Definition Given a real-valued function f, the limit of f exists at a point c R
More informationNumber systems over orders of algebraic number fields
Number systems over orders of algebraic number fields Attila Pethő Department of Computer Science, University of Debrecen, Hungary and University of Ostrava, Faculty of Science, Czech Republic Joint work
More informationOn negative bases.
On negative bases Christiane Frougny 1 and Anna Chiara Lai 2 1 LIAFA, CNRS UMR 7089, case 7014, 75205 Paris Cedex 13, France, and University Paris 8, Christiane.Frougny@liafa.jussieu.fr 2 LIAFA, CNRS UMR
More information1.4 Cardinality. Tom Lewis. Fall Term Tom Lewis () 1.4 Cardinality Fall Term / 9
1.4 Cardinality Tom Lewis Fall Term 2006 Tom Lewis () 1.4 Cardinality Fall Term 2006 1 / 9 Outline 1 Functions 2 Cardinality 3 Cantor s theorem Tom Lewis () 1.4 Cardinality Fall Term 2006 2 / 9 Functions
More informationa = a i 2 i a = All such series are automatically convergent with respect to the standard norm, but note that this representation is not unique: i<0
p-adic Numbers K. Sutner v0.4 1 Modular Arithmetic rings integral domains integers gcd, extended Euclidean algorithm factorization modular numbers add Lemma 1.1 (Chinese Remainder Theorem) Let a b. Then
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 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 information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationbeta-numeration and Rauzy fractals for non-unit Pisot numbers
beta-numeration and Rauzy fractals for non-unit Pisot numbers Anne Siegel (Irisa, CNRS, Rennes) Kanazawa, June 05 Overview β-expansion: expand a positive real number in a non-integer Pisot basis β Represent
More informationRepetitions in Words Associated with Parry Numbers
Repetitions in Words Associated with Parry Numbers Karel Klouda 1, 2 karel@kloudak.eu Joint work with E.Pelantová 1 and L. Balková 1 1 FNSPE, CTU in Prague 2 LIAFA, Université Paris 7 The 2nd Canadian
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 informationProfinite number theory
Mathematisch Instituut Universiteit Leiden The factorial number system Each n Z 0 has a unique representation n = c i i! with c i Z, i=1 0 c i i, #{i : c i 0}
More informationProfinite Groups. Hendrik Lenstra. 1. Introduction
Profinite Groups Hendrik Lenstra 1. Introduction We begin informally with a motivation, relating profinite groups to the p-adic numbers. Let p be a prime number, and let Z p denote the ring of p-adic integers,
More informationZair Ibragimov CSUF. Talk at Fullerton College July 14, Geometry of p-adic numbers. Zair Ibragimov CSUF. Valuations on Rational Numbers
integers Talk at Fullerton College July 14, 2011 integers Let Z = {..., 2, 1, 0, 1, 2,... } denote the integers. Let Q = {a/b : a, b Z and b > 0} denote the rational. We can add and multiply rational :
More informationSolutions, Project on p-adic Numbers, Real Analysis I, Fall, 2010.
Solutions, Project on p-adic Numbers, Real Analysis I, Fall, 2010. (24) The p-adic numbers. Let p {2, 3, 5, 7, 11,... } be a prime number. (a) For x Q, define { 0 for x = 0, x p = p n for x = p n (a/b),
More informationPOWERS OF RATIONALS MODULO 1 AND RATIONAL BASE NUMBER SYSTEMS
ISRAEL JOURNAL OF MATHEMATICS 68 (8), 53 9 DOI:.7/s856-8-56-4 POWERS OF RATIONALS MODULO AND RATIONAL BASE NUMBER SYSTEMS BY Shigeki Akiyama Deartment of Mathematics, Niigata University, Jaan e-mail: akiyama@math.sc.niigata-u.ac.j
More informationOn the cost and complexity of the successor function
On the cost and complexity of the successor function Valérie Berthé 1, Christiane Frougny 2, Michel Rigo 3, and Jacques Sakarovitch 4 1 LIRMM, CNRS-UMR 5506, Univ. Montpellier II, 161 rue Ada, F-34392
More informationAlgebraic function fields
Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which
More informationSequence of maximal distance codes in graphs or other metric spaces
Electronic Journal of Graph Theory and Applications 1 (2) (2013), 118 124 Sequence of maximal distance codes in graphs or other metric spaces C. Delorme University Paris Sud 91405 Orsay CEDEX - France.
More informationOn the Accepting Power of 2-Tape Büchi Automata
On the Accepting Power of 2-Tape Büchi Automata Equipe de Logique Mathématique Université Paris 7 STACS 2006 Acceptance of infinite words In the sixties, Acceptance of infinite words by finite automata
More informationValuations. 6.1 Definitions. Chapter 6
Chapter 6 Valuations In this chapter, we generalize the notion of absolute value. In particular, we will show how the p-adic absolute value defined in the previous chapter for Q can be extended to hold
More informationNOTES ON DIOPHANTINE APPROXIMATION
NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics
More informationFrom now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1.
Chapter 1 Metric spaces 1.1 Metric and convergence We will begin with some basic concepts. Definition 1.1. (Metric space) Metric space is a set X, with a metric satisfying: 1. d(x, y) 0, d(x, y) = 0 x
More informationOn the Sequentiality of the Successor Function
information and computation 139, 1738 (1997) article no. IC972650 On the Sequentiality of the Successor Function Christiane Frougny Universite Paris 8, and LIAFA (LITP), 4 place Jussieu, 75252 Paris Cedex
More informationPalindromic complexity of infinite words associated with simple Parry numbers
Palindromic complexity of infinite words associated with simple Parry numbers Petr Ambrož (1)(2) Christiane Frougny (2)(3) Zuzana Masáková (1) Edita Pelantová (1) March 22, 2006 (1) Doppler Institute for
More informationMATH 310 Course Objectives
MATH 310 Course Objectives Upon successful completion of MATH 310, the student should be able to: Apply the addition, subtraction, multiplication, and division principles to solve counting problems. Apply
More informationAutomata on linear orderings
Automata on linear orderings Véronique Bruyère Institut d Informatique Université de Mons-Hainaut Olivier Carton LIAFA Université Paris 7 September 25, 2006 Abstract We consider words indexed by linear
More informationECARES Université Libre de Bruxelles MATH CAMP Basic Topology
ECARES Université Libre de Bruxelles MATH CAMP 03 Basic Topology Marjorie Gassner Contents: - Subsets, Cartesian products, de Morgan laws - Ordered sets, bounds, supremum, infimum - Functions, image, preimage,
More informationOn the concrete complexity of the successor function
On the concrete complexity of the successor function M. Rigo joint work with V. Berthé, Ch. Frougny, J. Sakarovitch http://www.discmath.ulg.ac.be/ http://orbi.ulg.ac.be/handle/2268/30094 Let s start with
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 informationVALUATION THEORY, GENERALIZED IFS ATTRACTORS AND FRACTALS
VALUATION THEORY, GENERALIZED IFS ATTRACTORS AND FRACTALS JAN DOBROWOLSKI AND FRANZ-VIKTOR KUHLMANN Abstract. Using valuation rings and valued fields as examples, we discuss in which ways the notions of
More informationERGODIC DYNAMICAL SYSTEMS CONJUGATE TO THEIR COMPOSITION SQUARES. 0. Introduction
Acta Math. Univ. Comenianae Vol. LXXI, 2(2002), pp. 201 210 201 ERGODIC DYNAMICAL SYSTEMS CONJUGATE TO THEIR COMPOSITION SQUARES G. R. GOODSON Abstract. We investigate the question of when an ergodic automorphism
More informationCHAPTER 8: EXPLORING R
CHAPTER 8: EXPLORING R LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN In the previous chapter we discussed the need for a complete ordered field. The field Q is not complete, so we constructed
More informationNote that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.
Algebra fact sheet An algebraic structure (such as group, ring, field, etc.) is a set with some operations and distinguished elements (such as 0, 1) satisfying some axioms. This is a fact sheet with definitions
More informationECEN 5682 Theory and Practice of Error Control Codes
ECEN 5682 Theory and Practice of Error Control Codes Introduction to Algebra University of Colorado Spring 2007 Motivation and For convolutional codes it was convenient to express the datawords and the
More informationOn the Hausdorff spectrum of some groups acting on the p-adic tree
On the Hausdorff spectrum of some groups acting on the p-adic tree Gustavo A. Fernández-Alcober (joint work with Amaia Zugadi-Reizabal) University of the Basque Country, Bilbao, Spain Ischia Group Theory
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 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 informationRational numbers with purely periodic beta-expansion. Boris Adamczeswki, C. Frougny, A. Siegel, W.Steiner
Rational numbers with purely periodic beta-expansion Boris Adamczeswki, C. Frougny, A. Siegel, W.Steiner Fractals, Tilings, and Things? Fractals, Tilings, and Things? Number theory : expansions in several
More informationSolutions to Tutorial 8 (Week 9)
The University of Sydney School of Mathematics and Statistics Solutions to Tutorial 8 (Week 9) MATH3961: Metric Spaces (Advanced) Semester 1, 2018 Web Page: http://www.maths.usyd.edu.au/u/ug/sm/math3961/
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 informationElliott s program and descriptive set theory I
Elliott s program and descriptive set theory I Ilijas Farah LC 2012, Manchester, July 12 a, a, a, a, the, the, the, the. I shall need this exercise later, someone please solve it Exercise If A = limna
More informationP-adic Functions - Part 1
P-adic Functions - Part 1 Nicolae Ciocan 22.11.2011 1 Locally constant functions Motivation: Another big difference between p-adic analysis and real analysis is the existence of nontrivial locally constant
More informationRINGS: SUMMARY OF MATERIAL
RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered
More informationAlgebraic Number Theory Notes: Local Fields
Algebraic Number Theory Notes: Local Fields Sam Mundy These notes are meant to serve as quick introduction to local fields, in a way which does not pass through general global fields. Here all topological
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationOn multiplicatively dependent linear numeration systems, and periodic points
On multiplicatively dependent linear numeration systems, and periodic points Christiane Frougny 1 L.I.A.F.A. Case 7014, 2 place Jussieu, 75251 Paris Cedex 05, France Christiane.Frougny@liafa.jussieu.fr
More information1/30: Polynomials over Z/n.
1/30: Polynomials over Z/n. Last time to establish the existence of primitive roots we rely on the following key lemma: Lemma 6.1. Let s > 0 be an integer with s p 1, then we have #{α Z/pZ α s = 1} = s.
More informationDynamical systems on the field of p-adic numbers
Dynamical systems on the field of p-adic numbers Lingmin LIAO (Université Paris-Est Créteil) Dynamical Systems Seminar Institute of Mathematics, Academia Sinica August 19th 2013 Lingmin LIAO University
More informationA Short Review of Cardinality
Christopher Heil A Short Review of Cardinality November 14, 2017 c 2017 Christopher Heil Chapter 1 Cardinality We will give a short review of the definition of cardinality and prove some facts about the
More information* 8 Groups, with Appendix containing Rings and Fields.
* 8 Groups, with Appendix containing Rings and Fields Binary Operations Definition We say that is a binary operation on a set S if, and only if, a, b, a b S Implicit in this definition is the idea that
More informationMATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals
MATH 02 INTRODUCTION TO MATHEMATICAL ANALYSIS Properties of Real Numbers Some Fundamentals The whole course will be based entirely on the study of sequence of numbers and functions defined on the real
More informationGeometric motivic integration
Université Lille 1 Modnet Workshop 2008 Introduction Motivation: p-adic integration Kontsevich invented motivic integration to strengthen the following result by Batyrev. Theorem (Batyrev) If two complex
More informationNATIONAL BOARD FOR HIGHER MATHEMATICS. Research Scholarships Screening Test. Saturday, February 2, Time Allowed: Two Hours Maximum Marks: 40
NATIONAL BOARD FOR HIGHER MATHEMATICS Research Scholarships Screening Test Saturday, February 2, 2008 Time Allowed: Two Hours Maximum Marks: 40 Please read, carefully, the instructions on the following
More information7 Lecture 7: Rational domains, Tate rings and analytic points
7 Lecture 7: Rational domains, Tate rings and analytic points 7.1 Introduction The aim of this lecture is to topologize localizations of Huber rings, and prove some of their properties. We will discuss
More informationarxiv: v3 [math.oa] 12 Jul 2012
FREE GROUP C -ALGEBRAS ASSOCIATED WITH l p arxiv:1203.0800v3 [math.oa] 12 Jul 2012 RUI OKAYASU Abstract. For every p 2, we give a characterization of positive definite functions on a free group with finitely
More informationOn subtrees of the representation tree in rational base numeration systems
Discrete Mathematics and Theoretical Computer Science DMTCS vol. :, 8, # On subtrees of the representation tree in rational base numeration systems arxiv:7.8v [cs.dm] 7 Feb 8 Shigeki Akiyama Victor Marsault,
More informationTransducers for bidirectional decoding of codes with a finite deciphering delay
Transducers for bidirectional decoding of codes with a finite deciphering delay L. Giambruno 1, S. Mantaci 2, J. Néraud 3 and C. Selmi 3 GREYC - Université de Caen Basse-Normandie Dipartimento di Matematica
More informationMath 6120 Fall 2012 Assignment #1
Math 6120 Fall 2012 Assignment #1 Choose 10 of the problems below to submit by Weds., Sep. 5. Exercise 1. [Mun, 21, #10]. Show that the following are closed subsets of R 2 : (a) A = { (x, y) xy = 1 },
More informationJeong-Hyun Kang Department of Mathematics, University of West Georgia, Carrollton, GA
#A33 INTEGERS 10 (2010), 379-392 DISTANCE GRAPHS FROM P -ADIC NORMS Jeong-Hyun Kang Department of Mathematics, University of West Georgia, Carrollton, GA 30118 jkang@westga.edu Hiren Maharaj Department
More informationRings and Fields Theorems
Rings and Fields Theorems Rajesh Kumar PMATH 334 Intro to Rings and Fields Fall 2009 October 25, 2009 12 Rings and Fields 12.1 Definition Groups and Abelian Groups Let R be a non-empty set. Let + and (multiplication)
More informationEuclidean Models of the p-adic Integers
Euclidean Models of the p-adic Integers Scott Zinzer December 12, 2012 1 Introduction Much of our visual perception is based in what seems to be standard Euclidean space; we can easily imagine perfectly
More informationUNIVERSITY OF EAST ANGLIA. School of Mathematics UG End of Year Examination MATHEMATICAL LOGIC WITH ADVANCED TOPICS MTH-4D23
UNIVERSITY OF EAST ANGLIA School of Mathematics UG End of Year Examination 2003-2004 MATHEMATICAL LOGIC WITH ADVANCED TOPICS Time allowed: 3 hours Attempt Question ONE and FOUR other questions. Candidates
More informationCLASS FIELD THEORY WEEK Motivation
CLASS FIELD THEORY WEEK 1 JAVIER FRESÁN 1. Motivation In a 1640 letter to Mersenne, Fermat proved the following: Theorem 1.1 (Fermat). A prime number p distinct from 2 is a sum of two squares if and only
More informationAxioms of separation
Axioms of separation These notes discuss the same topic as Sections 31, 32, 33, 34, 35, and also 7, 10 of Munkres book. Some notions (hereditarily normal, perfectly normal, collectionwise normal, monotonically
More informationThe Mathematica Journal p-adic Arithmetic
The Mathematica Journal p-adic Arithmetic Stany De Smedt The p-adic numbers were introduced by K. Hensel in 1908 in his book Theorie der algebraïschen Zahlen, Leipzig, 1908. In this article we present
More informationProfinite methods in automata theory
Profinite methods in automata theory Jean-Éric Pin1 1 LIAFA, CNRS and Université Paris Diderot STACS 2009, Freiburg, Germany supported by the ESF network AutoMathA (European Science Foundation) Summary
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 informationAbstract Numeration Systems or Decimation of Languages
Abstract Numeration Systems or Decimation of Languages Emilie Charlier University of Waterloo, School of Computer Science Languages and Automata Theory Seminar Waterloo, April 1 and 8, 211 Positional numeration
More informationSet Theory and Models of Arithmetic ALI ENAYAT. First European Set Theory Meeting
Set Theory and Models of Arithmetic ALI ENAYAT First European Set Theory Meeting Bedlewo, July 12, 2007 PA is finite set theory! There is an arithmetical formula E(x, y) that expresses the x-th digit of
More information1 Absolute values and discrete valuations
18.785 Number theory I Lecture #1 Fall 2015 09/10/2015 1 Absolute values and discrete valuations 1.1 Introduction At its core, number theory is the study of the ring Z and its fraction field Q. Many questions
More informationCourse 2BA1: Trinity 2006 Section 9: Introduction to Number Theory and Cryptography
Course 2BA1: Trinity 2006 Section 9: Introduction to Number Theory and Cryptography David R. Wilkins Copyright c David R. Wilkins 2006 Contents 9 Introduction to Number Theory and Cryptography 1 9.1 Subgroups
More informationMetric Spaces Math 413 Honors Project
Metric Spaces Math 413 Honors Project 1 Metric Spaces Definition 1.1 Let X be a set. A metric on X is a function d : X X R such that for all x, y, z X: i) d(x, y) = d(y, x); ii) d(x, y) = 0 if and only
More informationZEROES OF INTEGER LINEAR RECURRENCES. 1. Introduction. 4 ( )( 2 1) n
ZEROES OF INTEGER LINEAR RECURRENCES DANIEL LITT Consider the integer linear recurrence 1. Introduction x n = x n 1 + 2x n 2 + 3x n 3 with x 0 = x 1 = x 2 = 1. For which n is x n = 0? Answer: x n is never
More informationTopological properties of Z p and Q p and Euclidean models
Topological properties of Z p and Q p and Euclidean models Samuel Trautwein, Esther Röder, Giorgio Barozzi November 3, 20 Topology of Q p vs Topology of R Both R and Q p are normed fields and complete
More information4.4 Noetherian Rings
4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)
More informationSection 2: Classes of Sets
Section 2: Classes of Sets Notation: If A, B are subsets of X, then A \ B denotes the set difference, A \ B = {x A : x B}. A B denotes the symmetric difference. A B = (A \ B) (B \ A) = (A B) \ (A B). Remarks
More informationA Generalization of Cobham s Theorem to Automata over Real Numbers
A Generalization of Cobham s Theorem to Automata over Real Numbers Bernard Boigelot and Julien Brusten Institut Montefiore, B28 Université de Liège B-4000 Liège, Belgium {boigelot,brusten}@montefiore.ulg.ac.be
More informationNotes on QE for ACVF
Notes on QE for ACVF Fall 2016 1 Preliminaries on Valuations We begin with some very basic definitions and examples. An excellent survey of this material with can be found in van den Dries [3]. Engler
More informationDuality and Automata Theory
Duality and Automata Theory Mai Gehrke Université Paris VII and CNRS Joint work with Serge Grigorieff and Jean-Éric Pin Elements of automata theory A finite automaton a 1 2 b b a 3 a, b The states are
More informationOn the sequentiality of the successor function. Christiane Frougny. Universite Paris 8. and. 4 place Jussieu, Paris Cedex 05, France
On the sequentiality of the successor function Christiane Frougny Universite Paris 8 and L.I.A.F.A. (LITP) 4 place Jussieu, 75252 Paris Cedex 05, France Email: Christiane.Frougny@litp.ibp.fr 1 Running
More informationTewodros Amdeberhan, Dante Manna and Victor H. Moll Department of Mathematics, Tulane University New Orleans, LA 70118
The -adic valuation of Stirling numbers Tewodros Amdeberhan, Dante Manna and Victor H. Moll Department of Mathematics, Tulane University New Orleans, LA 7011 Abstract We analyze properties of the -adic
More informationSturmian Trees. Jean Berstel Luc Boasson Olivier Carton Isabelle Fagnot
Theory Comput Syst (2010) 46: 443 478 DOI 10.1007/s00224-009-9228-0 Sturmian Trees Jean Berstel Luc Boasson Olivier Carton Isabelle Fagnot Published online: 24 July 2009 Springer Science+Business Media,
More informationA GENERAL THEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUTATIVE RING. David F. Anderson and Elizabeth F. Lewis
International Electronic Journal of Algebra Volume 20 (2016) 111-135 A GENERAL HEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUAIVE RING David F. Anderson and Elizabeth F. Lewis Received: 28 April 2016 Communicated
More informationMATRIX LIE GROUPS AND LIE GROUPS
MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either
More informationProperties of Probability
Econ 325 Notes on Probability 1 By Hiro Kasahara Properties of Probability In statistics, we consider random experiments, experiments for which the outcome is random, i.e., cannot be predicted with certainty.
More informationABSTRACT NONSINGULAR CURVES
ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine n-space the collection A n k of points P = a 1, a,..., a
More informationRudiments of Ergodic Theory
Rudiments of Ergodic Theory Zefeng Chen September 24, 203 Abstract In this note we intend to present basic ergodic theory. We begin with the notion of a measure preserving transformation. We then define
More informationToday. Wrapup of Polynomials...and modular arithmetic. Coutability and Uncountability.
Today. Wrapup of Polynomials...and modular arithmetic. Coutability and Uncountability. Reed-Solomon code. Problem: Communicate n packets m 1,...,m n on noisy channel that corrupts k packets. Reed-Solomon
More informationChapter One. The Real Number System
Chapter One. The Real Number System We shall give a quick introduction to the real number system. It is imperative that we know how the set of real numbers behaves in the way that its completeness and
More informationMath 547, Exam 1 Information.
Math 547, Exam 1 Information. 2/10/10, LC 303B, 10:10-11:00. Exam 1 will be based on: Sections 5.1, 5.2, 5.3, 9.1; The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
More informationAn algebraic characterization of unary two-way transducers
An algebraic characterization of unary two-way transducers (Extended Abstract) Christian Choffrut 1 and Bruno Guillon 1 LIAFA, CNRS and Université Paris 7 Denis Diderot, France. Abstract. Two-way transducers
More informationRings, Integral Domains, and Fields
Rings, Integral Domains, and Fields S. F. Ellermeyer September 26, 2006 Suppose that A is a set of objects endowed with two binary operations called addition (and denoted by + ) and multiplication (denoted
More information