Math 2.0

Number theory Definition

p-adic gamma function

Builds on p-adic integerFactorial

Definition

Let pp be a prime number and let ℤp\Z_p be the ring of p-adic integers. For a positive integer nn, put Γp(n)=(−1)n∏0<i<np∤ii.\Gamma_p(n) = (-1)^n \prod_{\substack{0 < i < n \\ p \nmid i}} i. The pp-adic gamma function is the unique continuous function Γp ⁣:ℤp→ℤp\Gamma_p \colon \Z_p \to \Z_p that takes these values at the positive integers.

Remarks

The positive integers are dense in ℤp\Z_p, so such a continuous extension is unique. It exists because Γp(m)\Gamma_p(m) and Γp(n)\Gamma_p(n) are pp-adically close when mm and nn are; the proof uses a generalisation of Wilson's theorem. The values of Γp\Gamma_p are units of ℤp\Z_p.

Example: for p=3p = 3, Γ3(1)=−1\Gamma_3(1) = -1, Γ3(2)=1\Gamma_3(2) = 1, Γ3(3)=−2\Gamma_3(3) = -2, Γ3(4)=2\Gamma_3(4) = 2 and Γ3(5)=−8\Gamma_3(5) = -8. Each value follows from the previous one by the rule Γp(x+1)={−x Γp(x)if x∈ℤp×,−Γp(x)if x∈pℤp,\Gamma_p(x + 1) = \begin{cases} -x\, \Gamma_p(x) & \text{if } x \in \Z_p^\times, \\ -\Gamma_p(x) & \text{if } x \in p\Z_p, \end{cases} which holds for all x∈ℤpx \in \Z_p; here Γp(0)=1\Gamma_p(0) = 1.

Non-example: the factorial n↦n!n \mapsto n! has no continuous extension to ℤp\Z_p. Indeed 1+pk→11 + p^k \to 1 in ℤp\Z_p as k→∞k \to \infty, but (1+pk)!=(1+pk)⋅(pk)!(1 + p^k)! = (1 + p^k) \cdot (p^k)! is divisible by pkp^k and so tends to 00, while 1!=11! = 1.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Factorial concept
  2. p-adic integer concept
  3. p-adic gamma function definition

Further reading

  1. Web https://en.wikipedia.org/wiki/P-adic_gamma_function
About this page
Tag6YD7S3C7W7
URIm2://6YD7S3C7W7
Kinddefinition
WritingW0 stub
MSC11S80, 33B15
Definesp-adic gamma function
Usesp-adic integer, Factorial

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.