In his notebooks, Gauss recorded various calculations with "infinite congruences". These infinite congruences are p-adic numbers; Gauss computes a square root of $5$ in the $11$-adic integers in order to find an $11$-adic approximation to a quadratic Gauss sum, computes a nontrivial square root of $1$ in $10$-adic integers, and computes the $10$-adic logarithms of small natural numbers.
Gauss and p-adic numbers Paper ID : 2510.11559Title : Gauss and p-adic numbersAuthor : F. LemmermeyerClassification : math.NT (Number Theory), math.HO (History and Overview)Publication Date : October 13, 2025Paper Link : https://arxiv.org/abs/2510.11559 In his notebooks, Gauss recorded various calculations with "infinite congruences". These infinite congruences are p-adic numbers; Gauss computes a square root of 5 5 5 in the 11 11 11 -adic integers in order to find an 11 11 11 -adic approximation to a quadratic Gauss sum, computes a nontrivial square root of 1 1 1 in 10 10 10 -adic integers, and computes the 10 10 10 -adic logarithms of small natural numbers.
The concept of p-adic numbers is typically attributed to Hensel, who introduced this theory in 1899. Hasse subsequently made p-adic numbers indispensable in algebraic number theory through the discovery of the local-global principle. However, this paper reveals an important historical fact:
Gauss's Pioneering Work : Gauss recorded calculations related to "infinite congruences" in his July 1800 notebooks, which are actually p-adic numbers!Historical Significance : This predates Hensel's formal introduction by nearly 100 years, demonstrating Gauss's prescient mathematical insightResearch Value : Revisiting mathematical history to uncover overlooked important contributionsAnalyzing Gauss's original notebooks to reveal the true origins of p-adic number concepts Deciphering Gauss's "infinite congruence" calculations modulo 241, modulo 11, and modulo 10 Demonstrating that Gauss had already mastered the fundamental operations of p-adic arithmetic Historical Discovery : Establishing that Gauss employed p-adic number concepts in 1800, 99 years before HenselTechnical Interpretation : Detailed analysis of three categories of Gauss's p-adic calculations:
p-adic roots of polynomials p-adic approximations to quadratic Gauss sums Square roots and logarithms in 10-adic integers Method Reconstruction : Reinterpreting Gauss's computational methods using modern p-adic theoryComputational Verification : Validating Gauss's calculations using modern computational toolsThe core task of this paper is to interpret and verify three categories of p-adic number calculations from Gauss's notebooks:
Solving the polynomial f ( x ) = x 5 − 20 x 4 − 86 x 3 − 98 x 2 + 80 x + 3 f(x) = x^5 - 20x^4 - 86x^3 - 98x^2 + 80x + 3 f ( x ) = x 5 − 20 x 4 − 86 x 3 − 98 x 2 + 80 x + 3 for roots in the 241-adic integers Computing the expansion of 5 \sqrt{5} 5 in the 11-adic integers Computing nontrivial square roots of 1 and logarithms of natural numbers in the 10-adic integers Gauss employed a method analogous to what is now called "Hensel's Lemma":
First finding roots of the polynomial modulo p Then successively lifting to roots modulo p n p^n p n For the root x 1 ≡ 2 ( m o d 241 ) x_1 \equiv 2 \pmod{241} x 1 ≡ 2 ( mod 241 ) , Gauss computed:
x 1 = 2 + 191 ⋅ 241 + 160 ⋅ 241 2 + ⋯ x_1 = 2 + 191 \cdot 241 + 160 \cdot 241^2 + \cdots x 1 = 2 + 191 ⋅ 241 + 160 ⋅ 24 1 2 + ⋯ Gauss computed the expansion of 5 \sqrt{5} 5 in the 11-adic integers:
5 = 4 + 4 ⋅ 11 + 10 ⋅ 11 2 + 4 ⋅ 11 3 + 0 ⋅ 11 4 + 9 ⋅ 11 5 + ⋯ \sqrt{5} = 4 + 4 \cdot 11 + 10 \cdot 11^2 + 4 \cdot 11^3 + 0 \cdot 11^4 + 9 \cdot 11^5 + \cdots 5 = 4 + 4 ⋅ 11 + 10 ⋅ 1 1 2 + 4 ⋅ 1 1 3 + 0 ⋅ 1 1 4 + 9 ⋅ 1 1 5 + ⋯
Computational Strategy :
Finding the solution n = 3 n = 3 n = 3 to 5 n 2 ≡ 1 ( m o d 11 ) 5n^2 \equiv 1 \pmod{11} 5 n 2 ≡ 1 ( mod 11 ) Utilizing binomial expansion: 1 + x = 1 + 1 2 x − 1 8 x 2 + ⋯ \sqrt{1+x} = 1 + \frac{1}{2}x - \frac{1}{8}x^2 + \cdots 1 + x = 1 + 2 1 x − 8 1 x 2 + ⋯ Setting x = 4 ⋅ 11 x = 4 \cdot 11 x = 4 ⋅ 11 and computing 1 + 4 ⋅ 11 \sqrt{1 + 4 \cdot 11} 1 + 4 ⋅ 11 Dividing by n = 3 n = 3 n = 3 to obtain the final result Gauss computed a nontrivial square root of 1 in the 10-adic integers:
ε = ⋯ 2001114846846461792218008213239954784512519836425781249 \varepsilon = \cdots 2001114846846461792218008213239954784512519836425781249 ε = ⋯ 2001114846846461792218008213239954784512519836425781249
Using the recurrence relation: if 1 − a 2 ≡ 10 n r ( m o d 10 n + 2 ) 1 - a^2 \equiv 10^n r \pmod{10^{n+2}} 1 − a 2 ≡ 1 0 n r ( mod 1 0 n + 2 ) , then:
b ≡ − r 2 ( m o d 10 ) b \equiv -\frac{r}{2} \pmod{10} b ≡ − 2 r ( mod 10 )
Arithmetic Methods : Gauss developed fundamental arithmetic operations on p-adic numbersSeries Expansions : Employing binomial and logarithmic series for p-adic computationsLifting Techniques : Mastering the method of lifting roots from modulo p to modulo p n p^n p n Isomorphism Utilization : Implicitly using the structure Z 10 ≅ Z 2 ⊕ Z 5 \mathbb{Z}_{10} \cong \mathbb{Z}_2 \oplus \mathbb{Z}_5 Z 10 ≅ Z 2 ⊕ Z 5 The author employed the modern computational tool PARI/GP to verify Gauss's calculations:
sqrt(5 + O(11^8)) = 4 + 4·11 + 10·11^2 + 4·11^3 + 9·11^5 + 5·11^6 + 8·11^7 + O(11^8)
Gauss's hand calculations vs. modern computer verification Historical methods vs. standard modern p-adic theory approaches Gauss's calculation: 5 = 9.0.4.10.4.4 \sqrt{5} = 9.0.4.10.4.4 5 = 9.0.4.10.4.4 (read right to left)
Modern verification: Completely correct, with precision up to 11 6 11^6 1 1 6
When computing quadratic periods a = − 1 + 5 2 a = \frac{-1+\sqrt{5}}{2} a = 2 − 1 + 5 and b = − 1 − 5 2 b = \frac{-1-\sqrt{5}}{2} b = 2 − 1 − 5 , Gauss encountered errors:
Correct value: a = 6.7.9.9.8.7 a = 6.7.9.9.8.7 a = 6.7.9.9.8.7 Gauss's value: a = 10.0.2.5.2.7 a = 10.0.2.5.2.7 a = 10.0.2.5.2.7 (borrowing error in division) Gauss's computed logarithm values are essentially consistent with modern calculations:
log ( 31 ) = 80666080 \log(31) = 80666080 log ( 31 ) = 80666080 (Gauss)Modern computation verified the logarithmic property log ( a b ) = log ( a ) + log ( b ) \log(ab) = \log(a) + \log(b) log ( ab ) = log ( a ) + log ( b ) Most calculations are accurate to p 6 p^6 p 6 or higher precision Individual calculations contain arithmetic errors, but the methods are correct Demonstrating Gauss's extraordinary computational abilities Hensel (1899) : Formal introduction of p-adic number theoryHasse : Development of the local-global principleFrei's Research : Indicating that Gauss knew "Hensel's Lemma"This Paper's Discovery : Gauss actually mastered complete p-adic arithmeticCentral role of p-adic numbers in algebraic number theory Applications in cryptography and computational number theory Connections with local class field theory Historical Repositioning : Gauss is the true pioneer of p-adic number concepts, predating the acknowledged Hensel by 99 yearsTechnical Achievement : Gauss had already mastered fundamental p-adic operations, square roots, logarithms, and other advanced operationsMethodological Value : Gauss's computational methods are highly consistent with modern theoryDocumentary Constraints : Based only on extant Gauss notebooks; additional undiscovered materials may existInterpretive Difficulties : The intent and methods of some calculations require further investigationSymbolic Systems : The meaning of notation such as Λ \Lambda Λ used by Gauss remains unclearDeeper Investigation : Continued research into Gauss's other notebooks and unpublished materialsMethod Reconstruction : Complete reconstruction of Gauss's p-adic theory in modern languageEducational Applications : Employing Gauss's intuitive methods in teaching p-adic numbersHistorical Value : Significant mathematical history discovery that rewrites the origins of p-adic numbersTechnical Depth : Detailed computational analysis and modern verificationScholarly Foundation : Rigorous research based on primary sourcesCross-temporal Dialogue : Perfect integration of classical methods with modern theoryInterpretive Completeness : The purposes and methods of some calculations remain insufficiently clearTheoretical Depth : Analysis is primarily at the computational level; theoretical discussion is relatively limitedImpact Analysis : Lacking analysis of why these works by Gauss were not published and disseminatedAcademic Impact : Will alter mathematical history textbooks' narratives regarding p-adic number originsEducational Value : Provides historical and intuitive perspectives for p-adic number instructionResearch Inspiration : Stimulates reexamination of the historical origins of other mathematical conceptsMathematical history research p-adic number theory instruction Computational number theory methods research Studies of Gauss's mathematical thought Primary references include:
Gauss's original notebooks (Cod. Ms. Gauß Schedae 5) Hensel's foundational work on p-adic numbers (1899) Frei's research on Gauss's unpublished Chapter VIII work Early 19th-century literature on "self-reproducing numbers" Overall Assessment : This is an important paper in mathematical history that, through in-depth analysis of Gauss's original notebooks, reveals the true origins of p-adic number concepts. The paper possesses not only significant historical value but also demonstrates Gauss's mathematical insight that transcended his era. While certain technical details require further investigation, this discovery will undoubtedly transform our understanding of p-adic number history.