Galois Extensions via Finiteness of Orbits

Nikolaos Marmaridis

arxiv: 2606.31900 · v1 · pith:WWCBFFHRnew · submitted 2026-06-30 · 🧮 math.NT

Galois Extensions via Finiteness of Orbits

Nikolaos Marmaridis This is my paper

Pith reviewed 2026-07-01 03:27 UTC · model grok-4.3

classification 🧮 math.NT

keywords Galois theoryfield extensionsautomorphism groupsorbit finitenessfixed fieldsArtin's lemmasimple extensions

0 comments

The pith

A field extension is Galois exactly when all orbits under the automorphism subgroup are finite.

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

The paper shows that for any field E and any subgroup H of its automorphism group, the extension E over the fixed field E^H has all its algebraic properties determined by the orbits of elements under H. An element is algebraic over E^H precisely when its orbit is finite, and in that case its minimal polynomial is the product of linear factors corresponding to the orbit elements. The full extension is Galois if and only if every orbit is finite, and it is finite Galois if and only if there is a uniform bound on orbit lengths. This orbit condition simultaneously captures algebraicity, separability, and normality without separate checks. Artin's lemma emerges as an immediate corollary, and the fixed field of a simple extension can be recovered explicitly from symmetric functions evaluated on a finite orbit.

Core claim

Given a field E and subgroup H of Aut(E), an element α in E is algebraic over the fixed field E^H if and only if the H-orbit of α is finite; the extension E/E^H is Galois if and only if every H-orbit is finite; and E/E^H is a finite Galois extension if and only if the lengths of the H-orbits are bounded above. When the orbit is finite the minimal polynomial is the product of (x - β) over the distinct orbit elements, which automatically ensures separability.

What carries the argument

Finiteness (and boundedness) of H-orbits on E under the natural action of H, which directly encodes algebraicity, separability, normality and degree of E/E^H.

If this is right

The minimal polynomial over E^H of any algebraic element is obtained simply by multiplying the linear factors (x - β) for β ranging over its finite orbit.
Artin's lemma on the fixed field of a finite group of automorphisms follows at once from the bounded-orbit characterization of finite Galois extensions.
For a simple extension F(α)/F the fixed field under any subgroup H of Aut(F(α)/F) is generated by the elementary symmetric polynomials in the elements of the finite H-orbit of α.
Algebraicity, separability, normality and finite degree are all decided uniformly by inspecting orbit lengths rather than by separate criteria.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same orbit criterion might supply an algorithm that, given generators of H, enumerates orbits until they close or demonstrates infinitude, thereby deciding algebraicity computationally.
The approach could extend to infinite Galois theory by replacing boundedness with local finiteness conditions on orbits.
One could test whether the orbit picture yields new proofs of classical results such as the fundamental theorem of Galois theory by translating subgroup lattices into orbit-stabilizer data.

Load-bearing premise

The natural action of H on E already contains all information needed to decide whether E/E^H satisfies the Galois conditions, so that orbit finiteness alone is sufficient without any further verification of normality or separability.

What would settle it

A concrete counter-example consisting of a field E, a subgroup H of Aut(E), and either an algebraic element whose orbit is infinite or an extension in which all orbits are finite yet the extension fails to be Galois or separable.

read the original abstract

We present an orbit--theoretic reformulation of Galois theory based on the natural action of automorphism groups on fields. Given a field $\mathbf{E}$ and a subgroup $H$ of the automorphism group $\mathrm{Aut}(\mathbf{E})$, we show that algebraic properties of the extension $\mathbf{E}/\mathbf{E}^H$, where $\mathbf{E}^H$ denotes the fixed field of $H$, are encoded in the $H$-orbits arising from the action of $H$ on $\mathbf{E}$. An element $\alpha \in \mathbf{E}$ is algebraic over $\mathbf{E}^H$ if and only if its $H$--orbit is finite. In that case, its minimal polynomial can be explicitly constructed as the product of linear factors over its orbit --a construction that also ensures separability. At the level of field extensions, we prove that $\mathbf{E}/\mathbf{E}^H$ is Galois if and only if all $H$--orbits have finite length, and that $\mathbf{E}/\mathbf{E}^H$ is a finite Galois extension if and only if the lengths of the $H$--orbits are bounded above. This provides a unified orbit--theoretic characterization of algebraicity, separability, normality, and degree. Artin's Lemma is recovered as a direct consequence of this framework. Finally, we show that for simple extensions, the fixed field under a subgroup $H$ of $\mathrm{Aut}(\mathbf{F}(\alpha)/\mathbf{F})$ can be described explicitly by evaluating elementary symmetric polynomials on the $H$--orbit of $\alpha$, provided this orbit is finite. This leads to an effective method for computing fixed fields directly from orbit data. A classical example is included to illustrate the approach.

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.

Desk Editor's Note private letter to a colleague

This is a straightforward orbit reformulation of Galois theory whose core equivalences hold but add no new theorems beyond classical facts.

read the letter

The main thing here is that the paper shows E over the fixed field of H is Galois exactly when every H-orbit on E is finite, and finite Galois when those orbit sizes are bounded. Algebraicity of an element reduces to its orbit being finite, with the minimal polynomial built directly as the product over the orbit. The fixed field in simple extensions comes from evaluating symmetric polynomials on the orbit.

What works is the clean unification: one orbit condition captures algebraicity, separability, normality, and degree at once, and Artin's lemma drops out immediately. The construction of the polynomial from the orbit is explicit and avoids separate checks for normality or separability. The stress-test sketch confirms the steps line up with standard arguments—no circularity or hidden assumptions on characteristic.

The soft spot is that this stays inside textbook Galois theory. The equivalences are true but rephrase known facts about group actions and fixed fields rather than proving anything previously open or giving new computational leverage beyond what symmetric functions already allow. The example is classical, so it illustrates rather than extends.

This is for readers who like alternative framings for teaching or for seeing how orbit data encodes extension properties. It is coherent and the math checks, so it deserves a serious referee who can verify the full proofs against the abstract claims.

Referee Report

0 major / 2 minor

Summary. The paper claims an orbit-theoretic reformulation of Galois theory: for a field E and subgroup H of Aut(E), an element α ∈ E is algebraic over the fixed field E^H iff its H-orbit is finite (in which case the minimal polynomial is explicitly the product ∏(x−β) over the orbit, ensuring separability); the extension E/E^H is Galois iff all H-orbits are finite; and E/E^H is a finite Galois extension iff the orbit lengths are bounded above. The framework recovers Artin's lemma as a consequence and gives an explicit description of fixed fields for simple extensions F(α)/F via elementary symmetric polynomials evaluated on the H-orbit of α when finite, illustrated by a classical example.

Significance. If the equivalences hold, the work supplies a unified characterization of algebraicity, separability, normality, and degree finiteness directly in terms of orbit finiteness and boundedness under the natural Aut(E)-action. The explicit orbit-based construction of minimal polynomials and fixed fields, together with the direct recovery of Artin's lemma, constitutes a clear strength for both pedagogical clarity and potential computational applications in Galois theory.

minor comments (2)

[Abstract] Abstract, paragraph 3: the phrase 'the lengths of the H-orbits are bounded above' should be paired with an explicit statement that the bound is uniform across all orbits to avoid ambiguity with per-element bounds.
The manuscript uses boldface  E for the ambient field; verify that this notation is introduced once and applied consistently in all subsequent sections and statements.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, the recognition of its significance in providing an orbit-theoretic reformulation of Galois theory, and the recommendation to accept.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained from definitions

full rationale

The paper derives its central equivalences (algebraicity iff finite orbit; Galois iff all orbits finite; finite Galois iff orbits bounded) directly from the definitions of the H-action on E and the fixed field E^H. Finite orbits produce a monic polynomial whose coefficients are elementary symmetric functions fixed by H, hence lie in E^H; the converse uses that any automorphism maps roots of the minimal polynomial to roots. These constructions invoke only the group action and field operations, with no fitted parameters, self-referential definitions, or load-bearing self-citations. Artin's lemma is recovered as a consequence, not presupposed. The framework therefore remains independent of its target statements.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests entirely on standard axioms of fields, groups, and their actions; no free parameters, new entities, or ad-hoc assumptions are introduced beyond classical field theory.

axioms (2)

standard math Natural action of Aut(E) on E by field automorphism evaluation.
Defines the orbits and fixed field E^H throughout the abstract.
standard math Existence and uniqueness of minimal polynomials over the base field.
Used to connect finite orbits to algebraicity and separability.

pith-pipeline@v0.9.1-grok · 5855 in / 1501 out tokens · 75730 ms · 2026-07-01T03:27:55.577887+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

8 extracted references

[1]

2, Univer- sity of Notre Dame Press, Notre Dame, IN, 1942

Artin, E.:Galois Theory, Notre Dame Mathematical Lectures, vol. 2, Univer- sity of Notre Dame Press, Notre Dame, IN, 1942

1942
[2]

S.:Galois Theory, Lecture notes, Cornell University, 2010

Brown, K. S.:Galois Theory, Lecture notes, Cornell University, 2010. Available athttps://pi.math.cornell.edu/ ~kbrown/6310/primitive.pdf

2010
[3]

Lang, S.:Algebra, revised 3rd ed., Springer, 2002

2002
[4]

Available athttps:// hdl.handle.net/11419/14183

Marmaridis, N:Basic Galois Theory: An Introduction to Symmetry, Orbits, and Fields, Kallipos, Open Academic Editions, 2024. Available athttps:// hdl.handle.net/11419/14183

2024
[5]

J.:Field and Galois Theory, Graduate Texts in Mathematics, vol

Morandi, P. J.:Field and Galois Theory, Graduate Texts in Mathematics, vol. 167, Springer, 1996

1996
[6]

L.: On Extensions ofQby Square Roots,The American Mathematical Monthly, vol

Roth, R. L.: On Extensions ofQby Square Roots,The American Mathematical Monthly, vol. 78, no. 4, pp. 392–393, 1971

1971
[7]

J.:An Introduction to the Theory of Groups, 4th ed., Springer, 1995

Rotman, J. J.:An Introduction to the Theory of Groups, 4th ed., Springer, 1995

1995
[8]

J.:Galois Theory, 2nd ed., Springer, 2001

Rotman, J. J.:Galois Theory, 2nd ed., Springer, 2001. Department of Mathematics, University of Ioannina Ioannina 451 10, Greece Email address:nmarmar@uoi.gr

2001

[1] [1]

2, Univer- sity of Notre Dame Press, Notre Dame, IN, 1942

Artin, E.:Galois Theory, Notre Dame Mathematical Lectures, vol. 2, Univer- sity of Notre Dame Press, Notre Dame, IN, 1942

1942

[2] [2]

S.:Galois Theory, Lecture notes, Cornell University, 2010

Brown, K. S.:Galois Theory, Lecture notes, Cornell University, 2010. Available athttps://pi.math.cornell.edu/ ~kbrown/6310/primitive.pdf

2010

[3] [3]

Lang, S.:Algebra, revised 3rd ed., Springer, 2002

2002

[4] [4]

Available athttps:// hdl.handle.net/11419/14183

Marmaridis, N:Basic Galois Theory: An Introduction to Symmetry, Orbits, and Fields, Kallipos, Open Academic Editions, 2024. Available athttps:// hdl.handle.net/11419/14183

2024

[5] [5]

J.:Field and Galois Theory, Graduate Texts in Mathematics, vol

Morandi, P. J.:Field and Galois Theory, Graduate Texts in Mathematics, vol. 167, Springer, 1996

1996

[6] [6]

L.: On Extensions ofQby Square Roots,The American Mathematical Monthly, vol

Roth, R. L.: On Extensions ofQby Square Roots,The American Mathematical Monthly, vol. 78, no. 4, pp. 392–393, 1971

1971

[7] [7]

J.:An Introduction to the Theory of Groups, 4th ed., Springer, 1995

Rotman, J. J.:An Introduction to the Theory of Groups, 4th ed., Springer, 1995

1995

[8] [8]

J.:Galois Theory, 2nd ed., Springer, 2001

Rotman, J. J.:Galois Theory, 2nd ed., Springer, 2001. Department of Mathematics, University of Ioannina Ioannina 451 10, Greece Email address:nmarmar@uoi.gr

2001