Daisy chains with three generators

Size: px
Start display at page:

Download "Daisy chains with three generators"

Transcription

1 AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 5 (009), Pages Daisy chains with three generators D. A. Preece Queen Mary University of London School of Mathematical Sciences Mile End Road, London E1 NS U.K. D.A.Preece@qmul.ac.uk and Institute of Mathematics, Statistics and Actuarial Science Cornwallis Building, University of Kent Canterbury, Kent CT 7NF U.K. Abstract For many positive odd integers n, whether prime, prime power or composite, the set U n of units of Z n contains members u, v and w, saywith respective orders ψ, ω and π, such that we can write U n as the direct product U n = u v w. Each element of U n canthenbewrittenin the form u i v j w k where 0 i ψ 1, 0 j ω 1and0 k π 1. We can then often use the structure of u v w to arrange the ψωπ elements of U n in a daisy chain, i.e. in a circular arrangement such that, as we proceed round the chain in either direction, the set of differences between each member and the preceding one is itself the set U n.wedescribe such daisy chains as daisy chains with three generators. Eachsuch daisy chain consists of a succession of super-segments of length ωπ, each made of segments of length π. Within each segment, each successive element is obtained from the preceding one by multiplication by w; within each super-segment, each successive segment is obtained from the preceding one by multiplication by v; each successive super-segment is obtained from the preceding one by multiplication by u. Westudytheexistenceof such arrangements, some of which can be obtained from general constructions which we describe. In many of our examples of the arrangements, one of the generators has order ; if n is prime, that generator must then be 1 (modn), but if n is composite, another square root of 1 (mod n) may occasionally be used.

2 158 D. A. PREECE 1 Introduction Any positive integer n has a prime-power decomposition n = p i q j r k (i, j, k 1) where p,q,r,...are finitely many distinct primes. In standard terminology, the units of the corresponding group Z n are those elements of Z n \0} that are coprime with n. The number of units in Z n is given by Euler s totient function φ(n) =(p 1)p i1 (q 1)q j1 (r 1)r k1 (e.g. [, p. 87]). For n odd, a daisy chain [5] for the units of Z n (in short, a Z n daisy chain) is an ordered arrangement [a 1,a,...,a φ(n) ] of the units on a circle, such that the set of differences b i = a i+1 a i (i =1,,...,φ(n), with a φ(n)+1 = a 1 ) is itself the set of units. Here, as in [5] and elsewhere, we use square brackets to indicate a cycle. However, also as in [5], we replace [ and ] by and when we present a specific daisy chain in a display, and we then replace the commas by spaces. We henceforth use difference to mean a right-minus-left difference of the above form a i+1 a i. Various systematic methods of construction of daisy chains for Z n were given in [5], where the emphasis was on values of n lying in the range 1 <n<00. We now investigate a new type of construction, which proves to be fruitful for both prime and composite values of n. To give a reasonable illustration of the scope of this new type, we now need to extend upwards the range of values of n. For many positive odd integers n, whether prime, prime power or composite, the set U n of units of Z n contains members u, v and w, say with respective orders ψ, ω and π, such that we can write U n = u v w. (Here, as subsequently in this paper, the symbol indicates a direct product.) All, some or none of the orders ψ, ω and π may be prime. Each element of U n can then be written in the form u i v j w k where 0 i ψ 1, 0 j ω 1and0 k π1. We can then often use the structure of u v w to arrange the ψωπ elements of U n in a daisy chain for Z n. We describe such daisy chains as daisy chains with three generators. Eachsuch daisy chain consists of a succession of super-segments of length ωπ, each made up of segments of length π. Within each segment, each successive element is obtained from the preceding one by multiplication by w; within each super-segment, each successive segment is obtained from the preceding one by multiplication by v; each successive super-segment is obtained from the preceding one by multiplication by u. Thus, a daisy chain with three generators is of the following form where, as in [5], a single fence denotes a boundary between two segments within a supersegment, and a double fence denotes a boundary between supersegments:

3 DAISY CHAINS WITH THREE GENERATORS 159 u 0 v 0 w 0 u 0 v 0 w 1... u 0 v 0 w π1 u 0 v 1 w 0 u 0 v 1 w u 0 v 1 w π1 u 0 v ω1 w 0 u 0 v ω1 w 1... u 0 v ω1 w π1 u 1 v 0 w 0 u 1 v 0 w 1... u 1 v 0 w π1 u 1 v 1 w 0 u 1 v 1 w u 1 v 1 w π1 u 1 v ω1 w 0 u 1 v ω1 w 1... u 1 v ω1 w π1. u ψ1 v 0 w 0 u ψ1 v 0 w 1... u ψ1 v 0 w π1 u ψ1 v 1 w 0 u ψ1 v 1 w u ψ1 v 1 w π1 u ψ1 v ω1 w 0 u ψ1 v ω1 w 1... u ψ1 v ω1 w π1 As a daisy chain may be read anticlockwise as well as clockwise, the existence of a particular daisy chain with the three generators u, v and w implies the existence of a daisy chain with the three generators u 1, v 1 and w 1. For this reason, the distinct parameter sets (u, v, w) for any particular n arise in pairs; we use N n to denote the number of such pairs. For prime values of n in the range n<00, Table 1 below gives parameter sets (ψ, ω, π) and(u, v, w) forz n daisy chains with three generators. Table similarly covers prime powers n = p j (j>1), whereas Table covers composite values of n in the range n<10. For each n in Table, we use ξ(n), as in [1], to denote the value of φ(n)/λ(n) where λ(n), which is Carmichael s λ-function [, ], gives the order of an element of maximum order in U n.(ifnis odd and composite, then ξ(n) iseven [1].) Longer versions of Tables 1 and can be viewed [] via the Australasian Journal of Combinatorics website. There, Table 1 is for n<500, and the much longer Table is for n<50. As indicated by the footnotes to Tables 1 and, many of the parameter sets (u, v, w) satisfy simple relationships such as u +v 0(modn) or(u +1)vw 1 (mod n). Mostly, we give only one parameter set (u, v, w) for any particular set (ψ, ω, π) for any particular value of n, but we give two or more sets (u, v, w) ifeach of the listed possibilities satisfies one of the listed simple relationships. Some of these relationships arise from general constructions that can be formalised and proved, as in Sections and below; others arise unexplained. The relationship (u +1)vw 1(modn), satisfied by many examples in Tables 1 and, requires the first element of the second supersegment to be 1 less than the final element of the first supersegment. This situation reflects that of Theorems. and.1 of [5], where the first element of the second segment of a daisy chain is 1 less than the final element of the first segment. However, the relationship (u 1)vw 1 (mod n) also arises for various primes, e.g. n = 79, 1, 57 and 91 (Table 1); then the first element of the second supersegment is 1 more than the final element of the first supersegment.

4 10 D. A. PREECE For composite values of n, the relationships u(v +1)w 1 (mod n) and (u +1)vw 1(modn) frequently occur too. The latter is often satisfied simultaneously with u vw (mod n), in which case we have (u 1)(u +) 0(modn) and (vw 1)(vw +1) 0(modn). Note 1.1: In many of our examples of daisy chains with three generators, one of the generators has order. If n is prime, that generator must then be 1 (modn), but if n is composite, another square root of 1 (mod n) may perhaps be used; we obtain examples of this for n =, 91, 1, 171, 189, 1, 17, 7, 59, 75, 79, 01, 09, 15, 5 and 1 (see Table ). Note 1.: Constructions for Z n daisy chains with two generators were given in [5], but at least three generators are needed if analogous constructions are to be provided for odd composite integers n that have three distinct odd prime factors. For n-values of this last type, we now provide three-generator daisy chains for n = 105, 15, 195, 1, 55, 7, 15 and 5 (again see Table ). Note 1.: A special type of daisy chain for Z n has the property that a i a i+φ(n)/ (mod n) for i =1,,...,φ(n)/. For Z n daisy chains with generators, this property is achieved if ψ is even, with u ψ/ 1(modn). We obtain examples of this for n = 1, 1, 7, 09, 1, and (prime, Table 1), for n =19=1 (Table ) and for n = 15 and 59 (composite, Table ). Having ψ even is not a sufficient condition for the property. Some theorems, n prime We now provide eight theorems that embody general constructions for Z n daisy chains with three generators. Theorems.1. are for prime values of n, andthe- orems.1 are for composite values. Theorem.1 Let n be a prime such that n or 7 (mod 7). Lety be an element of order in Z n, and suppose that there exists an element x, oforder(n 1)/ in Z n, such that x y 1 x i y (mod n) for some i from,,...,(n 1)/}. Then, for Z n, there is a daisy chain with (ψ, ω, π) =((n 1)/,, ) and parameters (u, v, w) =(x, y, 1). Proof: The conditions of the Theorem ensure that ψ, ω and π are mutually prime and that the product u v w is direct. As n 1 (mod ), the element is a quadratic residue modulo n, andasy + y +1 0(modn) wehavey 1 (1 ± ) (mod n). The proposed daisy chain is of the form 1 1 y y (y +1) y +1 x...

5 DAISY CHAINS WITH THREE GENERATORS 11 where the first element in each segment is a quadratic residue modulo n, andthe second is a quadratic non-residue. The difference in the first segment is, which is a quadratic residue, so the set of all the within-segment differences is precisely the set of quadratic residues. The difference at the first single fence is y + 1, and that at the second single fence is 1, and these quadratic non-residues are respectively the sixth and second elements of the first super-segment. So we require the difference xy 1 at the first double fence to equal the fourth element in one of the super-segments. The result follows. Note.1: Theorem.1 fails to yield a daisy chain for n =, but succeeds for n = 7, 19, 11, 8, and 1 (see Table 1) and for n = 99, 57, 571, 18,, 91, 787, 859 and 907. Example.1: n = 7. With y = 9 we may, for example, take x = 9 in Theorem.1, as we then have x y 1 x 7 y (mod n). This gives the following Z 7 daisy chain (see Table 1), where the value x y 1 (mod n) ismarkedwithanasterisk: w v u * Theorem. Let n be a prime with n 7(mod8). Suppose that Z n \0} contains an element x such that the quadratic residues modulo n are the elements of x x +1, withx +1 x +1. Then,forZ n, there is a daisy chain with (ψ, ω, π) = (ord n (x +1), ord n (x), ) and (u, v, w) =(x +1, x 1, 1). Proof: The product u v w is direct as 1 isnotasquareinz n. proposed daisy chain is of the form The

6 1 D. A. PREECE 1 1 x 1 x 1 x x... x x x +1 (x +1) x 1 +1 (x 1 +1) x 1 (x 1 +1) x 1 (x 1 +1)... x(x +1) x(x +1) (x +1).... where the first element in each segment is a quadratic residue modulo n, andthe second is a quadratic non-residue. The difference in the first segment is, which is a quadratic non-residue, so all the within-segment differences are quadratic nonresidues. The differences at the 1 st, nd,...,(ω1) th single fences are x 1 +1, x 1 (x 1 +1),x (x 1 +1),..., namely the initial elements of the nd, rd,..., ω th segments of the second supersegment. So we require the difference x + 1 at the first double fence to be the initial element of a supersegment. The results follows. Note.: The smallest prime for which Theorem. yields a daisy chain is n =11, with x ==5 1 where ord n (x) =5andord n (x + 1) = 1 (see again Table 1). Theorem. Let n be a prime with n (mod8). Suppose that Z n \0} contains an element x, satisfying 1 <x<n, such that Z n \0} = x x +1 = y y +1 where y (x +1) (modn), andwhereord n (x +1) and ord n (y +1) are both even. Then there is a Z n daisy chain (i) with (ψ, ω, π) = (ord n (x), ord n (y), ), (u, v, w) =(x, y 1, 1) ; likewise there is a Z n daisy chain (ii) with (ψ, ω, π) = (ord n (y), ord n (x), ), (u, v, w) =(y, x 1, 1). In each case we have (u +1)vw 1(modn). Proof: The proposed daisy chain (i) is of the form 1 1 y 1 y 1 y y... y y x x xy 1 xy 1 xy xy... xy xy x etc..

7 DAISY CHAINS WITH THREE GENERATORS 1 where the first element in each segment is a quadratic residue modulo n, andthe second is not. The difference in the first segment is, which is a quadratic residue, so all the within-segment differences are quadratic residues. The differences at the 1 st, nd,...,(ω1) th single fences are y 1 (1 + y), y (1 + y),..., namely the second elements of the nd, rd,..., ω th segments of the second supersegment. The difference at the first double fence is x+y = 1, which is the second element of the 1 st segment of the first supersegment. The required result for (i) follows. Note.: The smallest prime for which Theorem. yields daisy chains is n =1 (see Table 1), for which we can take x = 7 where ord n (x) = 11 and ord n (x+1) = 0, with y = 5 where ord n (y) = 15 and ord n (y +1) =. With n<1000, Theorem. yields daisy chains for n = 1,, 5, 57, 571, 59, 79, 87, 859 and 971. Some theorems, n composite We now turn to our theorems for odd composite values of n. Theorems.1,. and., like Theorem.1, provide daisy chains with (ω,π) =(, ). Theorem.1 Let n be a composite odd integer such that divides U n. Suppose that U n contains elements x and y, withord n (x) = U n / and ord n (y) =,such that y + y 1(modn) and U n = x y 1. Suppose further that x y, and that x y 1 x i y (mod n) for some i from,,...,ord n (x)}. Then there is a Z n daisy chain with (ψ, ω, π) =( U n /,, ) and parameters (u, v, w) =(x, y, 1). Proof: If y is a unit of order in Z n where n is composite, y does not necessarily satisfy the condition y + y 1(modn), so the appearance of this condition in the statement of the theorem is not a redundancy (see Theorems. and. below). With this condition imposed, the proof is as for Theorem.1, save that the set of quadratic residues is replaced by the set x y. Note.1: In the range n<50, we can use Theorem.1 for n = 91, 9, 19, 18, 01, 7, 91 and 09 (see Table ). Example.1: n =91=7 1. With y =1,wecantakex = 19 in Theorem.1, as we then have x y 1 x y (mod n). This gives the following Z 91 daisy chain (see Table ), where the value x y 1 (mod n) ismarkedwithanasterisk:

8 1 D. A. PREECE TABLE 1 Parameters for daisy chains with generators n prime (n < 00) n N n ψ ω π Notes Theorem u v w 7 a b b a j j Note Note j continued...

9 DAISY CHAINS WITH THREE GENERATORS 15 TABLE 1 (continued) n N n ψ ω π Notes Theorem u v w j j j j Note Note j j i Notes (all the congruences being interpreted modulo n): a u +v 0 i (u 1)vw 1 b u +v 0 j (u +1)vw 1 TABLE Parameters for daisy chains with generators n aprimepowern = p j with j>1(n<00) n N n ψ ω π u v w i 7 1 (i =1,,...,9or10) i 99 1 (i =1,,...,11 or 1) i 8 1 (i =1,,...,17 or 18)

10 1 D. A. PREECE w v u * supersegments Theorem. Let n =9m where m is an odd integer. Let y =1+m or 1+m, and suppose that U n contains an element x such that ord n (x) = U n / and U n = x y 1. Suppose further that x j y (mod n) and x y + x i (mod n) for some values i and j from,,...,ord n (x)}. Then there is a Z n daisy chain with (ψ, ω, π) =( U n /,, ) and parameters (u, v, w) =(x, y, 1). Proof: The relationships ord n (y) =andy +1 y (mod n) are easily checked. The proposed daisy chain is of the form 1 1 y y (y ) y x... where the first element in each segment comes from x y. The difference in the first segment is, which comes from x y, so the set of all the within-segment differences is precisely the set x y. The difference at the second single fence is +, and that at the first single fence is y+1 y, and these are respectively the sixth and fourth elements of one of the supersegments. So we require the difference xy+ at the first double fence to equal the second element of one of the supersegments. The result follows. Note.: In the range n<50, we can use Theorem. for n = 5,, 99, 117, 15, 171, 07, 5, 1, 79 and. Example. n =99= 11. With y = 7, we can take x = 19, 8, or 7 in Theorem.. Taking x = 19 gives the following Z 99 daisy chain (see Table ), where the value x y +(modn) is marked with a dagger:

11 DAISY CHAINS WITH THREE GENERATORS 17 w v u Theorem. Let n =9m where m is an odd integer. Let y =1+m or 1+m, and suppose that ord n () = U n / and U n = y 1. Then there is a Z n daisy chain with (ψ, ω, π) =( U n /,, ) and parameters (u, v, w) =(, y,1). Proof: The proposed daisy chain is of the form 1 1 y y (y ) (y ) y y (y ) (y ) y y (y ) (y ).. Clearly, the set of within-segment differences is precisely the set of first elements within segments. As (y +1)+(y ) y 0 (mod n) we have y +1 (y ), so the difference at the first single fence equals the final element of the second supersegment. The difference at the second single fence is +, which is the second element of the second supersegment. The difference at the first double fence is y, which is the fourth element of the first supersegment. The required result follows. Note.: In the range n<50, we can use Theorem. for n =, 117 and (see Table ). Example.: n == 7. Taking y = in Theorem. gives the following Z daisy chain (see Table ):

12 18 D. A. PREECE w v u Theorem. Let n be an odd composite integer. Suppose that U n contains an element x such that U n = x x +1 1 and x(x +1)+ 0(modn). Then there are Z n daisy chains with (i) (ψ, ω, π) = (ord n (x), ord n (x +1), ) and (u, v, w) =(x, x +1, 1), and (ii) (ψ, ω, π) = (ord n (x),, ord n (x +1)) and (u, v, w) =(x 1, 1, (x +1) 1 ). Proof: The proposed daisy chain (i) is of the form 1 1 (x +1) (x +1) (x +1) (x +1)... (x +1) 1 (x +1) 1 x x x(x +1) x(x +1) x(x +1) x(x +1)... x(x +1) 1 x(x +1) 1 x x x (x +1) x (x +1) x (x +1) x (x +1)... x (x +1) 1 x (x +1) 1. The difference in the first segment is, which is the first entry in the second segment of the second supersegment. Thus the set of within-segment differences is precisely the set of first entries from each segment. The difference at the first single fence is x + x (mod n), which is the second entry in the first segment of the third supersegment. Thus the set of differences at all the single fences is obtained by taking the second entry from every segment except a segment immediately preceding a double fence. Finally, the difference at the first double fence is x +(x +1) 1 =(x +1) 1 [x(x +1)+1] (x +1) 1 (mod n), which is the final element of the first supersegment. The required result follows. The proposed daisy chain (ii) is of the form

13 DAISY CHAINS WITH THREE GENERATORS 19 1 (x +1) 1 (x +1)... (x +1) 1 (x +1) 1 (x +1)... (x +1) x 1 x 1 (x +1) 1 x 1 (x +1)... x 1 (x +1) x 1 x 1 (x +1) 1 x 1 (x +1)... x 1 (x +1). x x (x +1) 1 x (x +1)... x (x +1) x x (x +1) 1 x (x +1)... x (x +1) x x(x +1) 1 x(x +1)... x(x +1) x x(x +1) 1 x(x +1)... x(x +1). The differences within the first segment are the entries, except the first, in the final segment. The differences at the single fences are the first entries of the first segments in the supersegments. The differences at the double fences are the first entries of the second segments in the supersegments. The required result follows. Note.: Theorem. can be used for n = 59 (see Table ). We now come to an important analogue of Theorem.. Theorem Let n be an odd composite integer such that U n contains an element x with U n = x y 1 where y (x +1) (modn). Suppose that x y. Then (as in Theorem.) thereisaz n daisy chain (i) with (ψ, ω, π) = (ord n (x), ord n (y), ), (u, v, w) =(x, y 1, 1) ; likewise there is a Z n daisy chain (ii) with (ψ, ω, π) = (ord n (y), ord n (x), ), (u, v, w) =(y, x 1, 1). In each case we have (u +1)vw 1(modn). Proof: As for Theorem.. Note : Table includes cases from Theorem. Often, but not always, such cases have uv 1 w and therefore u +v 0(modn). Example : n =. With x =and(u, v, w) =(x, y 1, 1) = (, 10, ), Theorem gives the following Z daisy chain: w v x u

14 170 D. A. PREECE More results for composite n As indicated by the Notes to Table, many of its Z n daisy chains have simple relationships between their parameters u, v and w. Further theorems could be provided to account for the appearance of some of these relationships, but we judge these theorems to be of little interest and to be too numerous to justify their inclusion. Of more interest is a type of relationship that can exist between the parameters for a Z n daisy chain for which n is of the form p i q (p prime, i>1) and those for a Z n daisy chain for n = p i1 q. Thus, for example, we can take (u, v, w) =(10, 8, 1) for n =15= 5, and (u, v, w) =(1, 7, 1) for n =5= 5 (see Table ); here the second set of parameters is obtained by reducing the first set modulo 5. Likewise we can take (u, v, w) = (109, 55, 95) for n =189= 7, and (u, v, w, )= (, 55, ) for n == 7 (again see Table ). However, a set of parameters (u, v, w) forp i q, when reduced modulo p i1 q, does not in general give a valid set of parameters (u, v, w) forp i1 q. Note.1: The Notes to Table also draw attention to special situations that can arise when ψ and ω are both multiples of and π =. We can then sometimes have (a) u ψ/ + v +1 0 (mod n) or (b) u ψ/ + v +1 0 (mod n) in conjunction with uv andw 1(modn). At least one of these situations arises for each of n =, 117, 1, 7, 7 and. 5 More than generators Using obvious definitions, we can extend the concept of daisy chains with three generators to that of daisy chains with n generators where n is an arbitrary positive integer. Computer search has shown that such daisy chains with four generators are not rare. They provide a story for another day. Acknowledgments The author is very grateful to E. R. Vaughan (Queen Mary, University of London) for writing the computer program that produced complete listings of -generator daisy chains, and to the referee who improved two of the theorems and made many helpful comments.

15 DAISY CHAINS WITH THREE GENERATORS 171 TABLE Parameters for daisy chains with generators n composite (n <10) marks a composite n that has distinct prime factors marks a value that generates 1 (modn) n ξ(n) N n ψ ω π Notes Theorem u v w., c b, m , 19 1 c 19 1 t. 1 Note.1(a) b, m r j, s n j, r b, j a c, j Note.1(a) Note Notes (all the congruences being interpreted modulo n): a u +v 0 j (u +1)vw 1 m (u +1)vw 1 q vw u b u vw k u(v +1)w 1 n uv(w 1) 1 r v w c u +v 0 o u v s w 1 d v u +1 p uw v t u continued...

16 17 D. A. PREECE 91 7 TABLE (page ) n ξ(n) N n ψ ω π Notes Theorem u v w c, j b, j 1 1 j n, r n n n j, s t j j b c o o Note continued...

17 DAISY CHAINS WITH THREE GENERATORS 17 TABLE (page ) n ξ(n) N n ψ ω π Notes Theorem u v w., c t. 0 1 Note.1(b) 1 1 n j b, m r n, r k j b j j j j j, s b, m c Note.1(a).1 Note.1(b) Note 1.1 Note 1.1 Note.1(a) Note

18 17 D. A. PREECE References [1] P. J. Cameron and D. A. Preece, Notes on Primitive λ-roots, [] R. D. Carmichael, Note on a new number theory function, Bull. Amer. Math. Soc. 1 ( ), 7. [] R. D. Carmichael, Generalizations of Euler s φ-function, with applications to Abelian groups, Quart. J. Math. (191), [] G.A. Jones and J.M. Jones, Elementary Number Theory. Springer, London, [5] D. A. Preece, Daisy chains a fruitful combinatorial concept, Australas. J. Combin. 1 (008), [] D. A. Preece, Supplementary Tables for Daisy Chains with Three Generators, (Received 7 Aug 008; revised Jan 009)

Part II. Number Theory. Year

Part II. Number Theory. Year Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section I 1G 70 Explain what is meant by an Euler pseudoprime and a strong pseudoprime. Show that 65 is an Euler

More information

Another Proof of Nathanson s Theorems

Another Proof of Nathanson s Theorems 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 14 (2011), Article 11.8.4 Another Proof of Nathanson s Theorems Quan-Hui Yang School of Mathematical Sciences Nanjing Normal University Nanjing 210046

More information

On the prime divisors of elements of a D( 1) quadruple

On the prime divisors of elements of a D( 1) quadruple arxiv:1309.4347v1 [math.nt] 17 Sep 2013 On the prime divisors of elements of a D( 1) quadruple Anitha Srinivasan Abstract In [4] it was shown that if {1,b,c,d} is a D( 1) quadruple with b < c < d and b

More information

Chapter 5. Modular arithmetic. 5.1 The modular ring

Chapter 5. Modular arithmetic. 5.1 The modular ring Chapter 5 Modular arithmetic 5.1 The modular ring Definition 5.1. Suppose n N and x, y Z. Then we say that x, y are equivalent modulo n, and we write x y mod n if n x y. It is evident that equivalence

More information

GENERALIZATIONS OF SOME ZERO-SUM THEOREMS. Sukumar Das Adhikari Harish-Chandra Research Institute, Chhatnag Road, Jhusi, Allahabad , INDIA

GENERALIZATIONS OF SOME ZERO-SUM THEOREMS. Sukumar Das Adhikari Harish-Chandra Research Institute, Chhatnag Road, Jhusi, Allahabad , INDIA INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (2008), #A52 GENERALIZATIONS OF SOME ZERO-SUM THEOREMS Sukumar Das Adhikari Harish-Chandra Research Institute, Chhatnag Road, Jhusi, Allahabad

More information

Solving the general quadratic congruence. y 2 Δ (mod p),

Solving the general quadratic congruence. y 2 Δ (mod p), Quadratic Congruences Solving the general quadratic congruence ax 2 +bx + c 0 (mod p) for an odd prime p (with (a, p) = 1) is equivalent to solving the simpler congruence y 2 Δ (mod p), where Δ = b 2 4ac

More information

Theory of Numbers Problems

Theory of Numbers Problems Theory of Numbers Problems Antonios-Alexandros Robotis Robotis October 2018 1 First Set 1. Find values of x and y so that 71x 50y = 1. 2. Prove that if n is odd, then n 2 1 is divisible by 8. 3. Define

More information

CALCULATING EXACT CYCLE LENGTHS IN THE GENERALIZED FIBONACCI SEQUENCE MODULO p

CALCULATING EXACT CYCLE LENGTHS IN THE GENERALIZED FIBONACCI SEQUENCE MODULO p CALCULATING EXACT CYCLE LENGTHS IN THE GENERALIZED FIBONACCI SEQUENCE MODULO p DOMINIC VELLA AND ALFRED VELLA. Introduction The cycles that occur in the Fibonacci sequence {F n } n=0 when it is reduced

More information

CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q)

CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q) CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ωq) AND νq) GEORGE E. ANDREWS, DONNY PASSARY, JAMES A. SELLERS, AND AE JA YEE Abstract. Recently, Andrews, Dixit, and Yee introduced partition

More information

A bijection on bilateral Dyck paths

A bijection on bilateral Dyck paths AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 591 2014, Pages 72 80 A bijection on bilateral Dyck paths Paul R. G. Mortimer Thomas Prellberg School of Mathematical Sciences Queen Mary University of London

More information

Math 430 Midterm II Review Packet Spring 2018 SOLUTIONS TO PRACTICE PROBLEMS

Math 430 Midterm II Review Packet Spring 2018 SOLUTIONS TO PRACTICE PROBLEMS Math 40 Midterm II Review Packet Spring 2018 SOLUTIONS TO PRACTICE PROBLEMS WARNING: Remember, it s best to rely as little as possible on my solutions. Therefore, I urge you to try the problems on your

More information

IRREDUCIBILITY TESTS IN F p [T ]

IRREDUCIBILITY TESTS IN F p [T ] IRREDUCIBILITY TESTS IN F p [T ] KEITH CONRAD 1. Introduction Let F p = Z/(p) be a field of prime order. We will discuss a few methods of checking if a polynomial f(t ) F p [T ] is irreducible that are

More information

Quasi-reducible Polynomials

Quasi-reducible Polynomials Quasi-reducible Polynomials Jacques Willekens 06-Dec-2008 Abstract In this article, we investigate polynomials that are irreducible over Q, but are reducible modulo any prime number. 1 Introduction Let

More information

MATH 310: Homework 7

MATH 310: Homework 7 1 MATH 310: Homework 7 Due Thursday, 12/1 in class Reading: Davenport III.1, III.2, III.3, III.4, III.5 1. Show that x is a root of unity modulo m if and only if (x, m 1. (Hint: Use Euler s theorem and

More information

The 3rd Olympiad of Metropolises

The 3rd Olympiad of Metropolises The 3rd Olympiad of Metropolises Day 1. Solutions Problem 1. Solve the system of equations in real numbers: (x 1)(y 1)(z 1) xyz 1, Answer: x 1, y 1, z 1. (x )(y )(z ) xyz. (Vladimir Bragin) Solution 1.

More information

D( 1)-QUADRUPLES AND PRODUCTS OF TWO PRIMES. Anitha Srinivasan Saint Louis University-Madrid campus, Spain

D( 1)-QUADRUPLES AND PRODUCTS OF TWO PRIMES. Anitha Srinivasan Saint Louis University-Madrid campus, Spain GLASNIK MATEMATIČKI Vol. 50(70)(2015), 261 268 D( 1)-QUADRUPLES AND PRODUCTS OF TWO PRIMES Anitha Srinivasan Saint Louis University-Madrid campus, Spain Abstract. A D( 1)-quadruple is a set of positive

More information

5 Group theory. 5.1 Binary operations

5 Group theory. 5.1 Binary operations 5 Group theory This section is an introduction to abstract algebra. This is a very useful and important subject for those of you who will continue to study pure mathematics. 5.1 Binary operations 5.1.1

More information

An Elementary Proof that any Natural Number can be Written as the Sum of Three Terms of the Sequence n2

An Elementary Proof that any Natural Number can be Written as the Sum of Three Terms of the Sequence n2 1 47 6 11 Journal of Integer Sequences, Vol. 17 (014), Article 14.7.6 An Elementary Proof that any Natural Number can be Written as the Sum of Three Terms of the Sequence n Bakir Farhi Department of Mathematics

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

ECEN 5022 Cryptography

ECEN 5022 Cryptography Elementary Algebra and Number Theory University of Colorado Spring 2008 Divisibility, Primes Definition. N denotes the set {1, 2, 3,...} of natural numbers and Z denotes the set of integers {..., 2, 1,

More information

Marcos J. González Departamento de Matemáticas Puras y Aplicadas, Universidad Simón Bolívar, Sartenejas, Caracas, Venezuela

Marcos J. González Departamento de Matemáticas Puras y Aplicadas, Universidad Simón Bolívar, Sartenejas, Caracas, Venezuela #A89 INTEGERS 16 (016) ON SIERPIŃSKI NUMBERS OF THE FORM '(N)/ n Marcos J. González Departamento de Matemáticas Puras y Aplicadas, Universidad Simón Bolívar, Sartenejas, Caracas, Venezuela mago@usb.ve

More information

On m-inverse loops and quasigroups with a long inverse cycle

On m-inverse loops and quasigroups with a long inverse cycle On m-inverse loops and quasigroups with a long inverse cycle A. D. Keedwell Department of Mathematics and Statistics University of Surrey Guildford GU2 7XH Surrey, United Kingdom V. A. Shcherbacov Institute

More information

Mathematics for Cryptography

Mathematics for Cryptography Mathematics for Cryptography Douglas R. Stinson David R. Cheriton School of Computer Science University of Waterloo Waterloo, Ontario, N2L 3G1, Canada March 15, 2016 1 Groups and Modular Arithmetic 1.1

More information

Galois fields/1. (M3) There is an element 1 (not equal to 0) such that a 1 = a for all a.

Galois fields/1. (M3) There is an element 1 (not equal to 0) such that a 1 = a for all a. Galois fields 1 Fields A field is an algebraic structure in which the operations of addition, subtraction, multiplication, and division (except by zero) can be performed, and satisfy the usual rules. More

More information

OEIS A I. SCOPE

OEIS A I. SCOPE OEIS A161460 Richard J. Mathar Leiden Observatory, P.O. Box 9513, 2300 RA Leiden, The Netherlands (Dated: August 7, 2009) An overview to the entries of the sequence A161460 of the Online Encyclopedia of

More information

School of Mathematics

School of Mathematics School of Mathematics Programmes in the School of Mathematics Programmes including Mathematics Final Examination Final Examination 06 22498 MSM3P05 Level H Number Theory 06 16214 MSM4P05 Level M Number

More information

CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q)

CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q) CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ωq) AND νq) GEORGE E. ANDREWS, DONNY PASSARY, JAMES A. SELLERS, AND AE JA YEE Abstract. Recently, Andrews, Dixit and Yee introduced partition

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

MATH 4400 SOLUTIONS TO SOME EXERCISES. 1. Chapter 1

MATH 4400 SOLUTIONS TO SOME EXERCISES. 1. Chapter 1 MATH 4400 SOLUTIONS TO SOME EXERCISES 1.1.3. If a b and b c show that a c. 1. Chapter 1 Solution: a b means that b = na and b c that c = mb. Substituting b = na gives c = (mn)a, that is, a c. 1.2.1. Find

More information

Summary Slides for MATH 342 June 25, 2018

Summary Slides for MATH 342 June 25, 2018 Summary Slides for MATH 342 June 25, 2018 Summary slides based on Elementary Number Theory and its applications by Kenneth Rosen and The Theory of Numbers by Ivan Niven, Herbert Zuckerman, and Hugh Montgomery.

More information

LARGE PRIME NUMBERS (32, 42; 4) (32, 24; 2) (32, 20; 1) ( 105, 20; 0).

LARGE PRIME NUMBERS (32, 42; 4) (32, 24; 2) (32, 20; 1) ( 105, 20; 0). LARGE PRIME NUMBERS 1. Fast Modular Exponentiation Given positive integers a, e, and n, the following algorithm quickly computes the reduced power a e % n. (Here x % n denotes the element of {0,, n 1}

More information

#A42 INTEGERS 10 (2010), ON THE ITERATION OF A FUNCTION RELATED TO EULER S

#A42 INTEGERS 10 (2010), ON THE ITERATION OF A FUNCTION RELATED TO EULER S #A42 INTEGERS 10 (2010), 497-515 ON THE ITERATION OF A FUNCTION RELATED TO EULER S φ-function Joshua Harrington Department of Mathematics, University of South Carolina, Columbia, SC 29208 jh3293@yahoo.com

More information

ASSIGNMENT Use mathematical induction to show that the sum of the cubes of three consecutive non-negative integers is divisible by 9.

ASSIGNMENT Use mathematical induction to show that the sum of the cubes of three consecutive non-negative integers is divisible by 9. ASSIGNMENT 1 1. Use mathematical induction to show that the sum of the cubes of three consecutive non-negative integers is divisible by 9. 2. (i) If d a and d b, prove that d (a + b). (ii) More generally,

More information

k, then n = p2α 1 1 pα k

k, then n = p2α 1 1 pα k Powers of Integers An integer n is a perfect square if n = m for some integer m. Taking into account the prime factorization, if m = p α 1 1 pα k k, then n = pα 1 1 p α k k. That is, n is a perfect square

More information

ON A FAMILY OF ELLIPTIC CURVES

ON A FAMILY OF ELLIPTIC CURVES UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLIII 005 ON A FAMILY OF ELLIPTIC CURVES by Anna Antoniewicz Abstract. The main aim of this paper is to put a lower bound on the rank of elliptic

More information

Chapter 9 Mathematics of Cryptography Part III: Primes and Related Congruence Equations

Chapter 9 Mathematics of Cryptography Part III: Primes and Related Congruence Equations Chapter 9 Mathematics of Cryptography Part III: Primes and Related Congruence Equations Copyright The McGraw-Hill Companies, Inc. Permission required for reproduction or display. 9.1 Chapter 9 Objectives

More information

1. INTRODUCTION For n G N, where N = {0,1,2,...}, the Bernoulli polynomials, B (t), are defined by means of the generating function

1. INTRODUCTION For n G N, where N = {0,1,2,...}, the Bernoulli polynomials, B (t), are defined by means of the generating function CONGRUENCES RELATING RATIONAL VALUES OF BERNOULLI AND EULER POLYNOMIALS Glenn J. Fox Dept. of Mathematics and Computer Science, Emory University, Atlanta, GA 30322 E-mail: fox@mathcs.emory.edu (Submitted

More information

arxiv: v3 [math.nt] 15 Dec 2016

arxiv: v3 [math.nt] 15 Dec 2016 Lehmer s totient problem over F q [x] arxiv:1312.3107v3 [math.nt] 15 Dec 2016 Qingzhong Ji and Hourong Qin Department of Mathematics, Nanjing University, Nanjing 210093, P.R.China Abstract: In this paper,

More information

SOLUTIONS TO PROBLEM SET 1. Section = 2 3, 1. n n + 1. k(k + 1) k=1 k(k + 1) + 1 (n + 1)(n + 2) n + 2,

SOLUTIONS TO PROBLEM SET 1. Section = 2 3, 1. n n + 1. k(k + 1) k=1 k(k + 1) + 1 (n + 1)(n + 2) n + 2, SOLUTIONS TO PROBLEM SET 1 Section 1.3 Exercise 4. We see that 1 1 2 = 1 2, 1 1 2 + 1 2 3 = 2 3, 1 1 2 + 1 2 3 + 1 3 4 = 3 4, and is reasonable to conjecture n k=1 We will prove this formula by induction.

More information

On arithmetic functions of balancing and Lucas-balancing numbers

On arithmetic functions of balancing and Lucas-balancing numbers MATHEMATICAL COMMUNICATIONS 77 Math. Commun. 24(2019), 77 1 On arithmetic functions of balancing and Lucas-balancing numbers Utkal Keshari Dutta and Prasanta Kumar Ray Department of Mathematics, Sambalpur

More information

Math 3320 Problem Set 10 Solutions 1

Math 3320 Problem Set 10 Solutions 1 Math 3320 Problem Set 10 Solutions 1 1. For the form Q(x,y)=x 2 +xy+y 2 do the following things: (a) Draw enough of the topograph to show all the values less than 100 that occur in the topograph. You do

More information

Decomposition of Pascal s Kernels Mod p s

Decomposition of Pascal s Kernels Mod p s San Jose State University SJSU ScholarWorks Faculty Publications Mathematics January 2002 Decomposition of Pascal s Kernels Mod p s Richard P. Kubelka San Jose State University, richard.kubelka@ssu.edu

More information

On the number of semi-primitive roots modulo n

On the number of semi-primitive roots modulo n Notes on Number Theory and Discrete Mathematics ISSN 1310 5132 Vol. 21, 2015, No., 8 55 On the number of semi-primitive roots modulo n Pinkimani Goswami 1 and Madan Mohan Singh 2 1 Department of Mathematics,

More information

Pair dominating graphs

Pair dominating graphs Pair dominating graphs Paul Balister Béla Bollobás July 25, 2004 Department of Mathematical Sciences, University of Memphis, Memphis, TN 38152 USA Abstract An oriented graph dominates pairs if for every

More information

arxiv: v1 [math.ho] 12 Sep 2008

arxiv: v1 [math.ho] 12 Sep 2008 arxiv:0809.2139v1 [math.ho] 12 Sep 2008 Constructing the Primitive Roots of Prime Powers Nathan Jolly September 12, 2008 Abstract We use only addition and multiplication to construct the primitive roots

More information

arxiv: v1 [math.nt] 24 Aug 2015

arxiv: v1 [math.nt] 24 Aug 2015 LUCAS NUMBERS WITH THE LEHMER PROPERTY arxiv:1508.05709v1 [math.nt] 24 Aug 2015 BERNADETTE FAYE AND FLORIAN LUCA Abstract. A composite positive integer n is Lehmer if φ(n) divides n 1, where φ(n) is the

More information

15th Bay Area Mathematical Olympiad. BAMO Exam. February 26, Solutions to BAMO-8 and BAMO-12 Problems

15th Bay Area Mathematical Olympiad. BAMO Exam. February 26, Solutions to BAMO-8 and BAMO-12 Problems 15th Bay Area Mathematical Olympiad BAMO Exam February 26, 2013 Solutions to BAMO-8 and BAMO-12 Problems 1 How many different sets of three points in this equilateral triangular grid are the vertices of

More information

On squares of squares

On squares of squares ACTA ARITHMETICA LXXXVIII.3 (1999) On squares of squares by Andrew Bremner (Tempe, Ariz.) 0. There is a long and intriguing history of the subject of magic squares, squares whose row, column, and diagonal

More information

M381 Number Theory 2004 Page 1

M381 Number Theory 2004 Page 1 M81 Number Theory 2004 Page 1 [[ Comments are written like this. Please send me (dave@wildd.freeserve.co.uk) details of any errors you find or suggestions for improvements. ]] Question 1 20 = 2 * 10 +

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

DISTRIBUTION OF THE FIBONACCI NUMBERS MOD 2. Eliot T. Jacobson Ohio University, Athens, OH (Submitted September 1990)

DISTRIBUTION OF THE FIBONACCI NUMBERS MOD 2. Eliot T. Jacobson Ohio University, Athens, OH (Submitted September 1990) DISTRIBUTION OF THE FIBONACCI NUMBERS MOD 2 Eliot T. Jacobson Ohio University, Athens, OH 45701 (Submitted September 1990) Let FQ = 0, Fi = 1, and F n = F n _i + F n _ 2 for n > 2, denote the sequence

More information

Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.

Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission. On the Bound for a Pair of Consecutive Quartic Residues of a Prime Author(s): R. G. Bierstedt and W. H. Mills Source: Proceedings of the American Mathematical Society, Vol. 14, No. 4 (Aug., 1963), pp.

More information

NOTES Edited by William Adkins. On Goldbach s Conjecture for Integer Polynomials

NOTES Edited by William Adkins. On Goldbach s Conjecture for Integer Polynomials NOTES Edited by William Adkins On Goldbach s Conjecture for Integer Polynomials Filip Saidak 1. INTRODUCTION. We give a short proof of the fact that every monic polynomial f (x) in Z[x] can be written

More information

ON VALUES OF CYCLOTOMIC POLYNOMIALS. V

ON VALUES OF CYCLOTOMIC POLYNOMIALS. V Math. J. Okayama Univ. 45 (2003), 29 36 ON VALUES OF CYCLOTOMIC POLYNOMIALS. V Dedicated to emeritus professor Kazuo Kishimoto on his seventieth birthday Kaoru MOTOSE In this paper, using properties of

More information

Public-key Cryptography: Theory and Practice

Public-key Cryptography: Theory and Practice Public-key Cryptography Theory and Practice Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Chapter 2: Mathematical Concepts Divisibility Congruence Quadratic Residues

More information

Math From Scratch Lesson 20: The Chinese Remainder Theorem

Math From Scratch Lesson 20: The Chinese Remainder Theorem Math From Scratch Lesson 20: The Chinese Remainder Theorem W. Blaine Dowler January 2, 2012 Contents 1 Relatively Prime Numbers 1 2 Congruence Classes 1 3 Algebraic Units 2 4 Chinese Remainder Theorem

More information

Computer Investigation of Difference Sets

Computer Investigation of Difference Sets Computer Investigation of Difference Sets By Harry S. Hayashi 1. Introduction. By a difference set of order k and multiplicity X is meant a set of k distinct residues n,r2,,rk (mod v) such that the congruence

More information

ELEMENTARY PROOFS OF PARITY RESULTS FOR 5-REGULAR PARTITIONS

ELEMENTARY PROOFS OF PARITY RESULTS FOR 5-REGULAR PARTITIONS Bull Aust Math Soc 81 (2010), 58 63 doi:101017/s0004972709000525 ELEMENTARY PROOFS OF PARITY RESULTS FOR 5-REGULAR PARTITIONS MICHAEL D HIRSCHHORN and JAMES A SELLERS (Received 11 February 2009) Abstract

More information

Journal of Number Theory

Journal of Number Theory Journal of Number Theory 133 2013) 1809 1813 Contents lists available at SciVerse ScienceDirect Journal of Number Theory www.elsevier.com/locate/jnt The abc conjecture and non-wieferich primes in arithmetic

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

Math 261 Spring 2014 Final Exam May 5, 2014

Math 261 Spring 2014 Final Exam May 5, 2014 Math 261 Spring 2014 Final Exam May 5, 2014 1. Give a statement or the definition for ONE of the following in each category. Circle the letter next to the one you want graded. For an extra good final impression,

More information

10 Problem 1. The following assertions may be true or false, depending on the choice of the integers a, b 0. a "

10 Problem 1. The following assertions may be true or false, depending on the choice of the integers a, b 0. a Math 4161 Dr. Franz Rothe December 9, 2013 13FALL\4161_fall13f.tex Name: Use the back pages for extra space Final 70 70 Problem 1. The following assertions may be true or false, depending on the choice

More information

Tripotents: a class of strongly clean elements in rings

Tripotents: a class of strongly clean elements in rings DOI: 0.2478/auom-208-0003 An. Şt. Univ. Ovidius Constanţa Vol. 26(),208, 69 80 Tripotents: a class of strongly clean elements in rings Grigore Călugăreanu Abstract Periodic elements in a ring generate

More information

Homework #2 solutions Due: June 15, 2012

Homework #2 solutions Due: June 15, 2012 All of the following exercises are based on the material in the handout on integers found on the class website. 1. Find d = gcd(475, 385) and express it as a linear combination of 475 and 385. That is

More information

ON THE RESIDUALITY A FINITE p-group OF HN N-EXTENSIONS

ON THE RESIDUALITY A FINITE p-group OF HN N-EXTENSIONS 1 ON THE RESIDUALITY A FINITE p-group OF HN N-EXTENSIONS D. I. Moldavanskii arxiv:math/0701498v1 [math.gr] 18 Jan 2007 A criterion for the HNN-extension of a finite p-group to be residually a finite p-group

More information

A Proof of the Lucas-Lehmer Test and its Variations by Using a Singular Cubic Curve

A Proof of the Lucas-Lehmer Test and its Variations by Using a Singular Cubic Curve 1 47 6 11 Journal of Integer Sequences, Vol. 1 (018), Article 18.6. A Proof of the Lucas-Lehmer Test and its Variations by Using a Singular Cubic Curve Ömer Küçüksakallı Mathematics Department Middle East

More information

GUO-NIU HAN AND KEN ONO

GUO-NIU HAN AND KEN ONO HOOK LENGTHS AND 3-CORES GUO-NIU HAN AND KEN ONO Abstract. Recently, the first author generalized a formula of Nekrasov and Okounkov which gives a combinatorial formula, in terms of hook lengths of partitions,

More information

Euler s, Fermat s and Wilson s Theorems

Euler s, Fermat s and Wilson s Theorems Euler s, Fermat s and Wilson s Theorems R. C. Daileda February 17, 2018 1 Euler s Theorem Consider the following example. Example 1. Find the remainder when 3 103 is divided by 14. We begin by computing

More information

On the elliptic curve analogue of the sum-product problem

On the elliptic curve analogue of the sum-product problem Finite Fields and Their Applications 14 (2008) 721 726 http://www.elsevier.com/locate/ffa On the elliptic curve analogue of the sum-product problem Igor Shparlinski Department of Computing, Macuarie University,

More information

By E. T. Parker and Paul J. Nikolai

By E. T. Parker and Paul J. Nikolai 38 ANALOGUES OF THE MATHIEU GROUPS A Search for Analogues of the Mathieu Groups By E. T. Parker and Paul J. Nikolai I. Introduction. This paper describes a search for simple groups of a certain type using

More information

On the Action of Γ 0 (N) on ˆQ

On the Action of Γ 0 (N) on ˆQ Note di Matematica ISSN 23-236, e-issn 90-0932 Note Mat. 30 (200 no. 2, 4 48. doi:0.28/i900932v30n2p4 On the Action of Γ 0 (N on ˆQ Bahadır Özgür Güler Department of Mathematics, University of Rize bahadir.guler@rize.edu.tr

More information

Journal of Combinatorics and Number Theory 1(2009), no. 1, ON SUMS OF PRIMES AND TRIANGULAR NUMBERS. Zhi-Wei Sun

Journal of Combinatorics and Number Theory 1(2009), no. 1, ON SUMS OF PRIMES AND TRIANGULAR NUMBERS. Zhi-Wei Sun Journal of Combinatorics and Number Theory 1(009), no. 1, 65 76. ON SUMS OF PRIMES AND TRIANGULAR NUMBERS Zhi-Wei Sun Department of Mathematics, Nanjing University Nanjing 10093, People s Republic of China

More information

Root systems and optimal block designs

Root systems and optimal block designs Root systems and optimal block designs Peter J. Cameron School of Mathematical Sciences Queen Mary, University of London Mile End Road London E1 4NS, UK p.j.cameron@qmul.ac.uk Abstract Motivated by a question

More information

Independent generating sets and geometries for symmetric groups

Independent generating sets and geometries for symmetric groups Independent generating sets and geometries for symmetric groups Peter J. Cameron School of Mathematical Sciences Queen Mary, University of London Mile End Road London E1 4NS UK Philippe Cara Department

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

How many units can a commutative ring have?

How many units can a commutative ring have? How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the

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 (16 ± a) 2 (±a) 2 (mod32), 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

Prime Divisors of Palindromes

Prime Divisors of Palindromes Prime Divisors of Palindromes William D. Banks Department of Mathematics, University of Missouri Columbia, MO 6511 USA bbanks@math.missouri.edu Igor E. Shparlinski Department of Computing, Macquarie University

More information

Name: Solutions Final Exam

Name: Solutions Final Exam Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Put your name on each page of your paper. 1. [10 Points] For

More information

THE JACOBI SYMBOL AND A METHOD OF EISENSTEIN FOR CALCULATING IT

THE JACOBI SYMBOL AND A METHOD OF EISENSTEIN FOR CALCULATING IT THE JACOBI SYMBOL AND A METHOD OF EISENSTEIN FOR CALCULATING IT STEVEN H. WEINTRAUB ABSTRACT. We present an exposition of the asic properties of the Jacoi symol, with a method of calculating it due to

More information

Math 5707: Graph Theory, Spring 2017 Midterm 3

Math 5707: Graph Theory, Spring 2017 Midterm 3 University of Minnesota Math 5707: Graph Theory, Spring 2017 Midterm 3 Nicholas Rancourt (edited by Darij Grinberg) December 25, 2017 1 Exercise 1 1.1 Problem Let G be a connected multigraph. Let x, y,

More information

SOME CONGRUENCES FOR PARTITION FUNCTIONS RELATED TO MOCK THETA FUNCTIONS ω(q) AND ν(q) S.N. Fathima and Utpal Pore (Received October 13, 2017)

SOME CONGRUENCES FOR PARTITION FUNCTIONS RELATED TO MOCK THETA FUNCTIONS ω(q) AND ν(q) S.N. Fathima and Utpal Pore (Received October 13, 2017) NEW ZEALAND JOURNAL OF MATHEMATICS Volume 47 2017), 161-168 SOME CONGRUENCES FOR PARTITION FUNCTIONS RELATED TO MOCK THETA FUNCTIONS ωq) AND νq) S.N. Fathima and Utpal Pore Received October 1, 2017) Abstract.

More information

REMARKS 1.4: (a) In general discussion the operation in a group G is usually written as multiplication and a b is written as ab. (b) If the operation

REMARKS 1.4: (a) In general discussion the operation in a group G is usually written as multiplication and a b is written as ab. (b) If the operation FIRST-YEAR GROUP THEORY 1 DEFINITIONS AND EXAMPLES It is highly desirable that you buy, or in some other way have access to a copy of, the following book which will be referred to in these notes as Jordan

More information

12x + 18y = 50. 2x + v = 12. (x, v) = (6 + k, 2k), k Z.

12x + 18y = 50. 2x + v = 12. (x, v) = (6 + k, 2k), k Z. Math 3, Fall 010 Assignment 3 Solutions Exercise 1. Find all the integral solutions of the following linear diophantine equations. Be sure to justify your answers. (i) 3x + y = 7. (ii) 1x + 18y = 50. (iii)

More information

p = This is small enough that its primality is easily verified by trial division. A candidate prime above 1000 p of the form p U + 1 is

p = This is small enough that its primality is easily verified by trial division. A candidate prime above 1000 p of the form p U + 1 is LARGE PRIME NUMBERS 1. Fermat Pseudoprimes Fermat s Little Theorem states that for any positive integer n, if n is prime then b n % n = b for b = 1,..., n 1. In the other direction, all we can say is that

More information

MATH 115: ERRATA IN ELEMENTARY NUMBER THEORY, FOURTH EDITION BY KENNETH H. ROSEN

MATH 115: ERRATA IN ELEMENTARY NUMBER THEORY, FOURTH EDITION BY KENNETH H. ROSEN MATH 115: ERRATA IN ELEMENTARY NUMBER THEORY, FOURTH EDITION BY KENNETH H. ROSEN Compiled by Ken Ribet and members of his 115 class (taught in Spring 2001) (Lizet Mendoza, Grace Wang, Noah Zaitlen) and

More information

The power graph of a finite group, II

The power graph of a finite group, II The power graph of a finite group, II Peter J. Cameron School of Mathematical Sciences Queen Mary, University of London Mile End Road London E1 4NS, U.K. Abstract The directed power graph of a group G

More information

arxiv:math/ v1 [math.nt] 17 Apr 2006

arxiv:math/ v1 [math.nt] 17 Apr 2006 THE CARMICHAEL NUMBERS UP TO 10 18 arxiv:math/0604376v1 [math.nt] 17 Apr 2006 RICHARD G.E. PINCH Abstract. We extend our previous computations to show that there are 1401644 Carmichael numbers up to 10

More information

SOLUTIONS Math 345 Homework 6 10/11/2017. Exercise 23. (a) Solve the following congruences: (i) x (mod 12) Answer. We have

SOLUTIONS Math 345 Homework 6 10/11/2017. Exercise 23. (a) Solve the following congruences: (i) x (mod 12) Answer. We have Exercise 23. (a) Solve the following congruences: (i) x 101 7 (mod 12) Answer. We have φ(12) = #{1, 5, 7, 11}. Since gcd(7, 12) = 1, we must have gcd(x, 12) = 1. So 1 12 x φ(12) = x 4. Therefore 7 12 x

More information

CONGRUENCES IN ORDERED PAIRS OF PARTITIONS

CONGRUENCES IN ORDERED PAIRS OF PARTITIONS IJMMS 2004:47, 2509 252 PII. S0672043439 http://ijmms.hindawi.com Hindawi Publishing Corp. CONGRUENCES IN ORDERED PAIRS OF PARTITIONS PAUL HAMMOND and RICHARD LEWIS Received 28 November 2003 and in revised

More information

Math 324, Fall 2011 Assignment 7 Solutions. 1 (ab) γ = a γ b γ mod n.

Math 324, Fall 2011 Assignment 7 Solutions. 1 (ab) γ = a γ b γ mod n. Math 324, Fall 2011 Assignment 7 Solutions Exercise 1. (a) Suppose a and b are both relatively prime to the positive integer n. If gcd(ord n a, ord n b) = 1, show ord n (ab) = ord n a ord n b. (b) Let

More information

SUM OF TWO REPDIGITS A SQUARE. Bart Goddard Department of Mathematics, University of Texas at Austin, Austin, Texas

SUM OF TWO REPDIGITS A SQUARE. Bart Goddard Department of Mathematics, University of Texas at Austin, Austin, Texas #A24 INTEGERS 17 (2017) SUM OF TWO REPDIGITS A SQUARE Bart Goddard Department of Mathematics, University of Texas at Austin, Austin, Texas goddardb@math.utexas.edu Jeremy Rouse Department of Mathematics

More information

Perfect Power Riesel Numbers

Perfect Power Riesel Numbers Perfect Power Riesel Numbers Carrie Finch a, Lenny Jones b a Mathematics Department, Washington and Lee University, Lexington, VA 24450 b Department of Mathematics, Shippensburg University, Shippensburg,

More information

INTRODUCTION MATHIEU GROUPS. Lecture 5: Sporadic simple groups. Sporadic simple groups. Robert A. Wilson. LTCC, 10th November 2008

INTRODUCTION MATHIEU GROUPS. Lecture 5: Sporadic simple groups. Sporadic simple groups. Robert A. Wilson. LTCC, 10th November 2008 Lecture 5: Sporadic simple groups Robert A. Wilson INTRODUCTION Queen Mary, University of London LTCC, 0th November 2008 Sporadic simple groups The 26 sporadic simple groups may be roughly divided into

More information

GENERALIZATIONS OF COLE S SYSTEMS. Marat Kh. Gizatullin

GENERALIZATIONS OF COLE S SYSTEMS. Marat Kh. Gizatullin Serdica Math. J. 22 (1996), 45-56 GENERALIZATIONS OF COLE S SYSTEMS Marat Kh. Gizatullin Communicated by V. Kanev Abstract. There are four resolvable Steiner triple systems on fifteen elements. Some generalizations

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

A Variation of a Congruence of Subbarao for n = 2 α 5 β, α 0, β 0

A Variation of a Congruence of Subbarao for n = 2 α 5 β, α 0, β 0 Introduction A Variation of a Congruence of Subbarao for n = 2 α 5 β, α 0, β 0 Diophantine Approximation and Related Topics, 2015 Aarhus, Denmark Sanda Bujačić 1 1 Department of Mathematics University

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

#A11 INTEGERS 12 (2012) FIBONACCI VARIATIONS OF A CONJECTURE OF POLIGNAC

#A11 INTEGERS 12 (2012) FIBONACCI VARIATIONS OF A CONJECTURE OF POLIGNAC #A11 INTEGERS 12 (2012) FIBONACCI VARIATIONS OF A CONJECTURE OF POLIGNAC Lenny Jones Department of Mathematics, Shippensburg University, Shippensburg, Pennsylvania lkjone@ship.edu Received: 9/17/10, Revised:

More information

Definition: A binary relation R from a set A to a set B is a subset R A B. Example:

Definition: A binary relation R from a set A to a set B is a subset R A B. Example: Chapter 9 1 Binary Relations Definition: A binary relation R from a set A to a set B is a subset R A B. Example: Let A = {0,1,2} and B = {a,b} {(0, a), (0, b), (1,a), (2, b)} is a relation from A to B.

More information