Unitary Cyclotomic Polynomials

Total Page:16

File Type:pdf, Size:1020Kb

Unitary Cyclotomic Polynomials Unitary cyclotomic polynomials Pieter Moree and L´aszl´oT´oth November 6, 2019 Abstract The notion of block divisibility naturally leads one to introduce unitary cyclotomic poly- nomials. We formulate some basic properties of unitary cyclotomic polynomials and study how they are connected with cyclotomic, inclusion-exclusion and Kronecker polynomials. Further, we derive some related arithmetic function identities involving the unitary analog of the Dirichlet convolution. Contents 1 Introduction 2 1.1 Unitarydivisors................................. .... 2 1.2 UnitaryRamanujansums . .. .. .. .. .. .. .. .. 2 1.3 Unitary cyclotomic polynomials . ........ 3 1.4 Inclusion-exclusion and Kronecker polynomials . ............. 4 2 Elementary properties of unitary cyclotomic polynomials 5 3 Unitary cyclotomic polynomials as products of cyclotomic polynomials 6 4 Further properties of unitary cyclotomic polynomials 8 4.1 Calculation of Φ˚ 1 ................................. 8 np˘ q 4.1.1 Some products involving the cos and sin functions . ......... 10 ˚ 4.1.2 Calculation of Φn atotherrootsofunity. 11 arXiv:1911.01743v1 [math.NT] 5 Nov 2019 4.2 Unitary version of Schramm’s identity . ......... 11 5 The coefficients of unitary cyclotomic polynomials 13 6 More on inclusion-exclusion polynomials 14 6.1 Unitary cyclotomics as inclusion-exclusion polynomials............... 16 7 Applications of Theorem 6 16 8 Connection with unitary Ramanujan sums 18 1 1 Introduction 1.1 Unitary divisors A divisor d of n (d, n N) is called a unitary divisor (or block divisor) if d, n d 1, P p { q “ notation d n (note that this is in agreement with the standard notation pa n used for prime a || a1 as || powers p ). If the prime power factorization of n is n p1 ps , then the set of its unitary b1 bs “ ¨ ¨ ¨ divisors consists of the integers d p1 p , where bi 0 or bi ai for any 1 i s. “ ¨ ¨ ¨ s “ “ ď ď The study of arithmetic functions defined by unitary divisors goes back to Vaidyanathaswamy [29] and Cohen [4]. For example, the analogs of the sum-of-divisors function σ and Euler’s totient function ϕ are σ˚ n d, respectively ϕ˚ n # j : 1 j n, j, n 1 , where p q“ d||n p q“ t ď ď p q˚ “ u ř j, n ˚ max d : d j, d n . p q “ t | || u Several properties of the unitary functions σ˚ and ϕ˚ run parallel to those of σ and ϕ, respectively. For example, both functions σ˚ and ϕ˚ are multiplicative, and σ˚ pa pa 1, p q “ ` ϕ˚ pa pa 1 for prime powers pa (a 1). The unitary convolution of the functions f and g p q“ ´ ě is defined by f g n f d g n d n N . p ˆ qp q“ p q p { q p P q d n ÿ|| The set of arithmetic functions f such that f 1 0 forms a commutative group under the p q‰ unitary convolution and the set of multiplicative functions is a subgroup. The identity is the function ǫ, given by ǫ 1 1, ǫ n 0 (n 1), similar to the case of Dirichlet convolution. p q “ p q “ ą The inverse of the constant 1 function under the unitary convolution is µ˚ n 1 ωpnq, where p q“p´ q ω n denotes the number of distinct prime factors of n. That is, p q n µ˚ µ˚ d ǫ n n N . (1) d “ p q“ p q p P q d n d n ÿ|| ´ ¯ ÿ|| See, e.g., the books by Apostol [1], McCarthy [14] and Sivaramakrishnan [21]. 1.2 Unitary Ramanujan sums The unitary Ramanujan sums c˚ k were defined by Cohen [4] as follows: np q c˚ k ζjk k,n N , np q“ n p P q 1ďjďn pj,nÿq˚“1 2πi{n where ζn : e . (The classical Ramanujan sums are defined similarly, but with j, n 1 “ p q˚ “ replaced by j, n 1.) p q“ The identities c˚ k dµ˚ n d n, k N , (2) np q“ p { q p P q d k,n ||pÿ q˚ ˚ n if n k; c k ̺n k | (3) d p q“ p q“ d n #0 otherwise, ÿ|| can be compared to the corresponding ones concerning the classical Ramanujan sums cn k . p q Note that c˚ n ϕ˚ n , c˚ 1 µ˚ n (n N). np q“ p q np q“ p q P 2 1.3 Unitary cyclotomic polynomials The cyclotomic polynomials Φn x are defined by p q n j Φn x x ζn . (4) p q“ j“1 ´ pj,nźq“1 ` ˘ They arise as irreducible factors (see Weintraub [30]) on factorizing xn 1 over the rationals: ´ n x 1 Φd x . (5) ´ “ p q d n ź| By M¨obius inversion it follows from (5) that µpdq µpn{dq n{d d Φn x x 1 x 1 , (6) p q“ ´ “ ´ d n d n ź| ´ ¯ ź| ´ ¯ where µ denotes the M¨obius function. The unitary cyclotomic polynomial Φ˚ x is defined by np q n ˚ j Φn x x ζn , (7) p q“ j“1 ´ pj,nźq˚“1 ` ˘ see [21, Ch. X]. It is monic, has integer coefficients and is of degree ϕ˚ n . Furthermore, for any p q natural number n we have xn 1 Φ˚ x (8) ´ “ dp q d n ź|| and µ˚pdq µ˚pn{dq Φ˚ x xn{d 1 xd 1 . (9) np q“ ´ “ ´ d n d n ź|| ´ ¯ ź|| ´ ¯ See Section 2 for short direct proofs of these properties and further basic properties of unitary cyclotomic polynomials. If n is squarefree, then the unitary divisors of n coincide with the divisors of n and hence ˚ ˚ comparing (6) with (9) yields Φ x Φn x . In this case Φ x is irreducible over the np q “ p q np q rationals. However, a quick check shows, that for certain non-squarefree values of n, the ˚ ˚ polynomial Φn x is reducible over the rationals. For example, Φ12 x Φ6 x Φ12 x and ˚ p q ˚ p q “ p q p q Φ40 x Φ10 x Φ20 x Φ40 x . Indeed, we will show that Φ is reducible for every non-squarefree p q“ p q p q p q n integer n. This is a corollary of the fact that each polynomial Φ˚ x can be written as the product np q of the cyclotomic polynomials Φd x , where d runs over the divisors of n such that κ d κ n , p q p q“ p q with κ n the squarefree kernel of n (Theorem 2). In fact, this is a consequence of a more general p q result (Theorem 6) involving unitary divisors. One can introduce the bi-unitary cyclotomic polynomials Φ˚˚ x defined by n p q n ˚˚ j Φn x x ζn , p q“ j“1 ´ pj,nźq˚˚“1 ` ˘ 3 where j, n stands for the greatest common unitary divisor of j and n. The degree of the p q˚˚ polynomial Φ˚˚ x equals ϕ˚˚ n , the bi-unitary Euler function, which is defined as ϕ˚˚ n n p q p q p q “ # j : 1 j n, j, n 1 , see the paper [26]. Although these definitions seem to be more t ď ď p q˚˚ “ u natural than the previous ones, the properties of Φ˚˚ x and ϕ˚˚ n are not similar to their n p q p q unitary analogs. For example, the function ϕ˚˚ n is not multiplicative and the coefficients of ˚˚ p q ˚˚ 3 2 the polynomials Φ x are in general not integers (we have, e.g., Φ6 x x ηx ηx η, n p q p q“ ´ ` ` where η 1 i?3 2 and η 1 i?3 2). “ p ` q{ “ p ´ q{ 1.4 Inclusion-exclusion and Kronecker polynomials Let ρ r1, r2, . , rs be a set of increasing natural numbers satisfying ri 1 and ri, rj 1 “ t u ą p q“ for i j, and put ‰ n0 n0 n0 r , n , n i j ,... i i r ij r r “ i “ i “ i j r ‰ s ź For each such ρ we define a function Qρ by n0 nij x 1 iăj x 1 Qρ x p ´ q ¨ p ´ q¨¨¨ . (10) p q“ xni 1 xnijk 1 ip ´ q ¨ śiăjăkp ´ q¨¨¨ ś ś It can be shown that Qρ x is a polynomial of degree n0 1 1 ri having integer coeffi- p q ri|n0 p ´ { q cients. This class of polynomials was introduced by Bachman [2], who named them inclusion- ś exclusion polynomials. A Kronecker polynomial f Z x is a monic polynomial having all its roots inside or on P r s the unit circle. It was proved by Kronecker, cf. [6], that such a polynomial is a product of a monomial and cyclotomics and so we can write s ed f x x Φd x , (11) p q“ p q d ź with s, ed 0 and ed 1 for only finitely many d. ě ě We will show how a unitary cyclotomic can be realized as an inclusion-exclusion cyclotomic. As Qρ x is monic and in Z x , it follows from (10) that it is Kronecker. Thus we have the p q r s following inclusions: unitary cyclotomics inclusion-exclusion polynomials Kronecker polynomials . (12) t u Ă t u Ă t u The inclusion-exclusion polynomials that are unitary can be precisely identified (for the proof see Section 6.1). Theorem 1. The set of unitary polynomials Φ˚ x with n 2 equals the set of inclusion- np q ě exclusion polynomials Qρ x with ρ having prime power entries, with no base prime repeated.
Recommended publications
  • Bi-Unitary Multiperfect Numbers, I
    Notes on Number Theory and Discrete Mathematics Print ISSN 1310–5132, Online ISSN 2367–8275 Vol. 26, 2020, No. 1, 93–171 DOI: 10.7546/nntdm.2020.26.1.93-171 Bi-unitary multiperfect numbers, I Pentti Haukkanen1 and Varanasi Sitaramaiah2 1 Faculty of Information Technology and Communication Sciences, FI-33014 Tampere University, Finland e-mail: [email protected] 2 1/194e, Poola Subbaiah Street, Taluk Office Road, Markapur Prakasam District, Andhra Pradesh, 523316 India e-mail: [email protected] Dedicated to the memory of Prof. D. Suryanarayana Received: 19 December 2019 Revised: 21 January 2020 Accepted: 5 March 2020 Abstract: A divisor d of a positive integer n is called a unitary divisor if gcd(d; n=d) = 1; and d is called a bi-unitary divisor of n if the greatest common unitary divisor of d and n=d is unity. The concept of a bi-unitary divisor is due to D. Surynarayana [12]. Let σ∗∗(n) denote the sum of the bi-unitary divisors of n: A positive integer n is called a bi-unitary perfect number if σ∗∗(n) = 2n. This concept was introduced by C. R. Wall in 1972 [15], and he proved that there are only three bi-unitary perfect numbers, namely 6, 60 and 90. In 1987, Peter Hagis [6] introduced the notion of bi-unitary multi k-perfect numbers as solu- tions n of the equation σ∗∗(n) = kn. A bi-unitary multi 3-perfect number is called a bi-unitary triperfect number. A bi-unitary multiperfect number means a bi-unitary multi k-perfect number with k ≥ 3: Hagis [6] proved that there are no odd bi-unitary multiperfect numbers.
    [Show full text]
  • ON PERFECT and NEAR-PERFECT NUMBERS 1. Introduction a Perfect
    ON PERFECT AND NEAR-PERFECT NUMBERS PAUL POLLACK AND VLADIMIR SHEVELEV Abstract. We call n a near-perfect number if n is the sum of all of its proper divisors, except for one of them, which we term the redundant divisor. For example, the representation 12 = 1 + 2 + 3 + 6 shows that 12 is near-perfect with redundant divisor 4. Near-perfect numbers are thus a very special class of pseudoperfect numbers, as defined by Sierpi´nski. We discuss some rules for generating near-perfect numbers similar to Euclid's rule for constructing even perfect numbers, and we obtain an upper bound of x5=6+o(1) for the number of near-perfect numbers in [1; x], as x ! 1. 1. Introduction A perfect number is a positive integer equal to the sum of its proper positive divisors. Let σ(n) denote the sum of all of the positive divisors of n. Then n is a perfect number if and only if σ(n) − n = n, that is, σ(n) = 2n. The first four perfect numbers { 6, 28, 496, and 8128 { were known to Euclid, who also succeeded in establishing the following general rule: Theorem A (Euclid). If p is a prime number for which 2p − 1 is also prime, then n = 2p−1(2p − 1) is a perfect number. It is interesting that 2000 years passed before the next important result in the theory of perfect numbers. In 1747, Euler showed that every even perfect number arises from an application of Euclid's rule: Theorem B (Euler). All even perfect numbers have the form 2p−1(2p − 1), where p and 2p − 1 are primes.
    [Show full text]
  • PRIME-PERFECT NUMBERS Paul Pollack [email protected] Carl
    PRIME-PERFECT NUMBERS Paul Pollack Department of Mathematics, University of Illinois, Urbana, Illinois 61801, USA [email protected] Carl Pomerance Department of Mathematics, Dartmouth College, Hanover, New Hampshire 03755, USA [email protected] In memory of John Lewis Selfridge Abstract We discuss a relative of the perfect numbers for which it is possible to prove that there are infinitely many examples. Call a natural number n prime-perfect if n and σ(n) share the same set of distinct prime divisors. For example, all even perfect numbers are prime-perfect. We show that the count Nσ(x) of prime-perfect numbers in [1; x] satisfies estimates of the form c= log log log x 1 +o(1) exp((log x) ) ≤ Nσ(x) ≤ x 3 ; as x ! 1. We also discuss the analogous problem for the Euler function. Letting N'(x) denote the number of n ≤ x for which n and '(n) share the same set of prime factors, we show that as x ! 1, x1=2 x7=20 ≤ N (x) ≤ ; where L(x) = xlog log log x= log log x: ' L(x)1=4+o(1) We conclude by discussing some related problems posed by Harborth and Cohen. 1. Introduction P Let σ(n) := djn d be the sum of the proper divisors of n. A natural number n is called perfect if σ(n) = 2n and, more generally, multiply perfect if n j σ(n). The study of such numbers has an ancient pedigree (surveyed, e.g., in [5, Chapter 1] and [28, Chapter 1]), but many of the most interesting problems remain unsolved.
    [Show full text]
  • Types of Integer Harmonic Numbers (Ii)
    Bulletin of the Transilvania University of Bra¸sov • Vol 9(58), No. 1 - 2016 Series III: Mathematics, Informatics, Physics, 67-82 TYPES OF INTEGER HARMONIC NUMBERS (II) Adelina MANEA1 and Nicu¸sorMINCULETE2 Abstract In the first part of this paper we obtained several bi-unitary harmonic numbers which are higher than 109, using the Mersenne prime numbers. In this paper we investigate bi-unitary harmonic numbers of some particular forms: 2k · n, pqt2, p2q2t, with different primes p, q, t and a squarefree inte- ger n. 2010 Mathematics Subject Classification: 11A25. Key words: harmonic numbers, bi-unitary harmonic numbers. 1 Introduction The harmonic numbers introduced by O. Ore in [8] were named in this way by C. Pomerance in [11]. They are defined as positive integers for which the harmonic mean of their divisors is an integer. O. Ore linked the perfect numbers with the harmonic numbers, showing that every perfect number is harmonic. A list of the harmonic numbers less than 2 · 109 is given by G. L. Cohen in [1], finding a total of 130 of harmonic numbers, and G. L. Cohen and R. M. Sorli in [2] have continued to this list up to 1010. The notion of harmonic numbers is extended to unitary harmonic numbers by K. Nageswara Rao in [7] and then to bi-unitary harmonic numbers by J. S´andor in [12]. Our paper is inspired by [12], where J. S´andorpresented a table containing all the 211 bi-unitary harmonic numbers up to 109. We extend the J. S´andors's study, looking for other bi-unitary harmonic numbers, greater than 109.
    [Show full text]
  • A Study of .Perfect Numbers and Unitary Perfect
    CORE Metadata, citation and similar papers at core.ac.uk Provided by SHAREOK repository A STUDY OF .PERFECT NUMBERS AND UNITARY PERFECT NUMBERS By EDWARD LEE DUBOWSKY /I Bachelor of Science Northwest Missouri State College Maryville, Missouri: 1951 Master of Science Kansas State University Manhattan, Kansas 1954 Submitted to the Faculty of the Graduate College of the Oklahoma State University in partial fulfillment of .the requirements fqr the Degree of DOCTOR OF EDUCATION May, 1972 ,r . I \_J.(,e, .u,,1,; /q7Q D 0 &'ISs ~::>-~ OKLAHOMA STATE UNIVERSITY LIBRARY AUG 10 1973 A STUDY OF PERFECT NUMBERS ·AND UNITARY PERFECT NUMBERS Thesis Approved: OQ LL . ACKNOWLEDGEMENTS I wish to express my sincere gratitude to .Dr. Gerald K. Goff, .who suggested. this topic, for his guidance and invaluable assistance in the preparation of this dissertation. Special thanks.go to the members of. my advisory committee: 0 Dr. John Jewett, Dr. Craig Wood, Dr. Robert Alciatore, and Dr. Vernon Troxel. I wish to thank. Dr. Jeanne Agnew for the excellent training in number theory. that -made possible this .study. I wish tc;, thank Cynthia Wise for her excellent _job in typing this dissertation •. Finally, I wish to express gratitude to my wife, Juanita, .and my children, Sondra and David, for their encouragement and sacrifice made during this study. TABLE OF CONTENTS Chapter Page I. HISTORY AND INTRODUCTION. 1 II. EVEN PERFECT NUMBERS 4 Basic Theorems • • • • • • • • . 8 Some Congruence Relations ••• , , 12 Geometric Numbers ••.••• , , , , • , • . 16 Harmonic ,Mean of the Divisors •. ~ ••• , ••• I: 19 Other Properties •••• 21 Binary Notation. • •••• , ••• , •• , 23 III, ODD PERFECT NUMBERS . " . 27 Basic Structure • , , •• , , , .
    [Show full text]
  • Some Problems of Erdős on the Sum-Of-Divisors Function
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, SERIES B Volume 3, Pages 1–26 (April 5, 2016) http://dx.doi.org/10.1090/btran/10 SOME PROBLEMS OF ERDOS˝ ON THE SUM-OF-DIVISORS FUNCTION PAUL POLLACK AND CARL POMERANCE For Richard Guy on his 99th birthday. May his sequence be unbounded. Abstract. Let σ(n) denote the sum of all of the positive divisors of n,and let s(n)=σ(n) − n denote the sum of the proper divisors of n. The functions σ(·)ands(·) were favorite subjects of investigation by the late Paul Erd˝os. Here we revisit three themes from Erd˝os’s work on these functions. First, we improve the upper and lower bounds for the counting function of numbers n with n deficient but s(n) abundant, or vice versa. Second, we describe a heuristic argument suggesting the precise asymptotic density of n not in the range of the function s(·); these are the so-called nonaliquot numbers. Finally, we prove new results on the distribution of friendly k-sets, where a friendly σ(n) k-set is a collection of k distinct integers which share the same value of n . 1. Introduction Let σ(n) be the sum of the natural number divisors of n,sothatσ(n)= d|n d. Let s(n) be the sum of only the proper divisors of n,sothats(n)=σ(n) − n. Interest in these functions dates back to the ancient Greeks, who classified numbers as deficient, perfect,orabundant according to whether s(n) <n, s(n)=n,or s(n) >n, respectively.
    [Show full text]
  • Exponential and Infinitary Divisors
    EXPONENTIAL AND INFINITARY DIVISORS ANDREW V. LELECHENKO Abstract. Our paper is devoted to several problems from the field of modified divisors: namely exponential and infinitary divisors. We study the behaviour of modified divisors, sum-of-divisors and totient functions. Main results con- cern with the asymptotic behaviour of mean values and explicit estimates of extremal orders. 1. Introduction Let m be an exponential divisor (or e-divisor) of n (denote m |(e) n) if m | n and for each prime p | n we have a | b, where pa || m, pb || n. This concept, introduced (e) by Subbarao [18], leads us to the e-divisor function τ (n)= m|(e)n 1 (sequence (e) A049419 in OEIS [20]) and sum-of-e-divisors function σ (n) = (e) m (se- P m| n quence A051377). These functions were studied by many authors, including among P others Wu and P´etermann [17, 25]. Consider a set of arithmetic functions A, a set of multiplicative prime-indepen- dent functions MP I and an operator E : A→MP I such that (Ef)(pa)= f(a). One can check that τ (e) = Eτ, but σ(e) 6= Eσ. Section 3 is devoted to the latter new function Eσ. On contrary several authors, including T´oth [22, 24] and P´etermann [16], studied exponential analogue of the totient function, defining φ(e) = Ef. However φ(e) lacks many significant properties of φ: it is prime-independent and φ(e) ≪ nε. In Section 4 we construct more natural modification of the totient function, which will be denoted by f(e).
    [Show full text]
  • New Results on Some Multiplicative Functions
    NNTDM 17 (2011), 2, 18-30 New results on some multiplicative functions Mladen Vassilev - Missana1, Peter Vassilev2 1 5 V. Hugo Str., Sofia–1124, Bulgaria e-mail:[email protected] 2 Institute of Biophysics and Biomedical Engineering e-mail:[email protected] Abstract The paper is a continuation of [1]. The considerations are over the class of mul- tiplicative functions with strictly positive values and more precisely, over the pairs (f; g) of such functions, which have a special property, called in the paper property S: For every such pair (f; g) and for every composite number n > 1; the problem of (︀ n )︀ finding the maximum and minimum of the numbers f(d)g d ; when d runs over all proper divisors of n; is completely solved. Since some classical multiplicative func- tions like Euler's totient function '; Dedekind's function ; the sum of all divisors of m; i.e. 휎(m); the number of all divisors of m; i.e. 휏(m); and 2!(m) (where !(m) is the number of all prime divisors of m) form pairs having property S; we apply our results to these functions and also resolve the questions of finding the maximum (︀ n )︀ (︀ n )︀ (︀ n )︀ !(d) (︀ n )︀ and minimum of the numbers '(d)휎 d ;'(d) d ; 휏(d)휎 d ; 2 휎 d ; where d runs over all proper divisors of n: In addition some corollaries from the obtained results, concerning unitary proper divisors, are made. Since many other pairs of multiplicative functions (except the considered in the paper) have property S; they may be investigated in similar manner in a future research.
    [Show full text]
  • Ramanujan Expansions of Arithmetic Functions of Several Variables
    Ramanujan expansions of arithmetic functions of several variables L´aszl´oT´oth Department of Mathematics, University of P´ecs Ifj´us´ag ´utja 6, 7624 P´ecs, Hungary E-mail: [email protected] The Ramanujan Journal 47 (2018), Issue 3, 589–603 Abstract We generalize certain recent results of Ushiroya concerning Ramanujan expansions of arithmetic functions of two variables. We also show that some properties on expansions of arithmetic functions of one and several variables using classical and unitary Ramanujan sums, respectively, run parallel. 2010 Mathematics Subject Classification: 11A25, 11N37 Key Words and Phrases: Ramanujan expansion of arithmetic functions, arithmetic function of several variables, multiplicative function, unitary divisor, unitary Ramanujan sum 1 Introduction Basic notations, used throughout the paper are included in Section 2. Further notations are explained by their first appearance. Refining results of Wintner [25], Delange [3] proved the following general theorem concerning Ramanujan expansions of arithmetic functions. Theorem 1. Let f : N Ñ C be an arithmetic function. Assume that 8 ωpnq |pµ ˚ fqpnq| arXiv:1704.02881v3 [math.NT] 12 Nov 2018 2 ă8. (1) n n“1 ÿ Then for every n P N we have the absolutely convergent Ramanujan expansion 8 fpnq“ aqcqpnq, (2) q“1 ÿ where the coefficients aq are given by 8 pµ ˚ fqpmqq a “ pq P Nq. q mq m“1 ÿ 1 Delange also pointed out how this result can be formulated for multiplicative functions f. By Wintner’s theorem ([25, Part I], also see, e.g., Postnikov [11, Ch. 3], Schwarz and Spilker [12, Ch. II]), condition (1) ensures that the mean value 1 Mpfq“ lim fpnq xÑ8 x nďx ÿ exists and a1 “ Mpfq.
    [Show full text]
  • <7(«I) = ^2"J for I= 1, ...
    MATHEMATICSOF COMPUTATION VOLUME 64, NUMBER 212 OCTOBER 1995, PAGES 1743-1753 MULTIAMICABLE NUMBERS GRAEME L. COHEN, STEPHEN F. GRETTON, AND PETER HAGIS, JR. Abstract. Multiamicable numbers are a natural generalization of amicable numbers: two numbers form a multiamicable pair if the sum of the proper divisors of each is a multiple of the other. Many other generalizations have been considered in the past. This paper reviews those earlier generalizations and gives examples and properties of multiamicable pairs. It includes a proof that the set of all multiamicable numbers has density 0. 1. Generalizations of amicable numbers Two natural numbers are said to be amicable if the sum of the proper divisors of each of them equals the other. Thus, where o denotes the positive divisor sum function, m and n are amicable if (1) o(m) - m = n and o(n)-n —m. This condition can be abbreviated to a(m) = a(n) = m + n . We assume that m ^ n . (If m = n , then m is perfect.) It is usual to order pairs of amicable numbers according to the size of the smaller member. The smallest pair of amicable numbers, known to the Pythagoreans, is 220 and 284. Many of the classical mathematicians, such as Fermât, Mersenne, Descartes, Legendre, and particularly Euler, studied amicable numbers. Over fifty thousand pairs are now known, and many techniques are known for generating new pairs from old ones, although these will not always be successful. It has not been determined, however, whether there are infinitely many pairs of amicable numbers. For a discussion of these and for further references, see Battiato and Borho [1], Guy [10] and te Riele [18].
    [Show full text]
  • Not Always Buried Deep Paul Pollack
    Not Always Buried Deep Paul Pollack Department of Mathematics, 273 Altgeld Hall, MC-382, 1409 West Green Street, Urbana, IL 61801 E-mail address: [email protected] Dedicated to the memory of Arnold Ephraim Ross (1906–2002). Contents Foreword xi Notation xiii Acknowledgements xiv Chapter 1. Elementary Prime Number Theory, I 1 1. Introduction 1 § 2. Euclid and his imitators 2 § 3. Coprime integer sequences 3 § 4. The Euler-Riemann zeta function 4 § 5. Squarefree and smooth numbers 9 § 6. Sledgehammers! 12 § 7. Prime-producing formulas 13 § 8. Euler’s prime-producing polynomial 14 § 9. Primes represented by general polynomials 22 § 10. Primes and composites in other sequences 29 § Notes 32 Exercises 34 Chapter 2. Cyclotomy 45 1. Introduction 45 § 2. An algebraic criterion for constructibility 50 § 3. Much ado about Z[ ] 52 § p 4. Completion of the proof of the Gauss–Wantzel theorem 55 § 5. Period polynomials and Kummer’s criterion 57 § vii viii Contents 6. A cyclotomic proof of quadratic reciprocity 61 § 7. Jacobi’s cubic reciprocity law 64 § Notes 75 Exercises 77 Chapter 3. Elementary Prime Number Theory, II 85 1. Introduction 85 § 2. The set of prime numbers has density zero 88 § 3. Three theorems of Chebyshev 89 § 4. The work of Mertens 95 § 5. Primes and probability 100 § Notes 104 Exercises 107 Chapter 4. Primes in Arithmetic Progressions 119 1. Introduction 119 § 2. Progressions modulo 4 120 § 3. The characters of a finite abelian group 123 § 4. The L-series at s = 1 127 § 5. Nonvanishing of L(1,) for complex 128 § 6. Nonvanishing of L(1,) for real 132 § 7.
    [Show full text]
  • 2 and 9 Are the Only Biunitary Superperfect Numbers
    2 and 9 are the only biunitary superperfect numbers∗† Tomohiro Yamada Abstract We shall show that 2 and 9 are the only biunitary superperfect num- bers. 1 Introduction As usual, we let σ(N) and ω(N) denote respectively the sum of divisors and the number of distinct prime factors of a positive integer N. N is called to be perfect if σ(N)=2N. It is a well-known unsolved problem whether or not an odd perfect number exists. Interest to this problem has produced many analogous notions and problems concerning divisors of an integer. For example, Suryanarayana [12] called N to be superperfect if σ(σ(N)) = 2N. It is asked in this paper and still unsolved whether there were odd superperfect numbers. Extending the notion of superperfect numbers further, G. L. Cohen and te Riele [4] indroduced the notion of (m, k)-perfect numbers, a positive integer N for which σ(σ( (N) )) = kN with σ repeated m times. Some special··· classes· of divisors have also been studied in several papers. One of them is the class of unitary divisors defined by Eckford Cohen [2]. A divisor d of N is called a unitary divisor if (d, N/d) = 1. Wall [13] introduced the notion of biunitary divisors. A divisor d of a positive integer N is called a biunitary divisor if gcd(d, n/d) = 1. For further generalization, see Graeme L. Cohen [3]. According to E. Cohen [2] and Wall [13] respecitvely, σ∗(N) and σ∗∗(N) arXiv:1705.00189v1 [math.NT] 29 Apr 2017 shall denote the sum of unitary and biunitary divisors of N.
    [Show full text]