Generalisation of a congruence of Gauss (Q1106253): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q5644042 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sums of Gauss, Jacobi, and Jacobsthal / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3342637 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the mod \(p^2\) determination of \(\binom{(p-1)/2}{(p-1)/4}\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: The p-Adic Log Gamma Function and p-Adic Euler Constants / rank
 
Normal rank
Property / cites work
 
Property / cites work: Gauss sums and the p-adic \(\Gamma\)-function / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3939864 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lectures on P-Adic L-Functions. (AM-74) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4138813 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3880931 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5690468 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4065637 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3346515 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3202207 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5772619 / rank
 
Normal rank

Latest revision as of 17:15, 18 June 2024

scientific article
Language Label Description Also known as
English
Generalisation of a congruence of Gauss
scientific article

    Statements

    Generalisation of a congruence of Gauss (English)
    0 references
    1988
    0 references
    For a prime \(p\equiv 1(4)\), \(p=a^2+b^2\), \(a\equiv 1(4)\) unique, Gauss proved that \(\binom{(p-1)/2}{(p-1)/4}\equiv 2a\pmod p\). An improvement of this congruence is \(\binom{(p-1)/2}{(p-1)/4}\equiv (-4)^{(p-1)/4}(a+bi)\pmod{p^2}\), where \(a+bi\in\mathbb Z_p\) and \(| a+bi|_p=1\). This was proved by \textit{S. Chowla}, \textit{B. Dwork} and \textit{R. Evans} [J. Number Theory 24, 188--196 (1986; Zbl 0596.10003)]. Here the author generalizes this congruence to \[ \binom{(mp^{r-1})/2}{(mp^{r-1})/4}\equiv \binom{(mp^{r-1}-1)/2}{(mp^{r-1}-1)/4}(-4)^{\{mp^{r-1}\cdot (p-1)/4\}}\cdot (a+bi)\pmod {p^{2r}} \] where \(m\equiv 1(4)\). This congruence and many others are proved using Gauss and Jacobi sums and the theory of the \(p\)-adic \(\Gamma\)-function. The author remarks that these congruences are very easy to prove modulo \(p^r\) by the use of the theory of elliptic curves or the theory of formal group laws.
    0 references
    0 references
    congruence of Gauss
    0 references
    binomial coefficients
    0 references
    Gauss sums
    0 references
    Jacobi sums
    0 references
    p-adic \(\Gamma\)-function
    0 references
    0 references

    Identifiers