A necessary condition for solvability by radicals

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

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

A necessary condition for solvability by radicals

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

Pith reviewed 2026-05-10 16:59 UTC · model grok-4.3

classification 🧮 math.RA MSC 12F10

keywords solvability by radicalsGalois groupsolvable groupspolynomial equationsGalois theoryfield extensionsradical extensions

0 comments

The pith

An algebraic equation is solvable by radicals only if its Galois group is solvable.

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

The paper proves that if a polynomial equation over the rationals can be solved using a sequence of radical extensions, then the Galois group of its splitting field must be a solvable group. This establishes a necessary condition that links the classical problem of radical solvability to the structure of the Galois group. A reader cares because the result supplies a group-theoretic obstruction that rules out radical solutions for many equations, including the general quintic. The handout reviews this implication using standard Galois theory facts from the course textbook as preparation for the converse result in the next handout.

Core claim

A necessary condition for the solvability of algebraic equations by radicals is that the Galois group of the equation is solvable. The paper presents a proof of this implication by invoking basic properties of Galois groups, radical extensions, and solvable groups as covered in the MAT401 course.

What carries the argument

The Galois group of the splitting field of the polynomial, which must be a solvable group whenever the equation admits a solution by radicals.

Load-bearing premise

The proof assumes several standard results from Galois theory hold exactly as stated in the course textbook without re-deriving them.

What would settle it

A concrete polynomial equation that admits a solution by radicals yet possesses a non-solvable Galois group would disprove the necessary condition.

read the original abstract

This note was prepared as a handout for the MAT401 course ``Polynomial equations and fields", taught at the University of Toronto in Spring 2026. It presents a proof of a necessary condition for the solvability of algebraic equations by radicals, based on Galois theory. We begin with a brief overview of the relevant basic results from Galois theory, as covered in MAT401, and use -- without proof -- several standard (and relatively simple) results from the course textbook [1]. The sufficient condition for solvability by radicals, which is based on linear algebra, we will present in the next handout.

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 course handout restating the classical theorem that solvability by radicals requires a solvable Galois group, with no new content.

read the letter

This handout by Khovanskii presents the necessary condition for an algebraic equation to be solvable by radicals: its Galois group must be solvable. The note is prepared for the MAT401 course and uses standard results from the textbook without proving them. What the paper does well is to give a clean, organized proof tailored to students who know the course material. It outlines the basic Galois theory facts and then shows how radical extensions correspond to solvable groups through the normal closure and the Galois correspondence. The argument follows the expected steps with cyclotomic and Kummer extensions. The soft spots are that the proof is not self-contained. It depends on several results that are taken from the textbook, which is fine for its intended audience but limits its use as a general reference. There is no new theorem, no new proof technique, and no additional examples or applications. This note is for students and teachers in a Galois theory class who need a concise write-up of this theorem. It organizes the material effectively for that purpose. I would not recommend peer review for this work. It is honest teaching material but lacks the originality or depth that would justify sending it to referees. It is better suited to being shared directly with the class.

Referee Report

0 major / 0 minor

Summary. The manuscript is a course handout for MAT401 that presents a proof of the classical theorem that solvability of an algebraic equation by radicals is possible only if the Galois group of its splitting field over the base field is solvable. It gives a brief overview of relevant Galois-theory facts from the course and invokes several standard results (on radical extensions, normal closures, and the Galois correspondence) from the textbook [1] without proof; the argument follows the usual chain through cyclotomic and Kummer extensions.

Significance. The stated result is a fundamental theorem of Galois theory. The manuscript follows the standard textbook derivation and introduces no new claims, techniques, or parameter-free derivations. Its value is therefore primarily pedagogical rather than a contribution to the research literature.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their review of the manuscript. The note is prepared as a pedagogical handout for the MAT401 course at the University of Toronto, and we address the observations raised in the report point by point below.

read point-by-point responses

Referee: The manuscript is a course handout for MAT401 that presents a proof of the classical theorem that solvability of an algebraic equation by radicals is possible only if the Galois group of its splitting field over the base field is solvable. It gives a brief overview of relevant Galois-theory facts from the course and invokes several standard results (on radical extensions, normal closures, and the Galois correspondence) from the textbook [1] without proof; the argument follows the usual chain through cyclotomic and Kummer extensions.

Authors: This characterization is accurate. The handout is written for students who have covered the relevant Galois theory material in MAT401, so we reference standard results from the textbook without reproving them in order to maintain focus and brevity. The logical chain via cyclotomic and Kummer extensions is the standard one for establishing the necessity of solvability of the Galois group. revision: no
Referee: The stated result is a fundamental theorem of Galois theory. The manuscript follows the standard textbook derivation and introduces no new claims, techniques, or parameter-free derivations. Its value is therefore primarily pedagogical rather than a contribution to the research literature.

Authors: We agree that the theorem is classical and that the proof follows the usual textbook approach without introducing new mathematical claims or techniques. The manuscript is explicitly presented as a course handout rather than an original research contribution, with its purpose being to supply a concise, self-contained exposition that aligns directly with the material covered in MAT401. revision: no

Circularity Check

0 steps flagged

No significant circularity in standard Galois-theory proof

full rationale

The manuscript is a course handout restating the classical theorem that solvability by radicals implies a solvable Galois group. It explicitly invokes standard results on radical extensions, normal closures, and the Galois correspondence from the course textbook [1] without proof, as stated in the abstract. No quantity is defined in terms of the conclusion, no parameters are fitted and then relabeled as predictions, and no load-bearing step reduces to a self-citation or ansatz introduced by the authors. The derivation chain is a direct application of externally accepted Galois-theory facts and is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper explicitly invokes several standard Galois-theory results from the course textbook without proof; these constitute the background axioms on which the argument rests. No free parameters or invented entities are introduced.

axioms (1)

domain assumption Standard facts about Galois groups of radical extensions and their relation to solvability (used without proof)
Abstract states these are taken from the course textbook [1]

pith-pipeline@v0.9.0 · 5394 in / 1193 out tokens · 52414 ms · 2026-05-10T16:59:08.222213+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). 10

work page 1998

[1] [1]

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

work page 1998