2025-11-10T03:14:45.496353

Gauss and p-adic numbers

Lemmermeyer
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.
academic

Gauss and p-adic numbers

Basic Information

  • Paper ID: 2510.11559
  • Title: Gauss and p-adic numbers
  • Author: F. Lemmermeyer
  • Classification: math.NT (Number Theory), math.HO (History and Overview)
  • Publication Date: October 13, 2025
  • Paper Link: https://arxiv.org/abs/2510.11559

Abstract

In his notebooks, Gauss recorded various calculations with "infinite congruences". These infinite congruences are p-adic numbers; Gauss computes a square root of 55 in the 1111-adic integers in order to find an 1111-adic approximation to a quadratic Gauss sum, computes a nontrivial square root of 11 in 1010-adic integers, and computes the 1010-adic logarithms of small natural numbers.

Research Background and Motivation

Historical Context

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:

  1. Gauss's Pioneering Work: Gauss recorded calculations related to "infinite congruences" in his July 1800 notebooks, which are actually p-adic numbers!
  2. Historical Significance: This predates Hensel's formal introduction by nearly 100 years, demonstrating Gauss's prescient mathematical insight
  3. Research Value: Revisiting mathematical history to uncover overlooked important contributions

Research Motivation

  • Analyzing 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

Core Contributions

  1. Historical Discovery: Establishing that Gauss employed p-adic number concepts in 1800, 99 years before Hensel
  2. Technical 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
  3. Method Reconstruction: Reinterpreting Gauss's computational methods using modern p-adic theory
  4. Computational Verification: Validating Gauss's calculations using modern computational tools

Detailed Methodology

Task Definition

The core task of this paper is to interpret and verify three categories of p-adic number calculations from Gauss's notebooks:

  1. Solving the polynomial f(x)=x520x486x398x2+80x+3f(x) = x^5 - 20x^4 - 86x^3 - 98x^2 + 80x + 3 for roots in the 241-adic integers
  2. Computing the expansion of 5\sqrt{5} in the 11-adic integers
  3. Computing nontrivial square roots of 1 and logarithms of natural numbers in the 10-adic integers

Core Computational Methods

1. Lifting p-adic Polynomial Roots

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 pnp^n
  • For the root x12(mod241)x_1 \equiv 2 \pmod{241}, Gauss computed: x1=2+191241+1602412+x_1 = 2 + 191 \cdot 241 + 160 \cdot 241^2 + \cdots

2. Computing 11-adic Square Roots

Gauss computed the expansion of 5\sqrt{5} in the 11-adic integers: 5=4+411+10112+4113+0114+9115+\sqrt{5} = 4 + 4 \cdot 11 + 10 \cdot 11^2 + 4 \cdot 11^3 + 0 \cdot 11^4 + 9 \cdot 11^5 + \cdots

Computational Strategy:

  • Finding the solution n=3n = 3 to 5n21(mod11)5n^2 \equiv 1 \pmod{11}
  • Utilizing binomial expansion: 1+x=1+12x18x2+\sqrt{1+x} = 1 + \frac{1}{2}x - \frac{1}{8}x^2 + \cdots
  • Setting x=411x = 4 \cdot 11 and computing 1+411\sqrt{1 + 4 \cdot 11}
  • Dividing by n=3n = 3 to obtain the final result

3. Special Calculations in 10-adic Integers

Gauss computed a nontrivial square root of 1 in the 10-adic integers: ε=2001114846846461792218008213239954784512519836425781249\varepsilon = \cdots 2001114846846461792218008213239954784512519836425781249

Using the recurrence relation: if 1a210nr(mod10n+2)1 - a^2 \equiv 10^n r \pmod{10^{n+2}}, then: br2(mod10)b \equiv -\frac{r}{2} \pmod{10}

Technical Innovations

  1. Arithmetic Methods: Gauss developed fundamental arithmetic operations on p-adic numbers
  2. Series Expansions: Employing binomial and logarithmic series for p-adic computations
  3. Lifting Techniques: Mastering the method of lifting roots from modulo p to modulo pnp^n
  4. Isomorphism Utilization: Implicitly using the structure Z10Z2Z5\mathbb{Z}_{10} \cong \mathbb{Z}_2 \oplus \mathbb{Z}_5

Experimental Setup

Verification Tools

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)

Comparative Methods

  • Gauss's hand calculations vs. modern computer verification
  • Historical methods vs. standard modern p-adic theory approaches

Experimental Results

Primary Verification Results

1. 11-adic Square Root Verification

Gauss's calculation: 5=9.0.4.10.4.4\sqrt{5} = 9.0.4.10.4.4 (read right to left) Modern verification: Completely correct, with precision up to 11611^6

2. Quadratic Period Calculations

When computing quadratic periods a=1+52a = \frac{-1+\sqrt{5}}{2} and b=152b = \frac{-1-\sqrt{5}}{2}, Gauss encountered errors:

  • Correct value: a=6.7.9.9.8.7a = 6.7.9.9.8.7
  • Gauss's value: a=10.0.2.5.2.7a = 10.0.2.5.2.7 (borrowing error in division)

3. 10-adic Logarithm Calculations

Gauss's computed logarithm values are essentially consistent with modern calculations:

  • log(31)=80666080\log(31) = 80666080 (Gauss)
  • Modern computation verified the logarithmic property log(ab)=log(a)+log(b)\log(ab) = \log(a) + \log(b)

Computational Precision Analysis

  • Most calculations are accurate to p6p^6 or higher precision
  • Individual calculations contain arithmetic errors, but the methods are correct
  • Demonstrating Gauss's extraordinary computational abilities

Historical Context

  1. Hensel (1899): Formal introduction of p-adic number theory
  2. Hasse: Development of the local-global principle
  3. Frei's Research: Indicating that Gauss knew "Hensel's Lemma"
  4. This Paper's Discovery: Gauss actually mastered complete p-adic arithmetic

Modern Developments

  • Central role of p-adic numbers in algebraic number theory
  • Applications in cryptography and computational number theory
  • Connections with local class field theory

Conclusions and Discussion

Main Conclusions

  1. Historical Repositioning: Gauss is the true pioneer of p-adic number concepts, predating the acknowledged Hensel by 99 years
  2. Technical Achievement: Gauss had already mastered fundamental p-adic operations, square roots, logarithms, and other advanced operations
  3. Methodological Value: Gauss's computational methods are highly consistent with modern theory

Limitations

  1. Documentary Constraints: Based only on extant Gauss notebooks; additional undiscovered materials may exist
  2. Interpretive Difficulties: The intent and methods of some calculations require further investigation
  3. Symbolic Systems: The meaning of notation such as Λ\Lambda used by Gauss remains unclear

Future Directions

  1. Deeper Investigation: Continued research into Gauss's other notebooks and unpublished materials
  2. Method Reconstruction: Complete reconstruction of Gauss's p-adic theory in modern language
  3. Educational Applications: Employing Gauss's intuitive methods in teaching p-adic numbers

In-Depth Evaluation

Strengths

  1. Historical Value: Significant mathematical history discovery that rewrites the origins of p-adic numbers
  2. Technical Depth: Detailed computational analysis and modern verification
  3. Scholarly Foundation: Rigorous research based on primary sources
  4. Cross-temporal Dialogue: Perfect integration of classical methods with modern theory

Weaknesses

  1. Interpretive Completeness: The purposes and methods of some calculations remain insufficiently clear
  2. Theoretical Depth: Analysis is primarily at the computational level; theoretical discussion is relatively limited
  3. Impact Analysis: Lacking analysis of why these works by Gauss were not published and disseminated

Significance

  1. Academic Impact: Will alter mathematical history textbooks' narratives regarding p-adic number origins
  2. Educational Value: Provides historical and intuitive perspectives for p-adic number instruction
  3. Research Inspiration: Stimulates reexamination of the historical origins of other mathematical concepts

Applicable Contexts

  • Mathematical history research
  • p-adic number theory instruction
  • Computational number theory methods research
  • Studies of Gauss's mathematical thought

References

Primary references include:

  1. Gauss's original notebooks (Cod. Ms. Gauß Schedae 5)
  2. Hensel's foundational work on p-adic numbers (1899)
  3. Frei's research on Gauss's unpublished Chapter VIII work
  4. 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.