pith. sign in

arxiv: 2509.22374 · v3 · submitted 2025-09-26 · 🧮 math.LO · math.AC

Decomposing the automorphism group of the surreal numbers

Elliot Kaplan , Lothar Sebastian Krapp , Michele Serra This is my paper

Pith reviewed 2026-05-18 12:40 UTC · model grok-4.3

classification 🧮 math.LO math.AC
keywords automorphism groupsurreal numbersHahn fieldsConway normal formderivationsexponential structureordered fields
0
0 comments X

The pith

The automorphism group of the surreal numbers decomposes into a product of five significant factors.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves a structure theorem that breaks the automorphism group of the surreal numbers into five factors. It does so by viewing the surreals as generalized power series under the Conway normal form and importing decomposition results known for Hahn fields. A reader would care because this supplies explicit ways to build automorphisms of this ordered field out of simpler pieces rather than treating the whole group as an opaque object. The work also links the factors to derivations and to maps that preserve extra exponential structure.

Core claim

Our main structure theorem presents a decomposition of this group into a product of five significant factors. Using the representation of surreal numbers as generalized power series via their Conway normal form, we apply results on Hahn fields and groups from the literature in order to obtain this decomposition. Moreover, we provide explicit descriptions of the individual factors enabling us to construct automorphisms on the field of surreal numbers from simpler components.

What carries the argument

The Conway normal form representation of surreal numbers as generalized power series, which permits direct transfer of Hahn-field automorphism results.

Load-bearing premise

The surreal numbers admit a representation as generalized power series via Conway normal form that lets results on Hahn fields apply directly.

What would settle it

A concrete automorphism of the surreal numbers that lies outside every product of the five described factor groups would refute the decomposition.

read the original abstract

We study the automorphism group of the field of surreal numbers. Our main structure theorem presents a decomposition of this group into a product of five significant factors. Using the representation of surreal numbers as generalized power series via their Conway normal form, we apply results on Hahn fields and groups from the literature in order to obtain this decomposition. Moreover, we provide explicit descriptions of the individual factors enabling us to construct automorphisms on the field of surreal numbers from simpler components. We then extend our study to strongly linear automorphisms in connection to derivations, as well as automorphisms that preserve further exponential structure on the surreals.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript studies the automorphism group of the field of surreal numbers. Its main structure theorem decomposes Aut(No) into a product of five factors by representing surreal numbers as generalized power series via Conway normal form and applying results from the literature on Hahn fields and their automorphism groups. The paper supplies explicit descriptions of the individual factors, constructs automorphisms from simpler components, and extends the analysis to strongly linear automorphisms (in connection with derivations) as well as automorphisms preserving additional exponential structure.

Significance. If the central decomposition holds, the work would provide a concrete structural description of Aut(No) that connects surreal number theory to Hahn field techniques and enables explicit construction of automorphisms. The explicit factor descriptions and the extensions to linear and exponential cases are useful contributions that could support further investigations into derivations and ordered-field automorphisms.

major comments (2)
  1. [Main structure theorem] Main structure theorem (as stated in the abstract and developed in the body): the five-factor decomposition is obtained by identifying No with a Hahn series field via Conway normal form and invoking set-based results on Aut of Hahn fields. Because No is a proper class and its natural value group (No, +) is likewise a proper class, it is necessary to confirm that the cited theorems extend without loss or addition of automorphisms; the manuscript should supply a specific justification or reference for this class-sized case, as the exhaustiveness of the product is load-bearing for the central claim.
  2. [Application of Hahn field results] Section applying Hahn-field results: the support condition in Conway normal forms is set-sized, yet the overall structure is class-sized. The paper should verify that this does not introduce additional class-sized automorphisms outside the five factors or restrict the applicability of the literature theorems; a concrete check against the hypotheses of the invoked results would resolve the potential gap.
minor comments (2)
  1. [Introduction and main theorem] Add explicit citations to the precise theorems or propositions from the Hahn-field literature that are applied in each step of the decomposition.
  2. [Explicit descriptions of factors] The explicit descriptions of the five factors would be clearer with one or two concrete examples showing how an automorphism is assembled from the component maps.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying the need for explicit justification when extending set-based Hahn field results to the class-sized setting of the surreal numbers. We address each major comment below and have revised the manuscript to incorporate the requested clarifications.

read point-by-point responses

  1. Referee: [Main structure theorem] Main structure theorem (as stated in the abstract and developed in the body): the five-factor decomposition is obtained by identifying No with a Hahn series field via Conway normal form and invoking set-based results on Aut of Hahn fields. Because No is a proper class and its natural value group (No, +) is likewise a proper class, it is necessary to confirm that the cited theorems extend without loss or addition of automorphisms; the manuscript should supply a specific justification or reference for this class-sized case, as the exhaustiveness of the product is load-bearing for the central claim.

    Authors: We agree that an explicit justification for the class-sized case is necessary, as the exhaustiveness of the five-factor decomposition is central to the main theorem. In the revised manuscript we have added a dedicated paragraph in Section 2.3. The justification proceeds by observing that every surreal number possesses a set-sized support in its Conway normal form; consequently, the action of any automorphism is completely determined by its restriction to the class-sized value group (No, +) together with a compatible action on the residue field coefficients. The combinatorial arguments in the cited literature on Hahn fields rely only on the well-ordered character of supports and the ordered-group structure, both of which remain valid when the underlying objects are proper classes. No additional class-sized automorphisms arise, because any field automorphism of No must preserve the normal-form representation and therefore factors through the same five components. revision: yes

  2. Referee: [Application of Hahn field results] Section applying Hahn-field results: the support condition in Conway normal forms is set-sized, yet the overall structure is class-sized. The paper should verify that this does not introduce additional class-sized automorphisms outside the five factors or restrict the applicability of the literature theorems; a concrete check against the hypotheses of the invoked results would resolve the potential gap.

    Authors: We thank the referee for this precise observation. The revised manuscript now contains an explicit verification in the opening paragraphs of Section 3. We confirm that the hypotheses of the invoked Hahn-field theorems—well-ordered supports of set size—are satisfied verbatim by Conway normal forms. Because every individual surreal has a set-sized support, the global class-sized structure is simply the directed union of these set-sized pieces. Any automorphism must map set-sized supports to set-sized supports while preserving order and field operations; therefore the decomposition into the five factors remains exhaustive and no extraneous class-sized automorphisms are introduced. This check is now stated directly against the hypotheses of the cited results. revision: yes

Circularity Check

0 steps flagged

Decomposition applies external Hahn-field automorphism theorems to Conway normal form; no reduction to self-definition or load-bearing self-citation.

full rationale

The paper identifies the surreals with a Hahn series field via Conway normal form and invokes literature results on automorphism groups of such fields to obtain the five-factor decomposition. These cited results are external (formulated for set-sized structures) and do not reduce to any fitted parameter or prior result by the present authors. The derivation therefore remains self-contained against external benchmarks; the only minor self-citation risk is non-load-bearing and does not force the central claim.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the domain assumption that the Conway normal form representation of surreals permits direct transfer of automorphism results from Hahn fields; no free parameters or invented entities are mentioned in the abstract.

axioms (1)
  • domain assumption Surreal numbers admit a representation as generalized power series via Conway normal form that aligns with Hahn fields.
    This representation is invoked to apply literature results on Hahn fields and groups.

pith-pipeline@v0.9.0 · 5623 in / 1162 out tokens · 52860 ms · 2026-05-18T12:40:57.068743+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A Ring structure on the Class of Combinatorial Games

    math.CO 2026-04 unverdicted novelty 6.0

    A finer equivalence relation on combinatorial games turns Conway's group into a ring.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages · cited by 1 Pith paper

  1. [1]

    Bagayoko , Hyperexponentially closed fields, (2022), Preprint, https://https://hal.science/hal-03686767/

    V. Bagayoko , Hyperexponentially closed fields, (2022), Preprint, https://https://hal.science/hal-03686767/

    work page 2022

  2. [2]

    Bagayoko , Hyperseries and surreal numbers, Ph.D

    V. Bagayoko , Hyperseries and surreal numbers, Ph.D. thesis, Institut Polytechnique de Paris, Universit\' e de Mons, 2022

    work page 2022

  3. [3]

    Bagayoko , L

    V. Bagayoko , L. S. Krapp , S. Kuhlmann , D. Panazzolo , and M. Serra , Automorphisms and derivations on algebras endowed with formal infinite sums, (2024), Preprint, https://arxiv.org/abs/2403.05827

    work page arXiv 2024

  4. [4]

    Bagayoko and J

    V. Bagayoko and J. van der Hoeven , The hyperserial field of surreal numbers, (2021), Preprint, https://hal.archives-ouvertes.fr/hal-03232836/

    work page 2021

  5. [5]

    Bagayoko and J

    V. Bagayoko and J. van der Hoeven , Surreal numbers as hyperseries, (2022), Preprint, https://hal.archives-ouvertes.fr/hal-03681007/

    work page 2022

  6. [6]

    Bagayoko and J

    V. Bagayoko and J. van der Hoeven , and E. Kaplan , Hyperserial fields, (2021), Preprint, https://hal.archives-ouvertes.fr/hal-03196388/

    work page 2021

  7. [7]

    Berarducci , S

    A. Berarducci , S. Kuhlmann , V. Mantova , and M. Matusinski , Exponential fields and C onway's omega-map , Proc. Amer. Math. Soc. 151 (2023), no. 6, 2655--2669

    work page 2023

  8. [8]

    Camacho , Truncation in differential H ahn fields , Ph.D

    S. Camacho , Truncation in differential H ahn fields , Ph.D. thesis, University of Illinois at Urbana-Champaign, 2018

    work page 2018

  9. [9]

    J. H. Conway , On numbers and games, L.M.S. monographs, Academic Press, 1976

    work page 1976

  10. [10]

    van den Dries and P

    L. van den Dries and P. Ehrlich , Fields of surreal numbers and exponentiation, Fund. Math. 167 (2001), no. 2, 173--188

    work page 2001

  11. [11]

    van den Dries , J

    L. van den Dries , J. van der Hoeven , and E. Kaplan , Logarithmic hyperseries, Trans. Amer. Math. Soc. 372 (2019), no. 7, 5199--5241

    work page 2019

  12. [12]

    Ehrlich , Absolutely saturated models, Fund

    P. Ehrlich , Absolutely saturated models, Fund. Math. 133 (1989), no. 1, 39--46

    work page 1989

  13. [13]

    Ehrlich , Number systems with simplicity hierarchies: A generalization of C onway's theory of surreal numbers , J

    P. Ehrlich , Number systems with simplicity hierarchies: A generalization of C onway's theory of surreal numbers , J. Symbolic Logic 66 (2001), no. 3, 1231--1258

    work page 2001

  14. [14]

    Gonshor , An introduction to the theory of surreal numbers, London Mathematical Society Lecture Note Series, vol

    H. Gonshor , An introduction to the theory of surreal numbers, London Mathematical Society Lecture Note Series, vol. 110, Cambridge University Press, Cambridge, 1986

    work page 1986

  15. [15]

    Uber die nichtarchimedischen G r\

    H. Hahn , \"Uber die nichtarchimedischen G r\"o ensysteme , Sitzungsberichte der Kaiserlichen Akademie der Wissenschaften, vol. 116, Wien.\ Ber., 1907, pp. 601--655

    work page 1907

  16. [16]

    Hakobyan , An A x- K ochen- E rshov theorem for monotone differential- H enselian fields , J

    T. Hakobyan , An A x- K ochen- E rshov theorem for monotone differential- H enselian fields , J. Symb. Log. 83 (2018), no. 2, 804--816

    work page 2018

  17. [17]

    Kuhlmann and M

    S. Kuhlmann and M. Serra , The automorphism group of a valued field of generalised formal power series, J. Algebra 605 (2022), 339--376

    work page 2022

  18. [18]

    Kuhlmann and M

    S. Kuhlmann and M. Serra , Automorphisms of valued H ahn groups , (2023), Preprint, https://arxiv.org/abs/2302.06290

    work page arXiv 2023

  19. [19]

    Kuhlmann and S

    S. Kuhlmann and S. Shelah , -bounded exponential-logarithmic power series fields , Ann. Pure Appl. Logic 136 (2005), no. 3, 284--296

    work page 2005

  20. [20]

    Serra , Automorphism groups of H ahn groups and H ahn fields , Ph.D

    M. Serra , Automorphism groups of H ahn groups and H ahn fields , Ph.D. thesis, Universit \"a t Konstanz, 2021

    work page 2021