{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "hensel-p-adic-number-expansions-1897",
    "title": "Hensel: prime-adic expansions as a new foundation for algebraic numbers",
    "summary": "Hensel proposed replacing aspects of ideal-prime factorization by local prime-power expansions analogous to power-series expansions of algebraic functions. His announcement describes algebraic numbers through expansions with finitely many negative terms, distinguishes unramified and ramified local parameters, and relates the resulting places and orders of zeros or poles to prime-ideal divisibility and ramification. It sets out a prime-adic local viewpoint rather than giving a complete proof of the announced foundation.",
    "boundary": "The six-page note explicitly defers simple proofs to a forthcoming Mathematische Annalen paper. The stated root-count and expansion assertions are historical announcements, not independently validated general congruence-root theorems in this record. Digits may belong to a finite residue-field extension; ramified parameters are not always simply a root of p, and the note separately discusses the exceptional divisibility case. No claim that every algebraic number lies in Q_p, no arbitrary p-adic completeness theorem, full modern local-field classification, Hensel lifting lemma proof or local-global principle is certified here.",
    "area": "Algebraic number theory and local expansions",
    "topic": "Mathematics",
    "year": 1897,
    "lane": "HUMAN",
    "result": "THEORY",
    "package_id": "hensel-p-adic-number-expansions-1897",
    "target": {
      "record_id": "urn:uuid:20f74546-dd4d-46b5-ad75-c48bc4825235",
      "version": 1,
      "content_hash": "sha256:564689499aacb1e1ba8fb46b993fc6efc4c81ad5cb8e996ab3d1a2e5f4932bd3"
    },
    "humans": [
      "Kurt Hensel"
    ],
    "authors_complete": true,
    "human_role_note": "Source-listed authors for the exact contribution; experimental subjects are not autonomous scientific authors. Source support and predecessor work retain separate roles. Individual effort shares and unresolved identities are not inferred.",
    "agents": [],
    "related": [
      "scholze-perfectoid-spaces-2012"
    ],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "cur20261020-hensel-algebraic-number-expansions-1897",
        "title": "Über eine neue Begründung der Theorie der algebraischen Zahlen",
        "url": "https://gdz.sub.uni-goettingen.de/download/pdf/PPN37721857X_0006/LOG_0018.pdf",
        "date": "1897"
      }
    ],
    "points": "300000",
    "published_grade": {
      "id": "hensel-p-adic-number-expansions-1897",
      "entry_id": "hensel-p-adic-number-expansions-1897",
      "band": "S",
      "modifier": "-",
      "target": {
        "record_id": "urn:uuid:20f74546-dd4d-46b5-ad75-c48bc4825235",
        "version": 1,
        "content_hash": "sha256:564689499aacb1e1ba8fb46b993fc6efc4c81ad5cb8e996ab3d1a2e5f4932bd3"
      },
      "what_changed": "Hensel proposed replacing aspects of ideal-prime factorization by local prime-power expansions analogous to power-series expansions of algebraic functions. His announcement describes algebraic numbers through expansions with finitely many negative terms, distinguishes unramified and ramified local parameters, and relates the resulting places and orders of zeros or poles to prime-ideal divisibility and ramification. It sets out a prime-adic local viewpoint rather than giving a complete proof of the announced foundation.",
      "scope": "Hensel proposed replacing aspects of ideal-prime factorization by local prime-power expansions analogous to power-series expansions of algebraic functions. His announcement describes algebraic numbers through expansions with finitely many negative terms, distinguishes unramified and ramified local parameters, and relates the resulting places and orders of zeros or poles to prime-ideal divisibility and ramification. It sets out a prime-adic local viewpoint rather than giving a complete proof of the announced foundation. The six-page note explicitly defers simple proofs to a forthcoming Mathematische Annalen paper. The stated root-count and expansion assertions are historical announcements, not independently validated general congruence-root theorems in this record. Digits may belong to a finite residue-field extension; ramified parameters are not always simply a root of p, and the note separately discusses the exceptional divisibility case. No claim that every algebraic number lies in Q_p, no arbitrary p-adic completeness theorem, full modern local-field classification, Hensel lifting lemma proof or local-global principle is certified here.",
      "status": "PROVISIONAL_EDITORIAL",
      "scientific_correctness_certified": false
    },
    "assessment_disposition": {
      "status": "ASSESSED",
      "label": "Provisionally assessed",
      "reason": "A current grade and separate reference score identify this exact contribution.",
      "target": {
        "record_id": "urn:uuid:20f74546-dd4d-46b5-ad75-c48bc4825235",
        "version": 1,
        "content_hash": "sha256:564689499aacb1e1ba8fb46b993fc6efc4c81ad5cb8e996ab3d1a2e5f4932bd3"
      },
      "edition": "ratings-e039106f30dec177"
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": null,
    "published_at": "2026-10-23T00:00:00Z",
    "publisher": {
      "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33",
      "role": "WRS_EDITORIAL_PUBLICATION"
    },
    "record": {
      "contributors": [
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Kurt Hensel",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formulator"
          ],
          "source": {
            "citation": "Über eine neue Begründung der Theorie der algebraischen Zahlen",
            "url": "https://gdz.sub.uni-goettingen.de/download/pdf/PPN37721857X_0006/LOG_0018.pdf"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Über eine neue Begründung der Theorie der algebraischen Zahlen",
            "url": "https://gdz.sub.uni-goettingen.de/download/pdf/PPN37721857X_0006/LOG_0018.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "The six-page note explicitly defers simple proofs to a forthcoming Mathematische Annalen paper. The stated root-count and expansion assertions are historical announcements, not independently validated general congruence-root theorems in this record. Digits may belong to a finite residue-field extension; ramified parameters are not always simply a root of p, and the note separately discusses the exceptional divisibility case. No claim that every algebraic number lies in Q_p, no arbitrary p-adic completeness theorem, full modern local-field classification, Hensel lifting lemma proof or local-global principle is certified here.",
        "domain": "Algebraic number theory and local expansions"
      },
      "sources": [
        {
          "citation": "Über eine neue Begründung der Theorie der algebraischen Zahlen",
          "url": "https://gdz.sub.uni-goettingen.de/download/pdf/PPN37721857X_0006/LOG_0018.pdf"
        }
      ],
      "statement": "# Hensel: prime-adic expansions as a new foundation for algebraic numbers\n\n## What if closeness meant sharing more remainders?\n\nOn a number line, one and 126 are far apart. But their difference is 125, which is divisible by five cubed. They therefore agree modulo 125: division by 125 leaves the same remainder. Hensel's prime-adic viewpoint organizes arithmetic through agreement to increasing powers of a chosen prime. It creates a different local notion of closeness, useful for studying equations through their prime-power behavior rather than only their ordinary magnitudes.\n\n## Compare two kinds of distance\n\nHere is a modern classroom illustration, not a measurement from the historical note. One and 26 differ by 25, while one and 126 differ by 125. A five-adic distance convention gives these differences sizes one twenty-fifth and one one-hundred-and-twenty-fifth respectively. The second pair is closer in this sense even though its usual real-number separation is larger. For equal numbers the distance is zero. Five is chosen because it is prime.\n\n## A local view can reveal another structure\n\nWorking modulo five tells you only one level of information. Working modulo 25, then 125, and so on asks for increasingly compatible arithmetic information. The viewpoint is not a claim that ordinary distances are wrong. It studies another mathematical structure with another useful rule. An answer valid in one local setting need not automatically solve an equation over the rational numbers, over the real numbers or at every other prime.\n\n## Read the historical announcement honestly\n\nThe six-page source introduces local expansions and connections with algebraic-number divisibility, including more general parameters than this simple integer example. It explicitly defers proofs of its announced assertions. The contribution is the prime-adic formulation, not a claim that this note fully proves the modern lifting lemma, all completeness results or the classification of local fields. Later developments retain their separate credit, and neighboring article bylines are not Hensel's coauthors.\n\n## Try an accessible next step\n\nList integers that leave remainder one modulo five, then keep only those leaving remainder one modulo 25, and finally modulo 125. Explain how the conditions become more restrictive while some numbers that look distant on a line remain close under the prime-power rule. An agent can build a small table and check each remainder. That exercise illustrates the idea; it does not certify all announced algebraic expansions or establish a general local-to-global principle.\n\n## Scientific scope\n\nThe six-page note explicitly defers simple proofs to a forthcoming Mathematische Annalen paper. The stated root-count and expansion assertions are historical announcements, not independently validated general congruence-root theorems in this record. Digits may belong to a finite residue-field extension; ramified parameters are not always simply a root of p, and the note separately discusses the exceptional divisibility case. No claim that every algebraic number lies in Q_p, no arbitrary p-adic completeness theorem, full modern local-field classification, Hensel lifting lemma proof or local-global principle is certified here.\n\n## Sources for this explanation\n\n- [Über eine neue Begründung der Theorie der algebraischen Zahlen](https://gdz.sub.uni-goettingen.de/download/pdf/PPN37721857X_0006/LOG_0018.pdf): Pinned original contribution and stated hypotheses or experimental limits.\n",
      "summary": "Hensel proposed replacing aspects of ideal-prime factorization by local prime-power expansions analogous to power-series expansions of algebraic functions. His announcement describes algebraic numbers through expansions with finitely many negative terms, distinguishes unramified and ramified local parameters, and relates the resulting places and orders of zeros or poles to prime-ideal divisibility and ramification. It sets out a prime-adic local viewpoint rather than giving a complete proof of the announced foundation.",
      "title": "Hensel: prime-adic expansions as a new foundation for algebraic numbers"
    },
    "record_id": "urn:uuid:20f74546-dd4d-46b5-ad75-c48bc4825235",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:20f74546-dd4d-46b5-ad75-c48bc4825235",
      "version": 1,
      "content_hash": "sha256:564689499aacb1e1ba8fb46b993fc6efc4c81ad5cb8e996ab3d1a2e5f4932bd3"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:d3aca57ef37d677aa47a6a98c6fecf109aaa54325acb899d4451525999922c4a"
  },
  "target": {
    "record_id": "urn:uuid:20f74546-dd4d-46b5-ad75-c48bc4825235",
    "version": 1,
    "content_hash": "sha256:564689499aacb1e1ba8fb46b993fc6efc4c81ad5cb8e996ab3d1a2e5f4932bd3"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "hensel-p-adic-number-expansions-1897",
    "entry_id": "hensel-p-adic-number-expansions-1897",
    "revision": 1,
    "title": "Hensel: prime-adic expansions as a new foundation for algebraic numbers",
    "context": "Algebraic number theory and local expansions",
    "track": "Reusable scientific method, experimental result or historical framework",
    "band": "S",
    "modifier": "-",
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-10-23",
    "evidence_cutoff": "2026-10-23",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "Hensel proposed replacing aspects of ideal-prime factorization by local prime-power expansions analogous to power-series expansions of algebraic functions. His announcement describes algebraic numbers through expansions with finitely many negative terms, distinguishes unramified and ramified local parameters, and relates the resulting places and orders of zeros or poles to prime-ideal divisibility and ramification. It sets out a prime-adic local viewpoint rather than giving a complete proof of the announced foundation.",
    "scope": "Hensel proposed replacing aspects of ideal-prime factorization by local prime-power expansions analogous to power-series expansions of algebraic functions. His announcement describes algebraic numbers through expansions with finitely many negative terms, distinguishes unramified and ramified local parameters, and relates the resulting places and orders of zeros or poles to prime-ideal divisibility and ramification. It sets out a prime-adic local viewpoint rather than giving a complete proof of the announced foundation. The six-page note explicitly defers simple proofs to a forthcoming Mathematische Annalen paper. The stated root-count and expansion assertions are historical announcements, not independently validated general congruence-root theorems in this record. Digits may belong to a finite residue-field extension; ramified parameters are not always simply a root of p, and the note separately discusses the exceptional divisibility case. No claim that every algebraic number lies in Q_p, no arbitrary p-adic completeness theorem, full modern local-field classification, Hensel lifting lemma proof or local-global principle is certified here.",
    "evidence_summary": "The linked original works support the scoped statement and contribution attribution. WRS has not independently replayed experiments or reconstructed a full mathematical proof. The six-page note explicitly defers simple proofs to a forthcoming Mathematische Annalen paper. The stated root-count and expansion assertions are historical announcements, not independently validated general congruence-root theorems in this record. Digits may belong to a finite residue-field extension; ramified parameters are not always simply a root of p, and the note separately discusses the exceptional divisibility case. No claim that every algebraic number lies in Q_p, no arbitrary p-adic completeness theorem, full modern local-field classification, Hensel lifting lemma proof or local-global principle is certified here.",
    "references": [
      {
        "title": "Über eine neue Begründung der Theorie der algebraischen Zahlen",
        "url": "https://gdz.sub.uni-goettingen.de/download/pdf/PPN37721857X_0006/LOG_0018.pdf",
        "locator": "Original scoped contribution, statement/method and evidence limits; source-specific attribution retained."
      }
    ],
    "roles": [
      {
        "who": "The named authors in the research record",
        "credit": "SCIENCE",
        "did": "Source-listed authors for the exact contribution; experimental subjects are not autonomous scientific authors. Source support and predecessor work retain separate roles. Individual effort shares and unresolved identities are not inferred."
      }
    ],
    "target": {
      "record_id": "urn:uuid:20f74546-dd4d-46b5-ad75-c48bc4825235",
      "version": 1,
      "content_hash": "sha256:564689499aacb1e1ba8fb46b993fc6efc4c81ad5cb8e996ab3d1a2e5f4932bd3"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "300000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": {
    "id": "hensel-p-adic-number-expansions-1897",
    "target": {
      "record_id": "urn:uuid:20f74546-dd4d-46b5-ad75-c48bc4825235",
      "version": 1,
      "content_hash": "sha256:564689499aacb1e1ba8fb46b993fc6efc4c81ad5cb8e996ab3d1a2e5f4932bd3"
    },
    "sections": [
      {
        "title": "What if closeness meant sharing more remainders?",
        "text": "On a number line, one and 126 are far apart. But their difference is 125, which is divisible by five cubed. They therefore agree modulo 125: division by 125 leaves the same remainder. Hensel's prime-adic viewpoint organizes arithmetic through agreement to increasing powers of a chosen prime. It creates a different local notion of closeness, useful for studying equations through their prime-power behavior rather than only their ordinary magnitudes."
      },
      {
        "title": "Compare two kinds of distance",
        "text": "Here is a modern classroom illustration, not a measurement from the historical note. One and 26 differ by 25, while one and 126 differ by 125. A five-adic distance convention gives these differences sizes one twenty-fifth and one one-hundred-and-twenty-fifth respectively. The second pair is closer in this sense even though its usual real-number separation is larger. For equal numbers the distance is zero. Five is chosen because it is prime."
      },
      {
        "title": "A local view can reveal another structure",
        "text": "Working modulo five tells you only one level of information. Working modulo 25, then 125, and so on asks for increasingly compatible arithmetic information. The viewpoint is not a claim that ordinary distances are wrong. It studies another mathematical structure with another useful rule. An answer valid in one local setting need not automatically solve an equation over the rational numbers, over the real numbers or at every other prime."
      },
      {
        "title": "Read the historical announcement honestly",
        "text": "The six-page source introduces local expansions and connections with algebraic-number divisibility, including more general parameters than this simple integer example. It explicitly defers proofs of its announced assertions. The contribution is the prime-adic formulation, not a claim that this note fully proves the modern lifting lemma, all completeness results or the classification of local fields. Later developments retain their separate credit, and neighboring article bylines are not Hensel's coauthors."
      },
      {
        "title": "Try an accessible next step",
        "text": "List integers that leave remainder one modulo five, then keep only those leaving remainder one modulo 25, and finally modulo 125. Explain how the conditions become more restrictive while some numbers that look distant on a line remain close under the prime-power rule. An agent can build a small table and check each remainder. That exercise illustrates the idea; it does not certify all announced algebraic expansions or establish a general local-to-global principle."
      }
    ],
    "references": [
      {
        "title": "Über eine neue Begründung der Theorie der algebraischen Zahlen",
        "url": "https://gdz.sub.uni-goettingen.de/download/pdf/PPN37721857X_0006/LOG_0018.pdf",
        "locator": "Pinned original contribution and stated hypotheses or experimental limits."
      }
    ]
  },
  "reading_status": "EXPLANATORY_GUIDE"
}