• No results found

Ramification of polynomials

N/A
N/A
Protected

Academic year: 2021

Share "Ramification of polynomials"

Copied!
35
0
0

Loading.... (view fulltext now)

Full text

(1)

Master’s thesis

Ramification of polynomials

Author: Ana Strikić

Supervisor: Jonas Nordqvist Examiner: Karl-Olof Lindahl Date: 2021-05-26

Course Code: 5MA41E Subject: Mathematics Level: Advanced level Department Of Mathematics

(2)
(3)

iii

LINNAEUS UNIVERSITY

Abstract

Faculty of Technology Department of Mathematics

Master of Science

Ramification of polynomials by Ana Strikic

In this research, we study iterations of non-pleasantly ramified polynomials over fields of positive characteristic and subsequently, their lower ramification numbers.

Of particular interest for this thesis are polynomials for which both the multiplicity and the degree of its iterates grow exponentially. Specifically we consider the family of polynomials such that given a positive integer k the family is given by P(z) = z(1+z3k21 +z3k1). The cubic polynomial z+z2+z3 is a special case of this family and is particularly interesting.

Keywords: non-pleasantly ramified polynomials, minimally ramified polyno- mial, lower ramification numbers, minimal ramification, discrete dynamical sys- tems, iterating polynomials, ultrametric fields

(4)
(5)

v

Contents

Abstract iii

1 Introduction 1

1.1 Main results . . . 3

2 Motivating examples in characteristic 3 5 3 Background 7 3.1 Preliminaries . . . 7

3.2 Methods . . . 8

3.2.1 Multinomial Theorem . . . 8

3.2.2 Kummer’s Theorem . . . 9

4 Results 13 4.1 Proposition 1 . . . 13

4.2 Theorem 1 . . . 16

4.3 Theorem 2 . . . 18

4.3.1 Proof of Theorem 2 . . . 19

5 Connection to dynamical systems 23 5.1 Multiplicity of f in characteristic 0 . . . 23

5.2 Periodic points of f in positive characteristic p . . . 24

5.2.1 f(z) =z+az2+bz3, b6=a2 . . . 24

5.2.2 f(z) =z+az2+a2z3. . . 25

Bibliography 27

(6)
(7)

1

1. Introduction

In this thesis we will study iterations of polynomials defined over fields of posi- tive characteristic. In particular, we will study polynomials which have exponential growth on its so-called lower ramification numbers. As such, we are interested in discrete dynamical systems.

A discrete dynamical system on a set X is a pair (X, f), where f is a function f : X → X. Let f0 := IdX then for an integer n ≥1 we define the n-th iterate of f to be fn= fn1◦ f . Then for a point z0∈ X we can define the forward orbit of z0 to be the set

{fn(z0): n≥0}.

Hence, studying the iterations of a polynomial f is closely related to studying the forward orbits of elementsz0.

Suppose that ϕ(z) = αz+β is an affine map, and that g(z) = ϕ1◦ f◦ϕ(z) is a linear change of coordinates of f . Then we can establish that

gn(z) = (ϕ1◦f◦ϕ(z)) ◦ (ϕ1◦f ◦ϕ(z)) ◦ · · · ◦ (ϕ1◦ f◦ϕ(z)), which simplifies to

gn(z) =ϕ1◦fnϕ(z).

The dynamical systems f and g are, as such, regarded as equivalent, given that they differ by a change of coordinates ϕ. Hence, the forward orbits of f can be described in terms of g and vice versa.

As mentioned, we will consider the case that f is a polynomial. In this thesis we are interested in adding an algebraic structure to X, in particular, a field of positive characteristic, i.e. algebraic dynamics (see [Sil07; KA09; Ben19]). More specifically, iterated polynomials over fields of positive characteristic are studied in, for example, [Pez94]. This topic is of particular interest in the field of algebraic dynamics as recent results show that there exists a connection between the geo- metric location of periodic points of power series over ultrametric fields and their lower ramification numbers (see [LRL16a; LRL16b; Lin13]).

We are interested in a property called the multiplicity of fixed points and its behaviour under iterations. Let f be a polynomial, then any point z0 satisfying f(z0) = z0 is said to be a fixed point of f . The multiplicity of z0 as a fixed point can be defined as follows.

Definition 1. Let f(z) be a polynomial with coefficients in field K and z0 be a point such that f(z0) =z0. By the Factor theorem it is possible to write f(z) as

f(z) −z= a(z−z0)q0f0(z),

(8)

2 Chapter 1. Introduction

where f0(z0) 6= z0. The unique positive integer q0 is called the multiplicity of z0 and is denoted as mult(f , z0). For z0=0 the notation is simplified to mult(f).

It is known that in characteristic 0 the multiplicity of polynomial f is fixed under iterations (see Lemma 5.1.1). However, in positive characteristic this statement is false, and whenever the iterate is divisible by the field characteristic the multiplicity of the iterate will be larger than that of f .

In positive characteristic p, the multiplicity has a variant formulation in terms of the so-called lower ramification numbers. These are defined as

in(f) =mult(fpn(z)) −1.

It is natural to ask what potential sequences of lower ramification numbers are attainable. Sen’s theorem [Sen69] gives insight to this question, and effectively bounds the problem from below, and his theorem says that in(f) ≥1+p+ · · · + pn. Polynomials, or in general power series, satisfying the special case of equal- ity are known as minimally ramified, and are investigated further in e.g. [LS97;

LRL16b].

It is known that given a generic polynomial the growth rate of the multiplicity and thus the lower ramification numbers is linear in terms of the iterates, (see e.g.

[NRL20; LRL16b]). Polynomials satisfying this condition are sometimes called pleasantly ramified. In Chapter 2 we provide an example of such a polynomial.

Although, in positive characteristic it is easy to find examples such that the growth rate is exponential and this family of polynomials is the main focus of this thesis. The most straightforward example of such a polynomial is w(z) = z+zp which has exponential growth rate in terms of the lower ramification numbers (see Theorem 2). In particular, wpn(z) =z+zppn, i.e. in(w) =ppn−1.

Polynomials such that for no positive integer d,

nlim

in dpn

converges to some finite non-zero limit are sometimes called non-pleasantly ramified polynomials. These are the polynomials of focus for this thesis. Suppose that f is minimally ramified then

nlim

in(f)

dpn = lim

n pn+11

p1

dpn = 1 d.

Hence, minimally ramified polynomials clearly converge to a non-zero limit.

There has been a vast amount of research done concerning lower ramifica- tion numbers in general and to list some examples, we have [Sen69; LS97; LS98;

LRL16a; LRL16b; Lin13; Kea92; NRL20; Nor20; KK16].

The results of this thesis concern computing the p-th iterate of a power series in order to find its lower ramification numbers, however, often times the iterates of a power series are far too difficult to compute. As such, many of the aforementioned papers rely on describing the necessary coefficients of the power series as difference equations and thus describing their changes under iteration. By solving these difference equations it is possible to get information about the lower ramification numbers without having to compute the p-th iterate of the power series.

(9)

1.1. Main results 3

Since, we are interested in polynomials, we may do the following relevant ob- servation. Note that

lim sup

n

mult(wpn) deg(w)pn =1.

However, as mentioned earlier, a typical polynomial exhibits linear growth of lower ramification numbers which thus indicates that this quantity typically is zero. So a natural question to ask is whether there exists polynomials such that this quantity may take on values in the open interval (0, 1). This statement will be further discussed with examples in Chapter 2. In this thesis we give an affirmative answer to this in the case that the field characteristic is 3. In fact, we find an infinite family of polynomials satisfying this property. The proof will be presented in details in the Chapter 4. This limit is of interest due to its relation to the distribution of the periodic points of w.

We conclude this introduction by giving the outline for the thesis and presenting our main results. In Chapter 2 we will present the main motivating examples behind our results. Chapter 3 contains the necessary definitions and theorems used in the proofs. The proofs and main results of the thesis will be contained in Chapter 4. In Chapter 5 we will put the results in a context and discuss them alongside results from [LRL16a; LRL16b; Lin13] from Lindahl and Rivera-Letelier as well as [LS97; LS98] from Laubie and Saïne.

In the next section we present the results of this thesis.

1.1 Main results

The primary result of this thesis are the following theorems and the implications thus provided.

Proposition 1. Let K be a field of characteristic 3. Further let k be a positive integer and Pk(z) ∈K[z] be the polynomial Pk(z) =z(1+z3k21 +z3k1). Then for any non-negative integer n we have

Pk3n(z) =z(1+z3k

·3n1

2 +z3k·3n1). (1.1) Remark. It follows that Pk(z) is an iterate of P`(z) if and only if k = ` ·3m, for some non-negative integer n. Thus, there are infinitely many integers k such that the polynomial of the form Pk(z) = z(1+z3k21 +z3k1) is not an iterate of any of the previous polynomials of such form. Define then, an iterate class as a class of all polynomials [Pn(z)]such that every polynomial in the class is an iterate of Pn(z). Thus, the polynomial family mentioned in Proposition 1 contains an infinite amount of iterate classes and satisfies

nlim

mult(Pk3n)

deg(Pk)3n = lim

n 3k·3n1

2

3k·3n = 1 2.

From Proposition 1, it is possible to derive the following consequence, stated as Theorem 1.

Theorem 1. Let K be a field of characteristic 3, and let a∈ {−1, 1}, and b∈K.

Further let Q(z) ∈K[z] be the polynomialQ(z) =az(1+bz+b2z2). Then for any non-negative integer n we have the following

(10)

4 Chapter 1. Introduction

(i) if a= −1, then

Q2·3n(z) =z(1+b32

·3n1 2 z32

·3n1

2 +b32·3n1z32·3n1). (1.2) (ii) if a=1, then

Q3n(z) =z(1+b33

n1 2 z33

n1

2 +b33n1z33n1). (1.3) The proof relies on Proposition 1, and a properly selected change of coordinates.

A similar proof strategy as used in Theorem 1 is applicable on a different set of polynomials, which are as such included in this thesis in Theorem 2.

Theorem 2. Let K be a field of prime characteristic p. Further let R(z) ∈K[z]be the polynomial R(z) =z(1+zpk11+zpk21+...+zpkm1), 1<k1 <k2<...< km. Then for any non-negative integer n we have

Rpn(z) =z(1+zpk1·pn1+zpk2·pn1+...+zpkm·pn1). (1.4) Given the results, it is possible to comment on the lower ramification number of the polynomials considered. In particular,

in(Pk) = 3k·3n21, and in(R) =pk1·pn−1.

Proofs of these results can be found in Chapter 4.

(11)

5

2. Motivating examples in

characteristic 3

To give the reader an idea of what happens for different, yet similar, polyno- mials under iteration we provide in this chapter a few motivating examples with polynomials z+az2+bz3, such that a, b ∈ {0, 1}, where we compute the exact third iterate of three polynomials.

We will show an example of minimally ramified polynomials and two non- pleasantly ramified polynomials which motivates the results of this thesis, specifi- cally Proposition 1 and Theorem 2.

Example (Minimally ramified polynomial z+z2). We begin with computing the third iterate of T(z) =z+z2. We have

T2(z) =z+2z2+2z3+z4 and

T3(z) =z+3z2+6z3+9z4+10z5+8z6+4z7+z8. Reducing this modulo 3 yields

T3(z) ≡z+z5+2z6+z7+z8 (mod 3).

It follows that the lower ramification number i1(T)is4, and this is an example of a polynomial which does not have exponential growth in the ramification numbers.

In particular, it is a minimally ramified polynomial.

In order to find all lower ramification numbers for T, i.e. in(T), we turn to [LS98, Corollary 1] (see Chapter 5 for a statement of this result). Thus, it is possible to show that

in(T) = 3

n+1−1

2 ,

which is further explored in Chapter 5.

Ramification numbers of minimally ramified power series have been extensively researched and as such were not as interesting to our research topic. Hence, we considered polynomials of exponential growth, i.e. non-pleasantly ramified poly- nomials and their ramification numbers and provide the reader with the following elementary examples along with their iterates in characteristic 3.

Example (Non-pleasantly ramified polynomial z+z3). We begin with computing the third iterate of T(z) =z+z3. We have

T2(z) =z+2z3+3z5+3z7+z9

(12)

6 Chapter 2. Motivating examples in characteristic 3

and

T3(z) =z+3z3+9z5+24z7+54z9+102z11+156z13+

+192z15+189z17+147z19+87z21+36z23+9z25+z27. Reducing this modulo 3 yields

T3(z) ≡z+z27 (mod 3).

In order to find lower ramification number for T3n, i.e. in(T), we turn to Corollary 2.1. Letting n=1, k1=1, p =3 we can show that

in(T) =33n−1, which makes this polynomial non-pleasantly ramified.

Finally, let us show the motivating example behind Proposition 1, the cubic polynomial T(z) =z+z2+z3.

Example (Non-pleasantly ramified polynomialz+z2+z3). We begin with com- puting the third iterate of T(z) =z+z2+z3. We have

T2(z) =z+2z2+4z3+6z4+8z5+8z6+6z7+3z8+z9 and

T3(z) =z+3z2+9z3+24z4+60z5+138z6+294z7+579z8+1053z9+ +1767z10+2739z11+3924z12+5196z13+6352z14+7152z15+ +7389z16+6969z17+5961z18+4587z19+3144z20+1896z21+ +990z22+438z23+159z24+45z25+9z26+z27

Reducing this modulo 3 yields

T3(z) ≡z+z14+z27 (mod 3).

In order to find lower ramification number for T3n, i.e. in(T), we turn to Proposition 1 by which we can show that

in(T) = 3

3n−1 2 , making this polynomial non-pleasantly ramified.

These examples provide a base for our interest in iterates of non-pleasantly ramified polynomials, which will be further studied in Chapter 4.

(13)

7

3. Background

In this chapter we give some important definitions as well as the methods needed for the proofs in Chapter 4.

3.1 Preliminaries

For easier understanding of the research topic we remind ourselves of the most important definitions.

Definition 2 (Ring). A ring is a nonempty set R equipped with two operations ⊕ and ⊗ that satisfy the following conditions.

For all a, b, c∈R:

1. If a∈ R and b∈R, then a⊕b∈ R.

2. a⊕ (b⊕c) = (a⊕b) ⊕c 3. a⊕b=b⊕a

4. There is an element 0R in R such that a⊕0R =a,∀a∈ R.

5. For each a ∈R, the equation a⊕x =0R has a solution in R.

6. If a∈ R, and b∈R, then a⊗b∈ R.

7. a⊗ (b⊗c) = (a⊗b) ⊗c.

8. a⊗ (b⊕c) = (a⊗b) ⊕ (b⊗c)

Definition 3 (Field). A field is a ring (R,⊕,⊗)equipped with additional following axioms

1. a⊗b=b⊗a

2. There is an element 1R, 1R6=0R in R such that a⊗1R= a :∀a ∈R.

3. For each a ∈R, the equation a⊗x=1R has a solution in R. 4. For all x, y, z∈ F : x⊗ (y⊕z) = (x⊗y) + (x⊗z)

Since our research concerns polynomials in fields of positive characteristic, it is important to define the following notions.

Definition 4 (Characteristic of a ring). LetK be a field 0K the zero element of the ring and 1K the unity of the ring. The characteristic of the ring, denoted char(K) is then defined as the smallest number p such that p⊗1K =0K. If char(K)is not finite it is defined as 0.

(14)

8 Chapter 3. Background

The most common fields of characteristic 0 are N, Z, Q, R, C.

Example (Finite field). Fp, i.e. the ring of integers modulo p, is a field of char- acteristic p.

Example (Infinite field). Fp((T)), i.e. the field of formal Laurent series overFp, is a field of characteristic p.

Definition 5 (Polynomial Ring). Let K be a ring and let x be an indeterminate.

The polynomial ring K[x] is defined as the set of all formal sums anxn+an1xn1+...+a1x+a0=

aixi,

where each ai ∈ K.

Given two polynomials, f =∑ aixi, g= ∑ bixi, addition and multiplication are defined as

f+g=

(ai+bi)xi

f g=

i

(

j

ajbij)xi.

Zero of the polynomial ring is given as the polynomial with zero coefficients.

Finally, we remember the definition of topological conjugacy and dynamically equivalent systems.

Definition 6. Let f : X → X and g : Y → Y be two maps. If there exists a homeomorphism h : X → Y such that h◦ f = g◦h then f and g are said to be topologically conjugate. Two topologically conjugate maps are dynamically equivalent.

In this thesis we will only discuss conjugacy via an affine map ϕ(z) =αz+β.

3.2 Methods

Large part of the results will be based on a generalized version of the freshman’s dream, i.e. given a field of positive characteristicp, it holds that(a+b)p= ap+bp. In order to generalize that claim we require the following theorems and definitions.

3.2.1 Multinomial Theorem

Multinomial theorem [Hos11] is a generalization of the binomial theorem for three and more variables. It provides a formula for the expansion of a multinomial x1+x2+...+xk raised to a power n.

Theorem 3.1. Let n, k∈N and niN, 1≤i≤ k then (x1+x2+...+xk)n =

n1+n2+...+nk=n n1,n2,...,nk0

 n

n1, n2, ..., nk



x1n1x2n2...xnkk,

where(n n

1,n2,...,nk)is the multinomial coefficient for an ordered k-tuple{n1, n2, ..., nk} calculated as

 n

n1, n2, ..., nk



= n!

n1!n2!...nk!,

(15)

3.2. Methods 9

Example. Multinomial theorem leads us to the following calculation (x+y+z)3=

 3 3, 0, 0

 x3+

 3 2, 1, 0

 x2y+

 3

2, 0, 1

 x2z+

 3 1, 2, 0

 xy2+ +

 3 1, 0, 2

 xz2+

 3 1, 1, 1

 xyz+

 3 0, 1, 2

 yz2+ +

 3 0, 2, 1

 y2z+

 3 0, 3, 0

 y3+

 3 0, 0, 3

 z3

=x3+y3+z3+3x2y+3x2z+3y2x+3y2z+3z2x+3z2y+6xyz.

3.2.2 Kummer’s Theorem

Kummer’s theorem [Kum52; And73] allows us to find the smallest power of a prime p that divides a binomial coefficient (mn). However, in order to state said theorem we need the concept of a p-adic valuation which is given below.

Definition 7 (p-adic valuation). Let p be a prime number. Then the p-adic valu- ation of a positive integer n is the largest exponent νp such that pνp divides n. The p-adic valuation can be extended to Q so that the p-adic valuation of a rational number x= ab is defined as νp(x) =νp(a) −νp(b).

Example. By the definition of p-adic valuation, we can calculate that ν5(50) =2 as50=52·2. Similarly, ν7(214) =ν7(4) −ν7(21) =0−1= −1.

Theorem 3.1 [Legendre, 1808]. The p-adic valuation of a factorial n! is given by

νp(n!) =

k i=1

bn pic, where bxc denotes the floor function.

Proof of Legendre’s formula. The amount of times p divides n! is given by the amount of integersk≤ n such that p|k, i.e. bnpc, plus the amount of integersk≤ n such that p2|k, and so on. This can be written down as

νp(n!) =

k i=1

bn pic.

Remark. Legendre’s formula can be written in terms of base-p expansion of n. If we let sp(n) denote the sum of the digits of n in base-p, then

νp(n!) =

k i=1

bn pic =

k i=1

(nkpk1+ · · · +ni+1p+ni) =

k j=1

j i=1

njpji

=

k j=1

njpj−1 p−1 =

k j=0

njpj−1 p−1 = 1

p−1

k j=0

(njpj−nj)

=n−sp(n) p−1 .

(16)

10 Chapter 3. Background

Theorem 3.2 [Kummer, 1852]. Let m, n be two non-negative integers. The p- adic valuation, denoted νp, of the binomial coefficient (mn) is equal to the number of "carry-overs" when performing the addition of n−m and m, written in base p, i.e.

νp( n m



) = S(m) +S(n−m) −S(n)

p−1 ,

where S(m), S(n), S(n−m) denote the sum of digits of m, n and n−m in base p, respectively.

Proof of Kummer’s Theorem. Let n ≥ m be positive integers and consider the p-adic valuation of the binomial coefficient (mn).

Using the p-adic valuation of a rational number and Legendre’s result for p-adic valuation of factorials, we have

νp( n m



) =νp( n!

m!(n−m)!) =νp(n!) −νp(m!) −νp((n−m)!)

=n−s(n) −m+s(m) − (n−m) +s(n−m)

p−1 = s(n−m) +s(m) −s(n)

p−1 .

Example. To demonstrate Kummer’s theorem we compute the 5-adic valuation of the binomial coefficientv5((62))by showing that(2)10= (2)5,(6)10 = (11)5,(4)10= (4)5. Therefore,S(2) =2, S(6) =2, S(6−2) =4 and

ν5(6 2



) = S(2) +S(4) −S(6)

4 = 2+4−2

4 =1.

Kummer’s theorem can be generalized for multinomial coefficients (m n

1,m2,...,mk) as

Theorem 3.2.1 [Generalized Kummer]. Let n, mi, i∈N be non-negative inte- gers. The p-adic valuation of the multinomial coefficient (m n

1,m2,...,mk) is equal to νp(

 n

m1, m2, ..., mk

 ) =

ki=1S(mi) −S(n)

p−1 ,

where S(mi), S(n) denote the sum of digits of mi and n in base p, respectively.

Example. Applying Kummer’s theorem to the previous example for multinomial theorem leads to the generalized version of freshman’s dream.

Let us consider a field of characteristic p. Then

νp(

 p

p, 0, ..., 0



) =νp(

 p

0, ..., p, ..., 0



) =νp(

 p

0, 0, ..., p



) =0+0+1−1 p−1 =0, νp(

 p

p1, p2, ..., pn



) = p1+p2+...+pn−1

p−1 =p−1

p−1 =1.

Therefore, (x1+x2+...+xn)p= x1p+x2p+...+xnp in prime characteristic p.

This result naturally extends to any power of the prime p.

(17)

3.2. Methods 11

Remark. Note that for a multinomial coefficient (p p

1,p2,...,pn) = p p!

1!p2!...pn! such that for all integers i, pi < p we know gcd(p!, pi!) =1 and

νp(

 p

p1, p2, . . . , pn



) =νp(p!) −νp(p1!) − · · · −νp(pn) =1−0− · · · −0=1.

(18)
(19)

13

4. Results

In this chapter we present the proofs of Proposition 1 and Theorem 1 and 2 along with the corollaries derived from those results.

4.1 Proposition 1

Recall that Pk(z)is defined as z(1+z3k21 +z3k1). Throughout the proof, let P(z) =Pk(z)for the sake of simplicity.

In order to prove Proposition 1, it is necessary to prove the following lemmas in the ring K[z] with characteristic 3.

Lemma 1.1.1. For any positive integer m and non-negative integer n we have (z+z3m2+1 +z3m)3n2+1 =z3n2+1 +2z3m+23n +2z3m

+n+1

2 +z3m

+n+3m

2 (4.1)

Proof of Lemma 1.1.1. Recall that 3m+1

2 =1+ (1+3+32+...+3m1). The proof will follow by induction on n. For n=1, we have

(z+z3m2+1 +z3m)2 =z3+21 +2z3m2+3 +2z3m

+1+1

2 +z3m

+1+3m

2 .

Let n=r and

(z+z3m2+1 +z3m)3r2+1 =z3r2+1 +2z3m+23r +2z3m

+r+1

2 +z3m

+r+3m

2 .

Then for n=r+1 we have (z+z3m2+1 +z3m)3r

+1+1

2 =(z+z3m2+1 +z3m)3r2+1+3r = (z+z3m2+1 +z3m)3r2+1· (z+z3m2+1 +z3m)3r

=(z3r2+1 +2z3m2+3r +2z3m

+r+1

2 +z3m

+r+3m

2

(

t1+t2+t3=3r+1

 3r+1 t1, t2, t3



zt1+3m2+1·t2+3m·t3).

Kummer’s Theorem, mentioned in Chapter 3, allows us to find all of the co- efficients in the sum that are divisible by 3. The theorem states that the largest

(20)

14 Chapter 4. Results

power of 3 that divides a trinomial coefficient (t3r+1

1,t2,t3) is ν3(

 3r+1 t1, t2, t3



) = S(t1) +S(t2) +S(t3) −S(3r+1)

3−1 = S(t1) +S(t2) +S(t3) −1

2 ,

where S(ti) denotes the sum of digits of ti in base 3. We are only interested in coefficients such that ν3((t3r+1

1,t2,t3)) = 0, i.e. S(t1) +S(t2) +S(t3) = 1. This equation has solutions only if S(ti) =1, S(tj) =S(tk) =0, where i, j, k= {1, 2, 3}. As S(ti) = 0 holds if and only if ti = 0, we can conclude that the summands that will be multiplied with a trinomial coefficient not divisible by 3 are exactly z3r+1,z3m+3r2+m+1 and z3r+m+1.

Now it is possible to reduce the trinomial sum to (z+z3m2+1 +z3m)3r

+1+1

2 =(z3r2+1 +2z3m+23r +2z3m

+r+1

2 +z3m

+r+3m

2

(z3r +z3r+3r

+m

2 +z3r+m). Finally, multiplying out the polynomials we get

(z+z3m2+1 +z3m)3r

+1+1 2 =z3r

+1+1

2 +2z3m+3r

+1

2 +2z3m

+r+1+1

2 +z3m

+r+1+3m

2 +

+3z2·3r+3r

+m+1

2 +3z3r+2·3r

+m+1

2 +3z2·3r+3r

+m+3m

2 +3z3r+2·3r

+m+3m 2

=z3r

+1+1

2 +2z3m+3r

+1

2 +2z3m

+r+1+1

2 +z3m

+r+1+3m

2 ,

which proves Lemma 1.1.1.

Lemma 1.1.2. Let P(z) =z+2z3n2+1 +z3n+2z32n2+1 +2z32n2+3n +z32n then (P(z))3m2+1 =z3m2+1 +z3m+23n +z3m+232n +z3m

+n+1

2 +z3m

+n+3n

2 +z3m

+n+32n

2 +z3m

+2n+1

2 +

+z3m

+2n+3n

2 +z3m

+2n+32n

2 ,

and specifically for n=m,

(P(z))3n2+1 =z3n2+1 +z3n+z32n2+1 +2z32n+23n +z32n+z33n2+1 +z33n2+3n +z33n+232n (4.2) Proof of Lemma 1.1.2. It is enough to prove the first part of the lemma asm=n is just a special case of the lemma. We proceed with proof using induction on m.

Form=1,

(P(z))2=(z+2z3n2+1 +z3n+2z32n2+1 +2z32n2+3n +z32n)2

=z2+z3+23n +z3+232n +z31

+n+1 2 +z31

+n+3n

2 +z31

+n+32n

2 +z31

+2n+1

2 +z31

+2n+3n

2 +

+z31

+2n+32n 2

Letm=k and

(P(z))3k2+1 =z3k2+1 +z3k+23n +z3k+232n +z3k

+n+1 2 +z3k

+n+3n

2 +z3k

+n+32n

2 +z3k

+2n+1

2 +

+z3k

+2n+3n

2 +z3k

+2n+32n

2 .

(21)

4.1. Proposition 1 15

Then for m=k+1 and using Kummer’s theorem, we have (P(z))3k

+1+1

2 = (P(z))3k2+1+3k = (P(z))3k2+1(P(z))3k =

=(z3k2+1 +z3k+23n +z3k+232n +z3k

+n+1

2 +z3k

+n+3n

2 +z3k

+n+32n

2 +z3k

+2n+1

2 +

+z3k

+2n+3n

2 + +z3k

+2n+32n

2 )(z3k+2z3n

+k+3k

2 +z3n+k+2z32n

+k+3k

2 +

+2z32n

+k+3n+k

2 +z32n+k)

=z3k

+1+1 2 +z3k

+1+3n

2 +z3k

+1+32n

2 +z3k

+n+1+1

2 +z3k

+n+1+3n

2 +z3k

+n+1+32n

2 +

+z3k

+2n+1+1

2 +z3k

+2n+1+3n

2 +z3k

+2n+1+32n

2 ,

which proves the lemma.

Now it is possible to prove Proposition 1 using induction.

Proof of Proposition 1. For k=0, we know that P30(z) =z+z3m2+1 +z3m. Assume for n=k

P3k(z) =z+z3m·3k2+1 +z3m·3k =: P1(z). Let n=k+1, then

P3k+1(z) =(P3k)3(z) =P13(z) =P1(P1(z+z3m

·3k+1

2 +z3m·3k)) =

=P1(z+z3m

·3k+1

2 +z3m·3k+ (z+z3m

·3k+1

2 +z3m·3k)3m

·3k+1

2 +

+ (z+z3m

·3k+1

2 +z3m·3k)3m·3k). By Lemma 1.1.1 this polynomial can be reduced to

P3k+1(z) =P1(z+z3m

·3k+1

2 +z3m·3k +z3m

·3k+1

2 +2z3m

·3k+3m·3k

2 +2z32m

·3k+1

2 +

+z32m·3k2+3m·3k + (z+z3m·3k2+1 +z3m·3k)3m·3k), which using Kummer’s theorem can be written as

P3k+1(z) =P1(z+2z3m

·3k+1

2 +z3m·3k +2z32m

·3k+1

2 +2z32m

·3k+3m·3k

2 +z32m·3k).

References

Related documents

We prove that in the real case, the empirical cumulative distribution function of the critical points converges in probability to the cumulative distribution function of a

Stöden omfattar statliga lån och kreditgarantier; anstånd med skatter och avgifter; tillfälligt sänkta arbetsgivaravgifter under pandemins första fas; ökat statligt ansvar

46 Konkreta exempel skulle kunna vara främjandeinsatser för affärsänglar/affärsängelnätverk, skapa arenor där aktörer från utbuds- och efterfrågesidan kan mötas eller

För att uppskatta den totala effekten av reformerna måste dock hänsyn tas till såväl samt- liga priseffekter som sammansättningseffekter, till följd av ökad försäljningsandel

Coad (2007) presenterar resultat som indikerar att små företag inom tillverkningsindustrin i Frankrike generellt kännetecknas av att tillväxten är negativt korrelerad över

Syftet eller förväntan med denna rapport är inte heller att kunna ”mäta” effekter kvantita- tivt, utan att med huvudsakligt fokus på output och resultat i eller från

Generella styrmedel kan ha varit mindre verksamma än man har trott De generella styrmedlen, till skillnad från de specifika styrmedlen, har kommit att användas i större

I regleringsbrevet för 2014 uppdrog Regeringen åt Tillväxtanalys att ”föreslå mätmetoder och indikatorer som kan användas vid utvärdering av de samhällsekonomiska effekterna av