Alphabeta Math
False statementConstruction: AI-adaptedVerification: AI-adaptedSession-authored (Fable 5 assisted)precheck passjudge pass (gpt-5.6-terra)audited 2026-08-27
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

FALSE: every irreducible quintic over Q is insoluble by radicals

Statement

False claim: every irreducible quintic over Q is insoluble by radicals.

Facts & Assumptions

Given: The polynomial q(x)=x52.

[L1]

Eisenstein's criterion over Z (Eisenstein criterion over the integers).

[L2]

Every nonconstant polynomial has a root in some extension field (Every nonconstant polynomial over a field has a root in some field extension).

[L3]

A polynomial is solvable by radicals when its splitting field is contained in a radical extension of the base field (A polynomial is solvable by radicals when its splitting field lies in a radical extension).

Refutation

technique · direct
1.1

Eisenstein at the prime 2 shows that q(x)=x52 is irreducible over Q, so it is an irreducible quintic.

L1algebra
1.2

By [L2], choose s with s2=5, choose β over Q(s) with β2=5s2, and choose α with α5=2. Put u:=1+s2andζ:=u+β2. Then u2+u1=0, ζ2uζ+1=0, and therefore ζ+ζ1=u. Using u2+u1=0, this implies ζ4+ζ3+ζ2+ζ+1=0. Since ζ1, we get ζ5=1, so ζ is a primitive fifth root of unity. Thus every root of q has the form αζk with 0k<5, and all of them lie in L:=Q(s,β,α).

L2constructalgebra
2.1

The field tower QQ(s)Q(s,β)Q(s,β,α)=L adjoins successively a square root of 5, a square root of (5s)/2, and a fifth root of 2. So L/Q is a radical extension. Step 1.2 shows that the splitting field of q is contained in L, and [L3] therefore makes q solvable by radicals.

L3step 1.2
3.1

Hence x52 is an irreducible quintic over Q that is solvable by radicals, so the universal claim is false.

step 1.1step 2.1

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

13 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources