Fibred category: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>ChrisGualtieri
m TypoScan Project / General Fixes, typos fixed: well-known → well known using AWB
 
Cartesian morphisms and functors: being cartesian is with respect to a functor, not its codomain
Line 1: Line 1:
Im addicted to my hobby Association football. Seems boring? Not!<br>I  try to learn Swedish in my spare time.<br><br>Stop by my web blog - [http://dokdoknu.com/wp/?p=2793 fifa 15 coin generator]
In [[number theory]], '''de Polignac's formula''', named after [[Alphonse de Polignac]], gives the [[prime decomposition]] of the [[factorial]] ''n''<nowiki>!</nowiki>, where ''n''&nbsp;≥&nbsp;1 is an [[integer]].  [[Leonard Eugene Dickson|L. E. Dickson]] attributes the formula to [[Adrien-Marie Legendre|Legendre]].<ref>[[Leonard Eugene Dickson]], ''[[History of the Theory of Numbers]]'', Volume 1, Carnegie Institution of Washington, 1919, page 263.</ref>
 
==The formula==
Let ''n''&nbsp;≥&nbsp;1 be an integer. The prime decomposition of ''n''! is given by
 
:<math>n! = \prod_{\text{prime }p\le n} p^{s_p(n)}, </math>
 
where
 
:<math>s_p(n) = \sum_{j = 1}^\infty \left\lfloor\frac{n}{p^j}\right\rfloor, </math>
 
and the brackets represent the [[floor function]]. Note that the former product can equally well be taken only over primes less than or equal to ''n'', and the latter sum can equally well be taken for ''j'' ranging from ''1'' to log<sub>''p''</sub>(''n''), i.e :
 
:<math>s_p(n) = \sum_{j = 1}^{\lfloor \log_p(n) \rfloor} \left\lfloor\frac{n}{p^j}\right\rfloor </math>
 
Note that, for any [[real number]] ''x'', and any integer ''n'', we have:
 
:<math>\left\lfloor\frac{x}{n}\right\rfloor = \left\lfloor\frac{\lfloor x \rfloor}{n}\right\rfloor</math>
 
which allows one to more easily compute the terms ''s''<sub>''p''</sub>(''n'').
 
The small disadvantage of the De Polignac's formula is that '''we need to know all the primes up to ''n'''''.
In fact,
:<math>\displaystyle n! =  \prod_{i=1}^{\pi(n)} p_{i}^{s_{p_{i}}(n)} =  \prod_{i=1}^{\pi(n)} p_i^{ \sum_{j = 1}^{\lfloor \log_{p_i}(n) \rfloor} \left\lfloor\frac{n}{{p_i}^j}\right\rfloor  } </math>
 
where <math>\pi(n)</math> is a [[prime-counting function]] counting the number of prime numbers less than or equal to ''n''
 
== Notes and references ==
{{reflist}}
 
{{DEFAULTSORT:De Polignac's Formula}}
[[Category:Number theory]]
[[Category:Factorial and binomial topics]]

Revision as of 16:46, 20 January 2014

In number theory, de Polignac's formula, named after Alphonse de Polignac, gives the prime decomposition of the factorial n!, where n ≥ 1 is an integer. L. E. Dickson attributes the formula to Legendre.[1]

The formula

Let n ≥ 1 be an integer. The prime decomposition of n! is given by

n!=prime pnpsp(n),

where

sp(n)=j=1npj,

and the brackets represent the floor function. Note that the former product can equally well be taken only over primes less than or equal to n, and the latter sum can equally well be taken for j ranging from 1 to logp(n), i.e :

sp(n)=j=1logp(n)npj

Note that, for any real number x, and any integer n, we have:

xn=xn

which allows one to more easily compute the terms sp(n).

The small disadvantage of the De Polignac's formula is that we need to know all the primes up to n. In fact,

n!=i=1π(n)pispi(n)=i=1π(n)pij=1logpi(n)npij

where π(n) is a prime-counting function counting the number of prime numbers less than or equal to n

Notes and references

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

  1. Leonard Eugene Dickson, History of the Theory of Numbers, Volume 1, Carnegie Institution of Washington, 1919, page 263.