Alphabeta Math
False statementConstruction: AI-adaptedVerification: AI-adaptedprecheck 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)=x5−2.

[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.1L1algebra

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

1.2L2constructalgebra

By [L2], choose s with s2=5, choose β over Q(s) with β2=−5−s2, and choose α with α5=2. Put u:=−1+s2andζ:=u+β2. Then u2+u−1=0, ζ2−uζ+1=0, and therefore ζ+ζ−1=u. Using u2+u−1=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 0≤k<5, and all of them lie in L:=Q(s,β,α).

2.1L3step 1.2

The field tower Q⊆Q(s)⊆Q(s,β)⊆Q(s,β,α)=L adjoins successively a square root of 5, a square root of (−5−s)/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.

3.1step 1.1step 2.1∎

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

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