Hypergeometric polynomials over finite fields (Q1292771): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.2748/tmj/1178224854 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1970810642 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Die Typen der Multiplikatorenringe elliptischer Funktionenkörper / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3915082 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: CLASS NUMBER OF A DEFINITE QUATERNION WITH PRIM DISCRIMINANT / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4767396 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 21:33, 28 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hypergeometric polynomials over finite fields |
scientific article |
Statements
Hypergeometric polynomials over finite fields (English)
0 references
10 October 1999
0 references
Let \(p\geq 5\) be a prime. For elements \(a,b,c\) of the finite field \(\mathbb{F}_p\) the hypergeometric polynomial \(F(a,b,c;x)\) is defined by \[ F(a,b,c;x)=\sum_{n=0} \frac{(a)_n(b)_n}{(1)_n(c)_n}x^n, \] where \((a)_n=a(a+1)\cdots (a+n-1)\) and the sum stops as soon as the numerator vanishes under the assumption that the denominator does not vanish before the numerator vanishes. Moreover, for \(\varepsilon, \varepsilon'\in \{-1,1\}\) let \[ F_{\varepsilon,\varepsilon'}(x)=\prod_a(x-a), \] where \(a\) runs over all elements \(a\in \mathbb{F}_p^*\) satisfying \(\left(\frac{a}{p}\right)=\varepsilon\) and \((\frac{1-a}{p})=\varepsilon',\) where \((\frac{\cdot}{p})\) denotes the Legendre symbol. \textit{T. Honda} [Algebraic geometry, Roma 1979, Symp. Math. 24, 169-204 (1981; Zbl 0464.12013)] evaluated \(F_{-1,\pm 1}(x)\) in terms of hypergeometric polynomials. In the paper under review the author evaluates the remaining polynomials \(F_{1,\pm 1}(x)\): \[ F_{1,-1}(x)=a_{1,-1}^{(p)}F\left(\frac{1}{4},\frac{3}{4},\frac{1}{2};x\right)\text{ and } F_{1,1}(x)=a_{1,1}^{(p)}F\left(\frac{3}{4},\frac{5}{4},\frac{3}{2};x\right), \] where \[ a_{1,-1}^{(p)}=\begin{cases} 1 &\text{if }p\equiv 1\bmod 4,\\ -2&\text{if }p\equiv 3\bmod 4,\end{cases}\quad\text{ and }\quad a_{1,1}^{(p)}=\begin{cases} 1 &\text{if }p\equiv 1\bmod 4,\\ -1/2&\text{if }p\equiv 3\bmod 4.\end{cases}. \]
0 references
hypergeometric polynomials
0 references
finite fields
0 references