From Wikipedia, the free encyclopedia

In number theory, a Fermiā€“Dirac prime is a prime power whose exponent is a power of two. These numbers are named from an analogy to Fermiā€“Dirac statistics in physics based on the fact that each integer has a unique representation as a product of Fermiā€“Dirac primes without repetition. Each element of the sequence of Fermiā€“Dirac primes is the smallest number that does not divide the product of all previous elements. Srinivasa Ramanujan used the Fermiā€“Dirac primes to find the smallest number whose number of divisors is a given power of two.

Definition

The Fermiā€“Dirac primes are a sequence of numbers obtained by raising a prime number to an exponent that is a power of two. That is, these are the numbers of the form where is a prime number and is a non-negative integer. These numbers form the sequence: [1]

2, 3, 4, 5, 7, 9, 11, 13, 16, 17, 19, 23, 25, 29, 31, 37, ...

They can be obtained from the prime numbers by repeated squaring, and form the smallest set of numbers that includes all of the prime numbers and is closed under squaring. [1]

Another way of defining this sequence is that each element is the smallest positive integer that does not divide the product of all of the previous elements of the sequence. [2]

Factorization

Analogously to the way that every positive integer has a unique factorization, its representation as a product of prime numbers (with some of these numbers repeated), every positive integer also has a unique factorization as a product of Fermiā€“Dirac primes, with no repetitions allowed. [3] [4] For example,

The Fermiā€“Dirac primes are named from an analogy to particle physics. In physics, bosons are particles that obey Boseā€“Einstein statistics, in which it is allowed for multiple particles to be in the same state at the same time. Fermions are particles that obey Fermiā€“Dirac statistics, which only allow a single particle in each state. Similarly, for the usual prime numbers, multiple copies of the same prime number can appear in the same prime factorization, but factorizations into a product of Fermiā€“Dirac primes only allow each Fermiā€“Dirac prime to appear once within the product. [1] [5]

Other properties

The Fermiā€“Dirac primes can be used to find the smallest number that has exactly divisors, [6] in the case that is a power of two, . In this case, as Srinivasa Ramanujan proved, [1] [7] the smallest number with divisors is the product of the smallest Fermiā€“Dirac primes. Its divisors are the numbers obtained by multiplying together any subset of these Fermiā€“Dirac primes. [7] [8] [9] For instance, the smallest number with 1024 divisors is obtained by multiplying together the first ten Fermiā€“Dirac primes: [8]

In the theory of infinitary divisors of Cohen, [10] the Fermiā€“Dirac primes are exactly the numbers whose only infinitary divisors are 1 and the number itself. [1]

References

  1. ^ a b c d e Sloane, N. J. A. (ed.), "Sequence A050376 (Fermi-Dirac primes: numbers of the form p^(2^k) where p is prime and k ā‰„ 0)", The On-Line Encyclopedia of Integer Sequences, OEIS Foundation
  2. ^ See the closely related sequence Sloane, N. J. A. (ed.), "Sequence A084400", The On-Line Encyclopedia of Integer Sequences, OEIS Foundation, which differs only in that it includes 1 at the start of the sequence. However, 1 does divide the empty product of all previous elements.
  3. ^ Bernstein, Daniel J. (1995), "Enumerating and counting smooth integers" (PDF), Detecting Perfect Powers in Essentially Linear Time, and Other Studies in Computational Number Theory (Doctoral dissertation), University of California, Berkeley
  4. ^ Litsyn, Simon; Shevelev, Vladimir (2007), "On factorization of integers with restrictions on the exponents", Integers, 7: A33, 35, MR  2342191
  5. ^ Shevelev, V. S. (1996), "Multiplicative functions in the Fermiā€“Dirac arithmetic", Izvestiya Vysshikh Uchebnykh ZavedeniÄ­, Severo-KavkazskiÄ­ Region, Estestvennye Nauki (4): 28ā€“43, 101ā€“102, MR  1647060
  6. ^ Sloane, N. J. A. (ed.), "Sequence A005179 (Smallest number with exactly n divisors)", The On-Line Encyclopedia of Integer Sequences, OEIS Foundation
  7. ^ a b Ramanujan, S. (1915), "Highly Composite Numbers", Proceedings of the London Mathematical Society, s2-14 (1): 347ā€“409, doi: 10.1112/plms/s2_14.1.347; see section 47, pp. 405ā€“406, reproduced in Collected Papers of Srinivasa Ramanujan, Cambridge Univ. Press, 2015, pp. 124ā€“125
  8. ^ a b Grost, M. E. (1968), "The smallest number with a given number of divisors", The American Mathematical Monthly, 75 (7): 725ā€“729, doi: 10.1080/00029890.1968.11971056, JSTOR  2315183, MR  0234901
  9. ^ Sloane, N. J. A. (ed.), "Sequence A037992 (Smallest number with 2^n divisors)", The On-Line Encyclopedia of Integer Sequences, OEIS Foundation
  10. ^ Cohen, Graeme L. (1990), "On an integer's infinitary divisors", Mathematics of Computation, 54 (189): 395ā€“411, doi: 10.2307/2008701, JSTOR  2008701, MR  0993927; see especially Corollary 1, p. 401.