COMPLETE PADOVAN SEQUENCES IN FINITE FIELDS. JUAN B. GIL Penn State Altoona, 3000 Ivyside Park, Altoona, PA 16601

Size: px
Start display at page:

Download "COMPLETE PADOVAN SEQUENCES IN FINITE FIELDS. JUAN B. GIL Penn State Altoona, 3000 Ivyside Park, Altoona, PA 16601"

Transcription

1 COMPLETE PADOVAN SEQUENCES IN FINITE FIELDS JUAN B. GIL Penn State Altoona, 3000 Ivyside Park, Altoona, PA MICHAEL D. WEINER Penn State Altoona, 3000 Ivyside Park, Altoona, PA CATALIN ZARA Penn State Altoona, 3000 Ivyside Park, Altoona, PA Abstract Given a prime p 5, and given 1 < κ < p 1, we call a sequence (a n ) n in F p a Φ κ -sequence if it is periodic with period p 1, and if it satisfies the linear recurrence a n + a n+1 = a n+κ with a 0 = 1. Such a sequence is said to be a complete Φ κ -sequence if in addition {a 0,a 1,...,a p } = {1,...,p 1}. For instance, every primitive root b mod p generates a complete Φ κ -sequence a n = b n for some (unique) κ. A natural question is whether every complete Φ κ -sequence is necessarily defined by a primitive root. For κ = the answer is known to be positive. In this paper we reexamine that case and investigate the case κ = 3 together with the associated cases κ = p and κ = p Introduction For a prime number p 5 and a number κ {,...,p }, a sequence (a n ) n Z of elements of F p is said to be a Φ κ -sequence if a 0 = 1 and a n+κ = a n + a n+1 for all n Z, (1) where = means (throughout this paper) equality in F p. A Φ κ -sequence is called complete if (a n ) n is periodic, with period p 1, and () {a 1,...,a p } = {,...,p 1}. (3) The case κ = has been studied by Brison [1]. A Φ -sequence satisfies a Fibonacci recurrence, so it is completely determined by the value of a 1. A complete Φ -sequence is called a complete Fibonacci sequence; for example, the only complete Fibonacci sequence in F 5 is...,4,,1,3,4,,1,3,4,... 1

2 COMPLETE PADOVAN SEQUENCES IN FINITE FIELDS with a 0 = 1 and a 1 = 3. Moreover, x = 3 is a primitive root mod 5, and it is a solution (in F 5 ) of the equation x = x + 1 (hence x = 3 is a Fibonacci primitive root), so the sequence can also be described as...,3 (= 4),3 1 (= ),3 0 (= 1),3,3 (= 4),3 3 (= ),3 4 (= 1),... The main result of [1], stated here in a slightly weaker form, generalizes this observation. In Section we will give an elementary proof of this theorem in order to motivate our approach. Theorem 1 (Brison). Let p 5 be a prime number. A Φ -sequence (a n ) n is a complete Fibonacci sequence if and only if a n = b n for all n, where b is a Fibonacci primitive root. The new results of this paper concern the case κ = 3. Because of the specific recurrence satisfied by Φ 3 -sequences (a n+3 = a n+1 + a n ), complete Φ 3 -sequences will be called complete Padovan sequences [4]. Similar to the case κ =, we will say that a primitive root b in F p is a Padovan primitive root if it satisfies the condition b 3 = b + 1. Note that if b is a Padovan primitive root, then the sequence...,b 1 (= b p ),1,b,b,b 3,b 4,...,b p,b p 1 (= 1),... is a complete Padovan sequence. A natural question is whether these are the only examples of complete Padovan sequences in F p. Our results state that this is the case, at least for certain prime numbers. Let p be the number of distinct roots of X 3 X 1 in F p. The main results of this paper are the following two theorems. Theorem. Let p 5 be a prime number such that p < 3. A Φ 3 -sequence (a n ) n is a complete Padovan sequence if and only if a n = b n for all n, where b is a Padovan primitive root. In the case when p = 3, we denote by α,, and γ the roots of X 3 X 1 in F p. Further we let N p = min{ α/, /γ, γ/α }. (4) Theorem 3. Let p 5 be a prime number such that p = 3 and p N p +1. A Φ 3 -sequence (a n ) n is a complete Padovan sequence if and only if a n = b n for all n, where b is a Padovan primitive root. We strongly believe that this theorem holds even if p > Np + 1. In fact, in Section 4 we will see that our condition on p can be relaxed, see (19). Numerical computations show that among all primes less than 10 5, there are only 4 numbers that cannot be handled by our proof of Theorem 3, cf. Section 5. Nonetheless, for these cases one can manually check that the statement of our theorem is still true. In contrast to the Fibonacci case, the Padovan recurrence is of order three, so in addition to a 0 = 1, one needs values for both a 1 and a to completely determine a Φ 3 -sequence. It is therefore rather surprising that

3 COMPLETE PADOVAN SEQUENCES IN FINITE FIELDS 3 complete Padovan sequences are determined by only one parameter. If (a n ) n is a complete Padovan sequence, one can use an approach similar to the Fibonacci case to get one condition relating a 1 and a. The difficulty resides in proving a second relation. The ultimate goal will be to connect Φ κ -sequences in F p with primitive roots of p. It is easy to see that if p 5 is a prime, and b F p is a primitive root mod p, then there exists a unique value κ {, 3,..., p } such that b κ = b + 1. Therefore the sequence...,b 1 (= b p ),1,b,b,...,b κ 1,b κ,...,b p,b p 1 (= 1),... is a complete Φ κ -sequence. Data collected so far suggests that these are in fact the only complete Φ κ -sequences. For a fixed value κ {,...,p }, we say that a primitive root b in F p is a Φ κ -primitive root if b κ = b + 1. Conjecture. Let p 5 be a prime number. A Φ κ -sequence (a n ) n is complete if and only if a n = b n for all n, where b is a Φ κ -primitive root. At the end of the paper we briefly discuss the relation between the conjugate cases κ and p κ and prove the statement for κ = p, κ = p 3, κ = p 1 p+1, and κ =.. Fibonacci primitive roots In this section we discuss the characterization of complete Fibonacci sequences in terms of Fibonacci primitive roots, and give an elementary proof of Theorem 1. The key argument is the same as in [1], but our approach is more direct. Proof of Theorem 1. It is not hard to see that a Fibonacci primitive root generates a complete Fibonacci sequence: If b is a Fibonacci primitive root and a 1 = b, then a = a 0 + a 1 = 1 + b = b, and, by induction, a m = b m for all integers m. Since b is a primitive root, it follows that the sequence (a n ) n satisfies both the periodicity and the completeness conditions, hence it is a complete Fibonacci sequence. The less trivial part is to show that for every complete Fibonacci sequence, a 1 is a Fibonacci primitive root. The case p = 5 can be checked separately, so from now on we assume that p 7. Let (a n ) n be a complete Fibonacci sequence in F p and let b = a 1. Let Then the recurrence of a n implies p P(X) = a n X n F p [X]. (5) (1 X X )P(X) = ( 1 X p 1)( 1 + a p X ). (6) The right-hand side of (6) is identically zero on F p, while P(X) can have at most p roots in F p. Therefore, 1 X X has at least one root in F p, and thus it has both roots in F p.

4 4 COMPLETE PADOVAN SEQUENCES IN FINITE FIELDS Let α and be the solutions of x = x + 1 in F p. Then α (since p 5), hence a n = Aα n + B n for all integers n, where A = b α and B = b α α. If k is an integer such that 1 k p, then Therefore, p p 1 a k n = n k = 0. n=1 p p 0 = a k n = ( Aα n + B n) k k = However, if x 0, then p x n = j=0 ( k j { 0, if x 1 p 1, if x = 1. ) p A j B k j (α j k j ) n. (7) The key ingredient in the proof is finding a value of k for which the last sum in (7) is zero for all but one j. Using α + = 1 and α = 1, we see that for all primes p 7, the smallest such value is k = 4. In fact, we get p 0 = a 4 n = 6A B, (8) which implies that one of A or B is zero. Without loss of generality, assume A = 0. Then b =, so b = b + 1. An inductive argument shows that a n = b n for all integers n, and since (a n ) n is a complete Fibonacci sequence, b must be a primitive root, hence a 1 = b is a Fibonacci primitive root. 3. Complete Padovan sequences and primitive roots Let (a n ) n be a complete Padovan sequence. Note that the periodicity () and the recurrence relation (1) (with κ = 3) imply, as in (6), (1 X X 3 )P(X) = 0 on F p. Consequently, there must be at least one element r F p that solves the equation 1 x x 3 = 0. Thus 1/r F p is a root of f(x) = X 3 X 1. Proof of Theorem. We only need to prove that a complete Padovan sequence with initial values (a 0,a 1,a ) = (1,b,c) gives rise to a primitive root b F p with b = c and b 3 = b + 1. Case 1: f has exactly one root in F p.

5 COMPLETE PADOVAN SEQUENCES IN FINITE FIELDS 5 In this case, 1 X X 3 must have exactly one root r F p. Thus the other p nonzero elements of F p are roots of P(X) from (5), so p 1 P(X) = a p (X i). (9) Note that the periodicity of (a n ) n implies (a p 1,a p,a p+1 ) = (1,b,c), and by (1) we have a p = c 1 and a p 3 = b c + 1. Comparing the constant term and the coefficient of X p 3 in (9), we conclude that and consequently, i=1 i r 1 = a p /r and a p 3 = a p r, c = r + 1 and b = r + r. Using that 1 r r 3 = 0 it is easy to check that b = c and b 3 = b + 1. Thus a n = b n, and because of (3), b is a primitive root. Case : f has only two distinct roots in F p. The discriminant of f(x) = X 3 X 1 is 3, so the only way for f to have only two distinct roots in F p is when p = 3. We use the periodicity of (a n ) n to conclude that 1 = a 0 = a p 1 = a = c + 13b + 17 and so c = 13b + 16 in F 3. Note that because of (3) we have p p 1 a 3 n = n 3 = 0 in F p. (10) n=1 Using c = 13b + 16 we get the cubic equation 0 = 1 a 3 n = 10b 3 + b + 0 whose solutions in F 3 are b = 3 and b = 10. However, the sequence generated by the initial values (1,3,9) fails to be complete, so b = 3 is not an admissible choice for b = a 1. On the other hand, b = 10 is indeed a primitive root mod 3. Proof of Theorem 3. Let α,,γ F p be the distinct roots of f(x). Note that in this case p must be different from 3, so α + 3, + 3, and γ + 3 are all different from 0. Note also that these roots satisfy the equations α + + γ = 0, αγ = 1, and α + αγ + γ = 1. (11) The recurrence relation (1) with initial values (1,b,c) gives the formula where A = α b + αc + 1 α + 3 a n = Aα n + B n + Cγ n for every n,, B = b + c , C = γ b + γc + 1. (1) γ + 3

6 6 COMPLETE PADOVAN SEQUENCES IN FINITE FIELDS We make again use of (10) to get p 0 = (Aα n + B n + Cγ n ) 3 = p = i+j+k=3 i+j+k=3 3! i!j!k! Ai B j C k (α i j γ k ) n 3! p i!j!k! Ai B j C k (α i j γ k ) n. Now, using (11) it can be easily seen that α i j γ k 1 unless i = j = k = 1. Thus, for (i,j,k) (1,1,1), we get p (α i j γ k ) n = 1 (αi j γ k ) p 1 1 α i j γ k = 0 in F p. Finally, we arrive at the identity p a 3 n 0 = = 6ABC (13) which implies that at least one of the factors must vanish, say C = 0, and so the closed form of a n reduces to a n = Aα n + B n for every n. (14) Note that C = 0 implies c = γb 1 γ. If we can prove that b = α or b =, then this condition on c together with (11) give the desired identities b = c and b 3 = b + 1 and the theorem is proved. Given the numbers p, α, as above, for k {1,...,p } we consider the set I k = {j Z 0 j k and α j k j 1 mod p}. In the next section we will discuss some properties of this set and will prove (Corollary 1) that for p, α, as in this theorem, there is always a k, 1 < k < p 1, such that I k contains exactly one element. If we let k in (7) be such that I k = {j 0 }, then we get p ( ) k 0 = a k n = A j 0 B k j 0 (15) since the sum p (αj k j ) n vanishes in F p for every j with α j k j 1. Therefore, either A or B must be zero. Now, together with the fact that C = 0, the equations (1) give b = α or b =. This proves that a n = b n for every n, and since (a n ) n is complete, b is a Padovan primitive root. j 0

7 COMPLETE PADOVAN SEQUENCES IN FINITE FIELDS 7 4. Sum of powers and minimal exponent A crucial idea in the proof of Theorem 1 and Theorem 3 is to consider the sum of powers p ak n in F p for some k {,...,p }. Since this sum is always zero, the aim is to find a suitable exponent k that allows us to extract useful information about the sequence. For instance, for the Fibonacci sequence the exponent k = 4 was a good choice. For a complete Padovan sequence, however, the situation is more subtle. In a first step, the choice k = 3 allowed us to reduce the closed form of a n to a sum of two terms, cf. (14), but when working with the reduced form, the choice of k is not clear at all and depends on the prime number p at hand. Let p be such that X 3 X 1 has three distinct roots α,,γ in F p. Let (a n ) n F p be a complete Padovan sequence with initial values (1,b,c). Assume γ b + γc + 1 = 0, i.e., C = 0 in (1) so that a n reduces to (14). Under these assumptions we consider the set and its dual I k = {j Z 0 j k and α j k j 1 mod p} I k = {j Z 0 j k and αk j j 1 mod p}. Observe that j I k if and only if k j I k so that these sets essentially contain the same information. Let N = α/ be the order of α in F p. That is, ( α N ( ) = 1 and α j ) 1 for every j {1,...,N 1}. In our situation it is easy to check that N > 3. Observe that 1, α ( α ),... ( α ) N 1,, are the (distinct) Nth roots of unity. Lemma 1. The order of α N and N in F p is (p 1)/N. Proof. Let m 1 be such that mn p 1 and α mn = 1. Then mn = 1 and so by (14) we must have a mn = 1. This implies mn = p 1 so m = (p 1)/N. Lemma. I k for some k {1,...,p }. Moreover, in this case, we have k = l(p 1)/N for some l {1,...,N 1}. Proof. Suppose I k = for every k. Then, in particular, k 1 for k = 1,...,p, so that must be a primitive root mod p. Let 1 < t < p 1 be such that α = t. Thus α j k j = (t 1)j+k for every j and k. If we pick k = p t and j = 1, then α p t 1 = p 1 = 1 which implies I p t and we get a contradiction. Now let k be such that α j k j = 1 for some 0 j k. Then ( α ) jn 1 = (α j (k j) ) N = kn = ( N ) k which by Lemma 1 implies that (p 1)/N must divide k.

8 8 COMPLETE PADOVAN SEQUENCES IN FINITE FIELDS Lemma 3. Let I k and let j 0 = min(i k ). If k < N +j 0, then I k = {j 0 }. Proof. Let j 1 > j 0 be such that α j 1 k j 1 = 1. Thus α j 1 k j 1 = α j 0 k j 0 ( α ) j1 j 0 and so = 1. But this implies j1 j 0 = ln for some l 1. Hence j 1 N + j 0 > k and therefore j 1 I k. Let k min denote the smallest k for which I k. Lemma 4. If k min > p 1 N, then k min < N + j 0 and therefore I kmin = {j 0 }. Proof. Let k min = l(p 1)/N for some 1 < l < N, so ( 1 = α j 0 k min j 0 α ) j0 ( α ) N+j0 = l(p 1)/N = l(p 1)/N. (16) ( α ) m Moreover, since (p 1)/N is a Nth root of unity, we have (p 1)/N = for some 0 m < N. Therefore, ( α ) j0 ( α 1 = l(p 1)/N = ) m+j0 (l 1)(p 1)/N (17) which in particular implies m+j 0 > (l 1)(p 1)/N since I (l 1)(p 1)/N =. Dividing (16) by (17) we get the equation ( α ) N m 1 = (p 1)/N. (18) Now, if k min = l(p 1)/N N + j 0, then we have (l 1)( p 1 N ) < m + j 0 < N + j 0 l( p 1 N ) which implies N m < (p 1)/N. But the equation (18) would then imply that I (p 1)/N contradicting the minimality of k min = l(p 1)/N. Corollary 1. Let N p be as in (4). If p N p + 1, then I kmin = {j 0 }. Proof. By Lemma 4 we only need to check the case when k min = p 1 N. Let k = k min. If j 0 = min(i k ) and j 0 = min(i k ), then (j 0,j 0 ) (0,0). Otherwise it would imply α k = k = 1 and so a k = Aα k +B k = 1. But this contradicts the fact that, by definition, a k 1 for 0 < k < p 1. Thus we can assume j 0 > 0. Then p N p + 1 p 1 N k min = p 1 N N < N + j 0. The statement now follows from Lemma 3. Remark 1. According to our previous discussion, it is evident that the condition p Np +1 in Theorem 3 can be replaced by the weaker condition < N + j 0, or equivalently, p 1 N p < N + j 0 N + 1. (19)

9 COMPLETE PADOVAN SEQUENCES IN FINITE FIELDS 9 Observe that if k min > p 1 N, then (19) is automatically satisfied by Lemma 4. Thus we only need to request (19) for the cases when k min = p 1 N. Some examples will be discussed in the next section. 5. Examples and further remarks Throughout this section we let f(x) = X 3 X 1 F p [X]. Example 1. The set of numbers {7,11,17,37,67,83, 113,199,7, 41, 51,71,83, 367, 373,401,433,457, 479,569,571,593,613, 643, 659,701,77,743, 757,769,839,919, 941, 977} contains all prime numbers < 1000 for which there is a complete Padovan sequence in F p and f(x) has exactly one root. For instance, for p = 7 this root is b = 5. It can be easily checked that (a 0,a 1,a ) = (1,5,4) generates a complete Padovan sequence, and that any other choice of initial values will not give such a sequence. Of course, b = 3 is also a primitive root mod 7 and a n = 3 n is a complete sequence, but f(3) 0. However, b = 3 solves the equation x 4 x 1 = 0 in F 7, so 3 n is a complete Φ 4 -sequence in F 7. Example. The set of numbers {59,101,167,173, 11,71,307,317, 593, 599, 607,691,719,809,81, 89,853,877,883, 991, 997} contains all prime numbers < 1000 for which there is a complete Padovan sequence in F p and f(x) has three distinct roots. With each number we can associate some data according to our discussion in the previous section. In the following table we show a few examples. Under roots we list pairs of roots of f(x), say α, F p, that generate complete Padovan sequences. Recall that N = α/. p 1 p roots N k min N j 0 j , , , , , , , , , , , Note that for p = 307 with N = 17 we have p > N + 1. Nonetheless, as discussed in Remark 1, Theorem 3 still holds since N + j 0 > p 1 N.

10 10 COMPLETE PADOVAN SEQUENCES IN FINITE FIELDS The relation between j 0, j 0, and k min is not a coincidence. As a matter of fact, since ( α )k min = ( α )j 0+j 0, we have k min = j 0 + j 0 + ln for some integer l 0. If l = 0, then N + j 0 > p 1 N Theorem 3 works. Example 3. The set of numbers {307, 5851, 4697, 34961, 8763, 98801} and our proof of contains all prime numbers < 10 5 for which there is a complete Padovan sequence in F p, f(x) has three distinct roots, p > N + 1, and k min = p 1 N (cf. Remark 1). More precisely, we have p N k min j 0 j 0 l As mentioned above, p = 307 and p = 8763 are covered by our current proof of Theorem 3. For the other four cases, the statement of the theorem can be checked by hand (computer). Conjecture. The statement of Theorem 3 is true even if p > N + 1. Remark. In the case when f(x) has three distinct roots in F p, we showed in the proof of Theorem 3 that a complete Padovan sequence (a n ) n with a n = Aα n + B n + Cγ n reduces to a n = Aα n + B n with A and B as in (1). Moreover, because of (11), a n can be written as a n = γa n 1 1 γ a n for every n, thus it is in fact a generalized Fibonacci sequence with characteristic polynomial g(t) = t + γt + 1 γ = (t α)(t ). According to [], the set {1,a 1,...,a p } is then a standard g-subgroup. Remark 3. The first part of the proof of Theorem 1 works in a more general context: Let (a n ) n be a periodic sequence in F p, with period p 1, and satisfying a linear recurrence of order κ with a 0 = 1. If a n+κ = s 0 a n + s 1 a n s κ 1 a n+κ 1 for all n, S(X) = 1 s κ 1 X s 1 X κ 1 s 0 X κ F p [X],

11 and, as before, COMPLETE PADOVAN SEQUENCES IN FINITE FIELDS 11 p P(X) = a n X n = 1 + a 1 X + + a p X p F p [X], then S(X)P(X) = (1 X p 1 )Q(X) for some Q(X) F p [X], so S(X) has at least one root r F p. Since X κ s κ 1 X κ 1 s 1 X s 0 = X κ S(1/X), it follows that the characteristic polynomial of the linear recurrence has at least one root 1/r F p. When κ =, this implies that both roots are in F p, but for κ 3 (as we have seen for κ = 3), the situation is more complicated. Moreover, even if the roots are distinct and are all in F p, finding the right value(s) of k in order to get relation(s) of the form (8), (13), or (15) is not obvious. Proposition 1. Let p 5 be a prime number. A Φ κ -sequence (a n ) n is complete if and only if (a p 1 n ) n is a complete Φ p κ -sequence. Proof. Let (a n ) n be a complete Φ κ -sequence. Let ã n = a p 1 n for every n. By definition, (ã n ) n satisfies () and (3). So we only need to check (1): ã n + ã n+1 = a p 1 n + a p 1 n 1 Thus (ã n ) n is a complete Φ p κ -sequence. = a p 1 n 1+κ = a p 1 n 1+p p+κ = a p 1 (n+p κ) = ã n+p κ. This proposition together with Theorem 1, Theorem, and Theorem 3 give us the following corollaries. Corollary. Let p 5 be a prime number. A Φ p -sequence (a n ) n is a complete Φ p -sequence if and only if a n = b n for all n, where b is a Φ p - primitive root. Corollary. Let p 5 be a prime number such that p < 3. A Φ p 3 -sequence (a n ) n is a complete Φ p 3 -sequence if and only if a n = b n for all n, where b is a Φ p 3 -primitive root. Corollary. Let p 5 be a prime number such that p = 3 and p N p + 1. A Φ p 3 -sequence (a n ) n is a complete Φ p 3 -sequence if and only if a n = b n for all n, where b is a Φ p 3 -primitive root. We finish this section discussing the case κ = p 1. The corresponding statement for the case κ = p+1 follows by means of Proposition 1. Theorem 4. Let p 5 be a prime number. A Φ p 1-sequence (a n ) n is complete if and only if a n = b n for all n, where b is a Φ p 1-primitive root. Moreover, in this case b = p.

12 1 COMPLETE PADOVAN SEQUENCES IN FINITE FIELDS Proof. Let (a n ) n be a complete Φ p 1-sequence, so a n + a n+1 = a n+ p 1 for every n. Then a n 1 + a n + a n+1 = (a n 1 + a n ) + (a n + a n+1 ) = a n+ p a n+ p 1 = a n 1+p 1 = a n 1, so a n + a n+1 = 0 and therefore a n+1 = a n = (p )a n. But this implies a n = (p ) n for every n. Thus p is a Φ p 1-primitive root since (a n ) n is complete. Corollary. Let p 5 be a prime number. A Φ p+1-sequence (a n ) n is com- -primitive root. plete if and only if a n = b n for all n, where b is a Φ p+1 Moreover, in this case b = p 1. References [1] Brison, Owen, Complete Fibonacci sequences in finite fields, Fibonacci Quart. 30 (199), no. 4, [] Brison, O., Nogueira, J. E., Linear recurring sequence subgroups in finite fields, Finite Fields Appl. 9 (003), no. 4, [3] Shanks, Daniel, Fibonacci primitive roots, Fibonacci Quart. 10 (197), no., , 181. [4] Sloane, N. J. A., The on-line encyclopedia of integer sequences, Sequence A (Padovan sequence), [5] Somer, Lawrence, Fibonacci-like groups and periods of Fibonacci-like sequences, Fibonacci Quart. 15 (1977), no. 1, Mathematics Subject Classification: 11B37, 11B50

The primitive root theorem

The primitive root theorem The primitive root theorem Mar Steinberger First recall that if R is a ring, then a R is a unit if there exists b R with ab = ba = 1. The collection of all units in R is denoted R and forms a group under

More information

THE p-adic VALUATION OF LUCAS SEQUENCES

THE p-adic VALUATION OF LUCAS SEQUENCES THE p-adic VALUATION OF LUCAS SEQUENCES CARLO SANNA Abstract. Let (u n) n 0 be a nondegenerate Lucas sequence with characteristic polynomial X 2 ax b, for some relatively prime integers a and b. For each

More information

Mathematical Olympiad Training Polynomials

Mathematical Olympiad Training Polynomials Mathematical Olympiad Training Polynomials Definition A polynomial over a ring R(Z, Q, R, C) in x is an expression of the form p(x) = a n x n + a n 1 x n 1 + + a 1 x + a 0, a i R, for 0 i n. If a n 0,

More information

CONSTRUCTIBLE NUMBERS AND GALOIS THEORY

CONSTRUCTIBLE NUMBERS AND GALOIS THEORY CONSTRUCTIBLE NUMBERS AND GALOIS THEORY SVANTE JANSON Abstract. We correct some errors in Grillet [2], Section V.9. 1. Introduction The purpose of this note is to correct some errors in Grillet [2], Section

More information

arxiv: v1 [math.nt] 20 Sep 2018

arxiv: v1 [math.nt] 20 Sep 2018 Matrix Sequences of Tribonacci Tribonacci-Lucas Numbers arxiv:1809.07809v1 [math.nt] 20 Sep 2018 Zonguldak Bülent Ecevit University, Department of Mathematics, Art Science Faculty, 67100, Zonguldak, Turkey

More information

198 VOLUME 46/47, NUMBER 3

198 VOLUME 46/47, NUMBER 3 LAWRENCE SOMER Abstract. Rotkiewicz has shown that there exist Fibonacci pseudoprimes having the forms p(p + 2), p(2p 1), and p(2p + 3), where all the terms in the products are odd primes. Assuming Dickson

More information

Explicit Methods in Algebraic Number Theory

Explicit Methods in Algebraic Number Theory Explicit Methods in Algebraic Number Theory Amalia Pizarro Madariaga Instituto de Matemáticas Universidad de Valparaíso, Chile amaliapizarro@uvcl 1 Lecture 1 11 Number fields and ring of integers Algebraic

More information

8. Limit Laws. lim(f g)(x) = lim f(x) lim g(x), (x) = lim x a f(x) g lim x a g(x)

8. Limit Laws. lim(f g)(x) = lim f(x) lim g(x), (x) = lim x a f(x) g lim x a g(x) 8. Limit Laws 8.1. Basic Limit Laws. If f and g are two functions and we know the it of each of them at a given point a, then we can easily compute the it at a of their sum, difference, product, constant

More information

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include PUTNAM TRAINING POLYNOMIALS (Last updated: December 11, 2017) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include

More information

ANALYSIS OF SMALL GROUPS

ANALYSIS OF SMALL GROUPS ANALYSIS OF SMALL GROUPS 1. Big Enough Subgroups are Normal Proposition 1.1. Let G be a finite group, and let q be the smallest prime divisor of G. Let N G be a subgroup of index q. Then N is a normal

More information

On the Shifted Product of Binary Recurrences

On the Shifted Product of Binary Recurrences 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 13 (2010), rticle 10.6.1 On the Shifted Product of Binary Recurrences Omar Khadir epartment of Mathematics University of Hassan II Mohammedia, Morocco

More information

TRIANGLE CENTERS DEFINED BY QUADRATIC POLYNOMIALS

TRIANGLE CENTERS DEFINED BY QUADRATIC POLYNOMIALS Math. J. Okayama Univ. 53 (2011), 185 216 TRIANGLE CENTERS DEFINED BY QUADRATIC POLYNOMIALS Yoshio Agaoka Abstract. We consider a family of triangle centers whose barycentric coordinates are given by quadratic

More information

Sums of Tribonacci and Tribonacci-Lucas Numbers

Sums of Tribonacci and Tribonacci-Lucas Numbers International Journal of Mathematical Analysis Vol. 1, 018, no. 1, 19-4 HIKARI Ltd, www.m-hikari.com https://doi.org/10.1988/ijma.018.71153 Sums of Tribonacci Tribonacci-Lucas Numbers Robert Frontczak

More information

THE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS. K. R. Goodearl and E. S. Letzter

THE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS. K. R. Goodearl and E. S. Letzter THE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS K. R. Goodearl and E. S. Letzter Abstract. In previous work, the second author introduced a topology, for spaces of irreducible representations,

More information

Math Midterm Solutions

Math Midterm Solutions Math 145 - Midterm Solutions Problem 1. (10 points.) Let n 2, and let S = {a 1,..., a n } be a finite set with n elements in A 1. (i) Show that the quasi-affine set A 1 \ S is isomorphic to an affine set.

More information

COUNTING NUMERICAL SEMIGROUPS BY GENUS AND SOME CASES OF A QUESTION OF WILF

COUNTING NUMERICAL SEMIGROUPS BY GENUS AND SOME CASES OF A QUESTION OF WILF COUNTING NUMERICAL SEMIGROUPS BY GENUS AND SOME CASES OF A QUESTION OF WILF NATHAN KAPLAN Abstract. The genus of a numerical semigroup is the size of its complement. In this paper we will prove some results

More information

The cocycle lattice of binary matroids

The cocycle lattice of binary matroids Published in: Europ. J. Comb. 14 (1993), 241 250. The cocycle lattice of binary matroids László Lovász Eötvös University, Budapest, Hungary, H-1088 Princeton University, Princeton, NJ 08544 Ákos Seress*

More information

Notes on Systems of Linear Congruences

Notes on Systems of Linear Congruences MATH 324 Summer 2012 Elementary Number Theory Notes on Systems of Linear Congruences In this note we will discuss systems of linear congruences where the moduli are all different. Definition. Given the

More information

Basic elements of number theory

Basic elements of number theory Cryptography Basic elements of number theory Marius Zimand By default all the variables, such as a, b, k, etc., denote integer numbers. Divisibility a 0 divides b if b = a k for some integer k. Notation

More information

Basic elements of number theory

Basic elements of number theory Cryptography Basic elements of number theory Marius Zimand 1 Divisibility, prime numbers By default all the variables, such as a, b, k, etc., denote integer numbers. Divisibility a 0 divides b if b = a

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

UNDERSTANDING RULER AND COMPASS CONSTRUCTIONS WITH FIELD THEORY

UNDERSTANDING RULER AND COMPASS CONSTRUCTIONS WITH FIELD THEORY UNDERSTANDING RULER AND COMPASS CONSTRUCTIONS WITH FIELD THEORY ISAAC M. DAVIS Abstract. By associating a subfield of R to a set of points P 0 R 2, geometric properties of ruler and compass constructions

More information

Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.

Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u. 5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field

More information

arxiv: v1 [math.gr] 3 Feb 2019

arxiv: v1 [math.gr] 3 Feb 2019 Galois groups of symmetric sextic trinomials arxiv:1902.00965v1 [math.gr] Feb 2019 Alberto Cavallo Max Planck Institute for Mathematics, Bonn 5111, Germany cavallo@mpim-bonn.mpg.de Abstract We compute

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

Number Theory Homework.

Number Theory Homework. Number Theory Homewor. 1. The Theorems of Fermat, Euler, and Wilson. 1.1. Fermat s Theorem. The following is a special case of a result we have seen earlier, but as it will come up several times in this

More information

but no smaller power is equal to one. polynomial is defined to be

but no smaller power is equal to one. polynomial is defined to be 13. Radical and Cyclic Extensions The main purpose of this section is to look at the Galois groups of x n a. The first case to consider is a = 1. Definition 13.1. Let K be a field. An element ω K is said

More information

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If

More information

Math 581 Problem Set 7 Solutions

Math 581 Problem Set 7 Solutions Math 581 Problem Set 7 Solutions 1. Let f(x) Q[x] be a polynomial. A ring isomorphism φ : R R is called an automorphism. (a) Let φ : C C be a ring homomorphism so that φ(a) = a for all a Q. Prove that

More information

SECOND-ORDER RECURRENCES. Lawrence Somer Department of Mathematics, Catholic University of America, Washington, D.C

SECOND-ORDER RECURRENCES. Lawrence Somer Department of Mathematics, Catholic University of America, Washington, D.C p-stability OF DEGENERATE SECOND-ORDER RECURRENCES Lawrence Somer Department of Mathematics, Catholic University of America, Washington, D.C. 20064 Walter Carlip Department of Mathematics and Computer

More information

Simplifying Rational Expressions and Functions

Simplifying Rational Expressions and Functions Department of Mathematics Grossmont College October 15, 2012 Recall: The Number Types Definition The set of whole numbers, ={0, 1, 2, 3, 4,...} is the set of natural numbers unioned with zero, written

More information

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R. Chapter 1 Rings We have spent the term studying groups. A group is a set with a binary operation that satisfies certain properties. But many algebraic structures such as R, Z, and Z n come with two binary

More information

Math 120 HW 9 Solutions

Math 120 HW 9 Solutions Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z

More information

Section 33 Finite fields

Section 33 Finite fields Section 33 Finite fields Instructor: Yifan Yang Spring 2007 Review Corollary (23.6) Let G be a finite subgroup of the multiplicative group of nonzero elements in a field F, then G is cyclic. Theorem (27.19)

More information

Symmetries and Polynomials

Symmetries and Polynomials Symmetries and Polynomials Aaron Landesman and Apurva Nakade June 30, 2018 Introduction In this class we ll learn how to solve a cubic. We ll also sketch how to solve a quartic. We ll explore the connections

More information

Simple Abelian Topological Groups. Luke Dominic Bush Hipwood. Mathematics Institute

Simple Abelian Topological Groups. Luke Dominic Bush Hipwood. Mathematics Institute M A E NS G I T A T MOLEM UNIVERSITAS WARWICENSIS Simple Abelian Topological Groups by Luke Dominic Bush Hipwood supervised by Dr Dmitriy Rumynin 4th Year Project Submitted to The University of Warwick

More information

Factorization in Integral Domains II

Factorization in Integral Domains II Factorization in Integral Domains II 1 Statement of the main theorem Throughout these notes, unless otherwise specified, R is a UFD with field of quotients F. The main examples will be R = Z, F = Q, and

More information

MA106 Linear Algebra lecture notes

MA106 Linear Algebra lecture notes MA106 Linear Algebra lecture notes Lecturers: Diane Maclagan and Damiano Testa 2017-18 Term 2 Contents 1 Introduction 3 2 Matrix review 3 3 Gaussian Elimination 5 3.1 Linear equations and matrices.......................

More information

A connection between number theory and linear algebra

A connection between number theory and linear algebra A connection between number theory and linear algebra Mark Steinberger Contents 1. Some basics 1 2. Rational canonical form 2 3. Prime factorization in F[x] 4 4. Units and order 5 5. Finite fields 7 6.

More information

Factorization in Polynomial Rings

Factorization in Polynomial Rings Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,

More information

Rational Points on Conics, and Local-Global Relations in Number Theory

Rational Points on Conics, and Local-Global Relations in Number Theory Rational Points on Conics, and Local-Global Relations in Number Theory Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu http://www.math.purdue.edu/ lipman November 26, 2007

More information

PERFECT POLYNOMIALS OVER F p WITH p + 1 IRREDUCIBLE DIVISORS. 1. Introduction. Let p be a prime number. For a monic polynomial A F p [x] let d

PERFECT POLYNOMIALS OVER F p WITH p + 1 IRREDUCIBLE DIVISORS. 1. Introduction. Let p be a prime number. For a monic polynomial A F p [x] let d PERFECT POLYNOMIALS OVER F p WITH p + 1 IRREDUCIBLE DIVISORS L. H. GALLARDO and O. RAHAVANDRAINY Abstract. We consider, for a fixed prime number p, monic polynomials in one variable over the finite field

More information

The Fundamental Theorem of Arithmetic

The Fundamental Theorem of Arithmetic Chapter 1 The Fundamental Theorem of Arithmetic 1.1 Primes Definition 1.1. We say that p N is prime if it has just two factors in N, 1 and p itself. Number theory might be described as the study of the

More information

ACI-matrices all of whose completions have the same rank

ACI-matrices all of whose completions have the same rank ACI-matrices all of whose completions have the same rank Zejun Huang, Xingzhi Zhan Department of Mathematics East China Normal University Shanghai 200241, China Abstract We characterize the ACI-matrices

More information

A Harvard Sampler. Evan Chen. February 23, I crashed a few math classes at Harvard on February 21, Here are notes from the classes.

A Harvard Sampler. Evan Chen. February 23, I crashed a few math classes at Harvard on February 21, Here are notes from the classes. A Harvard Sampler Evan Chen February 23, 2014 I crashed a few math classes at Harvard on February 21, 2014. Here are notes from the classes. 1 MATH 123: Algebra II In this lecture we will make two assumptions.

More information

MATH 326: RINGS AND MODULES STEFAN GILLE

MATH 326: RINGS AND MODULES STEFAN GILLE MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called

More information

Hall subgroups and the pronormality

Hall subgroups and the pronormality 1 1 Sobolev Institute of Mathematics, Novosibirsk, Russia revin@math.nsc.ru Novosibirsk, November 14, 2013 Definition A subgroup H of a group G is said to be pronormal if H and H g are conjugate in H,

More information

Continued fractions for complex numbers and values of binary quadratic forms

Continued fractions for complex numbers and values of binary quadratic forms arxiv:110.3754v1 [math.nt] 18 Feb 011 Continued fractions for complex numbers and values of binary quadratic forms S.G. Dani and Arnaldo Nogueira February 1, 011 Abstract We describe various properties

More information

SUMS OF VALUES OF A RATIONAL FUNCTION. x k i

SUMS OF VALUES OF A RATIONAL FUNCTION. x k i SUMS OF VALUES OF A RATIONAL FUNCTION BJORN POONEN Abstract. Let K be a number field, and let f K(x) be a nonconstant rational function. We study the sets { n } f(x i ) : x i K {poles of f} and { n f(x

More information

Cullen Numbers in Binary Recurrent Sequences

Cullen Numbers in Binary Recurrent Sequences Cullen Numbers in Binary Recurrent Sequences Florian Luca 1 and Pantelimon Stănică 2 1 IMATE-UNAM, Ap. Postal 61-3 (Xangari), CP 58 089 Morelia, Michoacán, Mexico; e-mail: fluca@matmor.unam.mx 2 Auburn

More information

GALOIS THEORY. Contents

GALOIS THEORY. Contents GALOIS THEORY MARIUS VAN DER PUT & JAAP TOP Contents 1. Basic definitions 1 1.1. Exercises 2 2. Solving polynomial equations 2 2.1. Exercises 4 3. Galois extensions and examples 4 3.1. Exercises. 6 4.

More information

Section VI.33. Finite Fields

Section VI.33. Finite Fields VI.33 Finite Fields 1 Section VI.33. Finite Fields Note. In this section, finite fields are completely classified. For every prime p and n N, there is exactly one (up to isomorphism) field of order p n,

More information

The density of rational points on non-singular hypersurfaces, I

The density of rational points on non-singular hypersurfaces, I The density of rational points on non-singular hypersurfaces, I T.D. Browning 1 and D.R. Heath-Brown 2 1 School of Mathematics, Bristol University, Bristol BS8 1TW 2 Mathematical Institute,24 29 St. Giles,Oxford

More information

a mod a 2 mod

a mod a 2 mod Primitive Roots (I) Example: Consider U 32. For any element a U 32, ord 32 a ϕ(32) = 16. But (±a ±16) 2 a 2 (mod 32), so a mod32 1 3 5 7 15 13 11 9 17 19 21 23 31 29 27 25 a 2 mod 32 1 9 25 17 This shows

More information

Gordon solutions. n=1 1. p n

Gordon solutions. n=1 1. p n Gordon solutions 1. A positive integer is called a palindrome if its base-10 expansion is unchanged when it is reversed. For example, 121 and 7447 are palindromes. Show that if we denote by p n the nth

More information

where c R and the content of f is one. 1

where c R and the content of f is one. 1 9. Gauss Lemma Obviously it would be nice to have some more general methods of proving that a given polynomial is irreducible. The first is rather beautiful and due to Gauss. The basic idea is as follows.

More information

José Felipe Voloch. Abstract: We discuss the problem of constructing elements of multiplicative high

José Felipe Voloch. Abstract: We discuss the problem of constructing elements of multiplicative high On the order of points on curves over finite fields José Felipe Voloch Abstract: We discuss the problem of constructing elements of multiplicative high order in finite fields of large degree over their

More information

Basic Algebra. Final Version, August, 2006 For Publication by Birkhäuser Boston Along with a Companion Volume Advanced Algebra In the Series

Basic Algebra. Final Version, August, 2006 For Publication by Birkhäuser Boston Along with a Companion Volume Advanced Algebra In the Series Basic Algebra Final Version, August, 2006 For Publication by Birkhäuser Boston Along with a Companion Volume Advanced Algebra In the Series Cornerstones Selected Pages from Chapter I: pp. 1 15 Anthony

More information

Part IX. Factorization

Part IX. Factorization IX.45. Unique Factorization Domains 1 Part IX. Factorization Section IX.45. Unique Factorization Domains Note. In this section we return to integral domains and concern ourselves with factoring (with respect

More information

Sequences of height 1 primes in Z[X]

Sequences of height 1 primes in Z[X] Sequences of height 1 primes in Z[X] Stephen McAdam Department of Mathematics University of Texas Austin TX 78712 mcadam@math.utexas.edu Abstract: For each partition J K of {1, 2,, n} (n 2) with J 2, let

More information

Algebraic Cryptography Exam 2 Review

Algebraic Cryptography Exam 2 Review Algebraic Cryptography Exam 2 Review You should be able to do the problems assigned as homework, as well as problems from Chapter 3 2 and 3. You should also be able to complete the following exercises:

More information

Chris Smyth School of Mathematics and Maxwell Institute for Mathematical Sciences, University of Edinburgh, Edinburgh EH9 3JZ, UK.

Chris Smyth School of Mathematics and Maxwell Institute for Mathematical Sciences, University of Edinburgh, Edinburgh EH9 3JZ, UK. THE DIVISIBILITY OF a n b n BY POWERS OF n Kálmán Győry Institute of Mathematics, University of Debrecen, Debrecen H-4010, Hungary. gyory@math.klte.hu Chris Smyth School of Mathematics and Maxwell Institute

More information

Section IV.23. Factorizations of Polynomials over a Field

Section IV.23. Factorizations of Polynomials over a Field IV.23 Factorizations of Polynomials 1 Section IV.23. Factorizations of Polynomials over a Field Note. Our experience with classical algebra tells us that finding the zeros of a polynomial is equivalent

More information

Number Theory and Graph Theory. Prime numbers and congruences.

Number Theory and Graph Theory. Prime numbers and congruences. 1 Number Theory and Graph Theory Chapter 2 Prime numbers and congruences. By A. Satyanarayana Reddy Department of Mathematics Shiv Nadar University Uttar Pradesh, India E-mail: satya8118@gmail.com 2 Module-1:Primes

More information

Divisibility in the Fibonacci Numbers. Stefan Erickson Colorado College January 27, 2006

Divisibility in the Fibonacci Numbers. Stefan Erickson Colorado College January 27, 2006 Divisibility in the Fibonacci Numbers Stefan Erickson Colorado College January 27, 2006 Fibonacci Numbers F n+2 = F n+1 + F n n 1 2 3 4 6 7 8 9 10 11 12 F n 1 1 2 3 8 13 21 34 89 144 n 13 14 1 16 17 18

More information

NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS

NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS CARRIE E. FINCH AND LENNY JONES Abstract. Let G be a finite group and let x G. Define the order subset of G determined by x to be the set of all elements in

More information

Lecture notes: Algorithms for integers, polynomials (Thorsten Theobald)

Lecture notes: Algorithms for integers, polynomials (Thorsten Theobald) Lecture notes: Algorithms for integers, polynomials (Thorsten Theobald) 1 Euclid s Algorithm Euclid s Algorithm for computing the greatest common divisor belongs to the oldest known computing procedures

More information

Over the Integers A PROJECT SUBMITTED TO THE FACULTY OF THE GRADUATE SCHOOL OF THE UNIVERSITY OF MINNESOTA. Brittany Fanning

Over the Integers A PROJECT SUBMITTED TO THE FACULTY OF THE GRADUATE SCHOOL OF THE UNIVERSITY OF MINNESOTA. Brittany Fanning Periodic Behavior in a Class of Second Order Recurrence Relations Over the Integers A PROJECT SUBMITTED TO THE FACULTY OF THE GRADUATE SCHOOL OF THE UNIVERSITY OF MINNESOTA BY Brittany Fanning IN PARTIAL

More information

Classification of Finite Fields

Classification of Finite Fields Classification of Finite Fields In these notes we use the properties of the polynomial x pd x to classify finite fields. The importance of this polynomial is explained by the following basic proposition.

More information

Ternary Modified Collatz Sequences And Jacobsthal Numbers

Ternary Modified Collatz Sequences And Jacobsthal Numbers 1 47 6 11 Journal of Integer Sequences, Vol. 19 (016), Article 16.7.5 Ternary Modified Collatz Sequences And Jacobsthal Numbers Ji Young Choi Department of Mathematics Shippensburg University of Pennsylvania

More information

Zsigmondy s Theorem. Lola Thompson. August 11, Dartmouth College. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, / 1

Zsigmondy s Theorem. Lola Thompson. August 11, Dartmouth College. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, / 1 Zsigmondy s Theorem Lola Thompson Dartmouth College August 11, 2009 Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 1 / 1 Introduction Definition o(a modp) := the multiplicative order

More information

ELEMENTARY LINEAR ALGEBRA

ELEMENTARY LINEAR ALGEBRA ELEMENTARY LINEAR ALGEBRA K. R. MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND Second Online Version, December 1998 Comments to the author at krm@maths.uq.edu.au Contents 1 LINEAR EQUATIONS

More information

Homework 4 Solutions

Homework 4 Solutions Homework 4 Solutions November 11, 2016 You were asked to do problems 3,4,7,9,10 in Chapter 7 of Lang. Problem 3. Let A be an integral domain, integrally closed in its field of fractions K. Let L be a finite

More information

GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)

GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) KEITH CONRAD We will describe a procedure for figuring out the Galois groups of separable irreducible polynomials in degrees 3 and 4 over

More information

A note on the Isomorphism Problem for Monomial Digraphs

A note on the Isomorphism Problem for Monomial Digraphs A note on the Isomorphism Problem for Monomial Digraphs Aleksandr Kodess Department of Mathematics University of Rhode Island kodess@uri.edu Felix Lazebnik Department of Mathematical Sciences University

More information

On a family of sequences related to Chebyshev polynomials

On a family of sequences related to Chebyshev polynomials arxiv:1802.01793v3 [math.nt] 23 Jul 2018 On a family of sequences related to Chebyshev polynomials Andrew N. W. Hone, L. Edson Jeffery and Robert G. Selcoe July 24, 2018 Abstract The appearance of primes

More information

Gaussian integers. 1 = a 2 + b 2 = c 2 + d 2.

Gaussian integers. 1 = a 2 + b 2 = c 2 + d 2. Gaussian integers 1 Units in Z[i] An element x = a + bi Z[i], a, b Z is a unit if there exists y = c + di Z[i] such that xy = 1. This implies 1 = x 2 y 2 = (a 2 + b 2 )(c 2 + d 2 ) But a 2, b 2, c 2, d

More information

Rings If R is a commutative ring, a zero divisor is a nonzero element x such that xy = 0 for some nonzero element y R.

Rings If R is a commutative ring, a zero divisor is a nonzero element x such that xy = 0 for some nonzero element y R. Rings 10-26-2008 A ring is an abelian group R with binary operation + ( addition ), together with a second binary operation ( multiplication ). Multiplication must be associative, and must distribute over

More information

SOLVING SOLVABLE QUINTICS. D. S. Dummit

SOLVING SOLVABLE QUINTICS. D. S. Dummit D. S. Dummit Abstract. Let f(x) = x 5 + px 3 + qx + rx + s be an irreducible polynomial of degree 5 with rational coefficients. An explicit resolvent sextic is constructed which has a rational root if

More information

Extension fields II. Sergei Silvestrov. Spring term 2011, Lecture 13

Extension fields II. Sergei Silvestrov. Spring term 2011, Lecture 13 Extension fields II Sergei Silvestrov Spring term 2011, Lecture 13 Abstract Contents of the lecture. Algebraic extensions. Finite fields. Automorphisms of fields. The isomorphism extension theorem. Splitting

More information

IRREDUCIBILITY TESTS IN Q[T ]

IRREDUCIBILITY TESTS IN Q[T ] IRREDUCIBILITY TESTS IN Q[T ] KEITH CONRAD 1. Introduction For a general field F there is no simple way to determine if an arbitrary polynomial in F [T ] is irreducible. Here we will focus on the case

More information

AND RELATED NUMBERS. GERHARD ROSENBERGER Dortmund, Federal Republic of Germany (Submitted April 1982)

AND RELATED NUMBERS. GERHARD ROSENBERGER Dortmund, Federal Republic of Germany (Submitted April 1982) ON SOME D I V I S I B I L I T Y PROPERTIES OF FIBONACCI AND RELATED NUMBERS Universitat GERHARD ROSENBERGER Dortmund, Federal Republic of Germany (Submitted April 1982) 1. Let x be an arbitrary natural

More information

Section X.55. Cyclotomic Extensions

Section X.55. Cyclotomic Extensions X.55 Cyclotomic Extensions 1 Section X.55. Cyclotomic Extensions Note. In this section we return to a consideration of roots of unity and consider again the cyclic group of roots of unity as encountered

More information

CYCLICITY OF (Z/(p))

CYCLICITY OF (Z/(p)) CYCLICITY OF (Z/(p)) KEITH CONRAD 1. Introduction For each prime p, the group (Z/(p)) is cyclic. We will give seven proofs of this fundamental result. A common feature of the proofs that (Z/(p)) is cyclic

More information

LECTURE NOTES IN CRYPTOGRAPHY

LECTURE NOTES IN CRYPTOGRAPHY 1 LECTURE NOTES IN CRYPTOGRAPHY Thomas Johansson 2005/2006 c Thomas Johansson 2006 2 Chapter 1 Abstract algebra and Number theory Before we start the treatment of cryptography we need to review some basic

More information

On The Weights of Binary Irreducible Cyclic Codes

On The Weights of Binary Irreducible Cyclic Codes On The Weights of Binary Irreducible Cyclic Codes Yves Aubry and Philippe Langevin Université du Sud Toulon-Var, Laboratoire GRIM F-83270 La Garde, France, {langevin,yaubry}@univ-tln.fr, WWW home page:

More information

A CONGRUENTIAL IDENTITY AND THE 2-ADIC ORDER OF LACUNARY SUMS OF BINOMIAL COEFFICIENTS

A CONGRUENTIAL IDENTITY AND THE 2-ADIC ORDER OF LACUNARY SUMS OF BINOMIAL COEFFICIENTS A CONGRUENTIAL IDENTITY AND THE 2-ADIC ORDER OF LACUNARY SUMS OF BINOMIAL COEFFICIENTS Gregory Tollisen Department of Mathematics, Occidental College, 1600 Campus Road, Los Angeles, USA tollisen@oxy.edu

More information

Chapter 2: Linear Independence and Bases

Chapter 2: Linear Independence and Bases MATH20300: Linear Algebra 2 (2016 Chapter 2: Linear Independence and Bases 1 Linear Combinations and Spans Example 11 Consider the vector v (1, 1 R 2 What is the smallest subspace of (the real vector space

More information

SUMS OF SECOND ORDER LINEAR RECURRENCES THOMAS MCKENZIE AND SHANNON OVERBAY

SUMS OF SECOND ORDER LINEAR RECURRENCES THOMAS MCKENZIE AND SHANNON OVERBAY SUMS OF SECOND ORDER LINEAR RECURRENCES THOMAS MCKENZIE AND SHANNON OVERBAY Abstract. This paper examines second order linear homogeneous recurrence relations with coefficients in finite rings. The first

More information

p-adic fields Chapter 7

p-adic fields Chapter 7 Chapter 7 p-adic fields In this chapter, we study completions of number fields, and their ramification (in particular in the Galois case). We then look at extensions of the p-adic numbers Q p and classify

More information

0 Sets and Induction. Sets

0 Sets and Induction. Sets 0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

More information

A NUMBER-THEORETIC CONJECTURE AND ITS IMPLICATION FOR SET THEORY. 1. Motivation

A NUMBER-THEORETIC CONJECTURE AND ITS IMPLICATION FOR SET THEORY. 1. Motivation Acta Math. Univ. Comenianae Vol. LXXIV, 2(2005), pp. 243 254 243 A NUMBER-THEORETIC CONJECTURE AND ITS IMPLICATION FOR SET THEORY L. HALBEISEN Abstract. For any set S let seq (S) denote the cardinality

More information

Carmen s Core Concepts (Math 135)

Carmen s Core Concepts (Math 135) Carmen s Core Concepts (Math 135) Carmen Bruni University of Waterloo Week 4 1 Principle of Mathematical Induction 2 Example 3 Base Case 4 Inductive Hypothesis 5 Inductive Step When Induction Isn t Enough

More information

1 The Galois Group of a Quadratic

1 The Galois Group of a Quadratic Algebra Prelim Notes The Galois Group of a Polynomial Jason B. Hill University of Colorado at Boulder Throughout this set of notes, K will be the desired base field (usually Q or a finite field) and F

More information

Decomposition of a recursive family of polynomials

Decomposition of a recursive family of polynomials Decomposition of a recursive family of polynomials Andrej Dujella and Ivica Gusić Abstract We describe decomposition of polynomials f n := f n,b,a defined by f 0 := B, f 1 (x := x, f n+1 (x = xf n (x af

More information

Sums of Squares. Bianca Homberg and Minna Liu

Sums of Squares. Bianca Homberg and Minna Liu Sums of Squares Bianca Homberg and Minna Liu June 24, 2010 Abstract For our exploration topic, we researched the sums of squares. Certain properties of numbers that can be written as the sum of two squares

More information

FACTORING IN QUADRATIC FIELDS. 1. Introduction

FACTORING IN QUADRATIC FIELDS. 1. Introduction FACTORING IN QUADRATIC FIELDS KEITH CONRAD For a squarefree integer d other than 1, let 1. Introduction K = Q[ d] = {x + y d : x, y Q}. This is closed under addition, subtraction, multiplication, and also

More information

Classification of root systems

Classification of root systems Classification of root systems September 8, 2017 1 Introduction These notes are an approximate outline of some of the material to be covered on Thursday, April 9; Tuesday, April 14; and Thursday, April

More information

k-protected VERTICES IN BINARY SEARCH TREES

k-protected VERTICES IN BINARY SEARCH TREES k-protected VERTICES IN BINARY SEARCH TREES MIKLÓS BÓNA Abstract. We show that for every k, the probability that a randomly selected vertex of a random binary search tree on n nodes is at distance k from

More information

MULTIPLICATIVE SEMIGROUPS RELATED TO THE 3x +1 PROBLEM. 1. Introduction The 3x +1iteration is given by the function on the integers for x even 3x+1

MULTIPLICATIVE SEMIGROUPS RELATED TO THE 3x +1 PROBLEM. 1. Introduction The 3x +1iteration is given by the function on the integers for x even 3x+1 MULTIPLICATIVE SEMIGROUPS RELATED TO THE 3x + PROBLEM ANA CARAIANI Abstract. Recently Lagarias introduced the Wild semigroup, which is intimately connected to the 3x + Conjecture. Applegate and Lagarias

More information