Galois theory for finite fields

Askold Khovanskii (Department of Mathematics; Canada); University of Toronto

arxiv: 2604.08640 · v1 · submitted 2026-04-09 · 🧮 math.NT · math.RA

Galois theory for finite fields

Askold Khovanskii (Department of Mathematics , University of Toronto , Canada) This is my paper

Pith reviewed 2026-05-10 17:14 UTC · model grok-4.3

classification 🧮 math.NT math.RA

keywords Galois theoryfinite fieldsfield extensionsGalois correspondencecyclic groupsintermediate fieldsdivisors

0 comments

The pith

For a degree-n extension of finite fields, intermediate fields correspond exactly to the divisors of n.

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

The paper establishes the Galois correspondence in the concrete setting of finite fields. It first describes any extension of a finite field K by a larger finite field F of degree n. It then shows that the intermediate fields between K and F stand in one-to-one correspondence with the positive divisors k of n. The Galois group of the extension is cyclic of order n, and its subgroups likewise correspond to those same divisors. Together these facts prove the fundamental theorem of Galois theory for this special class of extensions. The note concludes by stating the general theorems that will be proved later for arbitrary fields.

Core claim

For an extension K subset F of finite fields with [F:K]=n, the intermediate fields are in bijection with the divisors k of n; the Galois group is the cyclic group of order n whose subgroups are also in bijection with those divisors, and this bijection proves the Galois correspondence in the finite-field case.

What carries the argument

The explicit bijection between intermediate fields (respectively, subgroups of the Galois group) and the positive divisors of the degree n, which supplies the concrete lattice needed to verify the Galois correspondence.

If this is right

The Galois group of any finite-field extension is cyclic.
Every subgroup of the Galois group is normal, so every intermediate extension is Galois.
The degree of any intermediate extension divides n.
The lattice of subfields is isomorphic to the lattice of divisors of n.
The general statements of Galois theory can be checked directly in the finite case before being proved abstractly.

Where Pith is reading between the lines

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

The same divisor correspondence may supply a model for counting subobjects in other algebraic categories that admit a degree function.
Explicit constructions of the finite fields F_{p^n} can be used to test the correspondence by direct computation for small n.
The cyclic nature of the Galois group explains why the Frobenius automorphism generates all automorphisms.
The approach isolates the arithmetic content of Galois theory before the topological or profinite complications of the general theory appear.

Load-bearing premise

Certain elementary facts about the existence, uniqueness, and structure of finite fields and their extensions are taken as already known.

What would settle it

An explicit example of a finite-field extension of degree n whose number of proper intermediate fields fails to equal the number of positive divisors of n would disprove the claimed correspondence.

read the original abstract

This note presents Galois theory for finite fields. It was written as a handout for the MAT401 course ``Polynomial equations and fields'' taught at the University of Toronto in Spring 2026. We use without proofs some basic properties of finite fields and of finite field extensions which we already covered in class. Firstly, we describe an extension $K\subset F$ of a finite field $K$ of a given degree $n$. We show that the set of all intermediate fields for this extension is in one-to-one correspondence with the set of all divisors $k$ of the degree $n$. Then we describe the Galois group of this extension which is the cyclic group of order $n$. The set of subgroups of this group also is in one-to-one correspondence with the set of all divisors $k$ of the degree $n$. It allows us to prove the Galois correspondence for that extension. In the last section, we state basic theorems of Galois theory for arbitrary fields which will be proven later in the course.

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 standard course handout restating classical Galois theory for finite fields, with no new results.

read the letter

This note is a handout prepared for the MAT401 course on polynomial equations and fields. It lays out the usual facts for a finite field extension of degree n: the intermediate fields line up with the divisors of n, the Galois group is cyclic of order n and generated by the Frobenius map, and those two correspondences together give the Galois correspondence in this special case. The last section simply lists the general Galois theorems that the course will prove later. The author is explicit that basic properties of finite fields are taken as already covered in class and that proofs are omitted here. What the note does cleanly is organize these textbook statements into a short, readable sequence that students can follow once they know the background. The divisor bijections and the identification of the Galois group are stated directly, so the deduction of the correspondence is easy to see. The limitation is that the document is not self-contained. It defers all supporting arguments and the general theory, so anyone outside the course would need to supply the missing pieces from elsewhere. There are no new theorems, no original proofs, and no attempt to reorganize the material in a fresh way. The claims are correct as far as they go, but they rest on prior class material rather than on derivations supplied in the note itself. This is useful for students who are taking that specific course and want a compact summary of this section. It offers nothing to researchers or to readers looking for complete arguments or new insights. The math is standard and the presentation is straightforward, but the piece is exposition, not research. I would not bring it to a reading group or cite it. It does not need a referee as a research paper.

Referee Report

2 major / 1 minor

Summary. This note is a course handout for MAT401 that describes a degree-n extension K subset F of finite fields, establishes a bijection between the intermediate fields and the divisors of n, identifies the Galois group Gal(F/K) as the cyclic group of order n generated by the Frobenius automorphism, establishes the corresponding bijection for subgroups of this group, and deduces the Galois correspondence for the extension from these two divisor correspondences. The final section states several basic theorems of Galois theory for arbitrary fields, to be proven later in the course.

Significance. The results are classical. If the derivations hold, the note supplies a compact, self-contained route from the divisor lattice to both the subfield lattice and the subgroup lattice, thereby proving the Galois correspondence in the finite-field case before the general theory is developed. This structure may be pedagogically useful, but the manuscript advances no new theorems, proofs, or insights.

major comments (2)

[Abstract] Abstract: the central claims (bijection of intermediate fields with divisors of n, identification of the Galois group, and deduction of the Galois correspondence) rest on 'basic properties of finite fields and of finite field extensions which we already covered in class' that are invoked without proof. Because these properties are load-bearing for the stated correspondences, the manuscript should either sketch the required facts (e.g., existence and uniqueness of the degree-n extension, that the Frobenius has order exactly n) or supply explicit references to standard results.
[Section describing the Galois group] Section describing the Galois group: the claim that Gal(F_{q^n}/F_q) is cyclic of order n generated by the Frobenius is used to obtain the subgroup-divisor correspondence and thence the Galois correspondence; without a self-contained argument that the order is precisely n, the subsequent deduction is not fully supported within the manuscript.

minor comments (1)

[Last section] Last section: the statements of the general Galois theorems are appropriate for a handout, but a brief parenthetical note indicating the forthcoming proofs would improve clarity for readers outside the course.

Simulated Author's Rebuttal

2 responses · 0 unresolved

Thank you for the opportunity to respond to the referee's report. Our manuscript is a pedagogical course handout rather than a research paper, and we have taken the comments as an opportunity to improve its self-containment for readers outside the specific course. We address the major comments point by point below.

read point-by-point responses

Referee: [Abstract] Abstract: the central claims (bijection of intermediate fields with divisors of n, identification of the Galois group, and deduction of the Galois correspondence) rest on 'basic properties of finite fields and of finite field extensions which we already covered in class' that are invoked without proof. Because these properties are load-bearing for the stated correspondences, the manuscript should either sketch the required facts (e.g., existence and uniqueness of the degree-n extension, that the Frobenius has order exactly n) or supply explicit references to standard results.

Authors: We agree that the load-bearing facts about finite fields should be made more accessible. In the revised version we will add concise sketches: the existence and uniqueness of the degree-n extension as the splitting field of x^{q^n}-x over F_q, together with a one-paragraph verification that the Frobenius map has order exactly n (its n-th iterate fixes every element, while for any proper divisor d the fixed field of the d-th iterate is the proper subfield F_{q^d}). We will also insert a standard textbook reference (e.g., Ireland-Rosen, Chapter 7) for readers who wish to consult a full proof. revision: yes
Referee: [Section describing the Galois group] Section describing the Galois group: the claim that Gal(F_{q^n}/F_q) is cyclic of order n generated by the Frobenius is used to obtain the subgroup-divisor correspondence and thence the Galois correspondence; without a self-contained argument that the order is precisely n, the subsequent deduction is not fully supported within the manuscript.

Authors: The referee is correct that the precise order of the Frobenius is essential for the lattice isomorphism. We will insert a short self-contained paragraph immediately after the definition of the Galois group: the n-th power of the Frobenius fixes F_{q^n} pointwise, while the fixed field of any smaller power is a proper subfield F_{q^d} with d<n; hence the cyclic group generated by the Frobenius has order exactly n. This addition directly supports the subsequent bijections between divisors, subfields, and subgroups. revision: yes

Circularity Check

0 steps flagged

No significant circularity; standard exposition of classical finite-field Galois theory

full rationale

The handout recalls the standard one-to-one correspondence between intermediate fields of a degree-n extension of finite fields and the divisors of n, identifies Gal(F_{q^n}/F_q) with the cyclic group generated by the Frobenius automorphism, and notes that the subgroups likewise correspond to divisors of n; these facts are presented as already covered in class and are used to illustrate the Galois correspondence in this special case. The final section explicitly defers the general Galois theorems to later proofs in the course. No new derivations, fitted parameters, self-citations, or ansatzes are introduced; every step rests on external, pre-established facts rather than reducing to the paper's own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central statements rest on unproven basic properties of finite fields and their extensions that were covered earlier in the course.

axioms (1)

domain assumption Basic properties of finite fields and finite field extensions
Invoked without proof in the opening paragraph as material already covered in class.

pith-pipeline@v0.9.0 · 5478 in / 1112 out tokens · 38563 ms · 2026-05-10T17:14:48.060596+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

1 extracted references · 1 canonical work pages

[1]

[1] Joseph Rotman,Galois Theory (2nd edition), Universitext, Springer-Verlag New York Berlin Heidelberg (1998). 16

work page 1998

[1] [1]

[1] Joseph Rotman,Galois Theory (2nd edition), Universitext, Springer-Verlag New York Berlin Heidelberg (1998). 16

work page 1998