Representation of p-adic numbers in rational base numeration systems

Size: px
Start display at page:

Download "Representation of p-adic numbers in rational base numeration systems"

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

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 information

Introduction to Arithmetic Geometry Fall 2013 Lecture #5 09/19/2013

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

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES

MA257: 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 information

8 Complete fields and valuation rings

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

1 Adeles over Q. 1.1 Absolute values

1 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

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

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

Number systems over orders of algebraic number fields

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

On negative bases.

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

1.4 Cardinality. Tom Lewis. Fall Term Tom Lewis () 1.4 Cardinality Fall Term / 9

1.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 information

a = 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

a = 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 information

Chapter 8. P-adic numbers. 8.1 Absolute values

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

The p-adic numbers. Given a prime p, we define a valuation on the rationals by

The 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

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

beta-numeration and Rauzy fractals for non-unit Pisot numbers

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

Repetitions in Words Associated with Parry Numbers

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

Chapter 1 : The language of mathematics.

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

Profinite number theory

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

Profinite Groups. Hendrik Lenstra. 1. Introduction

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

More information

Zair Ibragimov CSUF. Talk at Fullerton College July 14, Geometry of p-adic numbers. Zair Ibragimov CSUF. Valuations on Rational Numbers

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

Solutions, Project on p-adic Numbers, Real Analysis I, Fall, 2010.

Solutions, 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 information

POWERS OF RATIONALS MODULO 1 AND RATIONAL BASE NUMBER SYSTEMS

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

On the cost and complexity of the successor function

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

Algebraic function fields

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

Sequence of maximal distance codes in graphs or other metric spaces

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

On the Accepting Power of 2-Tape Büchi Automata

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

Valuations. 6.1 Definitions. Chapter 6

Valuations. 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 information

NOTES ON DIOPHANTINE APPROXIMATION

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

From 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.

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

On the Sequentiality of the Successor Function

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

Palindromic complexity of infinite words associated with simple Parry numbers

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

MATH 310 Course Objectives

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

Automata on linear orderings

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

ECARES Université Libre de Bruxelles MATH CAMP Basic Topology

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

On the concrete complexity of the successor function

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

p-adic Continued Fractions

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

VALUATION THEORY, GENERALIZED IFS ATTRACTORS AND FRACTALS

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

ERGODIC DYNAMICAL SYSTEMS CONJUGATE TO THEIR COMPOSITION SQUARES. 0. Introduction

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

CHAPTER 8: EXPLORING R

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

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

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

ECEN 5682 Theory and Practice of Error Control Codes

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

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

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is

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

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

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

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

Solutions to Tutorial 8 (Week 9)

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

Topology. 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  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 information

Elliott s program and descriptive set theory I

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

P-adic Functions - Part 1

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

RINGS: SUMMARY OF MATERIAL

RINGS: 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 information

Algebraic Number Theory Notes: Local Fields

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

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

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

On multiplicatively dependent linear numeration systems, and periodic points

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

1/30: Polynomials over Z/n.

1/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 information

Dynamical systems on the field of p-adic numbers

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

A Short Review of Cardinality

A 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. * 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 information

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals

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

Geometric motivic integration

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

NATIONAL 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, 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 information

7 Lecture 7: Rational domains, Tate rings and analytic points

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

arxiv: v3 [math.oa] 12 Jul 2012

arxiv: 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 information

On subtrees of the representation tree in rational base numeration systems

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

Transducers for bidirectional decoding of codes with a finite deciphering delay

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

Math 6120 Fall 2012 Assignment #1

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

Jeong-Hyun Kang Department of Mathematics, University of West Georgia, Carrollton, GA

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

Rings and Fields Theorems

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

Euclidean Models of the p-adic Integers

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

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

CLASS FIELD THEORY WEEK Motivation

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

Axioms of separation

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

The Mathematica Journal p-adic Arithmetic

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

Profinite methods in automata theory

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

Some Background Material

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

Abstract Numeration Systems or Decimation of Languages

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

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

1 Absolute values and discrete valuations

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

Course 2BA1: Trinity 2006 Section 9: Introduction to Number Theory and Cryptography

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

Metric Spaces Math 413 Honors Project

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

ZEROES OF INTEGER LINEAR RECURRENCES. 1. Introduction. 4 ( )( 2 1) n

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

Topological properties of Z p and Q p and Euclidean models

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

4.4 Noetherian Rings

4.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 information

Section 2: Classes of Sets

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

A Generalization of Cobham s Theorem to Automata over Real Numbers

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

Notes on QE for ACVF

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

Duality and Automata Theory

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

On 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. 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 information

Tewodros Amdeberhan, Dante Manna and Victor H. Moll Department of Mathematics, Tulane University New Orleans, LA 70118

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

Sturmian Trees. Jean Berstel Luc Boasson Olivier Carton Isabelle Fagnot

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

A GENERAL THEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUTATIVE RING. David F. Anderson and Elizabeth F. Lewis

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

MATRIX LIE GROUPS AND LIE GROUPS

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

Properties of Probability

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

ABSTRACT NONSINGULAR CURVES

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

Rudiments of Ergodic Theory

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

Today. Wrapup of Polynomials...and modular arithmetic. Coutability and Uncountability.

Today. 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 information

Chapter One. The Real Number System

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

Math 547, Exam 1 Information.

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

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

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

An algebraic characterization of unary two-way transducers

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

Rings, Integral Domains, and Fields

Rings, 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